Results 11 to 20 of about 26,272 (205)
On the monoidal invariance of the cohomological dimension of Hopf algebras
Comptes Rendus. Mathématique, 2022 We discuss the question of whether the global dimension is a monoidal invariant for Hopf algebras, in the sense that if two Hopf algebras have equivalent monoidal categories of comodules, then their global dimensions should be equal.
Bichon, Julien
doaj +1 more source
On sets of terms having a given intersection type [PDF]
Logical Methods in Computer Science, 2022 Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing term M admits
Andrew Polonsky, Richard Statman
doaj +1 more source
Infinite-dimensional Categorical Quantum Mechanics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We use non-standard analysis to define a category *Hilb suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it.
Stefano Gogioso, Fabrizio Genovese
doaj +1 more source
A NONSEPARABLE AMENABLE OPERATOR ALGEBRA WHICH IS NOT ISOMORPHIC TO A $C^*$ -ALGEBRA
Forum of Mathematics, Sigma, 2014 It has been a long-standing question whether every amenable operator algebra is isomorphic to a (necessarily nuclear) $\mathrm{C}^*$ -algebra.
YEMON CHOI, ILIJAS FARAH, NARUTAKA OZAWA
doaj +1 more source
On the isomorphism class of $q$-Gaussian W$^\ast $-algebras for infinite variables
Comptes Rendus. Mathématique, 2023 Let $M_q(H_{\mathbb{R}})$ be the $q$-Gaussian von Neumann algebra associated with a separable infinite dimensional real Hilbert space $H_{\mathbb{R}}$ where $-1 < q < 1$. We show that $M_q(H_{\mathbb{R}}) \lnot \simeq M_0(H_{\mathbb{R}})$ for $-1 < q \ne
Caspers, Martijn
doaj +1 more source
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
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
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
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
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