Quotient Group by Wojciech A. Trybulec and Michal J. Trybulec. Let A , B be non empty sets and f be a function from A into B . Let G be a group and let A be a subgroup of G . We see that the subgroup of A is a subgroup of G . Let G be a group.
G is normal and G is normal.
Let G be a group and A 1 be a subset of the carrier of G . Let G be a strict group and B be a strict subgroup of G . For every normal subgroup N of G such that N is a subgroup of B holds N is a normal subgroup of B . Let us consider G , B and let M be a normal subgroup of G . Let us assume that the half group structure of M is a subgroup of B .