Displaying similar documents to “A generalization of a formalized theory of fields of sets on non-classical logics”

The n m -propositional calculus

Carlos Gallardo, Alicia Ziliani (2015)

Mathematica Bohemica

Similarity:

T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the n m -propositional calculus, denoted by n m , is introduced in terms of the binary connectives (implication), (standard implication), (conjunction), (disjunction) and the unary ones f (negation) and D i , 1 i n - 1 (generalized Moisil operators). It is proved that n m belongs to the class of standard systems...

Trivialization of 𝒞 ( X ) -algebras with strongly self-absorbing fibres

Marius Dadarlat, Wilhelm Winter (2008)

Bulletin de la Société Mathématique de France

Similarity:

Suppose A is a separable unital 𝒞 ( X ) -algebra each fibre of which is isomorphic to the same strongly self-absorbing and K 1 -injective C * -algebra 𝒟 . We show that A and 𝒞 ( X ) 𝒟 are isomorphic as 𝒞 ( X ) -algebras provided the compact Hausdorff space X is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

The moduli space of commutative algebras of finite rank

Bjorn Poonen (2008)

Journal of the European Mathematical Society

Similarity:

The moduli space of rank- n commutative algebras equipped with an ordered basis is an affine scheme 𝔅 n of finite type over , with geometrically connected fibers. It is smooth if and only if n 3 . It is reducible if n 8 (and the converse holds, at least if we remove the fibers above 2 and 3 ). The relative dimension of 𝔅 n is 2 27 n 3 + O ( n 8 / 3 ) . The subscheme parameterizing étale algebras is isomorphic to GL n / S n , which is of dimension only n 2 . For n 8 , there exist algebras that are not limits of étale algebras. The dimension...

Bicrossed products of generalized Taft algebra and group algebras

Dingguo Wang, Xiangdong Cheng, Daowei Lu (2022)

Czechoslovak Mathematical Journal

Similarity:

Let G be a group generated by a set of finite order elements. We prove that any bicrossed product H m , d ( q ) k [ G ] between the generalized Taft algebra H m , d ( q ) and group algebra k [ G ] is actually the smash product H m , d ( q ) k [ G ] . Then we show that the classification of these smash products could be reduced to the description of the group automorphisms of G . As an application, the classification of H m , d ( q ) k [ C n 1 × C n 2 ] is completely presented by generators and relations, where C n denotes the n -cyclic group.

Cambrian fans

Nathan Reading, David E. Speyer (2009)

Journal of the European Mathematical Society

Similarity:

For a finite Coxeter group W and a Coxeter element c of W ; the c -Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of W . Its maximal cones are naturally indexed by the c -sortable elements of W . The main result of this paper is that the known bijection cl c between c -sortable elements and c -clusters induces a combinatorial isomorphism of fans. In particular, the c -Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for...

Equivalence bundles over a finite group and strong Morita equivalence for unital inclusions of unital C * -algebras

Kazunori Kodaka (2022)

Mathematica Bohemica

Similarity:

Let 𝒜 = { A t } t G and = { B t } t G be C * -algebraic bundles over a finite group G . Let C = t G A t and D = t G B t . Also, let A = A e and B = B e , where e is the unit element in G . We suppose that C and D are unital and A and B have the unit elements in C and D , respectively. In this paper, we show that if there is an equivalence 𝒜 - -bundle over G with some properties, then the unital inclusions of unital C * -algebras A C and B D induced by 𝒜 and are strongly Morita equivalent. Also, we suppose that 𝒜 and are saturated and that A ' C = 𝐂 1 . We show that...

Multiplicative Lie triple derivations on standard operator algebras

Bilal Ahmad Wani (2021)

Communications in Mathematics

Similarity:

Let 𝒳 be a Banach space of dimension n > 1 and 𝔄 ( 𝒳 ) be a standard operator algebra. In the present paper it is shown that if a mapping d : 𝔄 𝔄 (not necessarily linear) satisfies d ( [ [ U , V ] , W ] ) = [ [ d ( U ) , V ] , W ] + [ [ U , d ( V ) ] , W ] + [ [ U , V ] , d ( W ) ] for all U , V , W 𝔄 , then d = ψ + τ , where ψ is an additive derivation of 𝔄 and τ : 𝔄 𝔽 I vanishes at second commutator [ [ U , V ] , W ] for all U , V , W 𝔄 . Moreover, if d is linear and satisfies the above relation, then there exists an operator S 𝔄 and a linear mapping τ from 𝔄 into 𝔽 I satisfying τ ( [ [ U , V ] , W ] ) = 0 for all U , V , W 𝔄 , such that d ( U ) = S U - U S + τ ( U ) for all U 𝔄 .