San José State University

applet-magic.com
Thayer Watkins
Silicon Valley
& Tornado Alley
USA

The Factor Group of a Group
With Respect to a Normal Subgroup

The conceptual definitions of mathematical groups and subgroups involve no intellectual surprises. The notion of a factor or quotient group is a different matter. The factor group of a group G with respect to a special subgroup N, called a normal subgroup, can best be thought of a partition of the group G into classes over which a group operation can be unambiguously defined.

Cosets of a Subgroup

To explain these concepts it is best to start with the concept of cosets which are defined for any subgroup. Let H be a subgroup of G. The left coset of H for any element x of G is the set xH = {xh: h∈H }. Likewise the right coset of H for any element y of G is the set Hy = {hy: h∈H }. At this point it is convenient to deal with just the left cosets but the same things apply for right cosets.

One interesting thing about cosets is that they partition the set G into mutually exclusive subsets.

Lemma 0: Two left cosets are either identical or mutually exclusive.


Proof: Consider two left cosets xH and yH. Suppose xH and yH have a common element z. This means that there exists h1 and h2 belonging to H such that z=xh1 and z=yh2. Thus xh1=yh2 and hence y = xh1h2-1. Now let w be any element of yH. The there exists h3 such that w=yh3. But this implies that w=(xh1h2-1)h3=x(h1h2-1h3). Since h1h2-1h3 necessarily belongs to H w must belong to xH. Thus yH ⊆ xH. Likewise a similar argument demonstrates that xH ⊆ yH so xH=yH.


There are two basic results for use later.

Lemma 1: If a and a' belong to the same coset then there exists
h belonging to H such that a' = ah.


Proof: Suppose that both a and a' belong to xH. Then there exist h1 and h2 belonging to H such that a=xh1 and a'=xh2. Since a=xh1, x=ah1-1 so a'=(ah1-1)h2=a(h1-1h2). Thus a'=ah where h=h1-1h2.


Lemma 2: If there exists h such that a'=ah then a and a' belong to the same left coset.


Proof: Since a'=ah this means a'∈aH. Since a∈aH then a and a' are in the same left coset; i.e., aH.


The same results applies to right cosets.

Normal Subgroups

Normal subgroups are subgroups for which the partition of G is the same for right cosets as for left cosets. In other words, each left coset is also a right coset and vice versa.

Theorem 1: If N is a normal subgroup in G, then for all a in G aN=Na.


Proof: Let a be any element of G. Then the left coset aN is also a right coset which means there exists an element of b such that aN=Nb. Since a belongs to aN it also belongs to Nb. But a also belongs to Na since the identity is an element of N. Therefore a is a common element of Na and Nb. By Lemma 0 this means Na=Nb. But is Na=Nb then Na=aN. So for any element a of G, aN=Na.


Corollary 1: The set aNa-1={ana-1: n∈N} is the same as the set N for all a∈ G.


Proof: aN=Na means that for any n1 there exists n2 such that an1=n2a. Thus an1a-1=n2; i.e., an1a-1=n2 ∈ N. This means that aN1a-1 ⊆ Likewise for any n choose n3 to be a-1na so an3a-1= a(a-1na)a-1 is n and hence n belongs to aNa-1 and thus N ⊆ aNa-1. This means aNa-1=N.


A Group Defined on the Cosets of a Normal Subgroup

For a normal subgroup a group operation can be defined on the cosets. For any two cosets A and B the group product of A with B is defined as the coset of the group product of ab where a is any element of A and b is any element of B. The crucial matter here is proving that no matter which representatives of A and B are chosen the coset of the product is the same.

Let A and B be any two cosets of N and a and b elements of A and B, respectively. Therefore A=Na and B=bN. Let C be the coset of c=ab. Now consider a' and b' be any other elements of aN and bN besides a and b. It must be shown that the coset of a'b' is the same as the coset of ab. From Lemma 1 there must exist ha and b such that a'=haa and b'=bhb. Therefore a'b' = haabhb and consequently a'b'hb-1=haab. This means that a'b'hb-1 belongs to the same coset as ab. But a'b'hb-1 belongs to the same coset as a'b' so a'b' belongs to the same coset as ab. Therefore choosing any other representive of the cosets A and B defines the same group product for the cosets.

It remains to be established that the product operation defined above is in fact a group operation. The group identity for the cosets is the normal subgroup N, which is the coset of the identity element e of N. Thus the identity element e can be chosen as the representive of the coset N. The inverse for the coset aN is the coset of a-1. There is associativity of the group operation for the cosets because of the associativity of the group operation for G; i.e., (aNbN)cN = aN(bNcN) because (ab)c=a(bc).


Thus the following theorem has been established:

Theorem 2: The set of cosets of a normal subgroup N of a group G define a group, called the factor group of G with respect to N and denoted as G/N.


HOME PAGE OF applet-magic
HOME PAGE OF Thayer Watkins