In this article, we will learn about the definition of quotient groups along with their examples, properties, and a few solved problems.
Definition of Quotient Group
Let H be a normal subgroup of a group G. Consider the set of all left cosets of H in G, that is, {aH: a∈G}. This set forms a group under the composition aH*bH = abH for all a,b ∈ G, denoted by G/H. This group (G/H, *) is called the quotient group of G by H.
If H is a normal subgroup of G, then the set G/H containing of all left cosets of H in G forms a group, called the quotient group of G by H. The quotient groups are also known as the factor groups. |
Examples of Quotient Groups
Below are a few examples of quotient groups (or factor groups).
1. Let G=(Z6, +) be the additive group and H={[0], [3]}. Then H is a normal subgroup of G and the quotient group G/H contains three elements H, [0]+H, [1]+H.
2. Let G=(Z, +) be the additive group of integers, and H=(2Z, +) is a normal subgroup of G. Then the set G/H consisting of left cosets of H in G forms the quotient group having two elements H and 1+H.
Properties of Quotient Groups
A quotient group satisfies the following properties.
- The trivial group {eG} is always a normal subgroup of G and the corresponding quotient group G/{eG} is the group G itself.
- The quotient group of G by G, that is, G/G is the trivial group.
- The identity element in a quotient group G/H is the normal subgroup H itself.
- The order of a quotient group G/H is equal to the order of G divided by the order of H. In other words, |G/H| = |G|/|H|.
- If H is a subgroup of an abelian group G, then the quotient group G/H must be also abelian. But, not that the converse is not always true. For example, let G=S3 be the permutation group on three objects and H=A3 be its alternating group. As G/H =2, the quotient group G/H is abelian, but we know that G is not abelian.
- If H is a subgroup of a cyclic group G, then the quotient group G/H is cyclic. But, not that the converse is not always true. In the above example, G/H=S3/A3 is cyclic but G=S3 is not cyclic.
- If G is a non-abelian group with center Z(G), then the factor group G/Z(G) is non-cyclic.
- If G is a solvable group, then every quotient group G/H is also solvable.
- The quotient group G/H is nilpotent if G is so.
Solved Problems on Quotient Group
Question 1: Prove that the symmetric group S3 has a trivial center.
Answer:
Let Z denote the center of S3. As S3 is non-abelian, we conclude that Z≠S3.
We know that Z is a normal subgroup of S3. Thus, by Lagrange’s theorem, the order |Z| must be a divisor of |S3|=6. As |Z|≠6, we deduce that
|Z| = 1, 2, or 3.
If |Z|=3, then |S3/Z|=2. Hence, S3/Z is cyclic but this is an impossibility by the above property 7. Therefore, |Z| cannot be equal to 3.
If |Z|=2, then |S3/Z|=3. Hence, S3/Z is cyclic. But, again this is an impossibility by the above property 7. Therefore, |Z| cannot be equal to 2.
Therefore, we obtain the conclusion that |Z|=1. Hence, S3 has the trivial center.
Related Topics:
Group Theory: Definition, Examples, Orders, Types, Properties, Applications
Abelian Group: Definition, Properties, Examples
Cyclic Group: Definition, Orders, Properties, Examples
FAQs on Quotient Group
Answer: The set of all left cosets of a normal subgroup H in a group G forms a group and this group, denoted by G/H, is called the quotient group of G by H. For example, Z/2Z is a quotient group with two elements 2Z, 2Z+1.
Answer: The order of a quotient group G/H is given by the formula |G/H| = |G|/|H|, that is, the order of a quotient group is equal to the order of the group divided by the order of the corresponding normal subgroup.