Prove That Isomorphism Is an Equivalence Relation on Any Family of Groups

Mathematical concept

This commodity is about equivalency in mathematics. For equivalency in music, run across equivalence class (music).

Congruence is an case of an equivalence relation. The leftmost two triangles are congruent, while the third and 4th triangles are not congruent to whatsoever other triangle shown hither. Thus, the first two triangles are in the same equivalence form, while the third and fourth triangles are each in their own equivalence grade.

In mathematics, when the elements of some set ${\displaystyle S}$ have a notion of equivalence (formalized as an equivalence relation) defined on them, then ane may naturally split the gear up ${\displaystyle S}$ into equivalence classes. These equivalence classes are synthetic so that elements ${\displaystyle a}$ and ${\displaystyle b}$ belong to the aforementioned equivalence class if, and only if, they are equivalent.

Formally, given a prepare ${\displaystyle Southward}$ and an equivalence relation ${\displaystyle \,\sim \,}$ on ${\displaystyle S,}$ the equivalence class of an element ${\displaystyle a}$ in ${\displaystyle S,}$ denoted by ${\displaystyle [a],}$ ^[ane] is the set up^[2]

$${\displaystyle \{x\in Due south:ten\sim a\}}$$

of elements which are equivalent to ${\displaystyle a.}$ Information technology may be proven, from the defining backdrop of equivalence relations, that the equivalence classes grade a sectionalization of ${\displaystyle S.}$ This partition—the set of equivalence classes—is sometimes called the quotient set or the caliber space of ${\displaystyle South}$ by ${\displaystyle \,\sim \,,}$ and is denoted by ${\displaystyle S/\sim .}$

When the set ${\displaystyle S}$ has some structure (such as a group performance or a topology) and the equivalence relation ${\displaystyle \,\sim \,}$ is compatible with this structure, the quotient set often inherits a similar structure from its parent set. Examples include quotient spaces in linear algebra, quotient spaces in topology, quotient groups, homogeneous spaces, quotient rings, quotient monoids, and quotient categories.

Examples [edit]

• If ${\displaystyle X}$ is the set of all cars, and ${\displaystyle \,\sim \,}$ is the equivalence relation "has the same color as", and then one item equivalence class would consist of all green cars, and ${\displaystyle X/\sim }$ could be naturally identified with the set of all motorcar colors.
• Let ${\displaystyle X}$ be the ready of all rectangles in a aeroplane, and ${\displaystyle \,\sim \,}$ the equivalence relation "has the same surface area as", and then for each positive real number ${\displaystyle A,}$ there will be an equivalence class of all the rectangles that have surface area ${\displaystyle A.}$ ^[3]
• Consider the modulo 2 equivalence relation on the set of integers, ${\displaystyle \mathbb {Z} ,}$ such that ${\displaystyle ten\sim y}$ if and just if their difference ${\displaystyle x-y}$ is an even number. This relation gives rise to exactly two equivalence classes: One grade consists of all fifty-fifty numbers, and the other class consists of all odd numbers. Using square brackets around one member of the class to denote an equivalence course under this relation, ${\displaystyle [7],[9],}$ and ${\displaystyle [i]}$ all stand for the same element of ${\displaystyle \mathbb {Z} /\sim .}$ ^[4]
• Let ${\displaystyle X}$ exist the set of ordered pairs of integers ${\displaystyle (a,b)}$ with non-null ${\displaystyle b,}$ and define an equivalence relation ${\displaystyle \,\sim \,}$ on ${\displaystyle X}$ such that ${\displaystyle (a,b)\sim (c,d)}$ if and but if ${\displaystyle ad=bc,}$ then the equivalence class of the pair ${\displaystyle (a,b)}$ tin be identified with the rational number ${\displaystyle a/b,}$ and this equivalence relation and its equivalence classes tin be used to requite a formal definition of the gear up of rational numbers.^[v] The aforementioned construction tin can be generalized to the field of fractions of whatever integral domain.
• If ${\displaystyle X}$ consists of all the lines in, say, the Euclidean plane, and ${\displaystyle Fifty\sim Chiliad}$ means that ${\displaystyle L}$ and ${\displaystyle M}$ are parallel lines, and then the set of lines that are parallel to each other course an equivalence class, equally long equally a line is considered parallel to itself. In this state of affairs, each equivalence class determines a point at infinity.

Definition and notation [edit]

An equivalence relation on a fix ${\displaystyle X}$ is a binary relation ${\displaystyle \,\sim \,}$ on ${\displaystyle 10}$ satisfying the iii properties:^{[6] [vii]}

The equivalence grade of an element ${\displaystyle a}$ is oftentimes denoted ${\displaystyle [a]}$ or ${\displaystyle [a]_{\sim },}$ and is defined as the gear up ${\displaystyle \{x\in Ten:a\sim ten\}}$ of elements that are related to ${\displaystyle a}$ by ${\displaystyle \,\sim .}$ ^[two] The word "grade" in the term "equivalence class" may generally be considered as a synonym of "set", although some equivalence classes are not sets but proper classes. For instance, "being isomorphic" is an equivalence relation on groups, and the equivalence classes, called isomorphism classes, are not sets.

The set of all equivalence classes in ${\displaystyle X}$ with respect to an equivalence relation ${\displaystyle R}$ is denoted every bit ${\displaystyle X/R,}$ and is chosen ${\displaystyle X}$ modulo ${\displaystyle R}$ (or the quotient ready of ${\displaystyle Ten}$ by ${\displaystyle R}$ ).^[eight] The surjective map ${\displaystyle x\mapsto [x]}$ from ${\displaystyle X}$ onto ${\displaystyle X/R,}$ which maps each element to its equivalence course, is called the approved surjection , or the canonical projection.

Every chemical element of an equivalent class characterizes the grade, and may be used to represent it. When such an element is chosen, it is chosen a representative of the class. The choice of a representative in each class defines an injection from ${\displaystyle Ten/R}$ to X. Since its composition with the canonical surjection is the identity of ${\displaystyle X/R,}$ such an injection is called a department, when using the terminology of category theory.

Sometimes, there is a department that is more "natural" than the other ones. In this case, the representatives are called canonical representatives. For example, in modular arithmetic, for every integer m greater than 1, the congruence modulo chiliad is an equivalence relation on the integers, for which two integers a and b are equivalent—in this case, one says congruent —if g divides ${\displaystyle a-b;}$ this is denoted ${\textstyle a\equiv b{\pmod {m}}.}$ Each class contains a unique non-negative integer smaller than ${\displaystyle due north,}$ and these integers are the canonical representatives.

The use of representatives for representing classes allows avoiding to consider explicitly classes as sets. In this case, the approved surjection that maps an element to its course is replaced by the function that maps an chemical element to the representative of its form. In the preceding example, this office is denoted ${\displaystyle a{\bmod {m}},}$ and produces the remainder of the Euclidean division of a by m.

Properties [edit]

Every chemical element ${\displaystyle x}$ of ${\displaystyle X}$ is a member of the equivalence form ${\displaystyle [x].}$ Every two equivalence classes ${\displaystyle [x]}$ and ${\displaystyle [y]}$ are either equal or disjoint. Therefore, the set of all equivalence classes of ${\displaystyle X}$ forms a partition of ${\displaystyle 10}$ : every chemical element of ${\displaystyle X}$ belongs to one and only 1 equivalence class.^[ix] Conversely, every segmentation of ${\displaystyle X}$ comes from an equivalence relation in this mode, according to which ${\displaystyle x\sim y}$ if and but if ${\displaystyle x}$ and ${\displaystyle y}$ belong to the aforementioned set of the partition.^[10]

It follows from the properties of an equivalence relation that

$${\displaystyle x\sim y}$$

if and only if ${\displaystyle [x]=[y].}$

In other words, if ${\displaystyle \,\sim \,}$ is an equivalence relation on a set ${\displaystyle X,}$ and ${\displaystyle x}$ and ${\displaystyle y}$ are two elements of ${\displaystyle X,}$ and then these statements are equivalent:

Graphical representation [edit]

Graph of an instance equivalence with vii classes

An undirected graph may be associated to any symmetric relation on a set up ${\displaystyle Ten,}$ where the vertices are the elements of ${\displaystyle X,}$ and ii vertices ${\displaystyle s}$ and ${\displaystyle t}$ are joined if and merely if ${\displaystyle south\sim t.}$ Among these graphs are the graphs of equivalence relations; they are characterized every bit the graphs such that the connected components are cliques.^[4]

Invariants [edit]

If ${\displaystyle \,\sim \,}$ is an equivalence relation on ${\displaystyle 10,}$ and ${\displaystyle P(x)}$ is a property of elements of ${\displaystyle X}$ such that whenever ${\displaystyle ten\sim y,}$ ${\displaystyle P(x)}$ is true if ${\displaystyle P(y)}$ is true, then the property ${\displaystyle P}$ is said to be an invariant of ${\displaystyle \,\sim \,,}$ or well-defined under the relation ${\displaystyle \,\sim .}$

A frequent particular case occurs when ${\displaystyle f}$ is a function from ${\displaystyle X}$ to some other set ${\displaystyle Y}$ ; if ${\displaystyle f\left(x_{ane}\right)=f\left(x_{2}\right)}$ whenever ${\displaystyle x_{1}\sim x_{ii},}$ then ${\displaystyle f}$ is said to be class invariant under ${\displaystyle \,\sim \,,}$ or but invariant under ${\displaystyle \,\sim .}$ This occurs, for example, in the grapheme theory of finite groups. Some authors utilize "uniform with ${\displaystyle \,\sim \,}$ " or just "respects ${\displaystyle \,\sim \,}$ " instead of "invariant under ${\displaystyle \,\sim \,}$ ".

Whatever function ${\displaystyle f:10\to Y}$ itself defines an equivalence relation on ${\displaystyle X}$ co-ordinate to which ${\displaystyle x_{i}\sim x_{2}}$ if and just if ${\displaystyle f\left(x_{1}\right)=f\left(x_{2}\correct).}$ The equivalence grade of ${\displaystyle x}$ is the set of all elements in ${\displaystyle X}$ which get mapped to ${\displaystyle f(x),}$ that is, the class ${\displaystyle [x]}$ is the inverse paradigm of ${\displaystyle f(x).}$ This equivalence relation is known every bit the kernel of ${\displaystyle f.}$

More generally, a office may map equivalent arguments (under an equivalence relation ${\displaystyle \sim _{X}}$ on ${\displaystyle Ten}$ ) to equivalent values (under an equivalence relation ${\displaystyle \sim _{Y}}$ on ${\displaystyle Y}$ ). Such a function is a morphism of sets equipped with an equivalence relation.

Quotient space in topology [edit]

In topology, a caliber space is a topological infinite formed on the fix of equivalence classes of an equivalence relation on a topological space, using the original space's topology to create the topology on the gear up of equivalence classes.

In abstract algebra, congruence relations on the underlying set of an algebra allow the algebra to induce an algebra on the equivalence classes of the relation, chosen a quotient algebra. In linear algebra, a quotient space is a vector space formed by taking a quotient grouping, where the quotient homomorphism is a linear map. By extension, in abstract algebra, the term quotient space may be used for quotient modules, quotient rings, quotient groups, or any quotient algebra. However, the use of the term for the more than general cases can every bit often be by illustration with the orbits of a grouping activeness.

The orbits of a grouping action on a ready may exist called the caliber infinite of the activity on the set up, particularly when the orbits of the grouping action are the right cosets of a subgroup of a grouping, which ascend from the activeness of the subgroup on the group past left translations, or respectively the left cosets equally orbits under right translation.

A normal subgroup of a topological group, acting on the grouping by translation action, is a quotient space in the senses of topology, abstruse algebra, and group actions simultaneously.

Although the term can be used for whatsoever equivalence relation's set up of equivalence classes, possibly with further structure, the intent of using the term is generally to compare that blazon of equivalence relation on a gear up ${\displaystyle Ten,}$ either to an equivalence relation that induces some construction on the set up of equivalence classes from a structure of the same kind on ${\displaystyle X,}$ or to the orbits of a group action. Both the sense of a construction preserved past an equivalence relation, and the study of invariants under group actions, pb to the definition of invariants of equivalence relations given higher up.

See also [edit]

• Equivalence partitioning, a method for devising test sets in software testing based on dividing the possible program inputs into equivalence classes co-ordinate to the behavior of the program on those inputs
• Homogeneous space, the quotient space of Lie groups
• Partial equivalence relation – Mathematical concept for comparing objects
• Quotient by an equivalence relation
• Transversal (combinatorics) – A line that intersects a system of lines.

Notes [edit]

1. ^ "vii.iii: Equivalence Classes". Mathematics LibreTexts. 2017-09-20. Retrieved 2020-08-30 .
2. ^ ^{a b} Weisstein, Eric W. "Equivalence Class". mathworld.wolfram.com . Retrieved 2020-08-30 .
3. ^ Avelsgaard 1989, p. 127
4. ^ ^{a b} Devlin 2004, p. 123
5. ^ Maddox 2002, pp. 77–78
6. ^ Devlin 2004, p. 122
7. ^ Weisstein, Eric Due west. "Equivalence Relation". mathworld.wolfram.com . Retrieved 2020-08-xxx .
8. ^ Wolf 1998, p. 178
9. ^ Maddox 2002, p. 74, Thm. two.v.15
10. ^ Avelsgaard 1989, p. 132, Thm. 3.16

References [edit]

• Avelsgaard, Carol (1989), Foundations for Advanced Mathematics, Scott Foresman, ISBN0-673-38152-8
• Devlin, Keith (2004), Sets, Functions, and Logic: An Introduction to Abstract Mathematics (third ed.), Chapman & Hall/ CRC Printing, ISBN978-ane-58488-449-one
• Maddox, Randall B. (2002), Mathematical Thinking and Writing, Harcourt/ Academic Press, ISBN0-12-464976-nine
• Wolf, Robert S. (1998), Proof, Logic and Conjecture: A Mathematician'south Toolbox, Freeman, ISBN978-0-7167-3050-vii

Further reading [edit]

• Sundstrom (2003), Mathematical Reasoning: Writing and Proof, Prentice-Hall
• Smith; Eggen; St.Andre (2006), A Transition to Advanced Mathematics (6th ed.), Thomson (Brooks/Cole)
• Schumacher, Carol (1996), Affiliate Nil: Key Notions of Abstract Mathematics, Addison-Wesley, ISBN0-201-82653-iv
• O'Leary (2003), The Structure of Proof: With Logic and Set Theory, Prentice-Hall
• Lay (2001), Analysis with an introduction to proof, Prentice Hall
• Morash, Ronald P. (1987), Span to Abstract Mathematics, Random House, ISBN0-394-35429-10
• Gilbert; Vanstone (2005), An Introduction to Mathematical Thinking, Pearson Prentice-Hall
• Fletcher; Patty, Foundations of College Mathematics, PWS-Kent
• Iglewicz; Stoyle, An Introduction to Mathematical Reasoning, MacMillan
• D'Angelo; West (2000), Mathematical Thinking: Trouble Solving and Proofs, Prentice Hall
• Cupillari, The Basics and Bolts of Proofs, Wadsworth
• Bond, Introduction to Abstruse Mathematics, Brooks/Cole
• Barnier; Feldman (2000), Introduction to Avant-garde Mathematics, Prentice Hall
• Ash, A Primer of Abstruse Mathematics, MAA

External links [edit]

• Media related to Equivalence classes at Wikimedia Commons

carpenterforits.blogspot.com

Source: https://en.wikipedia.org/wiki/Equivalence_class

Share this post