Direct factor of complemented normal subgroup

From Groupprops
Jump to: navigation, search