Let be Normal in a Group . We define the quotient group with elements: i.e. the set of cosets and operation Proposition Operation above is well defined and is a Group under it.