Groups
Refer the last section of ANA1_L2.
Definition 1.
A Group is a pair consisting of a set of elements , and a binary operation on , such that
- is associative for any .
- has an identity element, denoted , such that .
- Each has an inverse such that .
If is commutative, the group is called an abelian group.
Abelian examples:
- The additive group of integers .
- The multiplicative group of nonzero rational numbers .
- Addition mod : the residues modulo for some form a group under addition. Each element of is an equivalence class. For example, . Thus, .
- Multiplication mod : Let be a prime. Consider the nonzero residues modulo , which we denote by . Then, is a group.
Why does need to be prime?
If is prime and , it follows from Bezout’s lemma that there exist integers and such that . So, there exists a number such that . If were not prime, say , we would have , making it impossible for and to have inverses. Can also be explained by Fermat’s little theorem.
- The set of all positive integers less than a given positive integer and co-prime to form a group under multiplication modulo , which is denoted by .
Proof: Let . By definition, . To prove closure, we have to show that , where . Assume , i.e, . Then, for some integer , which implies (and therefore ) must be divisible by . Contradiction! The existence of an identity is evident. To prove the existence of inverses, we invoke Euler’s theorem, which tells us that the order of every is less than or equal to the order (size) of , i.e, every element generates a cyclic subgroup. This is great, since we know that there always exists every every such that , so the inverse of will just be .
Non-Abelian examples:
- : The set of invertible real matrices. The fact that it is closed under comes from the fact that if and are invertible matrices, is also invertible.
Properties of groups
Let be a group.
- The identity of is unique: If and are identities, .
- The inverse of any element is unique: If and are inverses of , .
- For any , .
- If , then .
- Pick a . Then the map given by is a bijection. The map is injective, since if and , we have . The map is surjective, since for any , .
Subgroups
Definition 2.
Let be a group. A subgroup of is a group where is a subset of . Mya be denoted .
Theorem 3.
Every subgroup of is of the form , .
Proof
Let be any subgroup of . If , we are done. If not, choose smallest . For any , write . If , we are done. If , then , so we found a positive element smaller than , which is a contradiction.