Zulip Chat Archive
Stream: new members
Topic: group property
BANGJI HU (Aug 01 2024 at 15:09):
N₁,N₂ is normal subgroup of G₁,G₂ respectively,then N₁×N₂ is normal subgroup of
G₁×G₂ show that (G₁×G₂)/(N₁×N₂)≃(G₁/N₁)×(G₂/N₂)
BANGJI HU (Aug 01 2024 at 15:11):
How can I turn it into code?
Thomas Browning (Aug 01 2024 at 15:46):
You will want to use docs#Subgroup.prod
Last updated: May 02 2025 at 03:31 UTC