Lesson 6-10 Abstract Algebra
Lesson 6-10 Abstract Algebra
So in a Permutation Group, we need functions and their inverses; also we need an identity
function.
Consider D4, (Dihedral Group which is denoted by Or, in cycle notation we can write:
Dn=D2n where the order is 2n) be the symmetry R90 = (1 2 3 4)
group of a square. We can represent this group as a and
permutation group in grid notation (array form) Fh= (1 2)(3 4)
or in cycle notation as follows.
3 2
Number the four corners of the square:
1,2,3,4 as shown on the left.
R90 = 1 2 3 4. OR (1234)
4 1
2341 What is the reflection across the vertical line?
and a reflection across the horizontal axis as:
Fv= 23)(41)
Fh= 1 2 3 4. OR (12) (34)
2143
Let S3 be the group of all one to one function Let’s consider the transformation of a triangle.
from the set {1, 2, 3} to itself. This is the same We call this S3. Permutation on S3 and the
as saying, all arrangements or permutations of Cayley’s Table
these three elements.
𝜎= 1 2 3 4 5 𝜎 −1 = 1 2 3 4 5 𝜎= 1 2 3 4 5 𝜎 −1 = 1 2 3 4 5
5 3 1 2 4 3 4 2 5 1 5 3 1 2 4 3 4 2 5 1
Exercises:
A. Compute each of the following products in S9
c. (147)(1678)(74132)
a. (145)(37)(682) d. (145) (78) (257)
b. (71825)(36)(49) e. (12) (478)(21)(72815)
B. Do as indicated in each number with the given: Compute for the following:
𝜎 =12 34 567 𝜏=1 2 3 4 5 6 7
1. 𝜎 𝜏.
543 7 612 3 5 4 1 2 7 6
2. I𝑛𝑣𝑒𝑟𝑠𝑒 𝑜𝑓 𝜏
3. 𝜎𝜏 2
Exercises:
Express each of the following as transpositions in S8 and tell whether it is an even or odd
permutation
a. (137428)
b. (416)(8235)
c. (123)(456)(1574)
Exercises:
a. What is the order of the cycle (1, 4, 5, 7) in S8?
b. What is the order of:
a = (4, 5), (2, 3, 7)
b = ( 1, 4) ( 3, 5, 7, 8)
c. Find the order of each permutation by looking at its decomposition into a product of disjoint cycle
12345678
( )
36418257
Disjoint Cycle We can also multiply this product of cycle into array
Let’s take another example
If two cycles are not disjoint, then we have,
(1,2,5,3)(4) = 1 2 3 4 5 𝑎 = (1,3,2) 𝑏 = (1,3)
2 5 1 4 3
𝑎 ∙ 𝑏 = (1,3,2)(1,3) = (1,2)(3)
𝑏 ∙ 𝑎 = (1,3)(1,3,2) = (1)(2,3)
(2,3,6) (1,4) = 1 2 3 4 5 6
4 3 6 1 5 2
Exercises:
A. Find the orbits of the given permutation.
123456 12345678
1. ( ) 2. ( ) 3. 𝜎: 𝑍 → 𝑍 𝑤ℎ𝑒𝑟𝑒 𝜎(𝑛) = 𝑛 + 2
513624 23514687
B. Write each of the following as the product of disjoint cycles:
A B C
123456789 123456789 123456789
492517683 749238165 795312486
C. In S , (12345)
5
This group is called An, the alternating group of When can you say that there is an alternating group?
degree n. When n ≠1, An is of order n!/ There is an alternating group if the transposition is even?
2
Assessment:
Read each question and explain in your own words.
1. What is permutation?
2. How do we write permutation?
3. What is the difference of orbit and cycle?
4. What is transposition?
5. Why is it that we need to get the transposition of the product of permutation?
6. What is an alternating groups?
7. How do we get the product of permutation?
8. How about the product of permutation using function composition?
9. What is the order of the permutation?
10. How to identify if the permutation is odd or even?
Lesson 7. Normal Subgroup, Cosets and Lagrange Theorem
7.1 Left and Right Cosets and Normal Subgroup
In ℤ12 what are the numbers generated by <3>? Observe that:
<3> = {0, 3, 6, 9}
= {1, 4, 7, 10} <3> = {0, 3, 6, 9}
= {2, 5, 8, 11} 1 + <3> = {1, 4, 7, 10}
2 + <3> = {2, 5, 8, 11}
This are called cosets
Cosets simply partition the group, dividing it into Notice that G=Z12 is H 1+H 2+H
even section. partitioned into 3 sections. 0 1 2
3 4 5
6 7 8
9 10 11
Definition Specifically,
Let H be a subgroup of a group G. The subset H = { Multiplication
h1, h2, h3,…} will have a coset aH = { ah1, ah2, ah3, …}
aH = {ah│h ∈ H} Left Coset Ha = { h1a, h2a, h3a,…}
Ha = {ah│h ∈ H} Right Coset Addition
a + H = { a+h1, a+h2, a+h3, …}
H + a = { h1 + a, h2 + a, h3 + a,…}
Normal Subgroup Left Coset
The subgroup N of a group G is a normal subgroup if <3> = {0, 3, 6, 9} Right Coset
and only if every left coset of N in G is a right coset of N 1 + <3> = {1, 4, 7, 10} <3> = {0, 3, 6, 9}
in G. 2 + <3> = {2, 5, 8, 11} <3> + 1 = {1, 4, 7, 10}
Example: Let G=Z12 and Let H=<3> <3> + 2 = {2, 5, 8, 11}
SYMMETRIC GROUP S3 on three letters. Let H = {I, F1}
Let H be the subgroup of S3 = { I, F1} of S3
LEFT COSET
I R1 R2 F1 F2 F3 R1H ={R1I, R1F1}
I I R1 R2 F1 F2 F3 R2H ={R2I, R2F1} Right coset is not
R1 R1 R2 I F2 F3 F1 = {R1,F3} equal to right coset.
= {R1,F3}
R2 R2 I R1 F3 F1 F2 Thus, H in S3 is not
F1 F1 F3 F2 I R2 R1 RIGHT COSET a Normal Subgroup.
F2 F2 F1 F3 R1 I R2 H R1 ={ I R1, F1 R1}
H R2 ={P0 R2, F1 R2}
F3 F3 F2 F1 R2 R1 I = {R1,F2}
= {R2,F3}
𝑔1 . ℎ𝑖 = 𝑔2. ℎ𝑗 .
𝑔1 ℎ𝑖 (ℎ𝑗−1 ) = 𝑔2. ℎ𝑗 (ℎ𝑗−1)
𝑔1ℎ𝑖 (ℎ𝑗−1) = 𝑔2. 𝑒
𝑔1ℎ𝑘 = 𝑔2
𝑔1ℎ𝑘 ∈ 𝑔1 𝐻 ⇒ 𝑔2 ∈ 𝑔1 𝐻
Assessment
A. Let us consider Z . We know that every divisor of n generates a subgroup of Z . Find the number of subgroups in the ff:
n n
a. z b. z c. z d. z
• 8 12 15 24
B. From exercise 1, obtain a formula to find the or the number of proper subgroups of Z
n
C. Given Z8
a. Find the subgroup generated by <6>.
b. Give the left and right cosets.
c. Verify if the order of H divides the order of G.
d. Find the index of <6> in Z8
Lesson 8. Direct Product and Finitely Generated Abelian Groups
Direct product
One purpose of this topic is to show a way to use known groups as a building block to form more
groups.
Definition. The Cartesian Product of sets is the set of all ordered n- Theorem. Let G1,G2, …Gn be groups. For (a1,a2,…an) and
tuples (a1,a2,…an) where ai is an element Si fo i=1,2,3…n. The (b1,b2,…bn). Then ∏𝑛𝑖=1 𝐺 . Group, the direct product of the groups
cartesian product is denoted by either Gi under this binary operation.
𝑛
Theorem. The group Zm x Zn is isomorphic to Zmn iff m
𝑆1 x𝑆2 x𝑆3 x𝑆𝑛 = ∏ 𝑆𝑖 and n are relatively prime, that is (m,n) = 1.
𝑖=1
Find the order of each element of the direct product * 7(3, 4) = ( 2, 0) + (3 , 4)= ( 5,4)
8(3, 4) = ( 5, 4) + (3 , 4)= ( 0,8)
(3, 4) in Z4 x Z12 9(3, 4) = ( 0, 8) + (3 , 4)= ( 3,0)
(3, 4) = ( 3, 4) 10(3, 4) = ( 3, 0) + (3 , 4)=(2,4)
2(3, 4) = ( 3, 4) + (3 , 4)= (2,8) 11(3, 4) = ( 2, 4) + (3 , 4)=(1,8)
3(3, 4) = ( 2, 8) + (3 , 4)= (1,0) 12(3, 4) = ( 1, 8) + (3 , 4)=(0,0)
4(3, 4) = ( 1, 0) + (3 , 4)= ( 0,4)
5(3, 4) = ( 0, 4) + (3 , 4)= ( 3,8) |<(3,4)>| = 12
6(3, 4) = ( 3, 8) + (3 , 4)= ( 2,0)
Theorem. Every finitely generated abelian group G is 3. Find the largest order of all the cyclic subgroup.
isomorphic to direct product of cyclic group in the
form
Review Concepts:
FUNCTION- rule or set of
rules that translates every
element of some group A into
an element of another group
B.
9.1 HOMOMORPHISM
Illustration:
Operation: * Operation: #
Example: Consider 𝐟: (R, +)→ (R+, x) be Non-Example let 𝚽: (R+, +)→ (R,+) be
defined by 𝐟(𝒙) = 𝒆𝒙 . We need to show if the defined by: 𝚽(x) = log(x).
function 𝚽 is a homomorphism. 𝐟(𝐚 ∗ 𝐛) = 𝐟(𝐚)#𝐟(𝐛)
Proof: Let x and y be in (R+, +). Then,
If it is a homomorphism, it follows that, 𝚽 (x+y) = log(x +y)
𝐟(𝐚 ∗ 𝐛) = 𝐟(𝐚)#𝚽(𝐛) log(x +y) ≠ log(x) + log(y).
Let a and b be element in R. Here, 𝚽 is not a homomorphism.
𝒆𝐚+𝐛 = 𝒆𝒂 ∙ 𝒆𝒃 by properties of exponent
𝐟(𝐚 + 𝐛) = 𝐟(𝐚) ∗ 𝐟(𝐛) for f(x)=ex However, if we change the domain to (R+, x),
Therefore, f is a homomorphism then:
𝚽(xy) = log(xy) = log(x) + log(y), and the same
𝚽 is now a homomorphism.
Let f: Z2 x Z4 → Z2 be defined by f(x, y)=x for
all x which is an element in Z2, y which is an
element in Z4. Is f a homomorphism?
Solution: we can check that for all (x1, y1), (x2,
y2) is an element of Z2 x Z4,
f((x1, y1)+(x2, y2) )= x1+ x2= f(x1, y1)+ f(x2,
y2).
So f is a homomorphism.
9.2 ISOMORPHISM
Definition: An Isomorphism𝐟: 𝑮 → 𝑯 is a transformation that homomorphism that is bijective (one-to-
one and onto). Thus,
(G, *) to an algebraic structure (H, #) such that, 𝐟(𝐚 ∗ 𝐛) = 𝐟(𝐚)#𝐟(𝐛) for all a and b in G, and
One
9.3 AUTOMORPHISM
Definition: An Automorphisms is a homomorphism that maps a function G to itself. Thus,
𝐟: 𝑮 → 𝑮.
Example: Consider 𝐟: (< 𝒁, +>, +)→ <𝒁, +> 𝐟(𝟑) = 𝐟(𝟏) + (𝟐)
be defined by 𝐟(𝒙) = 𝒙 . We need to show if the 𝟑= 𝟏+𝟐
function f is a homomorphism. 𝟑=𝟑
Prove that the mapping is preserved
1. Mapping: (Homormorphism)
𝐟(𝐚 + 𝐛) = 𝐟(𝐚) + 𝐟(𝐛)
X 0 1 2 3 4 5 𝐟(𝐚 + 𝐛) = 𝐚 + 𝒃
f(x) 0 1 2 3 4 5 𝐚+𝐛= 𝐚+𝐛
KERNEL
Definition: The Kernel of ∅ in ∅: 𝑮 → 𝑯 be Illustration:
kernel
a group of homomorphism. The Kernel is DOMAIN
a identity in
the set of elements in G that maps with the d
RANGE
range
P
identity element e in the range. Thus, b
Q
e
R
∅−𝟏 {∅(𝒂)} = {𝒙 ∈ 𝑮|∅(𝒙) = ∅(𝒂)} c
f
Assessment:
A. Show if the function given is a homomorphism or not.
1. Let ∅: 𝒁 → 𝑹 under addition be given by ∅(𝒏) = 𝒏.
2. Let ∅: 𝑹∗ → 𝑹∗ under addition be given by ∅(𝒙) = |𝒙|.
3. Let 𝒇: 𝒁𝟗 → 𝒁𝟐 under addition be given by 𝒇(𝒙) = the remainder of x when
divided by 2, as in division algorithm.
4. Let 𝒓 ∈ 𝒁 and let 𝒇: 𝒁 → 𝒁 be defined by 𝒇(𝒏) = 𝒓𝒏 for all 𝒏 ∈ 𝒁n Z. Is this
a homomorphism?
5. Let f: (Z,+)→ (Z,+) be defined by : f(x) = 2x, i.e. f sends every x in the
domain to an even number 2x in the range. Is this a homomorphism?
Properties
Z= {…,-2,- Q={a/b| a and B 𝑀2𝑥2 where
1,0,1,2,…} are element of elements is in R 𝑍[𝑥] Polynomial
set of all integer Z} with integer
(Z,+,·) (Q,+,·) coefficient
Addition
1. Closure
satisfied satisfied satisfied satisfied
property
2. Existence of satisfied satisfied satisfied satisfied
Identity
3. Existence of satisfied satisfied satisfied satisfied
Inverse
4. Associative satisfied satisfied satisfied satisfied
5. Commutative satisfied satisfied satisfied satisfied
Generalization Abelian group Abelian group Abelian group Abelian group under
under addition under addition under addition addition
Multiplication
1. Closure
satisfied satisfied satisfied satisfied
property
2. Existence of May or may no May or may no be
satisfied satisfied
Identity be satisfied satisfied
3. Existence of May or may no May or may no be
Not satisfied Not satisfied
Inverse be satisfied satisfied
4. Associative satisfied satisfied satisfied satisfied
5. Commutative satisfied satisfied Not satisfied Not satisfied
Generalization Not a group under Not a group under Not a group under Not a group under
multiplication multiplication multiplication multiplication
Based on activity, write the properties to be satisfied for a set of elements to be a ring.
Properties to be sat
isfied:
______________________________________________________________________________
______________________________________________________________________________
______________________________________________________________________________
______________________________________________________________________________
______________.
ACQUIRE: Formulate the definition of a Ring with emphasis on the properties to be satisfied.
Definition: a ring R is a set with two binary operations, denoted by + and x (called addition and
multiplication) satisfying the following properties or axioms:
1. (R, +) is an abelian group
2. Multiplication must be:
a. Commutative: ab=ba
b. Associative: (ab)c= a(bc)
c. contains identity element denoted by 1.
3. Distributive property of multiplication over addition
a. (a+b) c = ac+bc
APPLY: Proving: Use the properties that you have identified to verify whether the given set is a ring
or not. Show your proof. Provide conditions or exceptions if there are.
3. Existence of If a + a-1= I where a-1 in the inverse If a x a-1= I where a-1 in the inverse
Inverse of a of a
Then a-1=0-a = -a, since I=0 Then a-1=1/a = since I=1
Therefore, a-1 for all a in R exists. Threfore, a-1 = 1/a exist for all a in R
Therefore, Inverse property is Therefore, Inverse property is
satisfied satisfied
However, is a=0, then 0 doesn’t have
an inverse.
4. Associative If (a+b) + c= a + (b+c) If (axb) x c= a x (bxc)
Then a+b +c = a + b+ c Then a x b x c = a x b x c
Addition of real numbers is Multiplication of real numbers is
associative. associative.
Therefore, Associative property is Therefore, Associative property is
satisfied satisfied
5. Commutative If a+b = b + a If a x b = b x a
Addition of real number is Multiplication of real number is
commutative. commutative.
Therefore, commutative property is Therefore, commutative property is
satisfied. satisfied.
Generalization Group under addition and it is an abelian Group under multiplication if zero is
group (commutative group) excluded.
To Prove that the set G which is the set of all real n umbers is a ring denoted by 𝐺 = (𝑅, +, 𝑥 ). We need
to show that the following axioms are satisfied:
ed by + and x (called addition and multiplication) satisfying the following properties or axioms:
1. (R, +) is an abelian group: yes, it is an abelian group under addition.
2. Multiplication must be:
a. Commutative: ab=ba : yes, multiplication is commutative
b. Associative: (ab)c= a(bc): yes, multiplication is associative
c. contains identity element denoted by 1. Yes the identity exist and it is 1.
3. Distributive property of multiplication over addition
a. (a+b) c = ac+bc: yes, distributive property is satisfied. Since this property is true to real.
Numbers.
𝑧1 𝑧2
1. 𝑀 = {[−𝑧̅ ]: 𝑧1 , 𝑧2 ∈ 𝑐𝑜𝑚𝑝𝑙𝑒𝑥 𝑛𝑢𝑚𝑏𝑒𝑟 (𝐶)}.
2 𝑧̅1
2. 𝑅 = {𝑍5 = (0,1,2,3,4)}.
3. 𝑅 = {𝑎 + 𝑏𝑖|𝑎, 𝑑, 𝑍}
4. 𝑅 = {𝑎 + 𝑏√2|𝑎, 𝑑, 𝑍}