Quotient algebra

From HandWiki

In mathematics, a quotient algebra, (where algebra means algebraic structure in the sense of universal algebra), also called a factor algebra,[1] is obtained by partitioning the elements of an algebra into equivalence classes given by a congruence relation, that is an equivalence relation that is additionally compatible with all the operations of the algebra, in the formal sense described below.

Compatible relation

Let A be the set of the elements of an algebra [math]\displaystyle{ \mathcal{A} }[/math], and let E be an equivalence relation on the set A. The relation E is said to be compatible with (or have the substitution property with respect to) an n-ary operation f, if [math]\displaystyle{ (a_i,\; b_i) \in E }[/math] for [math]\displaystyle{ 1 \le i \le n }[/math] implies [math]\displaystyle{ (f (a_1, a_2, \ldots, a_n), f (b_1, b_2, \ldots, b_n)) \in E }[/math] for any [math]\displaystyle{ a_i,\; b_i \in A }[/math] with [math]\displaystyle{ 1 \le i \le n }[/math]. An equivalence relation compatible with all the operations of an algebra is called a congruence with respect to this algebra.

Quotient algebras and homomorphisms

Any equivalence relation E in a set A partitions this set in equivalence classes. The set of these equivalence classes is usually called the quotient set, and denoted A/E. For an algebra [math]\displaystyle{ \mathcal{A} }[/math], it is straightforward to define the operations induced on the elements of A/E if E is a congruence. Specifically, for any operation [math]\displaystyle{ f^{\mathcal{A}}_i }[/math] of arity [math]\displaystyle{ n_i }[/math] in [math]\displaystyle{ \mathcal{A} }[/math] (where the superscript simply denotes that it is an operation in [math]\displaystyle{ \mathcal{A} }[/math], and the subscript [math]\displaystyle{ i \in I }[/math] enumerates the functions in [math]\displaystyle{ \mathcal{A} }[/math] and their arities) define [math]\displaystyle{ f^{\mathcal{A}/E}_i : (A/E)^{n_i} \to A/E }[/math] as [math]\displaystyle{ f^{\mathcal{A}/E}_i ([a_1]_E, \ldots, [a_{n_i}]_E) = [f^{\mathcal{A}}_i(a_1,\ldots, a_{n_i})]_E }[/math], where [math]\displaystyle{ [x]_E \in A/E }[/math] denotes the equivalence class of [math]\displaystyle{ x \in A }[/math] generated by E ("x modulo E").

For an algebra [math]\displaystyle{ \mathcal{A} = (A, (f^{\mathcal{A}}_i)_{i \in I}) }[/math], given a congruence E on [math]\displaystyle{ \mathcal{A} }[/math], the algebra [math]\displaystyle{ \mathcal{A}/E = (A/E, (f^{\mathcal{A}/E}_i)_{i \in I}) }[/math] is called the quotient algebra (or factor algebra) of [math]\displaystyle{ \mathcal{A} }[/math] modulo E. There is a natural homomorphism from [math]\displaystyle{ \mathcal{A} }[/math] to [math]\displaystyle{ \mathcal{A}/E }[/math] mapping every element to its equivalence class. In fact, every homomorphism h determines a congruence relation via the kernel of the homomorphism, [math]\displaystyle{ \mathop{\mathrm{ker}}\,h = \{(a,a') \in A^2\, |\, h(a) = h(a')\}\subseteq A^2 }[/math].

Given an algebra [math]\displaystyle{ \mathcal{A} }[/math], a homomorphism h thus defines two algebras homomorphic to [math]\displaystyle{ \mathcal{A} }[/math], the image h([math]\displaystyle{ \mathcal{A} }[/math]) and [math]\displaystyle{ \mathcal{A}/\mathop{\mathrm{ker}}\,h }[/math] The two are isomorphic, a result known as the homomorphic image theorem or as the first isomorphism theorem for universal algebra. Formally, let [math]\displaystyle{ h : \mathcal{A} \to \mathcal{B} }[/math] be a surjective homomorphism. Then, there exists a unique isomorphism g from [math]\displaystyle{ \mathcal{A}/\mathop{\mathrm{ker}}\,h }[/math] onto [math]\displaystyle{ \mathcal{B} }[/math] such that g composed with the natural homomorphism induced by [math]\displaystyle{ \mathop{\mathrm{ker}}\,h }[/math] equals h.

Congruence lattice

For every algebra [math]\displaystyle{ \mathcal{A} }[/math] on the set A, the identity relation on A, and [math]\displaystyle{ A \times A }[/math] are trivial congruences. An algebra with no other congruences is called simple.

Let [math]\displaystyle{ \mathrm{Con}(\mathcal{A}) }[/math] be the set of congruences on the algebra [math]\displaystyle{ \mathcal{A} }[/math]. Because congruences are closed under intersection, we can define a meet operation: [math]\displaystyle{ \wedge : \mathrm{Con}(\mathcal{A}) \times \mathrm{Con}(\mathcal{A}) \to \mathrm{Con}(\mathcal{A}) }[/math] by simply taking the intersection of the congruences [math]\displaystyle{ E_1 \wedge E_2 = E_1\cap E_2 }[/math].

On the other hand, congruences are not closed under union. However, we can define the closure of any binary relation E, with respect to a fixed algebra [math]\displaystyle{ \mathcal{A} }[/math], such that it is a congruence, in the following way: [math]\displaystyle{ \langle E \rangle_{\mathcal{A}} = \bigcap \{ F \in \mathrm{Con}(\mathcal{A}) | E \subseteq F \} }[/math]. Note that the (congruence) closure of a binary relation depends on the operations in [math]\displaystyle{ \mathcal{A} }[/math], not just on the carrier set. Now define [math]\displaystyle{ \vee: \mathrm{Con}(\mathcal{A}) \times \mathrm{Con}(\mathcal{A}) \to \mathrm{Con}(\mathcal{A}) }[/math] as [math]\displaystyle{ E_1 \vee E_2 = \langle E_1\cup E_2 \rangle_{\mathcal{A}} }[/math].

For every algebra [math]\displaystyle{ \mathcal{A} }[/math], [math]\displaystyle{ (\mathrm{Con}(\mathcal{A}), \wedge, \vee) }[/math] with the two operations defined above forms a lattice, called the congruence lattice of [math]\displaystyle{ \mathcal{A} }[/math]. It's a distributive lattice.

Maltsev conditions

If two congruences permute (commute) with the composition of relations as operation, i.e. [math]\displaystyle{ \alpha\circ\beta = \beta\circ\alpha }[/math], then their join (in the congruence lattice) is equal to their composition: [math]\displaystyle{ \alpha\circ\beta = \alpha\vee\beta }[/math]. An algebra is called congruence-permutable if every pair of its congruences permutes; likewise a variety is said to be congruence-permutable if all its members are congruence-permutable algebras.

In 1954, Anatoly Maltsev established the following characterization of congruence-permutable varieties: a variety is congruence permutable if and only if there exist a ternary term q(x, y, z) such that q(x, y, y) ≈ xq(y, y, x); this is called a Maltsev term and varieties with this property are called Maltsev varieties. Maltsev's characterization explains a large number of similar results in groups (take q = xy−1z), rings, quasigroups (take q = (x / (y \ y))(y \ z)), complemented lattices, Heyting algebras etc. Furthermore, every congruence-permutable algebra is congruence-modular, i.e. its lattice of congruences is modular lattice as well; the converse is not true however.

After Maltsev's result, other researchers found characterizations based on conditions similar to that found by Maltsev but for other kinds of properties, e.g. in 1967 Bjarni Jónsson found the conditions for varieties having congruence lattices that are distributive (thus called congruence-distributive varieties). Generically, such conditions are called Maltsev conditions.

This line of research led to the Pixley–Wille algorithm for generating Maltsev conditions associated with congruence identities.[2]

See also

Notes

  1. A. G. Kurosh, Lectures on General Algebra, Translated from the Russian edition (Moscow, 1960), Chelsea, New York, 1963.
  2. Keith Kearnes; Emil W. Kiss (2013). The Shape of Congruence Lattices. American Mathematical Soc.. p. 4. ISBN 978-0-8218-8323-5. 

References