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:

    The writer’s language is to some degree the product of his own action; he is both the historian and the agent of his own language.
    Paul De Man (1919–1983)

    Perhaps I am still very much of an American. That is to say, naïve, optimistic, gullible.... In the eyes of a European, what am I but an American to the core, an American who exposes his Americanism like a sore. Like it or not, I am a product of this land of plenty, a believer in superabundance, a believer in miracles.
    Henry Miller (1891–1980)

    We often overestimate the influence of a peer group on our teenager. While the peer group is most influential in matters of taste and preference, we parents are most influential in more abiding matters of standards, beliefs, and values.
    David Elkind (20th century)