Tour:Examples peek one (beginners)
This page is a Examples peek page, part of the Groupprops guided tour for beginners (Jump to beginning of tour)
PREVIOUS: Mind's eye test one (beginners)| UP: Introduction one | NEXT: Inquiry problems one (beginners)
NEXT SECTION Examples peek: Examples peek two
General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part
This page develops some examples of groups in different contexts. The page can be skipped without any loss and content in this page will not be referred to except in future Examples Peek pages. Some of the examples discussed here will be developed from scratch in the main tour, from part four onwards.
The goal of these examples is to provide a hands-on feel to people who think they would benefit from it. Depending on your background, you may have partial familiarity, interest or aptitude for some of these examples. You can concentrate on those examples that suit you best -- the different examples are developed independent of each other.
Another advantage of going through the examples peek is that when you revisit the tour, you'll be able to make sense of more of the content on the pages, particularly the content after the WHAT'S MORE header.
Contents
The group of rational numbers
- Prove that if is a prime number, the set of all rational numbers that are either integers or are of the form where and is a natural number, form a subgroup of the group of rational numbers under addition.
- Prove that if is a subgroup of and is a nonzero rational number, then the set of elements of the form is a subgroup of . (here denotes the product of rational numbers as numbers, not the group operation, which is addition).
- Prove that, in the above, if is of the form for some integer .
- NEEDS SOME THOUGHT: Prove that if is a proper subgroup of (i.e., is not the whole of ), and is a nonzero rational number, then is also a proper subgroup of .
- NEEDS SOME THOUGHT: Prove that if is a proper subgroup of (i.e., is not the whole of ) and is nontrivial in , then we can find an integer such that is properly contained in , which in turn is properly contained in .
Modular arithmetic
Let be a positive integer. The group of integers modulo is defined as follows. As a set, it is the set . To add two numbers, we first add them as integers. If the sum is again in the set, we declare that as the sum. If the sum is greater than , we subtract from it.
For instance, the group of integers mod 4 is, as a set, . Here, , whereas , because the integer sum is 5 and .
- Prove that the group of integers mod is a group for every integer , and give explicit expressions for the identity element and inverses in this group. Further, prove that this group is Abelian.
- Prove that the group of integers mod 1 is the trivial group.
- In the group of integers mod , find all elements that are equal to their additive inverse. (your answer will depend on ).
Permutations
These are covered in detail in part five of the tour.
For a set , let denote the set of all bijective maps from to .
- Prove that forms a group where the multiplication is given by function composition.
- Prove that if is empty, then is the trivial group.
- Prove that if is a one-point set, then is the trivial group.
- Prove that for a set of size , the size of is .
- Prove that if has size three, then is non-abelian.
- Suppose is a subset of . Prove that can be naturally regarded as a subgroup of .
Vector spaces
This assumes some prior knowledge of vector spaces over fields, or at least, over :
- Prove that any real vector space is an abelian group with the usual addition.
- If is a real vector space, and is a vector subspace of , prove that is a subgroup of .
- Prove that the zero-dimensional vector space is, as an abelian group, the trivial group.
- Prove that there are subgroups of a vector space that are not subspaces (Hint: Look at the one-dimensional vector space over the reals).
Invertible linear transformations
From a geometric perspective
- NEEDS LOT OF THOUGHT: Let denote the (Euclidean) plane. A map is termed an isometry if, for any two points , the distance between and is the same as the distance between and . Prove that any isometry from to itself is bijective. (Injectivity is not hard; surjectivity requires work; skip the proof of surjectivity if you are unable to get it.)
- NEEDS SOME THOUGHT: Building on the previous problem, prove that the isometries from to form a group under composition.
- NEEDS SOME THOUGHT: A bijective map is termed a similarity if the image of any triangle under is a similar triangle. Prove that the similarities from to form a group under composition. (Bijectivity is in fact not necessary as an assumption, and it can be proved in a similar way to problem 1).
- Prove that the group of isometries is a subgroup of the group of similarities.
- An invertible collineation is an invertible map with the property that three points are collinear if and only if are collinear. Prove that the invertible collineations form a group under composition.
- Prove that the group of similarities is a subgroup of the group of invertible collineations.
- A translation on is an isometry with the property that sends every line to a parallel line. Prove that the translations (under composition) form a subgroup of the group of isometries. (Note: Every line is assumed parallel to itself)
Summarize the findings from all these exercises.
From a linear algebra perspective
- Prove that the matrices with real entries form a group where the group operation is addition. This group is called .
- Prove that the matrices with real entries, having nonzero determinant, form a group where the group operation is multiplication. This group is termed , and is called the general linear group of degree over .
- Prove that the matrices with all off-diagonal entries equal to zero, form a subgroup of under addition.
- Prove that the matrices with all off-diagonal entries equal to zero, and all diagonal entries nonzero, form a subgroup of under multiplication.
This page is a Examples peek page, part of the Groupprops guided tour for beginners (Jump to beginning of tour)
PREVIOUS: Mind's eye test one (beginners)| UP: Introduction one | NEXT: Inquiry problems one (beginners)
NEXT SECTION Examples peek: Examples peek two
General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part