A note on CIP varieties
Let \(\rho\) be a binary relation on an algebra \(A\). \(\rho_A\) denotes the congruence of \(A\) generated by \(\rho\). An algebra \(A\) has CIP (Congruence Intersection Property) if \[ 0_A\vee(\rho\wedge\Theta)=(0_A\vee\rho)\wedge(0_A\vee\Theta) \] for each \(\rho\in\text{Con }B\), \(\Theta\in C\) where \(B,C\in\text{Sub }A\) and \(0_A\) denotes the least congruence of \(A\). \(A\) has wCIP if \[ 0_A\vee(\rho\wedge\Theta)=(0_A\vee\rho)\wedge\Theta. \] It is shown that every CIP variety is Abelian and a congruence modular variety is Abelian iff it has wCIP. Moreover, a congruence modular Abelian variety has CIP iff it has a constant term. If a variety is congruence modular and subalgebra modular then it has CIP.
- \(E\)-fuzzy groups
- A note on representation of lattices by weak congruences
- Fuzzy identities with application to fuzzy semigroups.
- Representation of lattices by fuzzy weak congruence relations
- A note on spark varieties
- Congruence lattices in varieties with compact intersection property.
- scientific article; zbMATH DE number 4211534 (Why is no real title available?)
- scientific article; zbMATH DE number 1340130 (Why is no real title available?)
- scientific article; zbMATH DE number 5211089 (Why is no real title available?)
- A note on atomistic weak congruence lattices
This page was built for publication: A note on CIP varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5950762)