Groups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8

Similar documents
Ideals, congruence modulo ideal, factor rings

Section 3 Isomorphic Binary Structures

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Algebraic Structures Exam File Fall 2013 Exam #1

Section 18 Rings and fields

Section 4.4 Functions. CS 130 Discrete Structures

Section 19 Integral domains

SUPPLEMENTARY NOTES: CHAPTER 1

A Little Beyond: Linear Algebra

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

ECEN 5682 Theory and Practice of Error Control Codes

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

Basic Concepts of Group Theory

* 8 Groups, with Appendix containing Rings and Fields.

INTRODUCTION TO THE GROUP THEORY

5 Group theory. 5.1 Binary operations

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Rings and Fields Theorems

Examples of Groups

Introduction to abstract algebra: definitions, examples, and exercises

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.

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

MA441: Algebraic Structures I. Lecture 14

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.

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

Review of Linear Algebra

Lecture 2: Groups. Rajat Mittal. IIT Kanpur

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

1. Introduction to commutative rings and fields

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

Part IV. Rings and Fields

Lecture 3. Theorem 1: D 6

Lecture 4.1: Homomorphisms and isomorphisms

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

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

1 Fields and vector spaces

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

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

INTRODUCTION TO SEMIGROUPS AND MONOIDS

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Moreover this binary operation satisfies the following properties

and this makes M into an R-module by (1.2). 2

Modern Computer Algebra

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

ECEN 5022 Cryptography

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

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

Rings, Integral Domains, and Fields

0 Sets and Induction. Sets

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Algebraic structures I

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston

Outline. We will now investigate the structure of this important set.

3.1 Definition of a Group

Math 370 Spring 2016 Sample Midterm with Solutions

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

BASIC GROUP THEORY : G G G,

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

MATH 3300 Test 1. Name: Student Id:

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Principles of Real Analysis I Fall I. The Real Number System

SCHOOL OF DISTANCE EDUCATION

Discrete Mathematics 2007: Lecture 5 Infinite sets

NOTES ON FINITE FIELDS

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

Group Isomorphisms - Some Intuition

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

Chapter 1. Wedderburn-Artin Theory

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

MATH 326: RINGS AND MODULES STEFAN GILLE

Review 1 Math 321: Linear Algebra Spring 2010

Section 0. Sets and Relations

Algebra I. Randall R. Holmes Auburn University

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

Written Homework # 4 Solution

Discrete Mathematics. Benny George K. September 22, 2011

TEST CODE: PMB SYLLABUS

MA441: Algebraic Structures I. Lecture 15

Homework 5 M 373K Mark Lindberg and Travis Schedler

Chapter 1 : The language of mathematics.

HOMEWORK Graduate Abstract Algebra I May 2, 2004

Introduction to finite fields

Joseph Muscat Universal Algebras. 1 March 2013

Homework 10 M 373K by Mark Lindberg (mal4549)

Some Basic Notations Of Set Theory

1. Introduction to commutative rings and fields

0.2 Vector spaces. J.A.Beachy 1

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z).

MATRIX LIE GROUPS AND LIE GROUPS

Math 3140 Fall 2012 Assignment #3

Transcription:

Groups Sergei Silvestrov Spring term 2011, Lecture 8 Contents of the lecture Binary operations and binary structures. Groups - a special important type of binary structures. Isomorphisms of binary structures. Typeset by FoilTEX

Binary operations and binary structures (repetition with some terminological generalities) The essence of a binary (=two, 2) operation" is that two things are combined to form a third thing of the same kind. Definition 1. A binary operation on a set G is a function : G G G. A binary algebraic structure is a set S together with a binary operation on S. Suppose that is a binary operation on a set G and H is a subset of G. If the restriction of to H is a binary operation on H, i.e., for all x, y H x y H, then H is said to be closed under. The binary operation on H given by restricting to H is the induced operation of on H. Binary substructure is a subset (H, ) with induced operation. Typeset by FoilTEX 1

Examples of binary operations, binary structures, induced operations, binary substructures Example 1. Addition is a binary operation on the set Z + whose value at a pair (x,y) is x + y. Example 2. Subtraction is a binary operation on the set Z whose value at a pair (x,y) is x y. Example 3. Multiplication is a binary operation on the set Z + whose value at a pair (x,y) is xy. Example 4. let M = F (R) be the set of all real valued functions of a real variable, that is, all functions f : R R. Then composition : M M M is an operation on M whose value at a pair ( f,g) M M is f g. Example 5. The subset of continuous functions M = C(R) is closed under the operation of composition. (OBS! This is one of the easy theorems from basic 1st year calculus/analysis course) So, (C(R), ) is substructure of (F (R), ) Example 6. OBS! generalization of previous example Let M = F (X ) be the set of all functions (mappings, transformations) f : X X Composition : M M M is an operation on M whose value at a pair ( f,g) M M is the composition f g : X X defined by f g(x) = f (g(x)) Example 7. OBS! Linear algebra restriction of previous example If X is a linear space, then the subset L (X ) of all linear operators (=linear mappings/linear transformations) on X form a subset of M = F (X ) closed under composition. Hence (L (X ), ) is a binary substructure of (F (X ), ). Typeset by FoilTEX 2

Commutative, non-commutative and associative operations The examples of composition and subtraction operations show why ordered pairs x y and y x may be distinct. Definition 2. A binary operation on a set G is commutative if for all x, y G, x y = y x Example 8. Addition and multiplication on Z + are commutative. Example 9. Subtraction on Z and composition on the set of all functions (=transformations) on a set X with more then one element are non-commutative operations. Example 10. Composition of linear operators on the set of all linear operators on any linear (vector) space of the dimension more then one dimx > 1 over any field with more then one element is a non-commutative operation. The matrix multiplication on the space of matrices of size n n with n 2 over any field with more then one element is a non-commutative operation Example 11. The matrix multiplication of diagonal matrices (composition of linear operators which correspond to diagonal matrices in some and the same basis) is a commutative operation. Definition 3. A binary operation on a set G is associative if for all x, y, z G we have x (y z) = (x y) z. Example 12. Addition and multiplication on Z + are associative. Subtraction on Z is not associative. Composition of functions on M is associative. Typeset by FoilTEX 3

The definition of a group Definition 4. (Sec 7.1. p. 163) A binary structure (G, ) is called a group, if the following axioms are satisfied. G 1 : The binary operation is associative, i.e., for all a, b, c G, we have (a b) c = a (b c). G 2 : There exist an unity (identity) element e G such that for all a G, e a = a e = a. G 3 : For each a G, there exist an inverse element a G such that a a = a a = e. Usual notation: Inverse a = a 1. Typeset by FoilTEX 4

Examples of groups Example 13. (Z,+), (Q,+), (R,+), and (C,+) are groups with e = 0 and a = a. Example 14. (U, ) is a group with e = 1 and a = a 1. Because (U, ) and (R 2π,+ 2π ) are isomorphic binary structures, (R 2π,+ 2π ) is also a group with e = 0 and a = 2π a. Example 15. (U n, ) is a group with e = 1 and a = a 1. Because (U n, ) and (Z n,+ n ) are isomorphic binary structures, (Z n,+ n ) is also a group with e = 0 and a = n a. Example 16. Let M m n (Z) be the set of all m n matrix with integer elements. (M m n (Z),+) is a group. The obviously defined sets M m n (Z n ), M m n (Q), M m n (R), and M m n (C) are groups under matrix addition. Examples of binary structures that are not groups Example 17. (Z +,+) is not a group, because there is no unity (identity) element. This is the reason for introducing 0. Example 18. (Z + {0},+) is not a group, because the element 1 has no inverse. This is the reason to introduce negative integers. (Z, +) is a group. Example 19. (Z {0}, ) is not a group, because the element 2 has no inverse. This is the reason to introduce rational numbers. Check that (Q {0}, ) is a group. Typeset by FoilTEX 5

Abelian and non-abelian groups Definition 5. A group (G, ) is abelian (or commutative) if is commutative and non-abelian (or non-commutative) if is non-commutative (there exist x,y G such that x y = y x). Until now, we met only abelian groups. Example 20. Let GL(n,R) be a subset of M n n (R) consisting of invertible matrices. GL(n,R) together with matrix multiplication is a non-abelian group. The obviously defined sets GL(n,Q) and GL(n, C) are non-abelian groups under matrix multiplication. Typeset by FoilTEX 6

Finite groups and group tables Let (G, ) be a group and let G be a finite set. The structure of the group G can be completely described by the group table. For example, is the group table of the group (U 2, ). The table 1 1 1 1 1 1 1 1 + 2 0 1 0 0 1 1 1 0 is the group table of the group (Z 2,+ 2 ). It is very easy to see now that the groups are indeed isomorphic. Typeset by FoilTEX 7

More "examples" of groups Theorem 1. ("Theorem" 7.1, Sec 7.1. p. 168) Any ring with its addition as operation is abelian group. Obs! There is nothing to prove here. It is even funny to call this "theorem" since it is actually a part of a definition of a ring, is nt it? (Compare pages 42 and 163 to get the point! Theorem 2. (Thm 7.2, Sec 7.1. p. 169) In any associative ring with unity (identity element) (unital ring), the set of all units (invertible elements) is a group under multiplication in the ring. Proof. Easy exercise! The same as for invertible matrices, but now for invertible elements in any unital ring (Let us do it quickly (2 minutes) together just for fun. Is 1 in any ring invertible? Is a b invertible for invertible a and b? Is the induced product (in a subset of associative ring closed under the product) an associative operation? Are the answers enough to conclude that invertible elements form a group according to the definition of the group?). Theorem 3. (Cor 7.3, Sec 7.1. p. 170) The set of non-zero elements of a field is an abelian group under multiplication. Typeset by FoilTEX 8

VERY IMPORTANT EXAMPLE! Groups of bijective mappings and a in particular Permutation groups S n Theorem 4. For any nonempty set T, the set of all bijective (= one-to-one = invertible) mappings from T to T form a group under operation of composition. Definition 6. (Compare with p. 161 and example on p. 164) Invertible mappings of the set with n elements are called permutations and form a group under composition, called permutation group and denoted S n. Example 21. (Compare with examples on p. 161-163) Let T = {1,2,3}. Then permutation (that is a bijective map f : T T ) can be represented as Composition Inverse of permutation Check NOW in 3 minutes that ( ) 1 2 3 f (1) f (2) f (3) ( ) ( ) 1 2 3 1 2 3 f =,g = 3 1 2 3 2 1 ( ) ( ) ( ) 1 2 3 1 2 3 1 2 3 f g = = 3 1 2 3 2 1 2 1 3 ( ) ( ) ( ) 1 2 3 1 2 3 1 2 3 g f = = 3 2 1 3 1 2 1 3 2 f 1 = f f 1 = e = ( f g)(1) = f (g(1)) = f (3) = 2 ( ) 1 2 3 f =, 3 1 2 ) = ( 3 1 2 1 2 3 For more examples look in Chapter 7.1! ( 1 2 3 2 3 1 ( ) 1 2 3 (identity permutation) 1 2 3 ) Typeset by FoilTEX 9

Elementary theorems about groups Theorem 5. (Thm 7.5, p. 174) In any group: 1. There exist only one unity element e. 2. If x a = x b, then a = b (left cancellation law). If a x = b x, then a = b (right cancellation law). 3. For any a G, there exist only one inverse a 1. Proof. 1) If e 1 and e 2 are two unity elements, then e 1 = e 1 e 2 = e 2. 2) x a = x b Theorem s condition x (x a) = x (x b) Left multiplication by x (x x) a = (x x) b G 1,associativity e a = e b a = b G 3,inverse G 2, unity (identity). 3) aa 1 1 = aa 1 2 = e a 1 1 = a 1 2 by the left cancelation law proved in part 2. Theorem 6. (Exercise 15 (a), p. 179) Let (G, ) be a group and let a, b G. The linear equations a x = b and y a = b have unique solutions x and y in G. Proof. For a x = b the solution must be x = a 1 b as this is obtained by multiplying both sides of the equation by a 1 from the left. For y a = b the solution must be y = ba 1 as this is obtained by multiplying both sides of the equation by a 1 from the left. Then, the uniqueness of the solution for both equations follows from uniqueness a 1 of inverse element for any element a G. Typeset by FoilTEX 10

Theorem 7. (Cor 7.6, Sec 7.2, p. 175) (ab) 1 = b 1 a 1 and (a 1 ) 1 = a Proof. (ab)(b 1 a 1 ) = a(bb 1 )a 1 = (ae)a 1 = aa 1 = e, and (a 1 ) 1 = a a 1 a = e. Typeset by FoilTEX 11

Definition 7. (Sec 7.2, p. 176) Order a of an element a G is the smallest positive integer n such that a n = a a = e or if such positive integer does not exists. Theorem 8. (Thm 7.8, Sec 7.2, p. 177) 1. If a G is of infinite order, then 2. If a = n, then a k = e n k 3. If a = n and n = td with d > 0, then a t = d i = j a j = a i Proof. 1) e = a i (a j ) 1 = a i a j = a i j which is in contradiction with infinite order of a. 2) : n k k = tn a k = (a n ) k = e k = e. : n k since n = a is the smallest positive integer such that a n = e. k = qn + r, 0 r < n e = a k = a qn+r = (a n ) q a r = e q a r = a r But n = a is the smallest positive integer such that a n = e. Thus r = 0 and hence n k. 3) (a k ) d = a kd = a n = e. d is the smallest since e = (a t ) k = a tk n = (td) (tk) d k d k Theorem 9. (Cor 7.9, Sec 7.2, p. 178) If every element in a group G is of a finite order, then the order a of every element a G divides c = max{ a : a G}. Typeset by FoilTEX 12

Isomorphisms of binary structures Definition 8. Let (S, ) and (S, ) be the binary algebraic structures. An isomorphism of (S, ) with (S, ) is a one-to-one correspondence ϕ : S S such that for all x, y S the following homomorphism property holds: ϕ(x y) = ϕ(x) ϕ(y). If such a map ϕ exists, we say that (S, ) and (S, ) (or just S and S ) are isomorphic binary structures, and denote this by S S. Guidelines for proving the isomorphism of binary structures There exist only one way to prove that two binary structures S and S are isomorphic: propose a map ϕ and prove that your map satisfies Definition 8. So, you need to do four steps. ➀ Write a formula for ϕ. ➁ ➂ ➃ Prove that ϕ is one-to-one (injective). Prove that ϕ[s] = S (ϕ is surjective). Prove the homomorphism property. Example 22. Let n Z +, and let (S, ) = (Z n,+ n ) be the binary structure of integers modulo n with the binary operation of addition modulo n, and let (S, ) = (U n, ) be the binary structure of n-th roots of 1 in complex numbers U n = {e 2kπi/n k = 0,...,n 1 with the binary operation of usual multiplication of complex numbers. Define ϕ : Z n U n as ϕ(k) = e 2kπi/n. If ϕ(k) = ϕ(l), then e 2kπi/n = e 2lπi/n. Taking the natural logarithm, we have 2kπi/n = 2lπi/n, so k = l. If θ U n, then θ = 2kπ/n for k Z n, and ϕ(k) = e 2kπi/n U n. Thus ϕ is onto U n. For k, l Z n we have ϕ(k + n l) = e 2(k+ nl)πi/n = e 2kπi/n e 2lπi/n = ϕ(k) ϕ(l). Example 23. Let U be the unit circle in the complex plane. The map ϕ(θ) = e iθ maps R 2π onto U and establishes an isomorphism between binary structures (R 2π,+ 2π ) and (U, ). Typeset by FoilTEX 13

Example 24. Let X be ANY finite-dimensional linear/vector space dim(x ) = n < over complex or real numbers (or other field F) Then (L (X ),circ) is isomorphic to the well-known specific binary structure (M n (F), ) of n n matrices over F with the binary operation of usual matrix multiplication. How to choose isomorphism map ϕ : L (X ) M n (F)? Guess the answer in 1 minute! Hint: OBS! You already know it, do nt you? Typeset by FoilTEX 14

Guidelines for proving the non-isomorphism of binary structures There exist only one way to prove that two binary structures S and S are not isomorphic: find a property that must be shared by any isomorphic structures (structural property) but distinguishes S and S. Example 25. Because any isomorphism ϕ is a one-to-one correspondence, two isomorphic binary structures must have the same cardinality. Thus, the binary structures (R,+) and (Q,+) are not isomorphic. Example 26. We have Z = Q = ℵ 0. However, an equation 2 x = 1 has a solution x = 1/2 in Q, but no solutions in Z. Therefore the binary structures (Q, ) and (Z, ) are not isomorphic. Example 27. The binary structures, the set of all complex matrices of the size 2 2 with matrix product and the set of complex numbers with the product (OBS! the same as matrix product on 1 1 matrices), are non-isomorphic. Guess in 1 minute: Which important property that must be preserved by any isomorphism is different in these two algebraic structures? Typeset by FoilTEX 15