algebra

Definition

Faktorgruppe

Factor Group

A group is called factor group from to , where is a normal subgroup, and is defined as:

which is a coset of .