北京邮电大学计算机学院 离散数学 数学结构 群论 chap9-3

16
Example 5

Let B = {0, l }, and let + be the operation defined on B as follows:

Then B is a group.
2015-2-5
College of Computer Science & Technology, BUPT

a*a' = a*4/a = a(4/a)/2 = 2 = (4/a)(a)/2 = (4/a)*a = a' *a. a*b = ab/2 = ba/2 = b*a

Abelian


So, G is an Abelian group.
College of Computer Science & Technology, BUPT
6
2015-2-5
Theorem 1


Let G be a group. Each element a in G has only one inverse in G. Proof

Let

a' and a" be inverses of a. a' = a'e = a'(aa") = (a'a)a" = ea" = a".

Then

2015-2-5
College of Computer Science & Technology, BUPT
7
Theorem 2

Let

G be a group and a, b, and c be elements of G. left cancellation – 左消去律


(a*b)*c = a*(b*c). a unique element e in G such that

a*e = e*a

an element a' G, called an inverse of a and written as a1, such that

a*a' = a'*a = e or aa' = a'a = e or aa-1 = a-1a = e


Three additional symmetries of the triangle are g1, g2, and g3, by reflecting about the lines l1, l2, and l3, respectively. Denote these reflections as the following permutations:

Then


Proof is omitted
College of Computer Science & Technology, BUPT
12
2015-2-5
Finite group – 有限群


If G is a group that has a finite number of elements, G is said to be a finite group, and the order(阶) of G is the number of elements |G| in G. A finite group can be represented in the form of the multiplication table.
1 2 3 1 2 3 1 2 3 g1 , g2 , g3 1 3 2 3 2 1 2 1 3
2015-2-5
College of Computer Science & Technology, BUPT
20
Group of symmetries of the triangle
College of Computer Science & Technology, BUPT
11

(ab)-1 = b-1a-1


2015-2-5
Theorem 4

Let

G be a group, and a and b be elements of G The equation ax = b has a unique solution in G. The equation ya = b has a unique solution in G.
2015-2-5
College of Computer Science & Technology, BUPT
15
Groups of order 4

Let G = {e, a, b, c} be a group of order 4
34 35
2015-2-5
College of Computer Science & Technology, BUPT

* f1 f2 f3 g1 g2
2015-2-5
f1 f1 f2 f3 g1 g2 g3
Let S3 = {f1, f2, f3, g1, g2, g3} and introduce the operation *, followed by, on the set S3
f2 f2 f1 g2 g3 g1 f3 f3 f1 f2 g3 g1 g2 g1 g1 g2 g2 g1 g3 f2 f1 f3 g3 g3 g1 f f2 f1 f3 g3 g2 f1 f3 f2 g2
Groups – 群
Yang Juan
yangjuan@
College of Computer Science & Technology
Beijing University of Posts & Telecommunications
Definition

A group (G, *) is a set together with a binary operation * on G such that, for any elements a, b, and c in G

2015-2-5
College of Computer Science & Technology, BUPT
4
Example 4 - Solution

* is a binary operation


If a and b are elements of G, then ab/2 is a nonzero real number and hence is in G. (a*b)*c = (ab/2)*c = (ab)c/4 a*(b*c) = a*(bc/2) = a(bc)/4= (ab)c/ 4. * is associative.
17
An important group


Given the equilateral triangle with vertices l, 2, and 3 Consider it’s symmetries.
2015-2-5
College of Computer Science & Technology, BUPT
1 2 3 1 2 3 1 2 3 f1 , f , f 2 2 3 1 3 3 1 2 1 2 3
1 2 3 1 2 3 1 2 3 g1 , g , g 2 3 2 1 3 2 1 3 3 1 3 2
2015-2-5
College of Computer Science & Technology, BUPT
13
Group of order 1, 2

If G is a group of order 1, then

G = {e}, and ee = e. The blank can be filled in by e or by a?
College of Computer Science & Technology, BUPT
3
Example 4

Let

G be the set of all nonzero real numbers and a*b = ab/2. (G, *) is an Abelian group.

Show
2015-2-5
College of Computer Science & Technology, BUPT
2
Abelian – 阿贝尔群

A group G is said to be Abelian if ab = ba for all elements a and b in G.
2015-2-5
18
Symmetries of the triangle


There are counter-clockwise rotations f2, f3, f1 of the triangle about O through 120º , 240º , 360º (or 0º ) respectively. f1, f2, f3 can be written as the permutations.
1 2 3 1 2 3 1 2 3 f1 , f2 , f3 1 2 3 2 3 1 3 1 2
2015-2-5
College of Computer Science & Technology, BUPT