Quotient Group - Product of Subsets of A Group

Product of Subsets of A Group

In the following discussion, we will use a binary operation on the subsets of G: if two subsets S and T of G are given, we define their product as ST = {st : sStT}. This operation is associative and has as identity element the singleton {e}, where e is the identity element of G. Thus, the set of all subsets of G forms a monoid under this operation.

In terms of this operation we can first explain what a quotient group is, and then explain what a normal subgroup is:

A quotient group of a group G is a partition of G which is itself a group under this operation.

It is fully determined by the subset containing e. A normal subgroup of G is the set containing e in any such partition. The subsets in the partition are the cosets of this normal subgroup.

A subgroup N of a group G is normal if and only if the coset equality aN = Na holds for all a in G. In terms of the binary operation on subsets defined above, a normal subgroup of G is a subgroup that commutes with every subset of G and is denoted NG. A subgroup that permutes with every subgroup of G is called a permutable subgroup.

Read more about this topic:  Quotient Group

Famous quotes containing the words product of, product and/or group:

    Much of our American progress has been the product of the individual who had an idea; pursued it; fashioned it; tenaciously clung to it against all odds; and then produced it, sold it, and profited from it.
    Hubert H. Humphrey (1911–1978)

    The product of mental labor—science—always stands far below its value, because the labor-time necessary to reproduce it has no relation at all to the labor-time required for its original production.
    Karl Marx (1818–1883)

    A little group of wilful men reflecting no opinion but their own have rendered the great Government of the United States helpless and contemptible.
    Woodrow Wilson (1856–1924)