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

Similar documents
0 Sets and Induction. Sets


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

MA441: Algebraic Structures I. Lecture 18

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

17 More Groups, Lagrange s Theorem and Direct Products

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

INTRODUCTION TO THE GROUP THEORY

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

S11MTH 3175 Group Theory (Prof.Todorov) Quiz 6 (PracticeSolutions) Name: 1. Let G and H be two groups and G H the external direct product of G and H.

SF2729 GROUPS AND RINGS LECTURE NOTES

Groups and Symmetries

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

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

Algebraic structures I

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

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

Cosets, factor groups, direct products, homomorphisms, isomorphisms

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

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

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.

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

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

Lecture 7 Cyclic groups and subgroups

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Written Homework # 1 Solution

MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra

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

ON THE RELATIONSHIP BETWEEN SETS AND GROUPS

Solutions of Assignment 10 Basic Algebra I

Theorems and Definitions in Group Theory

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

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

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

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

MATH 3005 ABSTRACT ALGEBRA I FINAL SOLUTION

Chapter 1. Sets and Mappings

Quiz 2 Practice Problems

Congruences and Residue Class Rings

Course 311: Abstract Algebra Academic year

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups

BASIC GROUP THEORY : G G G,

Theory Combination. Clark Barrett. New York University. CS357, Stanford University, Nov 2, p. 1/24

120A LECTURE OUTLINES

Group Theory

The Symmetric Groups

Rings and Fields Theorems

REMARKS 7.6: Let G be a finite group of order n. Then Lagrange's theorem shows that the order of every subgroup of G divides n; equivalently, if k is

Normal Subgroups and Factor Groups

Section 4.4 Functions. CS 130 Discrete Structures

Mathematics for Cryptography

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

2MA105 Algebraic Structures I

B Sc MATHEMATICS ABSTRACT ALGEBRA

Foundations Revision Notes

Homework #5 Solutions

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.

MATH 28A MIDTERM 2 INSTRUCTOR: HAROLD SULTAN

ISOMORPHISMS KEITH CONRAD

Math 4400, Spring 08, Sample problems Final Exam.

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

Quasi-reducible Polynomials

Discrete Mathematics. III- CS/IS and I -MCA LECTURE NOTES.

REU 2007 Discrete Math Lecture 2

5 Group theory. 5.1 Binary operations

2 ALGEBRA II. Contents

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

12 Algebraic Structure and Coding Theory

Chapter 9: Group actions

Math 210A: Algebra, Homework 5

Fall /29/18 Time Limit: 75 Minutes

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES

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

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

Part IA Groups. Based on lectures by J. Goedecke Notes taken by Dexter Chua. Michaelmas 2014

Lecture Note of Week 2

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

LESSON RELATIONS & FUNCTION THEORY

Discrete Mathematics. Benny George K. September 22, 2011

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

Rohit Garg Roll no Dr. Deepak Gumber

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.

12 Algebraic Structure and Coding Theory

MA441: Algebraic Structures I. Lecture 14

ELG 5372 Error Control Coding. Lecture 12: Ideals in Rings and Algebraic Description of Cyclic Codes

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

GALOIS THEORY : LECTURE 4 LEO GOLDMAKHER

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

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

MATH 420 FINAL EXAM J. Beachy, 5/7/97

Introduction to Abstract Algebra (Math 113)

Written Homework # 4 Solution

Name: Solutions Final Exam

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

Transcription:

Victor Adamchik Danny Sleator Great Theoretical Ideas In Computer Science Algebraic Structures: Group Theory II CS 15-251 Spring 2010 Lecture 17 Mar. 17, 2010 Carnegie Mellon University Group A group G is a pair (S, ), where S is a set and is a binary operation on S such that: 1. is associative 2. (Identity) There exists an element e S such that: e a = a e = a, for all a S 3. (Inverses) or every a S there is b S such that: a b = b a = e Review order of a group G = size of the group G Orders Theorem: Let x be an element of G. The order of x divides the order of G order of an element g = (smallest n>0 s.t. g n = e) g is a generator if order(g) = order(g) Orders: example (Z 10 : +) {0,1,2,3,4,5,6,7,8,9} smallest n>0 such that g n = e 1 10 5 10 5 2 Subgroups Let G be a group. A non-empty set H G is a subgroup if it forms a group under the same operation. Does {0,2,4} form a subgroup of Z 6 under +? Does {2 n, n Z} form a subgroup of Q\{0} under *? 1

Subgroups Let G be a group. A non-empty set H G is a subgroup if it forms a group under the same operation. List all subgroups of Z 12 under +. Z 12 {0} {0,6} {0,4,8} {0,3,6,9} {0,2,4,6,8,10} We are going to generalize the idea of congruent classes mod n in (Z,+). a = b (mod n) iff a - b <n> Theorem. Let H is a subgroup of G. Define a relation: a b iff a b -1 H. Then is an equivalence relation. Theorem. Let H is a subgroup of G. Define a relation: a b iff a b -1 H. Then is an equivalence relation. The equivalent classes for this relation is called the right cosets of H in G. Proof. Reflexive: a a iff a a -1 =e H Symmetric: b a -1 =(a b -1 ) -1 H Transitive: a c -1 =(a b -1 )(b c -1 ) H If H is a subgroup of a group G then for any element g of the group the set of products of the form h g where h H is a right coset of H denoted by the symbol Hg. Write down the right coset of the subgroup {0,3,6,9} of Z 12 under +. Right coset = {h g h H, g G} {0,3,6,9} + {0,1,2,3,4,5,6,7,8,9,10,11} = [3]+0 = {0,3,6,9} [3]+1 = {1,4,7,10} [3]+2 = {2,5,8,11} Theorem. If H is a finite subgroup of G and x G, then H = Hx Proof. We prove this by finding a bijection between H and Hx. It is onto, because Hx consists of the elements of the form hx, where h H. Assume that there are h 1, h 2 H.. Then h 1 x= h 2 x. It follows, h 1 =h 2. 2

: partitioning Theorem. If H is a finite subgroup of G, then G = x G Hx. Proof. are equivalent classes. The two cosets are either equal or disjoint. Since G is finite, there are finitely many such cosets. Every element x of G belongs to the coset determined by it. Lagrange s Theorem Theorem: If G is a finite group, and H is a subgroup then the order of H divides the order of G. In symbols, H divides G. x = x e Hx, since e H. Lagrange s Theorem Theorem: H divides G. Proof: G is partitioning into cosets. Pick a representative from each coset G = j=1 k Hx j Each coset contains H elements. It follows G = k H. Thus H is a divisor of G. Lagrange s Theorem: what is for? The theorem simplifies the problem of finding all subgroups of a finite group. Consider group of symmetry of square Y SQ = {,,,,,,, } Except { } and Y sq, all other subgroups must have order 2 or 4. Order 2 Order 4 R0 R0 3

Lagrange s Theorem Suppose that H and K are subgroups of G and assume that H = 9, K = 6, G < 50. What are the possible values of G? Isomorphism Mapping between objects, which shows that they are structurally identical. Any property which is preserved by an isomorphism and which is true for one of the objects, is also true of the other. LCM(9,6) = 18, so G =18 or 36 Isomorphism Example. {1,2,3, }, or {I, II, III, }, or {один, два, три, } Mathematically we want to think about these sets as being the same. Definition. Let G be a group with operation and H with. An isomorphism of G to H is a bijection f: G H that satisfies f(x y) = f(x) f(y) If we replace bijection by injection, such mapping is called a homomorphism. Example. G = (Z, +), H = (even, +) Example. G = (R +, ), H = (R, +) Isomorphism is provided by f(n) = 2 n f(n + m) = 2 (n+m) = (2n)+(2m)=f(n)+f(m) Isomorphism is provided by f(x) = log(x) f(x y) = log(x y) = log(x) + log(y) = f(x) + f(y) 4

Theorem. Let G be a group with operation, H with and they are isomorphic f(x y) = f(x) f(y). Then f(e G ) = e H Proof. f(e G )= f(e G e G ) = f(e G ) f(e G ). On the other hand, f(e G )=f(e G ) e H f(e G ) e H = f(e G ) f(e G ) f(e G ) = e H Theorem. Let G be a group with operation, H with and they are isomorphic f(x y) = f(x) f(y). Then f(x -1 ) = f(x) -1, x G Proof. f(x) f(x -1 ) = f(x x -1 ) =f(e G ) = e H. In order to prove that two groups and are not isomorphic, one needs to demonstrate that there is no isomorphism from onto. Usually, in practice, this is accomplished by finding some property that holds in one group, but not in the other. + 0 1 2 3 0 0 1 2 3 Verify that (Z 4, +) is isomorphic to (Z* 5, *) * 1 2 3 4 1 1 2 3 4 Examples. (Z 4, +) and (Z 6, +) They have different orders. 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2 2 2 4 1 3 3 3 1 4 2 4 4 3 2 1 Verify that (Z 4, +) is isomorphic to (Z* 5, *) Z 4 is generated by 1 as in 0, 1, 2, 3, (then back to 0) Z* 5 is generate by 2 as in 1, 2, 4, 3, (then back to 1) 0 1 1 2 2 4 3 3 f(x)= 2 x mod 5 Cyclic Groups Definition. Let G be a group and x G. Then <x>={x k k Z} is a cyclic subgroup generated by x. Examples. (Z n,+) = <1> (Z* 5,*) = <2> or <3> 5

Cyclic Groups Theorem. A group of prime order is cyclic, and furthermore any non-identity element is a generator. Proof. Let G =p (prime) and x G. By Lagrange s theorem, order(x) divides G. Since p is prime, there are two divisors 1 and p. Clearly it is not 1, because otherwise x=e. Cyclic Groups Theorem. Any finite cyclic group of order n is isomorphic to (Z n,+). Any infinite cyclic group is isomorphic to (Z,+) Proof. Let G={x 0,x 1,x 2,,x n-1 }. Mapping is given by f(x k ) = k. f(x k x m )=f(x k+m )=k+m=f(x k )+f(x m ) (homomorphis One-to-one: f(x k )=0 k=0 and a k =e. Permutation Groups If the set is given by A = {1, 2, 3,..., n} then let S n denote the set of all permutations on A. It forms a group under function composition. An element of S n is represented by 1 234 243 1 We call S n the symmetric group of degree n and call any subgroup of S n a permutation group. Permutation Groups Cayley s Theorem. Every group is isomorphic to a permutation group. Sketch of proof. Let G be a group with operation. or each x G, we define x :G G given by x (g) = x g for all g G. This function x is a permutation on G. Next we create a permutation group out of x. Now we define f: G S n by f(x)= x Cayley s Theorem. Every group is isomorphic to a permutation group. We define f: G S n by f(x)= x One-to-one. Suppose f(a)=f(b). It follows a = b and in particular a (e)= b (e). Thus, a e = b e and then a = b. Lagrange s Theorem Cyclic Group Permutation Group Cayley s Theorem Onto. It follows from definition of x Homomorphism. f(a b) = ab, f(a) f(b)= a a To prove ab = a a, we write ab (x)=(ab)x=a (bx)= a (bx)= a ( b (x))=( a b )(x) Study Bee 6