Direct factor is quotient-transitive

From Groupprops
Jump to: navigation, search