Intro to Abstract Algebra Flashcards
What is a binary operation on a set S
A rule for where every two elements of S gives another element of S
Define R*
The set of reals excluding zero
When is a binary operation commutative
When ab=ba for all a,b in S
When is a binary operation associative
When a(bc)=(ab)c for all a,b,c in S
Define a group and its four properties
a pair (G, o) where G is a set and o is a binary operation such that the four following properties hold
i) closure - if a,b in S, ab is in G
ii) associativity - a(bc)=(ab)c for all a,b,c in G
iii) Existence of an identity
iv) Existence of an inverse
Theorem; Let (G, o) be a group. Then (G, o) has a unique identity element
Theorem; Let G be a group and let a be an element of G. Then a has a unique inverse
Define GL(2)R
Theorem; GL(2)R is a group under matrix multiplication
What is the order of an element?
The smallest positive integer such that a^n=1. If there is no such positive integer n, we say a has infinite order
Lemma; Let G be a group and g be an element of G
i) g has order 1 if and only if g is the identity element
ii) let g^m be a non-zero integer. then g^m=1 if and only if g has finite order d with d|m
What is the order of a group G
The number of elements of G
What is the relationship of the order of G and an element g in G?
By Lagranges Theorem, the order of g divides the order of G
When is a subset H of a group G a subgroup, There are three conditions
1 lies in H
if a,b is in H, then ab is in H
if a is in H, then inverse a is in H
Define the Circle group S
Lemma; Un (the roots of unity) are a subgroup of C* of order n
What is the relationship between the order of H and the order of G, where H is a subgroup of G
The order of H divides the order of G
Define SL(2)R
Elements are 2 x 2 matrices where det(A)=1
Define the cyclic subgroup generated by an element g and prove that it is a subgroup
Theorem; Let G be a group and let g be an element of finite order n. Then <g> = {1, g, .... , g^(n-1)}. In particular, the order of the subgroup <g> is equal to the order of g</g></g>