Congruence modularity implies the Arguesian law for single algebras with a difference term
A general commutator theory which was developed for algebras belonging to a congruence modular variety is used to improve known results or give simpler proofs to such results and to (partially) solve some problems. Commutator theory is extended to a somewhat larger setting. Generalizing a result of Freese and Jónsson, it is proved that the congruence lattice of a congruence modular algebra having a difference term is Arguesian. A difference term on an algebra \({\mathbb A}=(A,F)\) is a ternary term \(d\) on \({\mathbb A}\) satisfying \(d(x,y,y)=x\) for all \(x,y\in A\) and \(d(x,x,y) [\alpha,\alpha] y\) for all \(\alpha\in\text{Con }{\mathbb A}\) and all \((x,y)\in\alpha\). Here \([\alpha,\beta]\) denotes the commutator of \(\alpha,\beta\in\text{Con }{\mathbb A}\).
- Congruence modularity implies cyclic terms for finite algebras
- A NOTE ON CONGRUENCE UNIFORMITY FOR SINGLE ALGEBRAS
- scientific article; zbMATH DE number 1202450
- Congruence lower semimodularity and 2-finiteness imply congruence modularity
- Relatively congruence modular quasivarieties of modules
- On congruence distributivity and modularity
- scientific article; zbMATH DE number 2162136
- Pappian implies Arguesian for modular lattices
- scientific article; zbMATH DE number 1538018
- scientific article; zbMATH DE number 48939
- n-permutable varieties satisfy non trivial congruence identities
- A Characterization of Varieties with a Difference Term
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- AN ORDER-THEORETIC PROPERTY OF THE COMMUTATOR
- Commutator Theory Without Join-Distributivity
- Congruence lattices of algebras of fixed similarity type. I
- Congruence modularity implies the Arguesian identity
- Congruence varieties
- Geometrical methods in congruence modular algebras
- scientific article; zbMATH DE number 3832016 (Why is no real title available?)
- scientific article; zbMATH DE number 4200456 (Why is no real title available?)
- scientific article; zbMATH DE number 3939410 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 4035895 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 167355 (Why is no real title available?)
- scientific article; zbMATH DE number 714718 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- Ideals in universal algebras
- Mal'cev varieties
- On some identities valid in modular congruence varieties
- Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
- Quasi-affine algebras
- Representation of Modular Lattices and Of Relation Algebras
- Some applications of the term condition
- Terms which are Mal'cev modulo some functions
- The Relationship Between Two Commutators
- The structure of finite algebras
- Three remarks on the modular commutator
- Varieties whose congruences satisfy certain lattice identities
- Varieties with a difference term
This page was built for publication: Congruence modularity implies the Arguesian law for single algebras with a difference term
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1305447)
