Displaying similar documents to “M-solid generalized non-deterministic varieties”

Hyperidentities in many-sorted algebras

Klaus Denecke, Somsak Lekkoksung (2009)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The theory of hyperidentities generalizes the equational theory of universal algebras and is applicable in several fields of science, especially in computers sciences (see e.g. [2,1]). The main tool to study hyperidentities is the concept of a hypersubstitution. Hypersubstitutions of many-sorted algebras were studied in [3]. On the basis of hypersubstitutions one defines a pair of closure operators which turns out to be a conjugate pair. The theory of conjugate pairs of additive closure...

Nd-solid varieties

Klaus Denecke, Prisana Glubudom (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

A non-deterministic hypersubstitution maps any operation symbol of a tree language of type τ to a set of trees of the same type, i.e. to a tree language. Non-deterministic hypersubstitutions can be extended to mappings which map tree languages to tree languages preserving the arities. We define the application of a non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras. Non-deterministic hypersubstitutions can also be applied to equations of...

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.

Vector Measures, c₀, and (sb) Operators

Elizabeth M. Bator, Paul W. Lewis, Dawn R. Slavens (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Emmanuele showed that if Σ is a σ-algebra of sets, X is a Banach space, and μ: Σ → X is countably additive with finite variation, then μ(Σ) is a Dunford-Pettis set. An extension of this theorem to the setting of bounded and finitely additive vector measures is established. A new characterization of strongly bounded operators on abstract continuous function spaces is given. This characterization motivates the study of the set of (sb) operators. This class of maps is used to extend results...

The lattice of varieties of fibered automata

Anna Mućka (2006)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.

Compactness conditions for elementary operators

Matej Brešar, Yuri V. Turovskii (2007)

Studia Mathematica

Similarity:

Various topics concerning compact elementary operators on Banach algebras are studied: their ranges, their coefficients, and the structure of algebras having nontrivial compact elementary operators. In the first part of the paper we consider separately elementary operators of certain simple types. In the second part we obtain our main results which deal with general elementary operators.