today donโ€™t forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 donโ€™t open your book!!!...

13
3/19/2019 1 Reflection Give praise to the Lord, proclaim his name; make known among the nations what He has done. 1 Chronicles 16:8 Recall Theorem 6.14 =G, cyclic of order n. bG (b=a s for some s) generates a cyclic subgroup of order เฏ— โ„ where d = gcd(n,s). 8 โ„Ž 8 โ„ค เฌถ Today โ€ข Subgroups of cyclic groups โ€ข Automorphisms โ€ข Permutations in Algebra โ€ข Challenges of Permutations โ€ข Permutation notation โ€ข Computing function values with a permutation โ€ข Finding inverses โ€ข Composing permutations โ€ข A Cayley table for a group of permutations Donโ€™t Forget โ€ข Pick up today โ€“ In class exercises: Practice ยง8a โ€ข Due Monday โ€“ Reading Quiz 8 (on Bb, due before class) โ€ข Due tomorrow โ€“ Problem Set 5 (due 4 PM) 6. Find the number of elements of โ€ข the cyclic subgroup of โ„ค เฌถ generated by 15 โ€ข the cyclic subgroup เต† of โ„‚ โˆ— ,ยท 7. Find the number of automorphisms โ„ค เฌตเฌน โ„ค เฌตเฌต

Upload: others

Post on 15-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

1

Reflection

Give praise to the Lord, proclaim his name; make known among the nations what He has done.

1 Chronicles 16:8

Recall Theorem 6.14

๐‘Ž =G, cyclic of order n. bG (b=as for some s) generates a cyclic subgroup ๐‘ of order โ„where d = gcd(n,s).

8 ๐‘คโ„Ž๐‘’๐‘Ÿ๐‘’ 8 โ„ค

Today

โ€ข Subgroups of cyclic groupsโ€ข Automorphismsโ€ข Permutations in Algebraโ€ข Challenges of Permutationsโ€ข Permutation notationโ€ข Computing function values with a permutationโ€ข Finding inversesโ€ข Composing permutationsโ€ข A Cayley table for a group of permutations

Donโ€™t Forget

โ€ข Pick up today

โ€“ In class exercises:Practice ยง8a 

โ€ข Due Monday

โ€“ Reading Quiz 8 (on Bb, due before class)

โ€ข Due tomorrow

โ€“ Problem Set 5 (due 4 PM)

6. Find the number of elements of

โ€ข the cyclic subgroup of โ„ค generated by 15

โ€ข the cyclic subgroup ๐‘– of โ„‚โˆ—,ยท

7. Find the number of automorphisms

โ„คโ„ค

Page 2: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

2

8. Can you tell whether or notโ€ฆ

6 ๐‘–๐‘  ๐‘Ž ๐‘”๐‘’๐‘›๐‘’๐‘Ÿ๐‘Ž๐‘ก๐‘œ๐‘Ÿ ๐‘œ๐‘“ โ„ค ?4 ๐‘–๐‘  ๐‘Ž ๐‘”๐‘’๐‘›๐‘’๐‘Ÿ๐‘Ž๐‘ก๐‘œ๐‘Ÿ ๐‘œ๐‘“ โ„ค ?

9. Find the order of

the cyclic subgroup of โ„ค generated by 15

The End of Section 6

Definition

A permutation of a set A is a bijection๐œ‘: ๐ด โ†’ ๐ด

Example:๐œ‡: 1, 2, 3 โ†’ 1, 2, 3

๐œ‡: 1 โ†ฆ 2 2 โ†ฆ 3 3 โ†ฆ 1

Challenges of Working with Permutations in Algebra

1. We ainโ€™t 8P6

2. Our objects are functions.

3. Functions act from right to left.

Examples

๐œŽ 15

24

33

42

51

๐œ 12

23

34

45

51

๐œŒ 12

21

34

43

55

๐›พ 13

22

35

44

51

Page 3: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

3

Return to orbits

๐œŽ 15

24

33

42

51

๐œ 12

23

34

45

51

๐œŒ 12

21

34

43

55

๐›พ 13

22

35

44

51

The End of Section 8a

Reflection:Fear the LORD, you his saints, for those who fear him lack nothing. Psalm 34:9

Challenges of Working with Permutations in Algebra

1.

2.

3.

Today

โ€ข Proof I promised

โ€ข Cayleyโ€™s Theorem

โ€ข Orbits

โ€ข Cycles

โ€ข Transpositions

Donโ€™t Forget

โ€ข Pick up today

โ€“ In class exercises:Practice ยง8b 

โ€ข Due Wednesday

โ€“ Reading Quiz 9 (on Bb, due before class)

โ€ข Due Thursday

โ€“ Problem Set 6

Page 4: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

4

Proof

p. 58 #49G a finite group with gGโˆƒ๐‘› โˆˆ โ„ค such thatgn = e

Lemma 8.15

๐œ‘: ๐บ โŸถ ๐บ ๐‘Ž 1 1 โ„Ž๐‘œ๐‘š๐‘œ๐‘š๐‘œ๐‘Ÿ๐‘โ„Ž๐‘–๐‘ ๐‘š โ‡’๐œ‘ ๐บ ๐บโ€ฒ

Recall

3

1 2

D3

Cayleyโ€™s Theorem

Every group is isomorphic to a group of permutations.

0 1 2 1 2 3

0

1

2

1

2

3

Recall

๐œŽ 15

24

33

42

51

๐œ 12

23

34

45

51

๐œŒ 12

21

34

43

55

๐›พ 13

22

35

44

51

1. Find ๐’ช ,

2. Find ๐’ช ,

Page 5: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

5

Donโ€™t Open Your Book!!!

๐ฟ๐‘’๐‘ก ๐‘Ž, ๐‘ โˆˆ ๐ด, ๐œŽ โˆˆ ๐‘†๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ ๐œŽ ๐‘Ž ๐‘“๐‘œ๐‘Ÿ ๐‘ ๐‘œ๐‘š๐‘’ ๐‘› โˆˆ โ„คProve ~ is an equivalence relation.

The End of Section 8b

Reflection:When you pass through the waters,

I will be with you;and when you pass through the rivers,

they will not sweep over you.When you walk through the fire,

you will not be burned;the flames will not set you ablaze.

Isaiah 43:2

Today

โ€ข Orbits

โ€ข Cycles

โ€ข Transpositions

โ€ข Alternating Group

โ€ข Matrices and permutations

โ€ข Another Equivalence relation

Donโ€™t Forget

โ€ข Pick up today

โ€“ In class exercises:Practice ยง9 

โ€ข Due Monday

โ€“ Reading Quiz 10 (on Bb, due before class)

โ€ข Due Tomorrow

โ€“ Problem Set 6

Page 6: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

6

Remember?

๐ฟ๐‘’๐‘ก ๐‘Ž, ๐‘ โˆˆ ๐ด, ๐œŽ โˆˆ ๐‘†๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ ๐œŽ ๐‘Ž ๐‘“๐‘œ๐‘Ÿ ๐‘ ๐‘œ๐‘š๐‘’ ๐‘› โˆˆ โ„คProve ~ is an equivalence relation.

Do you remember?

An equivalence relation always gives rise to a ? .

Find all orbits

๐œŒ 12

21

34

43

55

Compute the indicated product

(2, 4, 6)(2, 3)(1, 5, 4)

Express as a product of transpositions

Algorithm at the bottom of page 90.

15

24

31

46

53

62

Even or odd?

What is the order of

Page 7: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

7

What happensโ€ฆ

d

c

b

a

1000

0100

0010

0001

Hint

p. 86 #46 (PS 7)๐‘† ๐‘† ๐‘† โ€ฆ

The End of Section 9

Reflection:When pride comes, then comes disgrace,

but with humility comes wisdom. Proverbs 11:2

What are the Group Axioms?

โ€ข ๐’ขโ€ข ๐’ขโ€ข ๐’ขโ€ข ๐’ข

Theorem

If H G, then ~ is an equivalence relation on G:

a~b a-1bH

Page 8: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

8

Today

โ€ข An Equivalence Relation

โ€ข Cosets

Donโ€™t Forget

โ€ข Pick up today

โ€“ In class exercises:Practice ยง10 

โ€ข Due Thursday

โ€“ Problem Set 7

โ€ข No more Reading Quizzes until after midterm

What to call the cells of the partition?

Left cosets gHRight cosets Hg

GH

S3

0 0 0 1 2 3

0

1

2

1

2

3

Question

What is |S3|? |H|?How many cosets were there?

Page 9: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

9

V

e a b c

e

a

b

c

Theorem of Lagrange

|G| finite and H G

Theorem of Lagrange

|G| finite and H G

Corollary: |G| = p, a prime

Contemplate

3 ____ = 15

e a b c

e e a b c

a a e c b

b b c e a

c c b a e

What exactly do we mean byโ€ฆ

โ„คThe End of Section 10

Page 10: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

10

START Reflection:I sought the LORD, and he answered me; he delivered me from all my fears. Psalm 34:4

{0, 1, 2} = H S3

0 1 2 1 2 3

0 0 1 2 1 2 3

1 1 2 0 3 1 2

2 2 0 1 2 3 1

1 1 2 3 0 1 2

2 2 3 1 2 0 1

3 3 1 2 1 2 0

Today

โ€ข Direct Products โ€ข Fundamental Theorem of Finitely

Generated Abelian Groups

Donโ€™t Forget

โ€ข Pick up todayโ€“ In class exercises:Practice ยง11

โ€“ graded PS 6

โ€“ Midterm Study questions 

โ€ข Due tomorrowโ€“ Problem Set 7

โ€ข No more Reading Quizzes until after midterm

1. Example

A , , B , , ,

A B

Page 11: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

11

1. Practice

List the elements of โ„ค โ„ค

2. Practice

a. Find the order of (3, 5) in โ„ค โ„คb. Find the order of (1, 2) in โ„ค โ„ค

Theorem 11.5

The group โ„ค โ„ค is cyclic and is isomorphic to โ„ค iff m and n are relatively prime.

Question

Is โ„ค โ„ค โ„ค โ‰ƒ โ„ค ?

Theorem 11.12

The Fundamental Theorem of Finitely Generated Abelian GroupsEvery finitely generated abelian group is isomorphic to a direct product of cyclic groups of the form

Example

Find all abelian groups, up to isomorphism, of order 100.

Page 12: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

12

Practice

Find all abelian groups, up to isomorphism, of order 180.

Vocabulary

Decomposable versus indecomposable

Page 13: Today Donโ€™t Forgetmccarronsite.net/m3325-chapter2slides.pdf3/19/2019 5 Donโ€™t Open Your Book!!! ๐ฟ๐‘’๐‘ก ๐‘Ž,๐‘โˆˆ๐ด,๐œŽโˆˆ๐‘† ยบ ๐‘Ž~๐‘ ๐‘–๐‘“๐‘“ ๐‘ L๐œŽ รก๐‘Ž

3/19/2019

13

The End of Section 11