Geometric Transformations and Wallpaper Groups

Similar documents
MA441: Algebraic Structures I. Lecture 14

Geometric Transformations and Wallpaper Groups

Math 581 Problem Set 8 Solutions

Cosets and Normal Subgroups

MA441: Algebraic Structures I. Lecture 15

Part IV. Rings and Fields

Section 18 Rings and fields

Lecture Note of Week 2

Section 15 Factor-group computation and simple groups

Isomorphisms. 0 a 1, 1 a 3, 2 a 9, 3 a 7

Lecture 3. Theorem 1: D 6

Math 547, Exam 1 Information.

Normal Subgroups and Quotient Groups

Solutions to Some Review Problems for Exam 3. by properties of determinants and exponents. Therefore, ϕ is a group homomorphism.

Solutions for Assignment 4 Math 402

2MA105 Algebraic Structures I

Recall: Properties of Homomorphisms

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

Part II Permutations, Cosets and Direct Product

Geometric Transformations and Wallpaper Groups

Lecture 4.1: Homomorphisms and isomorphisms

Section 13 Homomorphisms

Introduction to Groups

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

Algebra homework 6 Homomorphisms, isomorphisms

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that

Modern Algebra Homework 9b Chapter 9 Read Complete 9.21, 9.22, 9.23 Proofs

Group Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

REU 2007 Discrete Math Lecture 2

MATH 430 PART 2: GROUPS AND SUBGROUPS

Chapter 3. Introducing Groups

A Little Beyond: Linear Algebra

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Extra exercises for algebra

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Physics 251 Solution Set 1 Spring 2017

MATH3711 Lecture Notes

Algebra I: Final 2015 June 24, 2015

Examples of Groups

Lecture 6 Special Subgroups

Solutions for Homework Assignment 5

Your Name MATH 435, EXAM #1

Equivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms

Groups. Chapter 1. If ab = ba for all a, b G we call the group commutative.

Theorems and Definitions in Group Theory

Name: Solutions - AI FINAL EXAM

Automorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G.

First Semester Abstract Algebra for Undergraduates

INTRODUCTION TO THE GROUP THEORY

Kevin James. Quotient Groups and Homomorphisms: Definitions and Examp

INTRODUCTION GROUP THEORY

Group Theory. PHYS Southern Illinois University. November 15, PHYS Southern Illinois University Group Theory November 15, / 7

17 More Groups, Lagrange s Theorem and Direct Products

book 2005/1/23 20:41 page 132 #146

Properties of Homomorphisms

Quiz 2 Practice Problems

Group theory for Maths, Physics and Chemistry students. Arjeh Cohen Rosane Ushirobira Jan Draisma

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1

MODEL ANSWERS TO THE FIFTH HOMEWORK

A First Course in Group Theory. Aditi Kar

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Chapter 2. Symmetries of a system

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

Groups and Symmetries

(Think: three copies of C) i j = k = j i, j k = i = k j, k i = j = i k.

Solution Outlines for Chapter 6

Solutions to the August 2008 Qualifying Examination

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

Some notes on Coxeter groups

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:

Symmetries in Physics. Nicolas Borghini

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Geometric Transformations and Wallpaper. Groups. Lance Drager Math Camp

Algebra I: Final 2018 June 20, 2018

Linear Algebra Lecture Notes in progress

Cosets, factor groups, direct products, homomorphisms, isomorphisms

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

Group Theory

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

Lecture Notes. Group Theory. Gunnar Traustason (Autumn 2016)

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

MODEL ANSWERS TO HWK #4. ϕ(ab) = [ab] = [a][b]

Math 546, Exam 2 Information.

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

MA441: Algebraic Structures I. Lecture 26

Ideals, congruence modulo ideal, factor rings

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

AM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11

Space groups. Bernd Souvignier

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

GROUPS OF ORDER p 3 KEITH CONRAD

Elements of solution for Homework 5

Transcription:

Geometric Transformations and Wallpaper Groups Lance Drager Texas Tech University Geometric Transformations III p.1/25

Introduction to Groups of Isometrics Geometric Transformations III p.2/25

Symmetries of an Equilateral Triangle Problem. Find all the symmetries of an equilateral triangle. Geometric Transformations III p.3/25

Symmetries of an Equilateral triangle There are six, the identity, (call it e), rotation by 120, call it r, r 2 and the reflections S, S and S = s in the mirror lines M, M and M M M r M Geometric Transformations III p.4/25

Symmetries of an Equilateral Triangle Here s S. S Here s rs. s r Geometric Transformations III p.5/25

Symmetries of an Equilateral Triangle Here s S. S Here s r 2 s. s r 2 Geometric Transformations III p.6/25

Symmetries of an Equilateral Triangle What is sr? r s Geometric Transformations III p.7/25

Symmetries of an Equilateral Triangle What is sr? r s nswer: S = r 2 s S Geometric Transformations III p.7/25

Symmetries of an Equilateral Triangle The set of symmetries is D 3 = { e, r, r 2 s, rs, r 2 s } and we have the relations r 3 = e, s 2 = e and sr = r 2 s. Multiplication table: (Row label) (olumn label) e r r 2 s rs r 2 s e e r r 2 s rs r 2 s r r r 2 e rs r 2 s s r 2 r 2 e r r 2 s s rs s s r 2 s rs e r 2 r rs rs s r 2 s r e r 2 r 2 s r 2 s rs s r 2 r e Geometric Transformations III p.8/25

Symmetries of an Equilateral Triangle Relations: r 3 = e, s 2 = e and sr = r 2 s. Examples from the Multiplication Table Example: (r 2 s)(rs) = r 2 srs = r 2 (sr)s = r 2 (r 2 s)s = r 4 s 2 = r 4 e = rr 3 = re = r. Example: (rs)(r 2 s) = rsr 2 s = r(sr)rs = r(r 2 s)rs = r 3 srs = srs = (sr)s = (r 2 s)s = r 2 s 2 = r 2. Geometric Transformations III p.9/25

Little Group Theory D 3 is a group of isometries: it contains the identity, it is closed under taking products, and it is closed under taking inverses. Other groups of isometries. The group E of all isometries. The group O of all orthogonal matrices. D n is the group of symmetries of a regular n-gon. It is generated by r and s with relations r n = e, s 2 = e and sr = r n 1 s. Geometric Transformations III p.10/25

Little Group Theory Definition. group G is a set G equipped with a binary operation G G G: (g, h) gh, such that the following axioms are satisfied ssociative Law. g(hk) = (gh)k for all g, h, k G. Existence of an identity. There is an element e G such that ge = eg = g for all g G. (This element turns out to be unique.) Existence of Inverses. For every g G there is an element h G so that gh = hg = e. This element h turns out to be unique and is denoted by g 1. In general, the group operation need not be commutative! Geometric Transformations III p.11/25

Little Group Theory If the group operation in G is commutative, we say that G is a commutative group or an abelian group. If G is abelian, we sometime choose to write the group operation as +, in which case the identity is 0 and the inverse of g is g. Example: the group of integers Z = {0, ±1, ±2,...} with the operation of addition. If G is a group, a subset H G is said to be a subgroup of G if it a group in it s own right with the same operation as G, i.e., e H. h 1, h 2 H = h 1 h 2 H. h H = h 1 H. Geometric Transformations III p.12/25

Little Group Theory If G is a group {e} G and G G are always subgroups of G. If g G we can define the powers of g by g 0 = e. If n is a positive integer g n = gg g. }{{} n factors If n is a negative integer, say n = p, p > 0, then g n = (g 1 ) p. If g G the set g of powers of g is a subgroup of G called the cyclic subgroup of G generated by g. Geometric Transformations III p.13/25

Group Maps Let G and H be groups. transformation ϕ: G H is a Group Homomorphism or Group Mapping if it satisfies ϕ(e) = e ϕ(ab) = ϕ(a)ϕ(b) for all a, b G. It follows that ϕ(g 1 ) = ϕ(g) 1. if a G is fixed the mapping ψ a (g) = aga 1 is a group map G G called conjugation by a. ψ a (e) = aea 1 = aa 1 = e. ψ a (gh) = agha 1 = aga 1 aha 1 = (aga 1 )(aha 1 ) = ψ a (g)ψ a (h). Geometric Transformations III p.14/25

Group Maps and Subgroups Theorem. Let ϕ: G H be a group mapping. Let G be a subgroup of G. Let ϕ() = {h H h = ϕ(a) for some a }. Then ϕ() is a subgroup of H. In particular ϕ(g) H is a subgroup of H. Proof: e = ϕ(e) and e, so e ϕ(). If h 1, h 2 ϕ() then h 1 = ϕ(a 1 ) and h 2 = ϕ(a 2 ) for some a 1, a 2. ut then h 1 h 2 = ϕ(a 1 )ϕ(a 2 ) = ϕ(a 1 a 2 ). Since a 1 a 2, we have h 1 h 2 ϕ(). Geometric Transformations III p.15/25

Group Maps and Subgroups Proof ontinued. If h ϕ(), then h = ϕ(a) for some a. Then h 1 = ϕ(a) 1 = ϕ(a 1 ). We have a 1, so h 1 ϕ(). Theorem. Let ϕ: G H be a group map. Define ker(ϕ) = {g G ϕ(g) = e}. Then ker(ϕ) G is a subgroup of G. Proof: ϕ(e) = e so e ker(ϕ). If a, b ker(ϕ) then ϕ(a) = e and ϕ(b) = e. ut then ϕ(ab) = ϕ(a)ϕ(b) = ee = e, so ab ker(ϕ). Geometric Transformations III p.16/25

Group Maps and Subgroups Proof ontinued. if a ker(ϕ) then ϕ(a) = e, so ϕ(a 1 ) = ϕ(a) 1 = e 1 = e, hence a 1 ker(ϕ). Definition. Let G be a group and let N be a subgroup of G. We say that N is a normal subgroup of G if gng 1 N for all g G. In other words g G and n N = gng 1 N. If ϕ: G H is a group map, ker(ϕ) is a normal subgroup of G. Geometric Transformations III p.17/25

Group Maps and Subgroups Proof: Suppose k ker(ϕ) and g G. Then ϕ(gkg 1 ) = ϕ(g)ϕ(k)ϕ(g 1 ) hence gkg 1 ker(ϕ). = ϕ(g)eϕ(g) 1 = ϕ(g)ϕ(g) 1 = e, If G is abelian, all subgroups are normal. There are lots of subgroups of nonabelian groups that are not normal. Geometric Transformations III p.18/25

Exercises on Groups Exercise. Find some subgroups of D 3. Find some normal subgroups of D 3 and some non-normal subgroups. Exercise Verify that the group of symmetries of a square is the group D 4 described above. Exercise Let ϕ: G H be a group map which is one-to-one and onto, so the inverse transformation ϕ 1 : H G exists. Show that ϕ 1 is automatically a group map. We say that ϕ is a group isomorphism from G to H. Two groups G and H are isomorphic if there is an isomorphism between them. This means they can be put in one-to-one correspondence so that the group operations match up. Geometric Transformations III p.19/25

Exercises on Groups Exercise. Suppose that N is a normal subgroup of G. Suppose n N and g G. Then ng = gn for some n N and gn = n g for some n N. Exercise. Let ϕ: G H be a group map and suppose that H is a subgroup of H. Define ϕ 1 () = {g G ϕ(g) }. Show that ϕ 1 () is a subgroup of G. Exercise. If a G the conjugation ψ a : G G: g aga 1 is an isomorphism with ψ 1 a = ψ a 1. Geometric Transformations III p.20/25

Exercises on Groups (Harder) Exercise. What are the subgroups of Z? Exercise. Find, up to isomorphism, all groups with 2, 3 and 4 elements. Geometric Transformations III p.21/25

onjugation in E We need some facts about conjugation in the group of isometries. I ll write down the facts, do some of the important ones, and leave the rest as exercises (good for the soul). In general, ( a)( b)( a) 1 = ( a)( b)( 1 1 a) = ( a)( 1 b 1 a) = ( 1 a + b 1 a). If we conjugate a translation (I b) by ( a) we get ( a)(i b)( a) 1 = (I b). Geometric Transformations III p.22/25

onjugations in E onjugation by a translation (I a) onjugating (I b) gives (I b) back. onjugating a rotation translates the rotocenter by a. onjugating a Reflection [glide] by (S αu + βv), where Su = u and Sv = v by, (I a) = (I su + tv) gives (S αu + βv + 2tv). This again a reflection [glide, same translation] with the mirror [glide] line shifted by tv in the perpendicular direction. onjugation by a Rotation (R a) onjugating (I b) gives (I Rb). onjugating (R b) gives (R c) for some c, i.e. it changes the rotocenter, but not the angle of rotation. Geometric Transformations III p.23/25

onjugation in E Note in general that ( a) = (I a)( 0) and so ( a)( b)( b) 1 = (I a)( 0)( b)( 0) 1 (I a) 1. onjugation by Rotation, continued. Let S be a reflection matrix with Su = u and Sv = v. Set S = RSR 1, u = Ru and v = Rv. Then S u = u and S v = v. Thus, S is a reflection matrix with the mirror line rotated by R. If we have a reflection or glide (S αu + βv) then conjugating by (R 0) gives (RSR 1 αru + βrv) = (S αu + βv ), which is of the same type with the mirror or glide line rotated around the origin. Geometric Transformations III p.24/25

onjugation in E onjugation by a reflection or guide. If we conjugate (I b) by (S a) we get (I Sb). If R is a rotation matrix SRS = R 1. Hence conjugating (R b) by (S 0) gives (R 1 Sb) another rotation with the opposite angle. Let T be a reflection matrix with T x = x and T y = y, let S be a reflection matrix, and let T = ST S, x = Sx and y = Sy. Then T x = x and T y = y. Thus T is a reflection with the mirror transformed by S. If we conjugate (T αx + βy) by (S 0), we get (ST S αsx + βsy) = (T αx + βy ), which is of the same type. conjugation map ψ : E E preserves the type of isometries. Geometric Transformations III p.25/25