Results 11 to 20 of about 328 (209)
Generalizations of the primitive element theorem
International Journal of Mathematics and Mathematical Sciences, 1991 In this paper we generalize the primitive element theorem to the generation of separable algebras over fields and rings. We prove that any finitely generated separable algebra over an infinite field is generated by two elements and if the algebra is ...
Christos Nikolopoulos +1 more
doaj +1 more source
Separately continuous algebras
Theoretical Computer Science, 1983 An ordered algebra is separately \(\Delta\)-continuous if it has directed joins, and the operations preserve these joins in each variable separately. For infinitary signatures, free separately \(\Delta\)- continuous algebras are proved not to exist, in contrast with the jointly continuous algebras [see \textit{E. Nelson}, Lect. Notes Math. 871, 315-334
Jirí Adámek, Evelyn Nelson
openaire +2 more sources
On separable extensions of group rings and quaternion rings
International Journal of Mathematics and Mathematical Sciences, 1978 The purposes of the present paper are (1) to give a necessary and sufficient condition for the uniqueness of the separable idempotent for a separable group ring extension RG(R may be a non-commutative ring), and (2) to give a full description of the set ...
George Szeto
doaj +1 more source
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 +3 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
The Tracial Class Property for Crossed Products by Finite Group Actions
Abstract and Applied Analysis, 2012 We define the concept of tracial 𝒞-algebra of C*-algebras, which generalize the concept of local 𝒞-algebra of C*-algebras given by H. Osaka and N. C. Phillips. Let 𝒞 be any class of separable unital C*-algebras.
Xinbing Yang, Xiaochun Fang
doaj +1 more source
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
Very true operators on MTL-algebras
Open Mathematics, 2016 The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also,
Wang Jun Tao +2 more
doaj +1 more source
The Structure of Frobenius Algebras and Separable Algebras [PDF]
K-Theory, 2000 34 ...
Brzezinski, Tomasz +2 more
openaire +4 more sources
LAPLACE EQUATIONS, CONFORMAL SUPERINTEGRABILITY AND BÔCHER CONTRACTIONS
Acta Polytechnica, 2016 Quantum superintegrable systems are solvable eigenvalue problems. Their solvability is due to symmetry, but the symmetry is often ``hidden''.The symmetry generators of 2nd order superintegrable systems in 2 dimensions close under commutation to define ...
Ernest G. Kalnins +2 more
doaj +1 more source