zhzhzoo / Lili-Symposium

0 stars 0 forks source link

Chapter 2 #1

Open zhzhzoo opened 10 years ago

zhzhzoo commented 10 years ago

1 The Definition of Group

1

(1) 1 = (1 2 3), x = (2 3 1), x^2 = (2 3 1)(2 3 1) = (3 1 2), y = (2 1 3), xy = (2 3 1)(2 1 3) = (1 3 2), x^2y = (3 1 2)(2 1 3) = (3 2 1)

(2)

1 x x^2 y xy x^2y
1 1 x x^2 y xy x^2y
x x x^2 1 xy x^2y y
x^2 x^2 1 x x^2y y xy
y y x^2y xy 1 x^2 x
xy xy y x^2y x 1 x^2
x^2y x^2y xy y x^2 x 1

2

(a) Associativity: By the associativity of matrix multiplication. Identity: The identity matrix. Inverse: The inverse matrix. Every matrix in . has an inverse matrix since it's determinant is not zero. Closure: The product of two invertible matrix is also invertible.

(b) Associativity: By the associativity of maps. Identity: The identity permutation. Inverse: The inverse permutation. Closure: By definition of .

3

Associativity: By the the associative law of composition. Identity: The identity element. Inverse: Elements in the subset are all invertible.

4

.

5

No. A counter example is in .: . but ..

6

((ab)c)d, (a(bc))d, a((bc)d), a(b(cd)

7

(ab)c = ac = a, a(bc) = ab = a.

8

., .

9

., .

10

.

11

Associativity: . Identity: . Inverse: . Closure: Inherited from G.

harryzhao commented 10 years ago

comments1

harryzhao commented 10 years ago

Oh a correction: for 5), all smooth functions satisfy $f(0)=f(1)=a \in S^2$

zhzhzoo commented 10 years ago

Ah thanks Harry for comments, and I corrected the mistakes. For further questions, you could open a new issue~

zhzhzoo commented 10 years ago

Maybe $S^n$ in 2) should be $S_n$ ?

harryzhao commented 10 years ago

Oh yep that should be $S_n$