Varieties with Definable Factor Congruences

Details Varieties with Definable Factor Congruences Varieties with Definable Factor Congruences

2008-08-13

arxiv.org/abs/0808.1860v1

Trans. Amer. Math. Soc. 361 (2009), 5061-5088

Mathematics

Logic

Scientific paper

10.1090/S0002-9947-09-04921-6

We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are "definable" in a first-order-logic sense, among them the concept of Definable Factor Congruences (DFC). The main results are that DFC is a Mal'cev property and that it is equivalent to all other conditions formulated; in particular we prove that V has DFC if and only if V has 0&1 and Boolean Factor Congruences. We also obtain an explicit first order definition of the kernel of the canonical projections via the terms associated to the Mal'cev condition for DFC, in such a manner it is preserved by taking direct products and direct factors. The main tool is the use of "central elements," which are a generalization of both central idempotent elements in rings with identity and neutral complemented elements in a bounded lattice.

Affiliated with

Also associated with

No associations

Rating

Varieties with Definable Factor Congruences does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Varieties with Definable Factor Congruences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Varieties with Definable Factor Congruences will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-387026