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 : s ∈ S ∧ t ∈ T}. 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 N ◁ G. 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:
“Culture is a sham if it is only a sort of Gothic front put on an iron building—like Tower Bridge—or a classical front put on a steel frame—like the Daily Telegraph building in Fleet Street. Culture, if it is to be a real thing and a holy thing, must be the product of what we actually do for a living—not something added, like sugar on a pill.”
—Eric Gill (1882–1940)
“Labor is work that leaves no trace behind it when it is finished, or if it does, as in the case of the tilled field, this product of human activity requires still more labor, incessant, tireless labor, to maintain its identity as a “work” of man.”
—Mary McCarthy (1912–1989)
“The government of the United States at present is a foster-child of the special interests. It is not allowed to have a voice of its own. It is told at every move, “Don’t do that, You will interfere with our prosperity.” And when we ask: “where is our prosperity lodged?” a certain group of gentlemen say, “With us.””
—Woodrow Wilson (1856–1924)