posted on 2014-08-10, 00:00authored byClifford Bergman, Joel Berman
A congruence relation theta on an algebra A is fully invariant if every endomorphism of A preserves theta. A congruence theta is verbal if there exists a variety such that theta is the least congruence of A such that . Every verbal congruence relation is known to be fully invariant. This paper investigates fully invariant congruence relations that are verbal, algebras whose fully invariant congruences are verbal, and varieties for which every fully invariant congruence in every algebra in the variety is verbal.
History
Publisher Statement
Post print version of article may differ from published version. The final publication is available at springerlink.com; DOI:10.1007/s00012-013-0238-z