Difference between revisions of "Tour:Left coset of a subgroup"
Line 1: | Line 1: | ||
__NOTOC__ | __NOTOC__ | ||
{{derivative of|left coset of a subgroup}} | {{derivative of|left coset of a subgroup}} | ||
− | {{ | + | {{tour-regular| |
+ | target = beginners| | ||
+ | secnum = three| | ||
+ | next = Left cosets partition a group| | ||
+ | previous = Union of two subgroups is not a subgroup}} | ||
{{quotation|'''PREREQUISITES''': Definition of group and subgroup, notations typically used for multiplying elements and subsets, and the techniques for manipulating equations in groups. Review [[Tour:Manipulating equations in groups]] and [[Tour:Mind's eye test two#Manipulating equations for subsets and their products]]<br>'''WHAT YOU NEED TO DO''': | {{quotation|'''PREREQUISITES''': Definition of group and subgroup, notations typically used for multiplying elements and subsets, and the techniques for manipulating equations in groups. Review [[Tour:Manipulating equations in groups]] and [[Tour:Mind's eye test two#Manipulating equations for subsets and their products]]<br>'''WHAT YOU NEED TO DO''': | ||
* Read the equivalent definitions of left coset given below. | * Read the equivalent definitions of left coset given below. | ||
Line 8: | Line 12: | ||
{{quotation|'''WHAT'S MORE''': Stated below are more examples and further facts about left cosets. We'll be seeing some of these facts very soon, while others will be seen much later. Go through the list of facts, and ignore those that seem hard to comprehend.}} | {{quotation|'''WHAT'S MORE''': Stated below are more examples and further facts about left cosets. We'll be seeing some of these facts very soon, while others will be seen much later. Go through the list of facts, and ignore those that seem hard to comprehend.}} | ||
{{#lst:Left coset of a subgroup|revisit}} | {{#lst:Left coset of a subgroup|revisit}} | ||
− | {{ | + | {{tour-regular-bottom| |
+ | target = beginners| | ||
+ | secnum = three| | ||
+ | next = Left cosets partition a group| | ||
+ | previous = Union of two subgroups is not a subgroup}} |
Latest revision as of 21:58, 27 September 2008
This article adapts material from the main article: left coset of a subgroup
This page is part of the Groupprops guided tour for beginners (Jump to beginning of tour)
PREVIOUS: Union of two subgroups is not a subgroup| UP: Introduction three (beginners)| NEXT: Left cosets partition a group
General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part
PREREQUISITES: Definition of group and subgroup, notations typically used for multiplying elements and subsets, and the techniques for manipulating equations in groups. Review Tour:Manipulating equations in groups and Tour:Mind's eye test two#Manipulating equations for subsets and their products
WHAT YOU NEED TO DO:
- Read the equivalent definitions of left coset given below.
- Prove to yourself that they're equivalent (there's a link to a page explaining the equivalence, but try this on your own). If you find this hard, review the suggested prerequisites pages.
Definition
Definition with symbols
Let be a subgroup of a group . Then, a left coset of is a nonempty set satisfying the following equivalent properties:
- is in for any and in , and for any fixed , the map is a surjection from to
- There exists an in such that (here is the set of all with )
- For any in ,
Any element is termed a coset representative for .
Note that is itself a left coset for , and we can take as coset representative, any element of (a typical choice would be to take the identity element).
Equivalence of definitions
For full proof, refer: Equivalence of definitions of left coset
Examples
Extreme examples
- If we consider a group as a subgroup of itself, then there's only one left coset: the subgroup itself.
- The left cosets of the trivial subgroup in a group are precisely the singleton subsets (i.e. the subsets of size one). In other words, every element forms a coset by itself.
Examples in abelian groups
Note that for abelian groups, since multiplication is commutative, we can drop the left adjective from left cosets. Further, if we use additive notation, the coset of for a subgroup is written as .
- In the group of integers under addition, the left cosets of the subgroup of multiples of are the congruence classes mod (i.e. the collections of numbers that leave the same remainder mod ). For instance, the subgroup of even numbers in the group of integers has two left cosets: the even numbers and odd numbers (coset representatives are 0 and 1 respectively). The subgroup of multiples of 3 has three cosets: the multiples of 3, the numbers that are 1 mod 3, and the numbers that are 2 mod 3. The coset representatives can be taken to be 0,1, and 2 respectively.
- In the group of rational numbers under addition, the subgroup of integers have, as left cosets, the collections of rational numbers having the same fractional part. The coset representative for a particular coset can be chosen as the unique element in that coset that is in the interval .
- In a vector space over a field, vector subspaces are examples of subgroups. The cosets of a vector subspace are the "parallel" affine subspaces obtained by translating it. For instance, the two-dimensional vector space , which can be identified with the Euclidean plane, the one-dimensional subspaces are lines through the origin. The cosets of any such one-dimensional subspace are precisely the lines parallel to the given line.
WHAT'S MORE: Stated below are more examples and further facts about left cosets. We'll be seeing some of these facts very soon, while others will be seen much later. Go through the list of facts, and ignore those that seem hard to comprehend.
Examples in non-Abelian groups
- In the symmetric group on three elements on elements , any subgroup of order two, say, that obtained by taking the transposition of and , has three left cosets. Each coset is described by where it sends the element .
- More generally, in the symmetric group acting on elements , the subgroup of permutations that fix the element has exactly left cosets: the cosets are parametrized by where they send the element .
Facts
For a single subgroup in a group
Statement | Key related facts/terminology | Explanation |
---|---|---|
left cosets partition a group | the notion of left congruence induced by a subgroup | The left cosets of a subgroup are pairwise disjoint and hence partition the group. |
every subgroup has a left transversal | left transversal of a subgroup -- a collection of representatives, one from each left coset of a subgroup | Assuming the axiom of choice, we can pick one element from each left coset to obtain a left transversal. |
left cosets are in bijection via left multiplication | group acts on left coset space of subgroup by left multiplication | given any two left cosets of a subgroup, there is a bijection between them via left multiplication by some element of the group. |
left and right coset spaces are naturally isomorphic | notion of right coset, every group is naturally isomorphic to its opposite group | Via the inverse map, we can send each left coset of a subgroup to a right coset ,and vice versa. |
equivalence of definitions of coset | right coset of a subgroup | a subset of a group occurs as the left coset of a subgroup if and only if it occurs as the right coset of a (possibly different) subgroup. |
group acts on left coset space of subgroup by left multiplication | If , then acts on the left coset space (i.e., the set of left cosets of in ) by left multiplication. This action is a transitive action. | |
fundamental theorem of group actions | group acts on left coset space of subgroup by left multiplication | In fact, the fundamental theorem of group actions shows that any transitive action of a group on a set looks like the action of a group on the left coset space of a subgroup by left multiplication. |
Relations between subgroups and relations between their cosets
Statement | Explanation |
---|---|
coset containment implies subgroup containment | If are subgroups of and a left coset of is contained in a left coset of , then is contained in . |
nonempty intersection of cosets is coset of intersection | The intersection of a bunch of left cosets of (possibly different) subgroups, if nonempty, is a left coset of the intersection of the subgroups. |
Lattice of subgroups embeds in partition lattice | Since left cosets partition a group, every subgroup defines a partition of the group. This gives an injective lattice homomorphism from the lattice of subgroups to the partition lattice of the group. |
Product formula | For subgroups of , there is a natural bijection between the coset space and the coset space . |
Numerical facts
Size of each left coset
Let be a subgroup of and be any element of . Then, the map sending in to is a bijection from to .
For full proof, refer: Left cosets are in bijection via left multiplication
Number of left cosets
The number of left cosets of a subgroup is termed the index of that subgroup.
Since all left cosets have the same size as the subgroup, we have a formula for the index of the subgroup when the whole group is finite: it is the ratio of the order of the group to the order of the subgroup.
This incidentally also proves Lagrange's theorem -- the order of any subgroup of a finite group divides the order of the whole group.
This page is part of the Groupprops guided tour for beginners. Make notes of any doubts, confusions or comments you have about this page before proceeding.
PREVIOUS: Union of two subgroups is not a subgroup| UP: Introduction three (beginners)| NEXT: Left cosets partition a group