Extensions of Complete Groups
Assume that a group G is a group extension given as a short exact sequence of groups
with kernel N and quotient G' . If the kernel N is a complete group then the extension splits: G is isomorphic to the direct product N × G'. A proof using homomorphisms and exact sequences can be given in a natural way: The action of G (by conjugation) on the normal subgroup N gives rise to a group homomorphism . Since Out(N) = 1 and N has trivial center the homomorphism φ is surjective and has an obvious section given by the inclusion of N in G. The kernel of φ is the centralizer CG(N) of N in G, and so G is at least a semidirect product CG(N) ⋊ N, but the action of N on CG(N) is trivial, and so the product is direct. This proof is somewhat interesting since the original exact sequence is reversed during the proof.
This can be restated in terms of elements and internal conditions: If N is a normal, complete subgroup of a group G, then G = CG(N) × N is a direct product. The proof follows directly from the definition: N is centerless giving CG(N) ∩ N is trivial. If g is an element of G then it induces an automorphism of N by conjugation, but N = Aut(N) and this conjugation must be equal to conjugation by some element n of N. Then conjugation by gn-1 is the identity on N and so gn-1 is in CG(N) and every element g of G is a product (gn-1)n in CG(N)N.
Read more about this topic: Complete Group
Famous quotes containing the words extensions of, extensions, complete and/or groups:
“The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
—Elaine Heffner (20th century)
“The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
—Elaine Heffner (20th century)
“Each of us is incomplete compared to someone else, an animal’s incomplete compared to a person ... and a person compared to God, who is complete only to be imaginary.”
—Georges Bataille (1897–1962)
“Some of the greatest and most lasting effects of genuine oratory have gone forth from secluded lecture desks into the hearts of quiet groups of students.”
—Woodrow Wilson (1856–1924)