Results 1 to 10 of about 26,177 (110)
Non-Separable AF-Algebras [PDF]
, 2006 We give two pathological phenomena for non-separable AF-algebras which do not occur for separable AF-algebras. One is that non-separable AF-algebras are not determined by their Bratteli diagrams, and the other is that there exists a non-separable AF-algebra which is prime but not primitive.
Katsura, Takeshi
openaire +4 more sources
Separating Function Algebras [PDF]
Nagoya Mathematical Journal, 1972 Recent results of Hoffman and Singer [7], Weiss [10] and Wilken [11] indicate that the study of separation properties play a central rôle in the theory of function algebras. Our purpose in this paper is to investigate a natural separation property of function algebras.
Csordas, G. L., Reiter, H. B.
openaire +2 more sources
Separable algebras over a commutative Banach algebra [PDF]
Pacific Journal of Mathematics, 1983 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Craw, Ian, Ross, Susan
openaire +2 more sources
Separability idempotents in $C^*$-algebras [PDF]
Journal of Noncommutative Geometry, 2018 In this paper, we study the notion of a separability idempotent in the C^* -algebra framework. This is analogous to the notion in the purely algebraic setting, typically considered in the case of (finite ...
Kahng, Byung-Jay, Van Daele, Alfons
openaire +2 more sources
Towards Algebraic Separation Logic [PDF]
, 2009 We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic. The algebraic view does not only yield new insights on separation logic but also shortens proofs and enables the use of automated theorem provers for verifying properties at a more abstract level.
Dang, Han-Hing +2 more
openaire +2 more sources
Algebraic separation logic [PDF]
The Journal of Logic and Algebraic Programming, 2011 Separation logic is an extension of Hoare logic with reasoning about complex and shared data structures by added assertions to express separation between memory regions. For arbitrary assertions \( p\) and \(q\) the conjunction \(p \star q\) asserts that \(p\) and \(q\) both hold, but each for separate parts of the storage, and \(p-\star q\) holds for ...
Dang, Han Hing +2 more
openaire +1 more source
, 2017 Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realisation of KK-theory for nuclear C*-algebras using asymptotic ...
Dadarlat, Marius, Pennig, Ulrich
core +2 more sources
Orders in separable algebras [PDF]
Proceedings of the American Mathematical Society, 1975 The module P ∗ / m P ∗ {P^ \ast }/m{P^ \ast } , where P P is an order in a separable algebra over the quotient field of an integrally closed, quasi-local domain, is studied.
openaire +1 more source
Separable Cowreaths Over Clifford Algebras
Advances in Applied Clifford Algebras, 2023 AbstractThe fundamental notion of separability for commutative algebras was interpreted in categorical setting where also the stronger notion of heavily separability was introduced. These notions were extended to (co)algebras in monoidal categories, in particular to cowreaths. In this paper, we consider the cowreath $$ \left( A\otimes H_{4}^{op}, H_{4},
Menini C., Torrecillas B.
openaire +3 more sources
Completely Separating Algebras
Journal of Algebra, 1994 An algebra \(A\) is called completely separating if every convex subalgebra of \(A\) satisfies the so-called (s)-condition [see \textit{R. Bautista} and \textit{F. Larrión}, J. Lond. Math. Soc., III. Ser. 264, 43-52 (1982; Zbl 0501.16030)]. The aim of this paper is to present the basic properties and characterization of completely separating algebras ...
openaire +2 more sources