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