Use additive notation and take , . Its quotient group is . A group homomorphism from sends its generator to an element annihilated by , so the image must be either or . Both project to the identity coset , and neither can project to the nonidentity generator of . Therefore this quotient projection has no homomorphic section. It is a nonsplit group extension, despite both and being nontrivial finite groups.
Articles by others on the same topic
There are currently no matching articles.