section 4 -- groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/algebra...

105
Definitions Elementary properties Finite groups and group tables Section 4 – Groups Instructor: Yifan Yang Fall 2006 Instructor: Yifan Yang Section 4 – Groups

Upload: others

Post on 01-Mar-2020

22 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Section 4 – Groups

Instructor: Yifan Yang

Fall 2006

Instructor: Yifan Yang Section 4 – Groups

Page 2: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 3: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 4: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Definition and examples

Definition (4.1)

A group 〈G, ∗〉 is a set G, closed under a binary operation ∗,such that

1 ∗ is associative. That is, (a ∗ b) ∗ c = a ∗ (b ∗ c) for alla, b, c ∈ G.

2 There is an identity element e ∈ G for ∗. That is, thereexists e ∈ G such that e ∗ x = x ∗ e = x for all x ∈ G.

3 Corresponding to each element a of G, there is an inversea′ of a in G such that a′ ∗ a = a ∗ a′ = e.

Instructor: Yifan Yang Section 4 – Groups

Page 5: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Definition and examples

Definition (4.1)

A group 〈G, ∗〉 is a set G, closed under a binary operation ∗,such that

1 ∗ is associative. That is, (a ∗ b) ∗ c = a ∗ (b ∗ c) for alla, b, c ∈ G.

2 There is an identity element e ∈ G for ∗. That is, thereexists e ∈ G such that e ∗ x = x ∗ e = x for all x ∈ G.

3 Corresponding to each element a of G, there is an inversea′ of a in G such that a′ ∗ a = a ∗ a′ = e.

Instructor: Yifan Yang Section 4 – Groups

Page 6: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Definition and examples

Definition (4.1)

A group 〈G, ∗〉 is a set G, closed under a binary operation ∗,such that

1 ∗ is associative. That is, (a ∗ b) ∗ c = a ∗ (b ∗ c) for alla, b, c ∈ G.

2 There is an identity element e ∈ G for ∗. That is, thereexists e ∈ G such that e ∗ x = x ∗ e = x for all x ∈ G.

3 Corresponding to each element a of G, there is an inversea′ of a in G such that a′ ∗ a = a ∗ a′ = e.

Instructor: Yifan Yang Section 4 – Groups

Page 7: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Definition and examples

Definition (4.1)

A group 〈G, ∗〉 is a set G, closed under a binary operation ∗,such that

1 ∗ is associative. That is, (a ∗ b) ∗ c = a ∗ (b ∗ c) for alla, b, c ∈ G.

2 There is an identity element e ∈ G for ∗. That is, thereexists e ∈ G such that e ∗ x = x ∗ e = x for all x ∈ G.

3 Corresponding to each element a of G, there is an inversea′ of a in G such that a′ ∗ a = a ∗ a′ = e.

Instructor: Yifan Yang Section 4 – Groups

Page 8: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 9: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 10: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 11: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 12: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 13: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 14: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 15: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

1 The binary structure 〈Z,+〉 is a group. The identity elementis 0, and the inverse a′ of a ∈ Z is −a.

2 The binary structure 〈Z, ·〉 is not a group because theinverse a′ does not exist when a 6= ±1.

3 The set Zn under addition +n is a group.4 The set Zn under multiplication ·n is not a group since the

inverse of 0̄ does not exist.5 The set Z+ under addition is not a group because there is

no identity element.6 The set Z+ ∪ {0} under addition is still not a group. There

is an identity element 0, but no inverse for elements a > 0.7 The set of all real-valued functions with domain R under

function addition is a group.8 The set Mm×n(R) of all m × n matrices under matrix

addition is a group.Instructor: Yifan Yang Section 4 – Groups

Page 16: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 17: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 18: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 19: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 20: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 21: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 22: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 23: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 24: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

Example

The set GL(n, R) of all invertible n × n matrices under matrixmultiplication is a group. (GL stands for general linear.)

1 Closedness: Recall that an n × n matrix A is invertible ifand only if det A 6= 0. Suppose that A and B are invertible.Then det(A), det(B) 6= 0, and det(AB) = det(A) det(B) 6= 0.Therefore, A, B ∈ GL(n, R) ⇒ AB ∈ GL(n, R).

2 Associativity: Property of matrix multiplication.3 Identity element: The matrix In satisfies AIn = InA = A for

all A ∈ GL(n, R).4 Inverse: Suppose that A ∈ GL(n, R). Then A−1 is also in

GL(n, R) since det(A−1) = 1/ det(A) 6= 0.

Instructor: Yifan Yang Section 4 – Groups

Page 25: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Remark

In some textbooks, the definition of a group is given as follows.

Definition

A binary structure 〈G, ∗〉 is a group if1 ∗ is associative.2 There exists a left identity element e in G such that

e ∗ x = x for all x ∈ G.3 For each a ∈ G, there exists a left inverse a′ in G such that

a′ ∗ a = e.

It can be shown that this definition is equivalent to the definitiongiven earlier.

Instructor: Yifan Yang Section 4 – Groups

Page 26: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Remark

In some textbooks, the definition of a group is given as follows.

Definition

A binary structure 〈G, ∗〉 is a group if1 ∗ is associative.2 There exists a left identity element e in G such that

e ∗ x = x for all x ∈ G.3 For each a ∈ G, there exists a left inverse a′ in G such that

a′ ∗ a = e.

It can be shown that this definition is equivalent to the definitiongiven earlier.

Instructor: Yifan Yang Section 4 – Groups

Page 27: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Remark

In some textbooks, the definition of a group is given as follows.

Definition

A binary structure 〈G, ∗〉 is a group if1 ∗ is associative.2 There exists a left identity element e in G such that

e ∗ x = x for all x ∈ G.3 For each a ∈ G, there exists a left inverse a′ in G such that

a′ ∗ a = e.

It can be shown that this definition is equivalent to the definitiongiven earlier.

Instructor: Yifan Yang Section 4 – Groups

Page 28: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Remark

In some textbooks, the definition of a group is given as follows.

Definition

A binary structure 〈G, ∗〉 is a group if1 ∗ is associative.2 There exists a left identity element e in G such that

e ∗ x = x for all x ∈ G.3 For each a ∈ G, there exists a left inverse a′ in G such that

a′ ∗ a = e.

It can be shown that this definition is equivalent to the definitiongiven earlier.

Instructor: Yifan Yang Section 4 – Groups

Page 29: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

In-class exercises

Determine whether the following binary structures are groups.1 The set Q+ under the usual multiplication.2 The set C∗ under the usual multiplication.3 The set Q+ with ∗ given by a ∗ b = ab/2.4 The set R+ with ∗ given by a ∗ b =

√ab.

Instructor: Yifan Yang Section 4 – Groups

Page 30: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 31: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Definition

A group G is abelian if its binary operation is commutative.

Remark

Commutative groups are called abelian in honor of theNorwegian mathematician Niels Henrik Abel (1802–1829), whostudied the problem when a polynomial equation is solvable byradical. The ideas introduced by him evolved into what wecalled group theory today.In 2002, the Norwegian government established the Abel prize,to be awarded annually to mathematicians. The prize comeswith a monetary award of roughly $1,000,000 USD.

Instructor: Yifan Yang Section 4 – Groups

Page 32: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Definition

A group G is abelian if its binary operation is commutative.

Remark

Commutative groups are called abelian in honor of theNorwegian mathematician Niels Henrik Abel (1802–1829), whostudied the problem when a polynomial equation is solvable byradical. The ideas introduced by him evolved into what wecalled group theory today.In 2002, the Norwegian government established the Abel prize,to be awarded annually to mathematicians. The prize comeswith a monetary award of roughly $1,000,000 USD.

Instructor: Yifan Yang Section 4 – Groups

Page 33: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Definition

A group G is abelian if its binary operation is commutative.

Remark

Commutative groups are called abelian in honor of theNorwegian mathematician Niels Henrik Abel (1802–1829), whostudied the problem when a polynomial equation is solvable byradical. The ideas introduced by him evolved into what wecalled group theory today.In 2002, the Norwegian government established the Abel prize,to be awarded annually to mathematicians. The prize comeswith a monetary award of roughly $1,000,000 USD.

Instructor: Yifan Yang Section 4 – Groups

Page 34: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

The following groups are all abelian.1 〈Z,+〉, 〈Q,+〉, 〈R,+〉, and 〈C,+〉.2 〈Q+, ·〉, 〈R∗, ·〉, and 〈C∗, ·〉.3 〈Zn,+n〉.4 The set of Mm×n(R) under addition.5 The set of all real-valued functions with domain R under

function addition.

The following groups are non-abelian.1 GL(n, R) under matrix multiplication.2 The set of all real-valued functions with domain R under

function composition.

Instructor: Yifan Yang Section 4 – Groups

Page 35: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

The following groups are all abelian.1 〈Z,+〉, 〈Q,+〉, 〈R,+〉, and 〈C,+〉.2 〈Q+, ·〉, 〈R∗, ·〉, and 〈C∗, ·〉.3 〈Zn,+n〉.4 The set of Mm×n(R) under addition.5 The set of all real-valued functions with domain R under

function addition.

The following groups are non-abelian.1 GL(n, R) under matrix multiplication.2 The set of all real-valued functions with domain R under

function composition.

Instructor: Yifan Yang Section 4 – Groups

Page 36: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

The following groups are all abelian.1 〈Z,+〉, 〈Q,+〉, 〈R,+〉, and 〈C,+〉.2 〈Q+, ·〉, 〈R∗, ·〉, and 〈C∗, ·〉.3 〈Zn,+n〉.4 The set of Mm×n(R) under addition.5 The set of all real-valued functions with domain R under

function addition.

The following groups are non-abelian.1 GL(n, R) under matrix multiplication.2 The set of all real-valued functions with domain R under

function composition.

Instructor: Yifan Yang Section 4 – Groups

Page 37: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

The following groups are all abelian.1 〈Z,+〉, 〈Q,+〉, 〈R,+〉, and 〈C,+〉.2 〈Q+, ·〉, 〈R∗, ·〉, and 〈C∗, ·〉.3 〈Zn,+n〉.4 The set of Mm×n(R) under addition.5 The set of all real-valued functions with domain R under

function addition.

The following groups are non-abelian.1 GL(n, R) under matrix multiplication.2 The set of all real-valued functions with domain R under

function composition.

Instructor: Yifan Yang Section 4 – Groups

Page 38: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

The following groups are all abelian.1 〈Z,+〉, 〈Q,+〉, 〈R,+〉, and 〈C,+〉.2 〈Q+, ·〉, 〈R∗, ·〉, and 〈C∗, ·〉.3 〈Zn,+n〉.4 The set of Mm×n(R) under addition.5 The set of all real-valued functions with domain R under

function addition.

The following groups are non-abelian.1 GL(n, R) under matrix multiplication.2 The set of all real-valued functions with domain R under

function composition.

Instructor: Yifan Yang Section 4 – Groups

Page 39: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

The following groups are all abelian.1 〈Z,+〉, 〈Q,+〉, 〈R,+〉, and 〈C,+〉.2 〈Q+, ·〉, 〈R∗, ·〉, and 〈C∗, ·〉.3 〈Zn,+n〉.4 The set of Mm×n(R) under addition.5 The set of all real-valued functions with domain R under

function addition.

The following groups are non-abelian.1 GL(n, R) under matrix multiplication.2 The set of all real-valued functions with domain R under

function composition.

Instructor: Yifan Yang Section 4 – Groups

Page 40: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Definition and examplesAbelian groups

Examples

The following groups are all abelian.1 〈Z,+〉, 〈Q,+〉, 〈R,+〉, and 〈C,+〉.2 〈Q+, ·〉, 〈R∗, ·〉, and 〈C∗, ·〉.3 〈Zn,+n〉.4 The set of Mm×n(R) under addition.5 The set of all real-valued functions with domain R under

function addition.

The following groups are non-abelian.1 GL(n, R) under matrix multiplication.2 The set of all real-valued functions with domain R under

function composition.

Instructor: Yifan Yang Section 4 – Groups

Page 41: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 42: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Cancellation law

Theorem (4.15)

Let 〈G, ∗〉 be a group. Then the left and right cancellation lawshold in G, that is, a ∗ b = a ∗ c implies b = c, and b ∗ a = c ∗ aimplies b = c for all a, b, c ∈ G.

RemarkNot all binary structures have cancellation laws. For instance,

1 In Mn(R), AB = AC does not imply B = C.2 In (Zn, ·n), the cancellation law does not hold either. (In

(Z6, ·6) we have 3̄ · 2̄ = 0̄ = 3̄ · 4̄, but 2̄ 6= 4̄.)

Instructor: Yifan Yang Section 4 – Groups

Page 43: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Cancellation law

Theorem (4.15)

Let 〈G, ∗〉 be a group. Then the left and right cancellation lawshold in G, that is, a ∗ b = a ∗ c implies b = c, and b ∗ a = c ∗ aimplies b = c for all a, b, c ∈ G.

RemarkNot all binary structures have cancellation laws. For instance,

1 In Mn(R), AB = AC does not imply B = C.2 In (Zn, ·n), the cancellation law does not hold either. (In

(Z6, ·6) we have 3̄ · 2̄ = 0̄ = 3̄ · 4̄, but 2̄ 6= 4̄.)

Instructor: Yifan Yang Section 4 – Groups

Page 44: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Cancellation law

Theorem (4.15)

Let 〈G, ∗〉 be a group. Then the left and right cancellation lawshold in G, that is, a ∗ b = a ∗ c implies b = c, and b ∗ a = c ∗ aimplies b = c for all a, b, c ∈ G.

RemarkNot all binary structures have cancellation laws. For instance,

1 In Mn(R), AB = AC does not imply B = C.2 In (Zn, ·n), the cancellation law does not hold either. (In

(Z6, ·6) we have 3̄ · 2̄ = 0̄ = 3̄ · 4̄, but 2̄ 6= 4̄.)

Instructor: Yifan Yang Section 4 – Groups

Page 45: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Cancellation law

Theorem (4.15)

Let 〈G, ∗〉 be a group. Then the left and right cancellation lawshold in G, that is, a ∗ b = a ∗ c implies b = c, and b ∗ a = c ∗ aimplies b = c for all a, b, c ∈ G.

RemarkNot all binary structures have cancellation laws. For instance,

1 In Mn(R), AB = AC does not imply B = C.2 In (Zn, ·n), the cancellation law does not hold either. (In

(Z6, ·6) we have 3̄ · 2̄ = 0̄ = 3̄ · 4̄, but 2̄ 6= 4̄.)

Instructor: Yifan Yang Section 4 – Groups

Page 46: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.15

Suppose that a ∗ b = a ∗ c. Let a′ be an inverse of a. Considerthe equality

a′ ∗ (a ∗ b) = a′ ∗ (a ∗ c).

By the associativity of ∗, we then have

(a′ ∗ a) ∗ b = (a′ ∗ a) ∗ c.

Since a′ is an inverse of a, we have a′ ∗ a = e, and thus,

e ∗ b = e ∗ c.

Because e is the identity element, it follows that b = c. Theproof of the assertion that b ∗ a = c ∗ a implies b = c is similar.

Instructor: Yifan Yang Section 4 – Groups

Page 47: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.15

Suppose that a ∗ b = a ∗ c. Let a′ be an inverse of a. Considerthe equality

a′ ∗ (a ∗ b) = a′ ∗ (a ∗ c).

By the associativity of ∗, we then have

(a′ ∗ a) ∗ b = (a′ ∗ a) ∗ c.

Since a′ is an inverse of a, we have a′ ∗ a = e, and thus,

e ∗ b = e ∗ c.

Because e is the identity element, it follows that b = c. Theproof of the assertion that b ∗ a = c ∗ a implies b = c is similar.

Instructor: Yifan Yang Section 4 – Groups

Page 48: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.15

Suppose that a ∗ b = a ∗ c. Let a′ be an inverse of a. Considerthe equality

a′ ∗ (a ∗ b) = a′ ∗ (a ∗ c).

By the associativity of ∗, we then have

(a′ ∗ a) ∗ b = (a′ ∗ a) ∗ c.

Since a′ is an inverse of a, we have a′ ∗ a = e, and thus,

e ∗ b = e ∗ c.

Because e is the identity element, it follows that b = c. Theproof of the assertion that b ∗ a = c ∗ a implies b = c is similar.

Instructor: Yifan Yang Section 4 – Groups

Page 49: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.15

Suppose that a ∗ b = a ∗ c. Let a′ be an inverse of a. Considerthe equality

a′ ∗ (a ∗ b) = a′ ∗ (a ∗ c).

By the associativity of ∗, we then have

(a′ ∗ a) ∗ b = (a′ ∗ a) ∗ c.

Since a′ is an inverse of a, we have a′ ∗ a = e, and thus,

e ∗ b = e ∗ c.

Because e is the identity element, it follows that b = c. Theproof of the assertion that b ∗ a = c ∗ a implies b = c is similar.

Instructor: Yifan Yang Section 4 – Groups

Page 50: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.15

Suppose that a ∗ b = a ∗ c. Let a′ be an inverse of a. Considerthe equality

a′ ∗ (a ∗ b) = a′ ∗ (a ∗ c).

By the associativity of ∗, we then have

(a′ ∗ a) ∗ b = (a′ ∗ a) ∗ c.

Since a′ is an inverse of a, we have a′ ∗ a = e, and thus,

e ∗ b = e ∗ c.

Because e is the identity element, it follows that b = c. Theproof of the assertion that b ∗ a = c ∗ a implies b = c is similar.

Instructor: Yifan Yang Section 4 – Groups

Page 51: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.15

Suppose that a ∗ b = a ∗ c. Let a′ be an inverse of a. Considerthe equality

a′ ∗ (a ∗ b) = a′ ∗ (a ∗ c).

By the associativity of ∗, we then have

(a′ ∗ a) ∗ b = (a′ ∗ a) ∗ c.

Since a′ is an inverse of a, we have a′ ∗ a = e, and thus,

e ∗ b = e ∗ c.

Because e is the identity element, it follows that b = c. Theproof of the assertion that b ∗ a = c ∗ a implies b = c is similar.

Instructor: Yifan Yang Section 4 – Groups

Page 52: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

The equation a ∗ x = b

Theorem (4.16)

Let 〈G, ∗〉 be a group. Let a and b be elements in G. Then theequations a ∗ x = b and y ∗ a = b have unique solutions x andy in G.

RemarkAgain, there are binary structures where a ∗ x = b may not besolvable for all a and b.

1 In Mn(R) under matrix multiplication, the equation AX = Bis not solvable when det(A) = 0 and det(B) 6= 0.

2 In 〈Z8, ·8〉, the equation 2̄ · x = 1̄ is not solvable since 2̄ · xmust be one of 0̄, 2̄, 4̄, and 6̄.

Instructor: Yifan Yang Section 4 – Groups

Page 53: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

The equation a ∗ x = b

Theorem (4.16)

Let 〈G, ∗〉 be a group. Let a and b be elements in G. Then theequations a ∗ x = b and y ∗ a = b have unique solutions x andy in G.

RemarkAgain, there are binary structures where a ∗ x = b may not besolvable for all a and b.

1 In Mn(R) under matrix multiplication, the equation AX = Bis not solvable when det(A) = 0 and det(B) 6= 0.

2 In 〈Z8, ·8〉, the equation 2̄ · x = 1̄ is not solvable since 2̄ · xmust be one of 0̄, 2̄, 4̄, and 6̄.

Instructor: Yifan Yang Section 4 – Groups

Page 54: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

The equation a ∗ x = b

Theorem (4.16)

Let 〈G, ∗〉 be a group. Let a and b be elements in G. Then theequations a ∗ x = b and y ∗ a = b have unique solutions x andy in G.

RemarkAgain, there are binary structures where a ∗ x = b may not besolvable for all a and b.

1 In Mn(R) under matrix multiplication, the equation AX = Bis not solvable when det(A) = 0 and det(B) 6= 0.

2 In 〈Z8, ·8〉, the equation 2̄ · x = 1̄ is not solvable since 2̄ · xmust be one of 0̄, 2̄, 4̄, and 6̄.

Instructor: Yifan Yang Section 4 – Groups

Page 55: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

The equation a ∗ x = b

Theorem (4.16)

Let 〈G, ∗〉 be a group. Let a and b be elements in G. Then theequations a ∗ x = b and y ∗ a = b have unique solutions x andy in G.

RemarkAgain, there are binary structures where a ∗ x = b may not besolvable for all a and b.

1 In Mn(R) under matrix multiplication, the equation AX = Bis not solvable when det(A) = 0 and det(B) 6= 0.

2 In 〈Z8, ·8〉, the equation 2̄ · x = 1̄ is not solvable since 2̄ · xmust be one of 0̄, 2̄, 4̄, and 6̄.

Instructor: Yifan Yang Section 4 – Groups

Page 56: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.16

Proof.

Let x = a′ ∗ b. Then

a ∗ (a′ ∗ b) = (a ∗ a′) ∗ b = e ∗ b = b.

This shows that the equation a ∗ x = b has at least one solution.To show the uniqueness of the solution, we use the cancellationlaws. If x1 and x2 are both solutions of a ∗ x = b. Thena ∗ x1 = a ∗ x2. By Theorem 4.15, we therefore have x1 = x2.The assertion about y ∗ a = b can be proved similarly.

Instructor: Yifan Yang Section 4 – Groups

Page 57: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.16

Proof.

Let x = a′ ∗ b. Then

a ∗ (a′ ∗ b) = (a ∗ a′) ∗ b = e ∗ b = b.

This shows that the equation a ∗ x = b has at least one solution.To show the uniqueness of the solution, we use the cancellationlaws. If x1 and x2 are both solutions of a ∗ x = b. Thena ∗ x1 = a ∗ x2. By Theorem 4.15, we therefore have x1 = x2.The assertion about y ∗ a = b can be proved similarly.

Instructor: Yifan Yang Section 4 – Groups

Page 58: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Proof of Theorem 4.16

Proof.

Let x = a′ ∗ b. Then

a ∗ (a′ ∗ b) = (a ∗ a′) ∗ b = e ∗ b = b.

This shows that the equation a ∗ x = b has at least one solution.To show the uniqueness of the solution, we use the cancellationlaws. If x1 and x2 are both solutions of a ∗ x = b. Thena ∗ x1 = a ∗ x2. By Theorem 4.15, we therefore have x1 = x2.The assertion about y ∗ a = b can be proved similarly.

Instructor: Yifan Yang Section 4 – Groups

Page 59: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 60: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Theorem (4.17)

Let 〈G, ∗〉 be a group. There is only one element e in G suchthat e ∗ x = x ∗ e = x for all x ∈ G. Likewise, for each a ∈ G,there is only one element a′ in G such that a′ ∗ a = a ∗ a′ = e.

Proof.

The uniqueness of identity element is proved in Theorem 3.13.We now prove the uniqueness of inverses. Let a ∈ G. Supposethat a1 and a2 satisfy a ∗ a1 = a1 ∗ a = e and a ∗ a2 = a2 ∗ a = e.Then a ∗ a1 = a ∗ a2. By Theorem 4.15, we have a1 = a2.

Instructor: Yifan Yang Section 4 – Groups

Page 61: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Theorem (4.17)

Let 〈G, ∗〉 be a group. There is only one element e in G suchthat e ∗ x = x ∗ e = x for all x ∈ G. Likewise, for each a ∈ G,there is only one element a′ in G such that a′ ∗ a = a ∗ a′ = e.

Proof.

The uniqueness of identity element is proved in Theorem 3.13.We now prove the uniqueness of inverses. Let a ∈ G. Supposethat a1 and a2 satisfy a ∗ a1 = a1 ∗ a = e and a ∗ a2 = a2 ∗ a = e.Then a ∗ a1 = a ∗ a2. By Theorem 4.15, we have a1 = a2.

Instructor: Yifan Yang Section 4 – Groups

Page 62: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Theorem (4.17)

Let 〈G, ∗〉 be a group. There is only one element e in G suchthat e ∗ x = x ∗ e = x for all x ∈ G. Likewise, for each a ∈ G,there is only one element a′ in G such that a′ ∗ a = a ∗ a′ = e.

Proof.

The uniqueness of identity element is proved in Theorem 3.13.We now prove the uniqueness of inverses. Let a ∈ G. Supposethat a1 and a2 satisfy a ∗ a1 = a1 ∗ a = e and a ∗ a2 = a2 ∗ a = e.Then a ∗ a1 = a ∗ a2. By Theorem 4.15, we have a1 = a2.

Instructor: Yifan Yang Section 4 – Groups

Page 63: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Theorem (4.17)

Let 〈G, ∗〉 be a group. There is only one element e in G suchthat e ∗ x = x ∗ e = x for all x ∈ G. Likewise, for each a ∈ G,there is only one element a′ in G such that a′ ∗ a = a ∗ a′ = e.

Proof.

The uniqueness of identity element is proved in Theorem 3.13.We now prove the uniqueness of inverses. Let a ∈ G. Supposethat a1 and a2 satisfy a ∗ a1 = a1 ∗ a = e and a ∗ a2 = a2 ∗ a = e.Then a ∗ a1 = a ∗ a2. By Theorem 4.15, we have a1 = a2.

Instructor: Yifan Yang Section 4 – Groups

Page 64: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Theorem (4.17)

Let 〈G, ∗〉 be a group. There is only one element e in G suchthat e ∗ x = x ∗ e = x for all x ∈ G. Likewise, for each a ∈ G,there is only one element a′ in G such that a′ ∗ a = a ∗ a′ = e.

Proof.

The uniqueness of identity element is proved in Theorem 3.13.We now prove the uniqueness of inverses. Let a ∈ G. Supposethat a1 and a2 satisfy a ∗ a1 = a1 ∗ a = e and a ∗ a2 = a2 ∗ a = e.Then a ∗ a1 = a ∗ a2. By Theorem 4.15, we have a1 = a2.

Instructor: Yifan Yang Section 4 – Groups

Page 65: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Theorem (4.17)

Let 〈G, ∗〉 be a group. There is only one element e in G suchthat e ∗ x = x ∗ e = x for all x ∈ G. Likewise, for each a ∈ G,there is only one element a′ in G such that a′ ∗ a = a ∗ a′ = e.

Proof.

The uniqueness of identity element is proved in Theorem 3.13.We now prove the uniqueness of inverses. Let a ∈ G. Supposethat a1 and a2 satisfy a ∗ a1 = a1 ∗ a = e and a ∗ a2 = a2 ∗ a = e.Then a ∗ a1 = a ∗ a2. By Theorem 4.15, we have a1 = a2.

Instructor: Yifan Yang Section 4 – Groups

Page 66: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Corollary (4.18)

Let 〈G, ∗〉 be a group. For all a, b ∈ G we have (a ∗ b)′ = b′ ∗ a′.

Proof.We have

(a ∗ b) ∗ (b′ ∗ a′) = a ∗ (b ∗ b′) ∗ a′ = (a ∗ e) ∗ a′ = a ∗ a′ = e.

By Theorem 4.17, the element b′ ∗ a′ has to be the inverse ofa ∗ b.

Instructor: Yifan Yang Section 4 – Groups

Page 67: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Cancellation lawUniqueness of identity element and inverse

Uniqueness of identity element and inverse

Corollary (4.18)

Let 〈G, ∗〉 be a group. For all a, b ∈ G we have (a ∗ b)′ = b′ ∗ a′.

Proof.We have

(a ∗ b) ∗ (b′ ∗ a′) = a ∗ (b ∗ b′) ∗ a′ = (a ∗ e) ∗ a′ = a ∗ a′ = e.

By Theorem 4.17, the element b′ ∗ a′ has to be the inverse ofa ∗ b.

Instructor: Yifan Yang Section 4 – Groups

Page 68: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 69: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 2

Let G be a group with two element. Since G contains anidentity element e, we assume that G = {e, a}. We nowdetermine the group table. We have

∗ e a

e e aa a ?

It remains to determine a ∗ a. The group G contains the inverseof a. From the table, it is clear that a′ 6= e. Thus, a′ = a and wehave a ∗ a = e. We now check the associativity of ∗.

Instructor: Yifan Yang Section 4 – Groups

Page 70: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 2

Let G be a group with two element. Since G contains anidentity element e, we assume that G = {e, a}. We nowdetermine the group table. We have

∗ e a

e e aa a ?

It remains to determine a ∗ a. The group G contains the inverseof a. From the table, it is clear that a′ 6= e. Thus, a′ = a and wehave a ∗ a = e. We now check the associativity of ∗.

Instructor: Yifan Yang Section 4 – Groups

Page 71: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 2

Let G be a group with two element. Since G contains anidentity element e, we assume that G = {e, a}. We nowdetermine the group table. We have

∗ e a

e e aa a ?

It remains to determine a ∗ a. The group G contains the inverseof a. From the table, it is clear that a′ 6= e. Thus, a′ = a and wehave a ∗ a = e. We now check the associativity of ∗.

Instructor: Yifan Yang Section 4 – Groups

Page 72: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 2

Let G be a group with two element. Since G contains anidentity element e, we assume that G = {e, a}. We nowdetermine the group table. We have

∗ e a

e e aa a ?

It remains to determine a ∗ a. The group G contains the inverseof a. From the table, it is clear that a′ 6= e. Thus, a′ = a and wehave a ∗ a = e. We now check the associativity of ∗.

Instructor: Yifan Yang Section 4 – Groups

Page 73: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 2

Let G be a group with two element. Since G contains anidentity element e, we assume that G = {e, a}. We nowdetermine the group table. We have

∗ e a

e e aa a ?

It remains to determine a ∗ a. The group G contains the inverseof a. From the table, it is clear that a′ 6= e. Thus, a′ = a and wehave a ∗ a = e. We now check the associativity of ∗.

Instructor: Yifan Yang Section 4 – Groups

Page 74: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 2

Let G be a group with two element. Since G contains anidentity element e, we assume that G = {e, a}. We nowdetermine the group table. We have

∗ e a

e e aa a ?

It remains to determine a ∗ a. The group G contains the inverseof a. From the table, it is clear that a′ 6= e. Thus, a′ = a and wehave a ∗ a = e. We now check the associativity of ∗.

Instructor: Yifan Yang Section 4 – Groups

Page 75: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

In theory, we need to check whether

(x ∗ y) ∗ z = x ∗ (y ∗ z)

for all 8 possible choices of x , y , z ∈ G. Here we notice that thetable is isomorphic to that of 〈Z2,+2〉.

∗ e a

e e a

a a e

+2 0̄ 1̄

0̄ 0̄ 1̄

1̄ 1̄ 0̄

.

Since 〈Z2,+2〉 is associative, so is the binary structure we justconstructed. Finally, the table is symmetric with respect to thediagonal. In other words, G is abelian (∗ is commutative).

Instructor: Yifan Yang Section 4 – Groups

Page 76: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

In theory, we need to check whether

(x ∗ y) ∗ z = x ∗ (y ∗ z)

for all 8 possible choices of x , y , z ∈ G. Here we notice that thetable is isomorphic to that of 〈Z2,+2〉.

∗ e a

e e a

a a e

+2 0̄ 1̄

0̄ 0̄ 1̄

1̄ 1̄ 0̄

.

Since 〈Z2,+2〉 is associative, so is the binary structure we justconstructed. Finally, the table is symmetric with respect to thediagonal. In other words, G is abelian (∗ is commutative).

Instructor: Yifan Yang Section 4 – Groups

Page 77: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

In theory, we need to check whether

(x ∗ y) ∗ z = x ∗ (y ∗ z)

for all 8 possible choices of x , y , z ∈ G. Here we notice that thetable is isomorphic to that of 〈Z2,+2〉.

∗ e a

e e a

a a e

+2 0̄ 1̄

0̄ 0̄ 1̄

1̄ 1̄ 0̄

.

Since 〈Z2,+2〉 is associative, so is the binary structure we justconstructed. Finally, the table is symmetric with respect to thediagonal. In other words, G is abelian (∗ is commutative).

Instructor: Yifan Yang Section 4 – Groups

Page 78: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

In theory, we need to check whether

(x ∗ y) ∗ z = x ∗ (y ∗ z)

for all 8 possible choices of x , y , z ∈ G. Here we notice that thetable is isomorphic to that of 〈Z2,+2〉.

∗ e a

e e a

a a e

+2 0̄ 1̄

0̄ 0̄ 1̄

1̄ 1̄ 0̄

.

Since 〈Z2,+2〉 is associative, so is the binary structure we justconstructed. Finally, the table is symmetric with respect to thediagonal. In other words, G is abelian (∗ is commutative).

Instructor: Yifan Yang Section 4 – Groups

Page 79: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 80: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? ?

b b ? ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 81: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? ?

b b ? ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 82: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? ?

b b ? ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 83: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? ?

b b ? ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 84: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? ?

b b ? ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 85: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? eb b e ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 86: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? eb b e ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 87: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? eb b e ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 88: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? eb b e ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 89: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a ? eb b e ?

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 90: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a b eb b e a

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 91: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Case |G| = 3

Let G be a group with three element e, a, b. We have

∗ e a b

e e a ba a b eb b e a

Consider a ∗ b. What can it be? If a ∗ b = a, then a ∗ b = a ∗ eand b = e, which is a contradiction. Likewise, a ∗ b 6= b, and weconclude that a ∗ b = e, that is, a′ = b and b′ = a. The tablebecomes as above.Now consider a ∗ a. It can not be a since this would implya = e. It can not be e either because this would imply a′ = a.(We have a′ = b.) Thus, a ∗ a = b. By the same tokenb ∗ b = a. The complete table is as above.

Instructor: Yifan Yang Section 4 – Groups

Page 92: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

It remains to check associativity. Again, it is tedious to checkdirectly that

x ∗ (y ∗ z) = (x ∗ y) ∗ z

holds for all x , y , z ∈ G. Instead, we observe that the table isisomorphic to that of 〈Z3,+3〉. Thus, ∗ is indeed associative.Note also that ∗ is commutative.

Instructor: Yifan Yang Section 4 – Groups

Page 93: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

It remains to check associativity. Again, it is tedious to checkdirectly that

x ∗ (y ∗ z) = (x ∗ y) ∗ z

holds for all x , y , z ∈ G. Instead, we observe that the table isisomorphic to that of 〈Z3,+3〉. Thus, ∗ is indeed associative.Note also that ∗ is commutative.

Instructor: Yifan Yang Section 4 – Groups

Page 94: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

It remains to check associativity. Again, it is tedious to checkdirectly that

x ∗ (y ∗ z) = (x ∗ y) ∗ z

holds for all x , y , z ∈ G. Instead, we observe that the table isisomorphic to that of 〈Z3,+3〉. Thus, ∗ is indeed associative.Note also that ∗ is commutative.

Instructor: Yifan Yang Section 4 – Groups

Page 95: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

It remains to check associativity. Again, it is tedious to checkdirectly that

x ∗ (y ∗ z) = (x ∗ y) ∗ z

holds for all x , y , z ∈ G. Instead, we observe that the table isisomorphic to that of 〈Z3,+3〉. Thus, ∗ is indeed associative.Note also that ∗ is commutative.

Instructor: Yifan Yang Section 4 – Groups

Page 96: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Outline

1 DefinitionsDefinition and examplesAbelian groups

2 Elementary propertiesCancellation lawUniqueness of identity element and inverse

3 Finite groups and group tablesCase |G| = 2Case |G| = 3General cases

Instructor: Yifan Yang Section 4 – Groups

Page 97: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

General cases

In general, there are many non-isomorphic groups of a givenorder (number of elements). For example, there are 2non-isomorphic groups of order 4, 5 non-isomorphic groups oforder 8, 14 non-isomorphic groups of order 16, and423, 164, 062 non-isomorphic groups of order 1024.In any case, the group table satisfies every element of thegroup appears in each row/each column exactly once. This isbecause the equation a ∗ x = b has exactly one solution.

Instructor: Yifan Yang Section 4 – Groups

Page 98: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

General cases

In general, there are many non-isomorphic groups of a givenorder (number of elements). For example, there are 2non-isomorphic groups of order 4, 5 non-isomorphic groups oforder 8, 14 non-isomorphic groups of order 16, and423, 164, 062 non-isomorphic groups of order 1024.In any case, the group table satisfies every element of thegroup appears in each row/each column exactly once. This isbecause the equation a ∗ x = b has exactly one solution.

Instructor: Yifan Yang Section 4 – Groups

Page 99: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

General cases

In general, there are many non-isomorphic groups of a givenorder (number of elements). For example, there are 2non-isomorphic groups of order 4, 5 non-isomorphic groups oforder 8, 14 non-isomorphic groups of order 16, and423, 164, 062 non-isomorphic groups of order 1024.In any case, the group table satisfies every element of thegroup appears in each row/each column exactly once. This isbecause the equation a ∗ x = b has exactly one solution.

Instructor: Yifan Yang Section 4 – Groups

Page 100: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

General cases

In general, there are many non-isomorphic groups of a givenorder (number of elements). For example, there are 2non-isomorphic groups of order 4, 5 non-isomorphic groups oforder 8, 14 non-isomorphic groups of order 16, and423, 164, 062 non-isomorphic groups of order 1024.In any case, the group table satisfies every element of thegroup appears in each row/each column exactly once. This isbecause the equation a ∗ x = b has exactly one solution.

Instructor: Yifan Yang Section 4 – Groups

Page 101: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

General cases

In general, there are many non-isomorphic groups of a givenorder (number of elements). For example, there are 2non-isomorphic groups of order 4, 5 non-isomorphic groups oforder 8, 14 non-isomorphic groups of order 16, and423, 164, 062 non-isomorphic groups of order 1024.In any case, the group table satisfies every element of thegroup appears in each row/each column exactly once. This isbecause the equation a ∗ x = b has exactly one solution.

Instructor: Yifan Yang Section 4 – Groups

Page 102: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

General cases

In general, there are many non-isomorphic groups of a givenorder (number of elements). For example, there are 2non-isomorphic groups of order 4, 5 non-isomorphic groups oforder 8, 14 non-isomorphic groups of order 16, and423, 164, 062 non-isomorphic groups of order 1024.In any case, the group table satisfies every element of thegroup appears in each row/each column exactly once. This isbecause the equation a ∗ x = b has exactly one solution.

Instructor: Yifan Yang Section 4 – Groups

Page 103: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

General cases

In general, there are many non-isomorphic groups of a givenorder (number of elements). For example, there are 2non-isomorphic groups of order 4, 5 non-isomorphic groups oforder 8, 14 non-isomorphic groups of order 16, and423, 164, 062 non-isomorphic groups of order 1024.In any case, the group table satisfies every element of thegroup appears in each row/each column exactly once. This isbecause the equation a ∗ x = b has exactly one solution.

Instructor: Yifan Yang Section 4 – Groups

Page 104: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Exercises

In-class exercise

Give all possible group tables for the case |G| = 4.

Homework

Do Problems 6, 8, 14, 19, 24, 29, 30, 32, 36, 38 of Section 4.

Instructor: Yifan Yang Section 4 – Groups

Page 105: Section 4 -- Groupsjupiter.math.nctu.edu.tw/~weng/courses/alg_2007/Algebra 2006/Slides-Section4.pdfElementary properties Finite groups and group tables Definition and examples Abelian

DefinitionsElementary properties

Finite groups and group tables

Case |G| = 2Case |G| = 3General cases

Exercises

In-class exercise

Give all possible group tables for the case |G| = 4.

Homework

Do Problems 6, 8, 14, 19, 24, 29, 30, 32, 36, 38 of Section 4.

Instructor: Yifan Yang Section 4 – Groups