Abstract_Algebra_Worksheet2
Abstract_Algebra_Worksheet2
Groups
Motivation
One of the ultimate goals of Algebra is to solve equation. Let’s explore the
properties needed to solve an equation created by a binary operation.
1. Consider Z with the usual addition. Look at the following equation and
its solution. Which property that was used in each step?
5+ x=2
−5+ ( 5+ x )=−5+2.
(−5+5 )+ x =−3
0+ x=−3
x=−3
2. Could we solve the equation with less than 3 properties?
Group
We want to define the simplest structure (set & operation) so that we can
solve equation on it.
3. Check if the following sets are groups or not? If so are they abelian?
a. Z under addition
b. Z under multiplication
c. Q under multiplication
d. ¿
4. For the sets in question 2 that are not groups, find extra conditions to
make them into groups.
5. Cancelation law: Prove that if ¿ is a group then if a∗b=a∗c then b=c .
8. Prove that each group element must appear exactly once on each row
and each column.
Group isomorphism
One of the biggest questions in group theory is classifying groups by distinct
structures. Two groups might look different but possess the same operation
after the elements are re-labeled. We’ll start by looking at groups with small
number of elements.
10. Let G=\{ 1 ,−1 \}. Show that G is a group under usual
multiplication. Write down the group table of G .
Definition
Let ( G1 , ¿1 ) and ( G2 , ¿2 ) be groups and f :G1 →G2 . f is called a group
homomorphism if
13. Contruct the group table for a general group of 3 elements. How
many ways to construct such a group? From there deduce the number
of groups of 3 elements up to isomorphism.
14. Let n Z=\{ nx∨x ∈ Z \} . Show that ¿ is a group and is isomorphic to ¿
Practice
(3) Check if ¿ is a group where a∗b=√ ab
(12) Check if the set of all n × nreal diagonal matrices is a group under matrix
multiplication
(18) Prove that the following set is a group under matrix multiplication and is
isomorphic to ¿:
G=\{ e , a ,b \}
where
( )( )
−1 −√ 3 −1 √3
e=( )
1 0
0 1
, a=
2
√3 −1
2
, b=
2 2
−√ 3 −1
2 2 2 2
(29) Show that if G is a finite group with identity e and with an even number
of elements, then there is a ≠ e in G such that a∗a=e .
(42) Suppose that G is a group with n elements and A ⊆ G has more than n/2
elements. Prove that for every g ∈ G, there exists a, b ∈ A such that a ∗ b =
g.