Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Splitting lemma
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Non-abelian groups== In the form stated here, the splitting lemma does not hold in the full [[category of groups]], which is not an abelian category. ===Partially true=== It is partially true: if a short exact sequence of groups is left split or a direct sum (1. or 3.), then all of the conditions hold. For a direct sum this is clear, as one can inject from or project to the summands. For a left split sequence, the map {{math|''t'' Γ ''r'': ''B'' β ''A'' Γ ''C''}} gives an isomorphism, so {{math|''B''}} is a direct sum (3.), and thus inverting the isomorphism and composing with the natural injection {{math|''C'' β ''A'' Γ ''C''}} gives an injection {{math|''C'' β ''B''}} splitting {{math|''r''}} (2.). However, if a short exact sequence of groups is right split (2.), then it need not be left split or a direct sum (neither 1. nor 3. follows): the problem is that the image of the right splitting need not be [[normal subgroup|normal]]. What is true in this case is that {{math|''B''}} is a [[semidirect product]], though not in general a [[direct product of groups|direct product]]. ===Counterexample=== To form a counterexample, take the smallest [[non-abelian group]] {{math|''B'' β ''S''{{sub|3}}}}, the [[symmetric group]] on three letters. Let {{math|''A''}} denote the [[alternating group|alternating subgroup]], and let {{math|''C'' {{=}} ''B''/''A'' β {Β±1}}}. Let {{math|''q''}} and {{math|''r''}} denote the inclusion map and the [[parity of a permutation|sign]] map respectively, so that : <math>0 \longrightarrow A \mathrel{\stackrel{q}{\longrightarrow}} B \mathrel{\stackrel{r}{\longrightarrow}} C \longrightarrow 0 </math> is a short exact sequence. 3. fails, because {{math|''S''{{sub|3}}}} is not abelian, but 2. holds: we may define {{math|''u'': ''C'' β ''B''}} by mapping the generator to any [[cyclic permutation|two-cycle]]. Note for completeness that 1. fails: any map {{math|''t'': ''B'' β ''A''}} must map every two-cycle to the [[identity permutation|identity]] because the map has to be a [[group homomorphism]], while the [[order (group theory)|order]] of a two-cycle is 2 which can not be divided by the order of the elements in ''A'' other than the identity element, which is 3 as {{math|''A''}} is the alternating subgroup of {{math|''S''{{sub|3}}}}, or namely the [[cyclic group]] of [[order of a group|order]] 3. But every [[permutation]] is a product of two-cycles, so {{math|''t''}} is the trivial map, whence {{math|''tq'': ''A'' β ''A''}} is the trivial map, not the identity.
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)