n ) = f (x 1 ) e 1... f (x n ) e n

Similar documents
G i. h i f i G h f j. G j

3. GRAPHS AND CW-COMPLEXES. Graphs.

BASIC GROUP THEORY : G G G,

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

20 Group Homomorphisms

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

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

Teddy Einstein Math 4320

Exercises on chapter 1

Groups and Symmetries

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

Algebraic structures I

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

COMBINATORIAL GROUP THEORY NOTES

INVERSE LIMITS AND PROFINITE GROUPS

Course 311: Abstract Algebra Academic year

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Math 451, 01, Exam #2 Answer Key

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

Notes on Geometry of Surfaces

Two subgroups and semi-direct products

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.

0 Sets and Induction. Sets

2MA105 Algebraic Structures I

Group Homomorphisms and Isomorphisms

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

Math 210A: Algebra, Homework 6

THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM

Elements of solution for Homework 5

Solutions of Assignment 10 Basic Algebra I

Fall /29/18 Time Limit: 75 Minutes

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

Chapter 1. Sets and Mappings

Elementary linear algebra

Lectures - XXIII and XXIV Coproducts and Pushouts

Algebra I: Final 2012 June 22, 2012

Written Homework # 2 Solution

CHAPTER III NORMAL SERIES

Partial cubes: structures, characterizations, and constructions

II. Products of Groups

Computational Group Theory

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

Math 594, HW2 - Solutions

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

6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.

SF2729 GROUPS AND RINGS LECTURE NOTES

Homework Problems, Math 200, Fall 2011 (Robert Boltje)

Fibers, Surjective Functions, and Quotient Groups

(5.11) (Second Isomorphism Theorem) If K G and N G, then K/(N K) = NK/N. PF: Verify N HK. Find a homomorphism f : K HK/N with ker(f) = (N K).

arxiv: v3 [math.gr] 8 Jun 2015

Chapter I: Groups. 1 Semigroups and Monoids

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

Math 249B. Geometric Bruhat decomposition

Exercises MAT2200 spring 2014 Ark 4 Homomorphisms and factor groups

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

Group. Orders. Review. Orders: example. Subgroups. Theorem: Let x be an element of G. The order of x divides the order of G

120A LECTURE OUTLINES

Homework 2 /Solutions

Lecture 7 Cyclic groups and subgroups

1 Chapter 6 - Exercise 1.8.cf

DERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine

Math 121 Homework 5: Notes on Selected Problems

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

Math 145. Codimension

MODEL ANSWERS TO THE FIFTH HOMEWORK

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

Free Subgroups of the Fundamental Group of the Hawaiian Earring

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Math 430 Final Exam, Fall 2008

2 Free Groups: Definitions and Basic Theorems

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

Groups of Prime Power Order with Derived Subgroup of Prime Order

Chapter 16 MSM2P2 Symmetry And Groups

Block Introduction. Some self study examples and proof of the theorems are left to the readers to check their progress.

1.5 Applications Of The Sylow Theorems

Math 4400, Spring 08, Sample problems Final Exam.

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

Rohit Garg Roll no Dr. Deepak Gumber

Zachary Scherr Math 370 HW 7 Solutions

Solutions to Assignment 4

NOTES ON FINITE FIELDS

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Theorems and Definitions in Group Theory

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

First online - August 26, Draft version - August 26, 2016

x 2 = xn xn = x 2 N = N = 0

1. (7 points)state and PROVE Cayley s Theorem.

Abstract Algebra II Groups ( )

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.

Isomorphisms between pattern classes

Normal Subgroups and Factor Groups

Algebra. Travis Dirle. December 4, 2016

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Independent generating sets and geometries for symmetric groups

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

Section 15 Factor-group computation and simple groups

HOMEWORK 3 LOUIS-PHILIPPE THIBAULT

Transcription:

1. FREE GROUPS AND PRESENTATIONS Let X be a subset of a group G. The subgroup generated by X, denoted X, is the intersection of all subgroups of G containing X as a subset. If g G, then g X g can be written as x e 1 n where x i X, e i = ±1, n 0. (When n = 0, this means g = 1.) [Set of all such products is a subgp of G, and any subgp of G containing X contains all such products.] Definition. X generates G if G = X. If f : G H is a homom. and G = X, then f (x e 1 n ) = f (x 1 ) e 1... f (x n ) e n so f is determined by its restriction to X. If G = X and f : X H, is a map to a group H, f does not necessarily extend to a homom. f : G H. Example. G = x cyclic of order 3, H = y cyclic of order 2 f : X H, f (x) = y (X = {x}). If extension f exists, then x 3 =1, but f (x 3 ) = f (x) 3 = y 3 = y 1 contradiction. In general, for an extension to exist, need: x e 1 n = 1 (x i X, e i = ±1) f (x 1 ) e 1... f (x n ) e n = 1. Then can define f (x e 1 n ) = f (x 1 ) e 1... f (x n ) e n, and this is a homom. Free groups. Definition. Let X be a subset of a group F. Then F is a free group with basis X if, for any map f : X H, where H is a group, there is a unique extension of f to a homom. f : F H. Note. Follows that X generates F. For let F 1 = X. Inclusion map X F 1 has an extension to a homom. f 1 : F F 1. Let f 2 : F 1 F be the inclusion map. Then f 2 f 1 and id F both extend the inclusion map X F, so f 2 f 1 = id F, hence f 2 is onto, i.e. F = F 1. Proposition 1.1. Let F 1, F 2 be free groups with bases X 1, X 2. Then F 1 is isomorphic to F 2 X 1 = X 2. ( X i = cardinality of X i.) Proof. Let f : X 1 X 2 is a bijective map. Viewed as a mapping X 1 F 2, there is an extension to a homom. f : F 1 F 2. Similarly, putting g = f 1, g has an extension to a homom. g : F 2 F 1. Both g f and id F1 : F 1 F 1 1

2 extend inclusion map X 1 F 1, so g f = id F1. Similarly, f g = id F2, hence f is an isomorphism. Let F be free with basis X, F 2 =subgp. gend. by { u 2 u F }. Let V be a vector space over Z/2Z with basis X. Inclusion mapping X V extends to a homomorphism F V of groups; kernel contains F 2, so there is an induced homomorphism F/F 2 V, which is a linear map of vector spaces. Follows that the projection homom. F F/F 2 is injective on X and the image of X is a Z/2Z basis for F/F 2. Hence X = dim Z/2Z (F/F 2 ). Now an isomorphism from F 1 to F 2 induces an isomorphism F 1 /F1 2 F 2 /F2 2 (of vector spaces), so X 1 = X 2. Definition. If F is free with basis X, then X is the rank of F. Examples. (1) Trivial gp is free of rank 0 (basis the empty set). (2) infinite cyclic gp is free of rank 1 (basis any of the two generators). Existence. Let X be a set. Let X 1 be a set in 1-1 correspondence with X via a map x x 1, and with X X 1 = /0. Put X ±1 = X X 1 and define (x 1 ) 1 = x, for x X, to obtain an involution X ±1 X ±1 without fixed points. A word in X ±1 is a finite sequence w = (a 1,...,a n ), where a i X ±1 for 1 i n, and n 0. (When n = 0, w = 1, the empty word.) Length of w, denoted w, is n ( 1 = 0). Let W be the set of words. If w = (b 1,...,b m ) is also in W, define w.w = (a 1,...,a n,b 1,...,b m ) (1.w = w.1 = w), giving assoc. binary operation on W, with identity elt. 1. Define w 1 = (a 1 n,...,a 1 1 ) (1 1 = 1). Then (u.v) 1 = v 1.u 1 u, v W. For u, v W, define u v to mean v is obtained from u by inserting or deleting a part aa 1, where a X ±1. (eg xyzz 1 x xyx xz 1 zyx.) For u, v W, u v means there is a sequence u = u 1,u 2,...,u k = v, where u i u i+1 (1 i k 1). Equivalence relation on W. if u v and w W, then u.w v.w, hence if u v then u.w v.w. Similarly, u v implies w.u w.v. Hence, if u u 1 and v v 1, then u.v u.v 1 and u.v 1 u 1.v 1, so u.v u 1.v 1. If u v then u 1 v 1 and u.u 1 1 u 1.u. Let [u] denote the equivalence class of u W and let F be the set of equiv classes.

3 Follows: F is a group, by defining [u][v] = [u.v] with identity elt. [1], and [u] 1 = [u 1 ]. Definition. Word w W is reduced if it contains no part aa 1 with a x ±1. 1.2 (Normal Form Theorem). Every equivalence class contains a unique reduced word. Proof. At least one-take a word of minimal length in the equiv. class. Suppose [u] = [v], where u, v are reduced, so there is a sequence u = u 1,...,u k = v with u i u i+1. To prove u = v, suffices to show: if k 2, the sequence can be shortened. Note k 2 as u, v are reduced, so assume k > 2. Let u i be a word of maximal length in the sequence. Then 1 < i < k since u, v are reduced. Further, u i is obtained from u i 1 by inserting yy 1 for some y X ±1, and u i+1 is obtained from u i by deleting zz 1 for some z X ±1. If the parts yy 1 and zz 1 of u i coincide or overlap by a single letter, then u i 1 = u i+1, and u i, u i+1 can be omitted from the sequence. Otherwise, can replace u i by u i, where u i is obtained from u i by deleting zz 1, and u i+1 is obtained from u i by inserting yy 1. This reduces k u i, so after finitely many such replacements we shall be able to shorten the derivation. Consequently, map X F, x [x] is injective, as (x) is a reduced word. Can identify x with [x], for x X. Theorem 1.3. The gp F is free with basis X. Proof. let f : X H be a map, H a gp. Extend f to f : W H by: f (x e 1 1,...,xe n n ) = f (x 1 ) e 1... f (x n ) e n (x i X, e i = ±1) and f (1) = 1. If u v then f (u) = f (v), so if u v then f (u) = f (v). So can define f : F H by f ([u]) = f (u). If u, v W then f (u.v) = f (u) f (v), hence f is a homom. extending f. Finally, X generates F, so extension of f is unique. Presentations. Let X be a set, W the set of words in X ±1, G a gp, α : X G a map. Extend α to ᾱ : W G by ᾱ(x e 1 1,...,xe n n ) = α(x 1 ) e 1...α(x n ) e n. Definition. R a subset of W. The gp G has presentation X R (via α) if (1) ᾱ(w) = 1 for all w R; i=1

4 (2) given a gp H and map f : X H, s.t. f (w) = 1 for all w R, a unique homom. ϕ : G H such that ϕα = f. X α f G H Elts of R are called relators of the presn. If w R, often write w = 1 instead of w. More generally, if w = w 1.w 1 2, write w 1 = w 2 instead of w. Call this a relation. Map α often suppressed, but can t assume it s injective (eg R might contain x.y 1, where x, y X, y x). Remarks. (1) Requirement that ϕ is unique α(x) generates G. (2) If G, H both have presn X R via suitable maps, then G = H, and if G = H, any presn for G is one for H. (3) For any X and R W, a gp with presn X R. Let F be free with basis X; then R represents a subset of F. Let N be the normal subgp of F gend by R (i.e. subgp gend by all conjugates of elts of R), let G = F/N, α : X G restriction of projection F F/N to X. Then X R is a presn of G via α. (4) Any gp has a presn. Let X be a set of generators for G, Let F be free with basis X, f : F G extn of inclusion map X G to F. Let N = ker( f ), viewed as a set of reduced words. Then X N is a presn of G via inclusion map X G. Examples. (1) If G has presn x x n, then G is cyclic of order n. Clearly cyclic of order n, and if a is cyclic of order n, x a extends to a homom. G a, onto so G n. (2) Let n 2; let a be a rotation of the plane R 2 = C anticlockwise through 2π/n (z ze 2πi/n ). Let b be reflection in the real axis (z z), so a has order n, b has order 2, and bab 1 = a 1 Let D n = a,b (subgp gend by a, b in the group of isometries of R 2 ). Let A = a, B = b ; then A D n, so D n = AB, and A B = {1}. Hence D n = A B = 2n. [D n, sometimes written D 2n, is the dihedral { group of order 2n. It is the set of all isometries of R 2 which map the set e 2πik/n} of complex nth roots of 1 onto itself, equivalently the polygon with these points as vertices if n 3.] ϕ

Claim: x,y x n,y 2,yxy 1 = x 1 is a presentation of D n, via α : x a, y b. For let G be the group with this presentation. α extends to a homom. G D onto n, so enough to show G 2n. Let H be the subgp of G gend by x; since x n = 1 in G, H n. Consider cosets H, Hy. Hx = H, Hyx = Hx 1 y = Hy Hy = Hy, (Hy)y = Hy 2 = H G is gend by {x,y}, so any elt of G permutes {H,Hy} by right mult. This action on cosets of H is transitive, so {H,Hy} is a complete list of the cosets. Hence (G : H) 2, so G = H (G : H) 2n. (3) X /0 is a presn of the free gp on X. (4) G any gp, X = { x g g G } { a set in 1-1 corr. with G via g x g. Let R = x g.x h.xgh }. 1 g, h G Let H have presn X R. homom. H G onto induced by x g g (g G), and this is an isom. [Hint: in H, x e 1 g 1...x e n g n = x g1 e 1...gn en.] Hence X R is a presentation of G, called the standard presentation of G, denoted G rel(g). 5 Tietze transformations. Let X R be a presn of G via α. Let F be free on X, N the normal subgp of F gend by R. Words in X ±1 representing elts of N are called consequences of R. w is a consequence of R ᾱ(w) = 1. Definition. A Tietze transformation of X R is one of the following. (T1) replace X R by X Y R { y = w y y Y }, where Y is a set with X Y = /0 and for each y Y, w y is a word in X ±1. (T2) The inverse of T1. (T3) Replace X R by X R S, where S is a set of words in X ±1 which are consequences of R. (T4) The inverse of T3. Theorem 1.4. Two presentations X R and Y S are presentations of the same group if and only if one can be obtained from the other by a finite succession of Tietze transformations. Proof. Omitted.

6 Example. The presentation x,y yxy 1 x, x n,y 2 of D n can be transformed as follows. T1 = x,y,u yxy 1 x, x n, y 2, u = yx T3 = x,y,u yxy 1 x, x n, y 2, u = yx, u 2 = 1 T4 = x,y,u x n, y 2, u = yx, u 2 = 1 T3& T4 = x,y,u x n, y 2, u 2, x = y 1 u T3& T4 = x,y,u (y 1 u) n, y 2, u 2, x = y 1 u T2 = y,u (y 1 u) n, y 2, u 2 T3& T4 = y,u y 2, u 2, (yu) n = a,b a 2, b 2, (ab) n