A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity

DOI10.1007/BF01238496zbMath0419.08001OpenAlexW1976799362MaRDI QIDQ1132121

Joachim Hagemann, Christian Herrmann

Publication date: 1979

Published in: Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01238496

zbMATH Keywords

congruence lattice algebras in congruence permutable varieties centrality for congruence modular varieties commutators of congruences dual ideal semiprime congruences

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Modular lattices, Desarguesian lattices (06C05)

Related Items (61)

On the relationship of AP, RS and CEP in congruence modular varieties ⋮ Injectivity and related concepts in modular varieties: I. Two commutator properties ⋮ Every idempotent plain algebra generates a minimal variety ⋮ Frames and rings in congruence modular varieties ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Idempotent algebras with log-linear free spectra ⋮ Alan Day's early work: Congruence identities ⋮ Nilpotent and solvable radicals in locally finite congruence modular varieties ⋮ Many-sorted algebras in congruence modular varieties ⋮ Monotone clones, residual smallness and congruence distributivity ⋮ Absolute Subretracts and Weak Injectives in Congruence Modular Varieties ⋮ Boolean-like algebras ⋮ Counting models in universal Horn classes ⋮ Satisfiability in MultiValued Circuits ⋮ Characters of finite quasigroups. IV: Products and superschemes ⋮ Arithmetical categories and commutator theory ⋮ A review of some of Bjarni Jónsson's results on representation of Arguesian lattices ⋮ Tolerances and Commutators on lattices ⋮ An easy way to the commutator in modular varieties ⋮ Residually Small Varieties with Modular Congruence Lattices ⋮ A characterization of the Higgins commutator ⋮ Universal algebraic methods for non-classical logics ⋮ Algebraic structures from the point of view of complete multiplicative lattices ⋮ Congruence lattices forcing nilpotency ⋮ General theory of the commutator for deductive systems. I: Basic facts ⋮ Congruence modularity is permutability composed with distributivity ⋮ On some identities valid in modular congruence varieties ⋮ Congruence-distributive varieties of algebras ⋮ Three concepts of nilpotence in loops ⋮ Residually small varieties of K-algebras ⋮ Some applications of the term condition ⋮ The Relationship Between Two Commutators ⋮ Universal algebras ⋮ Supernilpotent Taylor algebras are nilpotent ⋮ Some characterizations of the commutator ⋮ On supernilpotent algebras ⋮ Three remarks on the modular commutator ⋮ Embedding general algebras into modules ⋮ Growth sequences of finite algebras ⋮ VARIETIES OF EQUALITY STRUCTURES ⋮ MV-algebras and quantum computation ⋮ Unnamed Item ⋮ Higher commutator theory for congruence modular varieties ⋮ Commutator Theory Without Join-Distributivity ⋮ Semi-abelian categories ⋮ On subtractive varieties II: General properties ⋮ The shape of congruence lattices ⋮ Galois groups, abstract commutators, and Hopf formula ⋮ Abstractly constructed prime spectra ⋮ АЛГЕБРЫ РИСА И КОНГРУЭНЦ-АЛГЕБРЫ РИСА В ОДНОМ КЛАССЕ АЛГЕБР С ОПЕРАТОРОМ И ОСНОВНОЙ ОПЕРАЦИЕЙ ПОЧТИ ЕДИНОГЛАСИЯ ⋮ Decidable varieties with modular congruence lattices ⋮ Narrowness implies uniformity ⋮ On varieties of algebras having complemented modular lattices of congruences ⋮ Direct factor varieties ⋮ On categorical equivalence of finite p-rings ⋮ Congruence modularity implies the Arguesian law for single algebras with a difference term ⋮ Congruence lattices of finite algebras ⋮ On Jónsson's theorem ⋮ Ideals in universal algebras ⋮ Commutators and central extensions in universal algebra ⋮ Finite representation of commutator sequences

Cites Work

This page was built for publication: A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity