Take and . Both are nontrivial, and is normal because is abelian. The second-coordinate projection identifies the quotient group with . Swapping the two coordinates identifies with , soThis is a direct product of groups with its first factor as the specified normal subgroup.
Articles by others on the same topic
There are currently no matching articles.