Definition
This motivates the definition of the commutator subgroup (also called the derived subgroup, and denoted G′ or G(1)) of G: it is the subgroup generated by all the commutators.
It follows from the properties of commutators that any element of is of the form
for some natural number n. Moreover, since, the commutator subgroup is normal in G. For any homomorphism f: G → H,
- ,
so that .
This shows that the commutator subgroup can be viewed as a functor on the category of groups, some implications of which are explored below. Moreover, taking G = H it shows that the commutator subgroup is stable under every endomorphism of G: that is, is a fully characteristic subgroup of G, a property which is considerably stronger than normality.
The commutator subgroup can also be defined as the set of elements g of the group which have an expression as a product g = g1 g2 ... gk that can be rearranged to give the identity.
Read more about this topic: Commutator Subgroup
Famous quotes containing the word definition:
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)