Ideals in universal algebras
From MaRDI portal
Publication:798686
DOI10.1007/BF01191491zbMath0547.08001MaRDI QIDQ798686
Publication date: 1984
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01191491
congruence lattice; commutators; lattices of ideals; Mal'cev condition; 0-regular varieties; ideal determined varieties; ideals in varieties
08B05: Equational logic, Mal'tsev conditions
08A30: Subalgebras, congruence relations
08B10: Congruence modularity, congruence distributivity
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY, Fregean subtractive varieties with definable congruence, ON ANNIHILATOR IDEALS OF C-ALGEBRAS, Quasi-discriminator varieties, Dual binary discriminator varieties, $L-$fuzzy semi-prime ideals in universal algebras, ANNULETS AND α-IDEALS OF C-ALGEBRAS, QUASICOMPLEMENTED C-ALGEBRAS, Functorial representation theorems for MV\(_\Delta\) algebras with additional operators, An Introduction to Regular Categories, Categorical Commutator Theory, Unnamed Item, Intuitionistic logic is a connexive logic, CONDITIONAL FLATNESS, FIBERWISE LOCALIZATIONS, AND ADMISSIBLE REFLECTIONS, Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections., The snail lemma in a pointed regular category, On exponentiable morphisms in classical algebra, Normal subalgebras. I, Weighted commutators in semi-abelian categories, Effective descent morphisms of regular epimorphisms, A good theory of ideals in regular multi-pointed categories, On states and state operators on certain basic algebras, Duality in non-abelian algebra. III. Normal categories and 0-regular varieties, A new view of effects in a Hilbert space, Some applications of higher commutators in Mal'cev algebras, Normalities and commutators, The commutator in equivalential algebras and Fregean varieties, Categorical (binary) difference terms and protomodularity, Topological semi-abelian algebras, Joins of subalgebras and normals in 0-regular varieties, The structure of generalized BI-algebras and weakening relation algebras, Generating the variety of BL-algebras, Ideals and clots in universal algebra and in semi-abelian categories, Filters of implication reducts of basic algebras., A discriminator variety of Gödel algebras with operators arising in quantum computation, Cosets in universal algebra, On subtractive weak Brouwerian semilattices, On subtractive varieties II: General properties, On quasi-identities of finite nilpotent algebras, Congruence modularity implies the Arguesian law for single algebras with a difference term, Prime spectra in modular varieties, On subtractive varieties. I, Ideal determined varieties need not be congruence 3-permutable, Polynomial interpolation in expanded groups., Some properties of pseudo-BCK- and pseudo-BCI-algebras, Varieties of BL-algebras. I: General properties., On Birkhoff's common abstraction problem, An axiomatic survey of diagram lemmas for non-abelian group-like structures, Ideals and congruences of basic algebras, \(L\)-fuzzy cosets in universal algebras, Residuated structures and orthomodular lattices, Abstractly constructed prime spectra, Right-cancellable protomodular algebras, Projectivity in (bounded) commutative integral residuated lattices, Annihilators in universal algebras: a new approach, Alpha ideals and the space of prime alpha ideals in universal algebras, Semidirect products and split short five lemma in normal categories, The monads of classical algebra are seldom weakly Cartesian, On difunctionality of class relations, Compatibly involutive residuated lattices and the Nelson identity, \(L\)-fuzzy prime ideals in universal algebras, Splittings in GBL-algebras. II: The representable case, Nonassociative right hoops, Prelinear algebras in relatively regular quasivarieties, Categorical foundations of variety-based bornology, General theory of the commutator for deductive systems. I: Basic facts, On varieties of biresiduation algebras, Modal MTL-algebras, Skew lattices and binary operations on functions, Lattice-theoretic properties of algebras of logic, Basic hoops: an algebraic study of continuous t-norms, Expanding quasi-MV algebras by a quantum operator, On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II., MV-algebras and quantum computation, Projectivity and unification in substructural logics of generalized rotations, A Note on the Abelianization Functor, NORMAL C-ALGEBRAS, Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view, Semi-linear Varieties of Lattice-Ordered Algebras, THE STRUCTURE OF RESIDUATED LATTICES, VARIETIES OF EQUALITY STRUCTURES, Congruences and ideals on Boolean modules: a heterogeneous point of view, Quasi-subtractive varieties, MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS, Arithmeticity at 0, Generic substitutions, FREGEAN VARIETIES, Unnamed Item, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, Unnamed Item, Unnamed Item, Unnamed Item, Congruences and ideals in ternary rings, Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- An easy way to the commutator in modular varieties
- On \(n\)-permutable congruences
- Su una classe equazionale di algebre
- Implication algebras are 3-permutable and 3-distributive
- Groups with Multiple Operators
- On the representation of lattices