Cosets and Lagrange Theorem
Cosets and Lagrange Theorem
Definition
Let be a group and a subgroup , let
g be an element in .
is called a left coset of
in .
Example
Let be the group of integers with
addition. We know that is a subgroup and
let this be our . Now g be the element 2 in .
Then,
Definition
The left coset is , but we can similarly
define the right coset of in :
Notes
- The left coset and right coset need not be
the same set.
- The left coset and the right coset are the
same for abelian groups.
Definition
Let be a group and be a subgroup. Then
we say that is a normal subgroup of if
the sets of left and right cosets of and
coincide
Definition
Let be a group and be a normal
subgroup. Then, the group
is a factor group
modulo . The elements in are cosets
of in .
Example
LAGRANGE
Theorem
Let be a group and be a subgroup of
Then, the order of divides the order of .