+ All Categories
Home > Documents > Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups...

Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups...

Date post: 29-Sep-2020
Category:
Upload: others
View: 0 times
Download: 0 times
Share this document with a friend
16
11/12/2014 1 Ma/CS 6a Class 19: Isomorphisms and Subgroups By Adam Sheffer Reminder: A Group A group consists of a set and a binary operation βˆ—, satisfying the following. β—¦ Closure. For every , ∈ , we have βˆ—βˆˆ . β—¦ Associativity. For every , , ∈ , we have βˆ— βˆ—=βˆ— βˆ— . β—¦ Identity. The exists ∈ , such that for every ∈ , we have βˆ—=βˆ— = . β—¦ Inverse. For every ∈ there exists βˆ’1 ∈ such that βˆ— βˆ’1 = βˆ’1 βˆ—= .
Transcript
Page 1: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

1

Ma/CS 6a Class 19: Isomorphisms and Subgroups

By Adam Sheffer

Reminder: A Group

A group consists of a set 𝐺 and a binary operation βˆ—, satisfying the following.

β—¦ Closure. For every π‘₯, 𝑦 ∈ 𝐺, we have π‘₯ βˆ— 𝑦 ∈ 𝐺.

β—¦ Associativity. For every π‘₯, 𝑦, 𝑧 ∈ 𝐺, we have π‘₯ βˆ— 𝑦 βˆ— 𝑧 = π‘₯ βˆ— 𝑦 βˆ— 𝑧 .

β—¦ Identity. The exists 𝑒 ∈ 𝐺, such that for every π‘₯ ∈ 𝐺, we have

𝑒 βˆ— π‘₯ = π‘₯ βˆ— 𝑒 = π‘₯.

β—¦ Inverse. For every π‘₯ ∈ 𝐺 there exists π‘₯βˆ’1 ∈ 𝐺 such that π‘₯ βˆ— π‘₯βˆ’1 = π‘₯βˆ’1 βˆ— π‘₯ = 𝑒.

Page 2: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

2

Reminder: What We Already Know About Groups Given a group with a set 𝐺:

β—¦ The multiplication table of 𝐺 is a Latin square.

β—¦ The identity is unique.

β—¦ For each π‘Ž ∈ 𝐺, there is a unique inverse π‘Žβˆ’1.

β—¦ For π‘Ž, 𝑏 ∈ 𝐺, the equation π‘Žπ‘₯ = 𝑏 has a unique solution.

Reminder: Orders

The order of a group is the number of elements in its set 𝐺.

The order of an element π‘Ž ∈ 𝐺 is the least positive integer π‘˜ that satisfies π‘Žπ‘˜ = 1.

Rotation 90∘

2 20 1

(under multiplication mod 3)

5

(under integer addition)

4 2 ∞

Page 3: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

3

Reminder: A Group of 2 Γ— 2 Matrices 2 Γ— 2 matrices of the form

𝛼 𝛽0 1

where 𝛼 ∈ 1,2 and 𝛽 ∈ 0,1,2 .

The operation is matrix multiplication π‘šπ‘œπ‘‘ 3.

The group is of order 6: 1 00 1

1 10 1

1 20 1

2 00 1

2 10 1

2 20 1

The Multiplication Table

𝐼 =1 00 1

𝑅 =1 10 1

𝑆 =1 20 1

𝑋 =2 00 1

π‘Œ =2 10 1

𝑍 =2 20 1

𝑰 𝑹 𝑺 𝑿 𝒀 𝒁

𝐼 𝐼 𝑅 𝑆 𝑋 π‘Œ 𝑍

𝑅 𝑅 𝑆 𝐼 π‘Œ 𝑍 𝑋

𝑆 𝑆 𝐼 𝑅 𝑍 𝑋 π‘Œ

𝑋 𝑋 𝑍 π‘Œ 𝐼 𝑆 𝑅

π‘Œ π‘Œ 𝑋 𝑍 𝑅 𝐼 𝑆

𝑍 𝑍 π‘Œ 𝑋 𝑆 𝑅 𝐼

Page 4: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

4

Symmetries of a Triangle

The six symmetries of the triangle form a group (under composition).

Another Multiplication Table

π’Š 𝒓 𝒔 𝒙 π’š 𝒛

𝑖 𝑖 π‘Ÿ 𝑠 π‘₯ 𝑦 𝑧

π‘Ÿ π‘Ÿ 𝑠 𝑖 𝑦 𝑧 π‘₯

𝑠 𝑠 𝑖 π‘Ÿ 𝑧 π‘₯ 𝑦

π‘₯ π‘₯ 𝑧 𝑦 𝑖 𝑠 π‘Ÿ

𝑦 𝑦 π‘₯ 𝑧 π‘Ÿ 𝑖 𝑠

𝑧 𝑧 𝑦 π‘₯ 𝑠 π‘Ÿ 𝑖

𝑖 π‘Ÿ 𝑠

π‘₯ 𝑦 𝑧

Page 5: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

5

𝑰 𝑹 𝑺 𝑿 𝒀 𝒁

𝐼 𝐼 𝑅 𝑆 𝑋 π‘Œ 𝑍

𝑅 𝑅 𝑆 𝐼 π‘Œ 𝑍 𝑋

𝑆 𝑆 𝐼 𝑅 𝑍 𝑋 π‘Œ

𝑋 𝑋 𝑍 π‘Œ 𝐼 𝑆 𝑅

π‘Œ π‘Œ 𝑋 𝑍 𝑅 𝐼 𝑆

𝑍 𝑍 π‘Œ 𝑋 𝑆 𝑅 𝐼

π’Š 𝒓 𝒔 𝒙 π’š 𝒛

𝑖 𝑖 π‘Ÿ 𝑠 π‘₯ 𝑦 𝑧

π‘Ÿ π‘Ÿ 𝑠 𝑖 𝑦 𝑧 π‘₯

𝑠 𝑠 𝑖 π‘Ÿ 𝑧 π‘₯ 𝑦

π‘₯ π‘₯ 𝑧 𝑦 𝑖 𝑠 π‘Ÿ

𝑦 𝑦 π‘₯ 𝑧 π‘Ÿ 𝑖 𝑠

𝑧 𝑧 𝑦 π‘₯ 𝑠 π‘Ÿ 𝑖

Isomorphisms

𝐺1, 𝐺2 – two groups of the same order.

A bijection 𝛽: 𝐺1 β†’ 𝐺2 is an isomorphism if for every π‘Ž, 𝑏 ∈ 𝐺1, we have

𝛽 π‘Žπ‘ = 𝛽 π‘Ž 𝛽 𝑏 .

(i.e., after reordering, we have the same multiplication tables)

When such an isomorphism exists, 𝐺1 and 𝐺2 are said to be isomorphic, and write 𝐺1 β‰ˆ 𝐺2.

Page 6: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

6

Isomorphism Over the Reals

Problem. Prove that the following groups are isomorphic:

β—¦ The set of real numbers ℝ under addition.

β—¦ The set of positive real numbers ℝ+ under multiplication.

Proof.

β—¦ Use the functions 𝑒π‘₯: ℝ β†’ ℝ+ and log π‘₯ : ℝ+

β†’ ℝ as bijections between the two sets.

β—¦ For π‘₯, 𝑦 ∈ ℝ we have 𝑒π‘₯𝑒𝑦 = 𝑒π‘₯+𝑦.

β—¦ For π‘₯, 𝑦 ∈ ℝ+, we have log π‘₯ + log 𝑦 = log π‘₯𝑦.

Isomorphism Between β„€4 and β„€5+

Problem. Are the following two groups isomorphic?

β—¦ The set β„€4 = *0,1,2,3+ under addition π‘šπ‘œπ‘‘ 4.

β—¦ The set β„€5+ = 1,2,3,4 under multiplication

π‘šπ‘œπ‘‘ 5.

Solution.

β—¦ Yes. Use the following bijection of β„€4 ↔ β„€5+.

0 ↔ 1 1 ↔ 2 2 ↔ 4 3 ↔ 3

Page 7: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

7

Cyclic Groups

A group 𝐺 is cyclic if there exists an element π‘₯ ∈ 𝐺 such that every member of 𝐺 is a power of π‘₯.

We say that π‘₯ generates 𝐺.

What is the order of π‘₯? |𝐺|.

An infinite group 𝐺 is cyclic if there exists an element π‘₯ ∈ 𝐺 such that

𝐺 = … , π‘₯βˆ’2, π‘₯βˆ’1, 1, π‘₯, π‘₯2, π‘₯3, …

Cyclic Groups?

Are the following groups cyclic?

β—¦ Integers under addition.

Yes! It is generated by the integer 1 (which is not the identity element).

β—¦ The symmetries of the triangle.

No. There are no generators.

Page 8: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

8

Cyclic Groups?

Are the following groups cyclic?

β—¦ The positive reals ℝ+ under multiplication.

No. For example, nothing can generate 1.

β—¦ The aforementioned group of elements of the

form 𝛼 𝛽0 1

.

No. Because it is isomorphic to the triangle symmetry group.

Finite Cyclic Groups

Any cyclic group of a finite order π‘š with generator 𝑔 can be written as

1, 𝑔, 𝑔2, … , π‘”π‘šβˆ’1 .

For integers π‘ž and 0 ≀ π‘Ÿ < π‘š, we have π‘”π‘žπ‘š+π‘Ÿ = π‘”π‘Ÿ .

Where did we already encounter such a group?

β—¦ Integers π‘šπ‘œπ‘‘ π‘š under addition.

β—¦ The generator is 1 and the group is 0,1,2, … , π‘š βˆ’ 1 .

Page 9: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

9

Isomorphic Cyclic Groups

Claim. All of the cyclic groups of a finite order π‘š are isomorphic. We refer to this group as πΆπ‘š.

Proof. Consider two such cyclic groups 𝐺1 = 1, 𝑔, 𝑔2, 𝑔3, … , π‘”π‘šβˆ’1 , 𝐺2 = 1, β„Ž, β„Ž2, β„Ž3, … , β„Žπ‘šβˆ’1 .

β—¦ Consider the bijection 𝛽: 𝐺1 β†’ 𝐺2 satisfying

𝛽 𝑔𝑖 = β„Žπ‘–.

β—¦ This is an isomorphism since 𝛽 𝑔𝑖𝑔𝑗 = 𝛽 𝑔𝑖+𝑗 = β„Žπ‘–+𝑗 = β„Žπ‘–β„Žπ‘— = 𝛽 𝑔𝑖 𝛽 𝑔𝑗 .

Simple Groups

A trivial group is a group that contains only one element – an identity element.

A simple group is a non-trivial group that does not contain any other β€œwell-behaved” subgroups in it.

The finite simple groups are, in a certain sense, the "basic building blocks" of all finite groups.

β—¦ Somewhat similar to the way prime numbers are the basic building blocks of the integers.

Page 10: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

10

Classification of Finite Simple Groups

β€œOne of the most important mathematical achievements of the 20th century was the collaborative effort, taking up more than 10,000 journal pages” (Wikipedia).

Written by about 100 authors!

Theorem. Every finite simple group is isomorphic to one of the following groups:

β—¦ A cyclic group.

β—¦ An alternating group.

β—¦ A simple Lie group.

β—¦ One of the 26 sporadic groups.

The Monster Group

One of the 26 sporadic groups is the monster group.

It has an order of 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000.

The 6 sporadic groups that are not β€œcontained” in the monster group are called the happy family.

Page 11: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

11

Direct Product

𝐺1, 𝐺2 - two groups with identities 11, 12.

The direct product 𝐺1 Γ— 𝐺2 consists of the ordered pairs π‘Ž, 𝑏 where π‘Ž ∈ 𝐺1 and 𝑏 ∈ 𝐺2.

The direct product is a group:

β—¦ The group operation is π‘Ž, 𝑏 𝑐, 𝑑 = π‘Žπ‘, 𝑏𝑑 .

β—¦ The identity element is 11, 12 .

β—¦ The inverse π‘Ž, 𝑏 βˆ’1 is π‘Žβˆ’1, π‘βˆ’1 .

β—¦ The order of 𝐺1 Γ— 𝐺2 is 𝐺1 𝐺2 .

Direct Product Example

Problem. Is 𝐢6 isomorphic to 𝐢2 Γ— 𝐢3?

Solution.

β—¦ Write 𝐢2 = 1, 𝑔 and 𝐢3 = 1, β„Ž, β„Ž2 .

β—¦ Then 𝐢2 Γ— 𝐢3 consists of 1,1 , 1, β„Ž , 1, β„Ž2 , 𝑔, 1 , 𝑔, β„Ž , (𝑔, β„Ž2) .

β—¦ 𝐢2 Γ— 𝐢3 is isomorphic to 𝐢6 iff it is cyclic.

β—¦ It is cyclic, since it is generated by 𝑔, β„Ž .

𝑔, β„Ž 1 = 𝑔, β„Ž , 𝑔, β„Ž 2 = 1, β„Ž2 , 𝑔, β„Ž 3 = 𝑔, 1 , 𝑔, β„Ž 4 = 1, β„Ž , 𝑔, β„Ž 5 = 𝑔, β„Ž2 , 𝑔, β„Ž 6 = 1,1 ,

Page 12: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

12

Another Direct Product Example

Problem. Is 𝐢8 isomorphic to 𝐢2 Γ— 𝐢4?

Solution.

β—¦ Write 𝐢2 = 1, 𝑔 and 𝐢4 = 1, β„Ž, β„Ž2, β„Ž3 .

β—¦ Then 𝐢2 Γ— 𝐢4 consists of * 1,1 , 1, β„Ž , 1, β„Ž2 , 1, β„Ž3 ,

𝑔, 1 , 𝑔, β„Ž , 𝑔, β„Ž2 , 𝑔, β„Ž3 +.

β—¦ 𝐢2 Γ— 𝐢4 is isomorphic to 𝐢8 iff it is cyclic.

β—¦ It is not. The orders of the elements are 1,4,2,4,2,4,2,4, respectively.

Cyclic Inner Products of Cyclic Groups

Claim. If π‘š, 𝑛 are relatively prime positive integers, then πΆπ‘š Γ— 𝐢𝑛 β‰ˆ πΆπ‘šπ‘›.

Proof. Write πΆπ‘š = 1, 𝑔, 𝑔2, … , π‘”π‘šβˆ’1 and 𝐢𝑛 = 1, β„Ž, β„Ž2, … , β„Žπ‘›βˆ’1 .

It suffices to prove that 𝑔, β„Ž generates πΆπ‘š Γ— 𝐢𝑛.

𝑔, β„Ž π‘˜ = 1,1 if and only if π‘š|π‘˜ and 𝑛|π‘˜.

Recall: GCD π‘š, 𝑛 = 1 implies LCM π‘š, 𝑛= π‘šπ‘›.

Thus, the order of 𝑔, β„Ž is π‘šπ‘›.

Page 13: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

13

Cyclic Inner Products of Cyclic Groups Claim. If π‘š, 𝑛 are relatively prime positive

integers, then πΆπ‘š Γ— 𝐢𝑛 β‰ˆ πΆπ‘šπ‘›.

Proof. Write πΆπ‘š = 1, 𝑔, 𝑔2, … , π‘”π‘šβˆ’1 and 𝐢𝑛 = 1, β„Ž, β„Ž2, … , β„Žπ‘›βˆ’1 .

We proved that 𝑔, β„Ž is of order π‘šπ‘›.

It remains to show that for every 0 ≀ 𝑖 < 𝑗 < π‘šπ‘›, we have 𝑔, β„Ž 𝑖 β‰  𝑔, β„Ž 𝑗.

If 𝑔, β„Ž 𝑖 = 𝑔, β„Ž 𝑗, multiplying both sides by 𝑔, β„Ž βˆ’π‘– implies 𝑔, β„Ž π‘—βˆ’π‘– = 1,1 .

Contradiction to the order of 𝑔, β„Ž ! So 𝑔, β„Ž generates π‘šπ‘› distinct elements.

Subgroups

A subgroup of a group 𝐺 is a group with the same operation as 𝐺, and whose set of members is a subset of 𝐺.

Find a subgroup of the group of integers under addition.

β—¦ The subset of even integers.

β—¦ The subset … , βˆ’2π‘Ÿ, βˆ’π‘Ÿ, 0, π‘Ÿ, 2π‘Ÿ, . . for any integer π‘Ÿ > 1.

Page 14: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

14

Subgroups of a Symmetry Group

Problem. Find a subgroup of the symmetries of the square.

No action Rotation 90∘ Rotation 180∘ Rotation 270∘

Vertical flip Horizontal flip Diagonal flip Diagonal flip 2

Subgroups of a Symmetry Group

Problem. Find a subgroup of the subgroup.

No action Rotation 90∘ Rotation 180∘ Rotation 270∘

Vertical flip Horizontal flip Diagonal flip Diagonal flip 2

Page 15: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

15

Subgroups of a Symmetry Group

No action Rotation 90∘ Rotation 180∘ Rotation 270∘

Vertical flip Horizontal flip Diagonal flip Diagonal flip 2

Subgroup Conditions

Problem. Let 𝐺 be a group, and let 𝐻 be a non-empty subset of 𝐺 such that

β—¦ C1. If π‘₯, 𝑦 ∈ 𝐻 then π‘₯𝑦 ∈ 𝐻.

β—¦ π‚πŸ. If π‘₯ ∈ 𝐻 then π‘₯βˆ’1 ∈ 𝐻.

Prove that 𝐻 is a subgroup.

β—¦ Closure. By C1.

β—¦ Inverse. By C2.

β—¦ Associativity. By the associativity of 𝐺.

β—¦ Identity. By C2, π‘₯, π‘₯βˆ’1 ∈ 𝐻. By C1, we have 1 = π‘₯π‘₯βˆ’1 ∈ 𝐻.

Page 16: Ma/CS 6a2014-15/1term/ma006a/class19.pdf11/12/2014 2 Reminder: What We Already Know About Groups Given a group with a set : The multiplication table of is a Latin square. The identity

11/12/2014

16

Finite Subgroup Conditions

Problem. Let 𝐺 be a finite group, and let 𝐻 be a non-empty subset of 𝐺 such that

β—¦ C1. If π‘₯, 𝑦 ∈ 𝐻 then π‘₯𝑦 ∈ 𝐻.

β—¦ π‚πŸ. If π‘₯ ∈ 𝐻 then π‘₯βˆ’1 ∈ 𝐻.

Prove that 𝐻 is a subgroup.

Proof. Consider π‘₯ ∈ 𝐻.

Since 𝐺 is finite, the series 1, π‘₯, π‘₯2, π‘₯3, … has two identical elements π‘₯𝑖 = π‘₯𝑗 with 𝑖 < 𝑗.

Multiply both side by π‘₯βˆ’π‘–βˆ’1 (in 𝐺) to obtain π‘₯βˆ’1 = π‘₯π‘—βˆ’π‘–βˆ’1 = π‘₯π‘₯π‘₯ β‹― π‘₯ ∈ 𝐻.

The End: A Noah’s Ark Joke The Flood has receded and the ark is safely aground atop Mount Ararat; Noah tells all the animals to go forth and multiply. Soon the land is teeming with every kind of living creature in abundance, except for snakes. Noah wonders why. One morning two miserable snakes knock on the door of the ark with a complaint. β€œYou haven’t cut down any trees.” Noah is puzzled, but does as they wish. Within a month, you can’t walk a step without treading on baby snakes. With difficulty, he tracks down the two parents. β€œWhat was all that with the trees?” β€œAh,” says one of the snakes, β€œyou didn’t notice which species we are.” Noah still looks blank. β€œWe’re adders, and we can only multiply using logs.”


Recommended