Fully invariant and verbal congruence relations

DOI10.1007/S00012-013-0238-ZMaRDI QIDQ364686zbMATH OpenOpenAlexWikidataFDO

Authors Clifford Bergman, Joel Berman

Publication date 9 September 2013

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-013-0238-z

zbMATH Keywords

fully invariant congruence verbal congruence verbose algebra verbose variety

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Review text

Let \(A\) be an algebra. A congruence \(\theta\) is called verbal if there exists a variety \(V\) such that the factor algebra of \(A\) by \(\theta\) is in \(V\). Every verbal congruence is fully invariant but not conversely. An algebra \(A\) is called verbose if every fully invariant congruence on \(A\) is verbal. A variety is verbose if each algebra in it has this property. The authors prove that for a finite SI-algebra generating congruence-modular (CM in brief) variety its monolith is verbal. Neither finiteness nor CM can be omitted. If \(A\) is a finite algebra in a CM variety and \(\operatorname{Con}A\) is a chain, then \(A\) is verbose. If \(V\) is a locally finite CM minimal variety then \(V\) is verbose. The authors prove several results on verbose varieties which are abelian or semisismple and arithmetical. A number of nice examples is included.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Fully invariant and verbal congruence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q364686)