View source for Abstract Algebra/Equivalence relations and congruence classes

{{TOC right}}
We often wish to describe how two mathematical entities within a set are related.  For example, if we were to look at the set of all people on Earth, we could define "is a child of" as a relationship.  Similarly, the <math>\ge</math> operator defines a relation on the set of integers.  A binary relation, hereafter referred to simply as a relation, is a binary proposition defined on any selection of the elements of two sets.

Formally, a relation is any arbitrary subset of the Cartesian product between two sets <math>X</math> and <math>Y</math> so that, for a relation <math>R</math>, <math>R \subseteq X \times Y</math>. In this case, <math>X</math> is referred to as the domain of the relation and <math>Y</math> is referred to as its codomain. If an ordered pair <math>(x, y)</math> is an element of <math>R</math> (where, by the definition of <math>R</math>, <math>x \in X</math> and <math>y \in Y</math>), then we say that <math>x</math> is related to <math>y</math> by <math>R</math>. We will use <math>R(x)</math> to denote the set
:<math>\{y \in Y:(x, y) \in R\}</math>.
In other words, <math>R(x)</math> is used to denote the set of all elements in the codomain of <math>R</math> to which some <math>x</math> in the domain is related.

==Equivalence relations==
To denote that two elements <math>x</math> and <math>y</math> are related for a relation <math>R</math> which is a subset of some Cartesian product <math>X \times X</math>, we will use an infix operator.  We write <math>x \sim y</math> for some <math>x,y\in X</math> and <math>(x, y) \in R</math>.

There are very many types of relations.  Indeed, further inspection of our earlier examples reveals that the two relations are quite different.  In the case of the "is a child of" relationship, we observe that there are some people A,B where neither A is a child of B, nor B is a child of A.  In the case of the <math>\ge</math> operator, we know that for any two integers <math>m,n\in Z</math> exactly one of <math>m\ge n</math> or <math>n> m</math> is true.  In order to learn about relations, we must look at a smaller class of relations.

In particular, we care about the following properties of relations:

* Reflexivity: A relation <math>R \subseteq X \times X</math> is reflexive if <math>a \sim a</math> for all <math>a\in X</math>.
* Symmetry: A relation <math>R \subseteq X \times X</math> is symmetric if <math>{a \sim b} \implies {b \sim a}</math> for all <math>a,b \in X</math>.  
* Transitivity: A relation <math>R \subseteq X \times X</math> is transitive if <math>{ {a \sim b} \wedge {b \sim c} } \implies { a \sim c }</math> for all <math>a,b,c \in X</math>.

One should note that in all three of these properties, we quantify across ''all'' elements of the set <math>X</math>.

Any relation <math>R \subseteq X \times X</math> which exhibits the properties of reflexivity, symmetry and transitivity is called an '''equivalence relation''' on <math>X</math>.  Two elements related by an equivalence relation are called equivalent under the equivalence relation. We write <math>a \sim_R b</math> to denote that <math>a</math> and <math>b</math> are equivalent under <math>R</math>. If only one equivalence relation is under consideration, we can instead write simply <math>a \sim b</math>. As a notational convenience, we can simply say that <math>\sim</math> is an equivalence relation on a set <math>X</math> and let the rest be implied.

Example: For a fixed integer <math>p</math>, we define a relation <math>\sim_p</math> on the set of integers such that <math>a \sim_p b</math> if and only if <math>a-b = k p</math> for some <math>k \in Z</math>.  Prove that this defines an equivalence relation on the set of integers.

Proof:
* Reflexivity:  For any <math>a\in X</math>, it follows immediately that <math>a-a=0=0 p</math>, and thus <math>a \sim_p a</math> for all <math>a\in G</math>.
* Symmetry: For any <math>a,b \in X</math>, assume that <math>a \sim_p b</math>.  It must then be the case that <math>a-b=k p</math> for some integer <math>k</math>, and <math>b-a=(-k) p</math>.  Since <math>k</math> is an integer, <math>-k</math> must also be an integer.  Thus, <math>{a \sim_p b }\implies {b \sim_p a}</math> for all <math>a,b\in G</math>.  
* Transitivity: For any <math>a,b,c\in X</math>, assume that <math>a \sim_p b</math> and <math>b \sim_p c</math>.  Then <math>a-b=k_1 p</math> and <math>b-c=k_2 p</math> for some integers <math>k_1,k_2</math>.  By adding these two equalities together, we get <math>{(a-b)+(b-c)=(k_1 p) + (k_2 p)} \Leftrightarrow {a-c = (k_1 + k_2) p}</math>, and thus <math>a \sim_p c</math>.

Q.E.D.

Remark.  In elementary number theory we denote this relation <math> a \equiv b (\text{mod } p)</math> and say a ''is equivalent to'' b ''modulo'' p.

== Equivalence classes ==

Let <math>\sim</math> be an equivalence relation on <math>X</math>. Then, for any element <math>a\in X</math> we define the equivalence class of <math>a</math> as the subset <math>\left[ a \right]\subseteq X</math> given by

:<math>\left[ a \right] = \left \{ b \in X | a \sim b \right \}</math>

'''Theorem:''' <math>b \in \left[ a \right] \implies \left[ b \right] = \left[ a \right]</math>

Proof: Assume <math>b \in \left[ a \right]</math>.  Then by definition, <math>a \sim b</math>.
* We first prove that <math>\left[b\right] \subseteq \left[a\right]</math>. Let <math>p</math> be an arbitrary element of <math>\left[ b \right]</math>.  Then <math>p\sim b</math> by definition of the equivalence class, and <math>p\sim a</math> by transitivity of equivalence relations. Thus, <math>{p\in\left[b\right]}\implies {p\in\left[a\right]}</math> and <math>\left[b\right] \subseteq \left[a\right]</math>.
* We now prove that <math>\left[a\right] \subseteq \left[b\right]</math> Let <math>q</math> be an arbitrary element of <math>\left[ a \right]</math>.  Then, by definition <math>q\sim a</math>.  By transitivity, <math>q\sim b</math>, so <math>q\in\left[ b\right]</math>.  Thus, <math>{q\in\left[a\right]}\implies {q\in\left[b\right]}</math> and <math>\left[a\right] \subseteq \left[b\right]</math>.

As <math>\left[a\right] \subseteq \left[b\right]</math> and as 
<math>\left[b\right] \subseteq \left[a\right]</math>, we have <math>\left[ b \right] = \left[ a \right]</math>.

Q.E.D.

== Partitions of a set ==

A partition of a set <math>X</math> is a disjoint family of sets <math>X_i</math>, <math>i\in I</math>, such that <math>\bigcup_{i\in I} X_i = X</math>.

'''Theorem:''' An equivalence relation <math>\sim</math> on <math>X</math> induces a unique partition of <math>X</math>, and likewise, a partition induces a unique equivalence relation on <math>X</math>, such that these are equivalent.

Proof: (Equivalence relation induces Partition): Let <math>P</math> be the set of equivalence classes of <math>\sim</math>. Then, since <math>a\in [a]</math> for each <math>a\in X</math>, <math>\cup P = X</math>. Furthermore, by the above theorem, this union is disjoint. Thus the set of equivalence relations of <math>\sim</math> is a partition of <math>X</math>.

(Partition induces Equivalence relation): Let <math>X_i\,,\,i\in I</math> be a partition of <math>X</math>. Then, define <math>\sim</math> on <math>X</math> such that <math>a\sim b</math> if and only if both <math>a</math> and <math>b</math> are elements of the same <math>X_i</math> for some <math>i\in I</math>. Reflexivity and symmetry of <math>\sim</math> is immediate. For transitivity, if <math>a,b\in X_i</math> and <math>b,c\in X_i</math> for the same <math>i\in I</math>, we necessarily have <math>a,c\in X_i</math>, and transitivity follows. Thus, <math>\sim</math> is an equivalence relation with <math>X_i\,,\, i\in I</math> as the equivalence classes.

Lastly obtaining a partition <math>P</math> from <math>\sim</math> on <math>X</math> and then obtaining an equivalence equation from <math>P</math> obviously returns <math>\sim</math> again, so <math>\sim</math> and <math>P</math> are equivalent structures.

Q.E.D.

== Quotients ==

Let <math>\sim</math> be an equivalence relation on a set <math>X</math>. Then, define the set <math>X/\sim</math> as the set of all equivalence classes of <math>X</math>. In order to say anything interesting about this construction we need more theory yet to be developed. However, this is one of the most important constructions we have, and one that will be given much attention throughout the book.

{{BookCat}}
{{Subject|Abstract Algebra}}