Displaying similar documents to “Hyperidentities in many-sorted algebras”

M-solid generalized non-deterministic varieties

Somsak Lekkoksung (2016)

Discussiones Mathematicae General Algebra and Applications

Similarity:

A generalized non-deterministic hypersubstitution is a mapping which maps operation symbols of type τ to the set of terms of the same type which does not necessarily preserve the arity. We apply the generalized non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras of type τ. The generalized non-deterministic hypersubstitutions can be also applied to sets of equations of type τ. We obtain two closure operators which turn out to be a conjugate...

CB-degenerations and rigid degenerations of algebras

Adam Hajduk (2006)

Colloquium Mathematicae

Similarity:

The main aim of this note is to prove that if k is an algebraically closed field and a k-algebra A₀ is a CB-degeneration of a finite-dimensional k-algebra A₁, then there exists a factor algebra Ā₀ of A₀ of the same dimension as A₁ such that Ā₀ is a CB-degeneration of A₁. As a consequence, Ā₀ is a rigid degeneration of A₁, provided A₀ is basic.

Characterizing Non-Matrix Properties of Varieties of Algebras in the Language of Forbidden Objects

Finogenova, Olga (2012)

Serdica Mathematical Journal

Similarity:

2010 Mathematics Subject Classification: 16R10, 16R40. We discuss characterizations of some non-matrix properties of varieties of associative algebras in the language of forbidden objects. Properties under consideration include the Engel property, Lie nilpotency, permutativity. We formulate a few open problems. * The author acknowledges support from the Russian Foundation for Basic Research, grant 10-01-00524.

On the problem of axiomatization of tame representation type

Stanisław Kasjan (2002)

Fundamenta Mathematicae

Similarity:

Associative algebras of fixed dimension over algebraically closed fields of fixed characteristic are considered. It is proved that the class of algebras of tame representation type is axiomatizable. Moreover, finite axiomatizability of this class is equivalent to the conjecture that the algebras of tame representation type form a Zariski-open subset in the variety of algebras.

Varieties of modules over tubular algebras

Christof Geiss, Jan Schröer (2003)

Colloquium Mathematicae

Similarity:

We classify the irreducible components of varieties of modules over tubular algebras. Our results are stated in terms of root combinatorics. They can be applied to understand the varieties of modules over the preprojective algebras of Dynkin type 𝔸₅ and 𝔻₄.

Universal Enveloping Algebras of Nonassociative Structures

Tvalavadze, Marina (2012)

Serdica Mathematical Journal

Similarity:

2010 Mathematics Subject Classification: Primary 17D15. Secondary 17D05, 17B35, 17A99. This is a survey paper to summarize the latest results on the universal enveloping algebras of Malcev algebras, triple systems and Leibniz n-ary algebras.

The class of 2-dimensional neat reducts is not elementary

Tarek Sayed Ahmed (2002)

Fundamenta Mathematicae

Similarity:

SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends...