Algebraic Structures
Algebraic Structures
Algebraic Structures
Contents
1
Abelian group
1.1
Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Facts
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1
Notation
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2
Multiplication table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4
Historical remarks
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5
Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6
1.6.1
Classication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.2
Automorphisms
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7.1
Torsion groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7.2
1.7.3
1.7.4
1.8
1.9
1.11 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.12 References
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Category theory
1.7
2.1
Basic concepts
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
Applications of Categories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3
Utility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2
Functors
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.3
Natural transformations
2.4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.1
Categories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.2
Morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ii
CONTENTS
2.5
Functors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6
Natural transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.7
Other concepts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.7.1
10
2.7.2
Equivalent categories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.7.3
10
2.7.4
Higher-dimensional categories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.8
Historical notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
2.9
See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
2.10 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
2.11 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
13
13
Field
14
3.1
14
3.1.1
15
3.1.2
15
3.1.3
Alternative axiomatizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
15
3.2.1
Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
3.3
History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
3.4
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
3.4.1
16
3.4.2
16
3.4.3
Constructible numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
3.4.4
Finite elds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
3.4.5
Archimedean elds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
3.4.6
Field of functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
3.4.7
18
3.5
18
3.6
Constructing elds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
3.6.1
Closure operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
3.6.2
18
3.6.3
Rings vs elds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
3.6.4
Ultraproducts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
3.7
Galois theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
3.8
Generalizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
3.8.1
Exponentiation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
20
3.11 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
3.2
3.9
CONTENTS
iii
3.12 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
3.13 Sources . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
21
Galois group
22
4.1
Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
4.2
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
4.3
Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
4.4
See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
4.5
Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
4.6
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
4.7
External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
Group
24
5.1
24
5.1.1
24
5.1.2
Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
5.1.3
25
5.2
History
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
5.3
27
5.3.1
27
5.3.2
Division . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
5.4
5.5
5.6
Basic concepts
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
5.4.1
Group homomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
5.4.2
Subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
5.4.3
Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
5.4.4
Quotient groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
29
5.5.1
Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
5.5.2
Modular arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
5.5.3
Cyclic groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
5.5.4
Symmetry groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
5.5.5
32
5.5.6
Galois groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
Finite groups
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
33
34
5.7.1
Topological groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
5.7.2
Lie groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
5.8
Generalizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
5.9
See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
5.10 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
5.6.1
5.7
iv
CONTENTS
5.11 Citations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
5.12 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
37
37
39
Group theory
40
6.1
40
6.1.1
Permutation groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
6.1.2
Matrix groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
6.1.3
Transformation groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
41
6.1.4
Abstract groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
41
6.1.5
41
41
6.2.1
41
6.2.2
Representation of groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
6.2.3
Lie theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
6.2.4
42
6.3
43
6.4
43
6.4.1
Galois theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
6.4.2
Algebraic topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
6.4.3
44
6.4.4
44
6.4.5
Harmonic analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
6.4.6
Combinatorics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
6.4.7
Music . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
6.4.8
Physics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
6.4.9
45
46
6.5
History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
6.6
See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
6.7
Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
6.8
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
6.9
External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
6.2
Homomorphism
48
7.1
48
7.1.1
Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
7.1.2
Basic examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
7.2
Informal discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
7.3
Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
CONTENTS
7.3.1
v
Category theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
7.4
Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
7.5
Relational structures
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
7.6
51
7.7
See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
7.8
Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
7.9
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
Ideal
52
8.1
History
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2
Denitions
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
52
8.3
Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
8.4
Motivation
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
8.5
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
8.6
53
8.6.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
8.7
Types of ideals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
8.8
Further properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
8.9
Ideal operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
55
55
8.12 References
56
Example
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Integral domain
52
57
9.1
Denitions
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
9.2
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
9.3
Non-examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
9.4
58
9.5
Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
9.6
Field of fractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
9.7
Algebraic geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
9.8
59
9.9
See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
9.10 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
9.11 References
59
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10 Isometry
61
10.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
61
10.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
62
10.5 Generalizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
vi
CONTENTS
10.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
10.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
10.8 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
11 Magma
64
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
11.2 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
64
64
65
65
65
11.8 Generalizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
66
11.10References
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
11.11Further reading . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
12 Order
67
12.1 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
67
68
68
68
68
12.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
68
13 Ring
69
69
13.1.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
70
70
70
70
13.2 History
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
13.2.1 Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
13.2.2 Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
71
71
72
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
73
CONTENTS
vii
13.4.2 Subring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
13.4.3 Ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
13.4.4 Homomorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
74
75
13.6 Constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
75
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
75
76
76
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
13.6.6 Completion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
78
78
78
13.7.1 Domains . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
78
79
79
79
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
80
80
81
81
81
81
81
81
13.6.5 Localization
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
13.11.1 Rng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
82
13.11.3 Semiring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
13.11Generalization
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
82
82
82
13.13See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
13.14Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
83
13.15Citations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
83
13.16References
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
84
84
85
viii
CONTENTS
13.16.3 Primary sources . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
85
14 Subgroup
87
87
88
88
88
14.4.1 12 elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
14.4.2 8 elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
14.4.3 6 elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
14.4.4 4 elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
14.4.5 3 elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
88
89
14.7 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
14.8 References
89
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15 Symmetry
90
15.1 In mathematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
15.1.1 In geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
15.1.2 In logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
92
92
15.2.1 In physics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
15.2.2 In biology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
15.2.3 In chemistry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
93
93
15.4.1 In architecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
93
15.4.3 In quilts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
94
94
15.4.5 In music . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
94
95
15.4.7 In aesthetics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
95
15.4.8 In literature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
95
95
15.6 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
95
15.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
95
96
97
CONTENTS
ix
16 Symmetry group
98
16.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
98
99
99
102
108
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
CONTENTS
18.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
18.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
18.3.1 Coordinate spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
18.3.2 Complex numbers and other eld extensions . . . . . . . . . . . . . . . . . . . . . . . . . 110
18.3.3 Function spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
18.3.4 Linear equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
18.4 Basis and dimension
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
126
CONTENTS
xi
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Chapter 1
Abelian group
For the group described by the archaic use of the related More compactly, an abelian group is a commutative
group. A group in which the group operation is not
term Abelian linear group, see Symplectic group.
commutative is called a non-abelian group or nonIn abstract algebra, an abelian group, also called a com- commutative group.
mutative group, is a group in which the result of applying the group operation to two group elements does
not depend on the order in which they are written (the 1.2
axiom of commutativity). Abelian groups generalize the
arithmetic of addition of integers. They are named after 1.2.1
Niels Henrik Abel.[1]
Facts
Notation
1.1 Denition
1.3 Examples
For the integers and the operation addition "+", denoted (Z, +), the operation + combines any two inte-
as the direct sum of cyclic subgroups of prime-power or- group can be used. Another special case is when n is arder. This is a special case of the fundamental theorem of bitrary but ei = 1 for 1 i n. Here, one is considering
nitely generated abelian groups when G has zero rank. P to be of the form
The cyclic group Zmn of order mn is isomorphic to the direct sum of Zm and Zn if and only if m and n are coprime.
It follows that any nite abelian group G is isomorphic to Zp Zp ,
a direct sum of the form
so elements of this subgroup can be viewed as comprising
a vector space of dimension n over the nite eld of p
u
elements Fp. The automorphisms of this subgroup are
Aut(P )
= GL(n, Fp ),
where GL is the appropriate general linear group. This is
easily shown to have order
1.6.2
Automorphisms
ck = min{r|er = ek }
One can apply the fundamental theorem to count (and then one has in particular dk k, ck k, and
sometimes determine) the automorphisms of a given nite abelian group G. To do this, one uses the fact that if
n
n
n
p
)
(p
)
(pei 1 )nci +1 .
order, then Aut(H K) Aut(H) Aut(K).
k=1
j=1
i=1
Given this, the fundamental theorem shows that to compute the automorphism group of G it suces to compute One can check that this yields the orders in the previous
the automorphism groups of the Sylow p-subgroups sep- examples as special cases (see [Hillar,Rhea]).
arately (that is, all direct sums of cyclic subgroups, each
with order a power of p). Fix a prime p and suppose the
exponents ei of the cyclic factors of the Sylow p-subgroup 1.7 Innite abelian groups
are arranged in increasing order:
he simplest innite abelian group is the innite cyclic
group Z. Any nitely generated abelian group A is isoe1 e2 en
morphic to the direct sum of r copies of Z and a nite
abelian group, which in turn is decomposable into a difor some n > 0. One needs to nd the automorphisms of
rect sum of nitely many cyclic groups of primary orders.
Even though the decomposition is not unique, the number r, called the rank of A, and the prime powers giving
Zpe1 Zpen .
the orders of nite cyclic summands are uniquely deterOne special case is when n = 1, so that there is only one mined.
cyclic prime-power factor in the Sylow p-subgroup P. In By contrast, classication of general innitely generated
this case the theory of automorphisms of a nite cyclic abelian groups is far from complete. Divisible groups, i.e.
abelian groups A in which the equation nx = a admits a solution x A for any natural number n and element a of A,
constitute one important class of innite abelian groups
that can be completely characterized. Every divisible
group is isomorphic to a direct sum, with summands isomorphic to Q and Prfer groups Qp/Zp for various prime
numbers p, and the cardinality of the set of summands of
each type is uniquely determined.[5] Moreover, if a divisible group A is a subgroup of an abelian group G then
A admits a direct complement: a subgroup C of G such
that G = A C. Thus divisible groups are injective modules in the category of abelian groups, and conversely, every injective abelian group is divisible (Baers criterion).
An abelian group without non-zero divisible subgroups is
called reduced.
1.7.1
Torsion groups
1.7.2
The classication theorems for nitely generated, divisible, countable periodic, and rank 1 torsion-free abelian
groups explained above were all obtained before 1950
and form a foundation of the classication of more general innite abelian groups. Important technical tools
used in classication of innite abelian groups are pure
and basic subgroups. Introduction of various invariants
of torsion-free abelian groups has been one avenue of further progress. See the books by Irving Kaplansky, Lszl
Fuchs, Phillip Grith, and David Arnold, as well as the
proceedings of the conferences on Abelian Group Theory published in Lecture Notes in Mathematics for more
recent results.
1.11 Notes
[1] Jacobson (2009), p. 41
[2] Rose 2012, p. 32
[3] Rose 2012, p. 48
[4] Rose 2012, p. 79
[5] For example, Q/Z p Qp/Zp.
[6] Countability assumption in the second Prfer theorem
cannot be removed: the torsion subgroup of the direct
product of the cyclic groups Z/pm Z for all natural m is
not a direct sum of cyclic groups.
[7] Abel Prize Awarded: The Mathematicians Nobel.
Archived from the original on 1 July 2013. Retrieved 3
July 2016.
1.12 References
Cox, David (2004). Galois Theory.
Interscience. MR 2119052.
Wiley-
Rose, John S. (2012). A Course on Group Theory. Dover Publications. ISBN 0-486-68194-7.
Unabridged and unaltered republication of a work
rst published by the Cambridge University Press,
Cambridge, England, in 1978.
Chapter 2
Category theory
study of monads in functional programming.
The arrows of category theory are often said to represent a process connecting two objects, or in many cases a
structure-preserving transformation connecting two objects. There are, however, many applications where much
more abstract concepts are represented by objects and
morphisms. The most important property of the arrows
is that they can be composed, in other words, arranged
in a sequence to form a new arrow.
2.3 Utility
2.3.1
The study of categories is an attempt to axiomatically capture what is commonly found in various classes of related
mathematical structures by relating them to the structurepreserving functions between them. A systematic study
of category theory then allows us to prove general results
about any of these types of mathematical structures from
the axioms of a category.
Consider the following example. The class Grp of groups
consists of all objects having a group structure. One
can proceed to prove theorems about groups by making
logical deductions from the set of axioms. For example,
it is immediately proven from the axioms that the identity
element of a group is unique.
Instead of focusing merely on the individual objects (e.g.,
groups) possessing a given structure, category theory emphasizes the morphisms the structure-preserving mappings between these objects; by studying these morphisms, we are able to learn more about the structure of
the objects. In the case of groups, the morphisms are
the group homomorphisms. A group homomorphism between two groups preserves the group structure in a precise sense it is a process taking one group to another,
in a way that carries along information about the structure of the rst group into the second group. The study
of group homomorphisms then provides a tool for studying general properties of groups and consequences of the
group axioms.
Abstracting yet again, some diagrammatic and/or sequential constructions are often naturally related a vague
notion, at rst sight. This leads to the clarifying concept
of natural transformation, a way to map one functor to
another. Many important constructions in mathematics
can be studied in this context. Naturality is a princiA similar type of investigation occurs in many mathemat- ple, like general covariance in physics, that cuts deeper
ical theories, such as the study of continuous maps (mor- than is initially apparent. An arrow between two functors
phisms) between topological spaces in topology (the as- is a natural transformation when it is subject to certain
sociated category is called Top), and the study of smooth naturality or commutativity conditions.
functions (morphisms) in manifold theory.
Functors and natural transformations ('naturality') are the
[5]
Not all categories arise as structure preserving (set) key concepts in category theory.
functions, however; the standard example is the category
of homotopies between pointed topological spaces.
If one axiomatizes relations instead of functions, one obtains the theory of allegories.
2.3.2
Functors
2.4.1 Categories
2.5. FUNCTORS
The expression hom(a, b) alternatively expressed as homC(a, b), mor(a, b), or C(a, b)
denotes the hom-class of all morphisms from a to b.
A binary operation , called composition of morphisms, such that for any three objects a, b, and c,
we have hom(b, c) hom(a, b) hom(a, c). The
composition of f : a b and g : b c is written as
g f or gf,[6] governed by two axioms:
Associativity: If f : a b, g : b c and h : c
d then h (g f) = (h g) f, and
9
f is a monomorphism and a retraction;
f is an epimorphism and a section;
f is an isomorphism.
2.5 Functors
Main article: Functor
Functors are structure-preserving maps between cate Identity: For every object x, there exists a mor- gories. They can be thought of as morphisms in the catephism 1x : x x called the identity morphism gory of all (small) categories.
for x, such that for every morphism f : a b,
A (covariant) functor F from a category C to a category
we have 1b f = f = f 1a.
D, written F : C D, consists of:
From the axioms, it can be proved
that there is exactly one identity
morphism for every object. Some
authors deviate from the denition
just given by identifying each object with its identity morphism.
2.4.2
Morphisms
Relations among morphisms (such as fg = h) are often depicted using commutative diagrams, with points A contravariant functor F: C D, is like a covariant
(corners) representing objects and arrows representing functor, except that it turns morphisms around (remorphisms.
verses all the arrows). More specically, every morMorphisms can have any of the following properties. A phism f : x y in C must be assigned to a morphism
F(f) : F(y) F(x) in D. In other words, a contravarimorphism f : a b is a:
ant functor acts as a covariant functor from the opposite
op
monomorphism (or monic) if f g1 = f g2 implies category C to D.
g1 = g2 for all morphisms g1 , g2 : x a.
epimorphism (or epic) if g1 f = g2 f implies g1
= g2 for all morphisms g1 , g2 : b x.
10
11
as a specic type of category with two additional topos
axioms. These foundational applications of category theory have been worked out in fair detail as a basis for, and
justication of, constructive mathematics. Topos theory
is a form of abstract sheaf theory, with geometric origins,
and leads to ideas such as pointless topology.
2.10 Notes
[1] Awodey, Steve (2010) [2006]. Category Theory. Oxford Logic Guides 49 (2nd ed.). Oxford University Press.
ISBN 978-0-19-923718-0.
12
Goldblatt, Robert (2006) [1979]. Topoi: The Categorial Analysis of Logic. Studies in logic and the
foundations of mathematics 94 (Reprint, revised
ed.). Dover Publications. ISBN 978-0-486-450261.
[4] Macedo, H.D.; Oliveira, J.N. (2013). Typing linear algebra: A biproduct-oriented approach. Science of Computer Programming 78 (11): 21602191.
doi:10.1016/j.scico.2012.07.012.
[5] Mac Lane 1998, p. 18: As Eilenberg-Mac Lane rst observed, 'category' has been dened in order to be able to
dene 'functor' and 'functor' has been dened in order to
be able to dene 'natural transformation'.
[6] Some authors compose in the opposite order, writing fg or
f g for g f. Computer scientists using category theory
very commonly write f ; g for g f
[7] Note that a morphism that is both epic and monic is not
necessarily an isomorphism! An elementary counterexample: in the category consisting of two objects A and B,
the identity morphisms, and a single morphism f from A
to B, f is both epic and monic but is not an isomorphism.
[8] Baez, J.C.; Stay, M. (2009). Physics, topology, logic and
computation: A Rosetta stone (PDF). arXiv:0903.0340.
2.11 References
Admek, Ji; Herrlich, Horst; Strecker, George E.
(1990). Abstract and concrete categories. John Wiley & Sons. ISBN 0-471-60922-6.
Barr, Michael; Wells, Charles (2012), Category Theory for Computing Science, Reprints in Theory and
Applications of Categories 22 (3rd ed.).
Barr, Michael; Wells, Charles (2005), Toposes,
Triples and Theories, Reprints in Theory and Applications of Categories 12 (revised ed.), MR
2178101.
Borceux, Francis (1994). Handbook of categorical
algebra. Encyclopedia of Mathematics and its Applications 50-52. Cambridge University Press.
Bucur, Ion; Deleanu, Aristide (1968). Introduction
to the theory of categories and functors. Wiley.
Herrlich, Horst; Strecker, George E. (2007), Category Theory (3rd ed.), Heldermann Verlag Berlin,
ISBN 978-3-88538-001-6.
Kashiwara, Masaki; Schapira, Pierre (2006).
Categories and Sheaves. Grundlehren der Mathematischen Wissenschaften 332. Springer. ISBN 9783-540-27949-5.
Lawvere, F. William; Rosebrugh, Robert (2003).
Sets for Mathematics. Cambridge University Press.
ISBN 978-0-521-01060-3.
Lawvere, F. W.; Schanuel, Stephen Hoel (2009)
[1997]. Conceptual Mathematics: A First Introduction to Categories (2nd ed.). Cambridge University
Press. ISBN 978-0-521-89485-2.
Leinster, Tom (2004). Higher operads, higher categories. London Math. Society Lecture Note Series 298. Cambridge University Press. ISBN 9780-521-53215-0.
Leinster, Tom (2014). Basic Category Theory.
Cambridge University Press.
Lurie, Jacob (2009). Higher topos theory. Annals of
Mathematics Studies 170. Princeton, NJ: Princeton
University Press. arXiv:math.CT/0608040. ISBN
978-0-691-14049-0. MR 2522659.
Mac Lane, Saunders (1998). Categories for the
Working Mathematician. Graduate Texts in Mathematics 5 (2nd ed.). Springer-Verlag. ISBN 0-38798403-8. MR 1712872.
Mac Lane, Saunders; Birkho, Garrett (1999)
[1967]. Algebra (2nd ed.). Chelsea. ISBN 0-82181646-2.
Martini, A.; Ehrig, H.; Nunes, D. (1996).
Elements of basic category theory. Technical Report (Technical University Berlin) 96 (5).
Guerino, Mazzola (2002). The Topos of Music, Geometric Logic of Concepts, Theory, and Performance.
Birkhuser. ISBN 3-7643-5731-2.
13
Marquis, Jean-Pierre. Category Theory. Stanford
Encyclopedia of Philosophy. with an extensive bibliography.
List of academic conferences on category theory
Baez, John (1996). The Tale of n-categories.
An informal introduction to higher order categories.
WildCats is a category theory package for
Mathematica. Manipulation and visualization of
objects, morphisms, categories, functors, natural
transformations, universal properties.
The catsterss channel on YouTube, a channel about
category theory.
Category Theory at PlanetMath.org.
Video archive of recorded talks relevant to categories, logic and the foundations of physics.
Interactive Web page which generates examples of
categorical constructions in the category of nite
sets.
Category Theory for the Sciences, an instruction on
category theory as a tool throughout the sciences.
Chapter 3
Field
This article is about elds in algebra. For elds in
geometry, see Vector eld. For other uses, see Field
(disambiguation).
In mathematics, a eld is one of the fundamental
algebraic structures used in abstract algebra. It is a
nonzero commutative division ring, or equivalently a
ring whose nonzero elements form an abelian group under multiplication. As such it is an algebraic structure
with notions of addition, subtraction, multiplication, and
division satisfying the appropriate abelian group equations and distributive law. The most commonly used
elds are the eld of real numbers, the eld of complex
numbers, and the eld of rational numbers, but there are
also nite elds, algebraic function elds, algebraic number elds, p-adic elds, and so forth.
15
The following example is a eld consisting of four elements called O, I, A and B. The notation is chosen such
that O plays the role of the additive identity element (denoted 0 in the axioms), and I is the multiplicative identity
(denoted 1 above). One can check that all eld axioms
Distributivity of multiplication over addition For all are satised. For example:
a, b and c in F, the following equality holds: a (b
+ c) = (a b) + (a c).
A (B + A) = A I = A, which equals A B + A
A = I + B = A, as required by the distributivity.
A eld is therefore an algebraic structure F, +, , , 1 ,
0, 1 ; of type 2, 2, 1, 1, 0, 0 , consisting of two abelian
The above eld is called a nite eld with four elements,
groups:
and can be denoted F4 . Field theory is concerned with
understanding the reasons for the existence of this eld,
F under +, , and 0;
dened in a fairly ad-hoc manner, and describing its inner
structure. For example, from a glance at the multiplica F {0} under , 1 , and 1, with 0 1,
tion table, it can be seen that any non-zero element (i.e.,
I, A, and B) is a power of A: A = A1 , B = A2 = A A, and
with distributing over +.[1]
nally I = A3 = A A A. This is not a coincidence, but
rather one of the starting points of a deeper understanding
of (nite) elds.
3.1.1
A simple example of a eld is the eld of rational numbers, consisting of numbers which can be written as
fractions a/b, where a and b are integers, and b 0. The
additive inverse of such a fraction is simply a/b, and the
multiplicative inverse (provided that a 0) is b/a. To see
the latter, note that
As with other algebraic structures, there exist alternative axiomatizations. Because of the relations between
the operations, one can alternatively axiomatize a eld
by explicitly assuming that there are four binary operations (add, subtract, multiply, divide) with axioms relating these, or (by functional decomposition) in terms of
b a
ba
two binary operations (add and multiply) and two unary
=
= 1.
a b
ab
operations (additive inverse and multiplicative inverse),
The abstractly required eld axioms reduce to stan- or other variants.
dard properties of rational numbers, such as the law of The usual axiomatization in terms of the two operations
distributivity
of addition and multiplication is brief and allows the other
operations to be dened in terms of these basic ones,
but in other contexts, such as topology and category the(
)
a
c
e
ory, it is important to include all operations as explicitly
+
given, rather than implicitly dened (compare topological
b
d f
group). This is because without further assumptions,
(
)
a
c f
e d
the implicitly dened inverses may not be continuous (in
=
+
topology),
or may not be able to be dened (in category
b
d f
f d
(
)
theory). Dening an inverse requires that one is working
a
cf
ed
a cf + ed
with a set, not a more general object.
=
+
=
b
df
fd
b
df
For a very economical axiomatization of the eld of real
acf
aed
ac ae
a(cf + ed)
numbers, whose primitives are merely a set R with 1 R,
=
+
=
+
=
bdf
bdf
bdf
bd bf
addition, and a binary relation, "<". See Tarskis axiomatization of the reals.
a e
a c
= + ,
b d
b f
or the law of commutativity and law of associativity.
3.1.2
Second example: a eld with four el- The axioms imposed above resemble the ones familiar
from other algebraic structures. For example, the exisements
tence of the binary operation "", together with its comIn addition to familiar number systems such as the ratio- mutativity, associativity, (multiplicative) identity element
nals, there are other, less immediate examples of elds. and inverses are precisely the axioms for an abelian group.
16
CHAPTER 3. FIELD
In other words, for any eld, the subset of nonzero elements F \ {0}, also often denoted F , is an abelian group
(F , ) usually called multiplicative group of the eld.
Likewise (F, +) is an abelian group. The structure of a
eld is hence the same as specifying such two group structures (on the same set), obeying the distributivity.
Ernst Steinitz published the very inuential paper Algebraische Theorie der Krper (English: Algebraic Theory of Fields).[8] In this paper he axiomatically studies
the properties of elds and denes many important eld
theoretic concepts like prime eld, perfect eld and the
transcendence degree of a eld extension.
Important other algebraic structures such as rings arise Emil Artin developed the relationship between groups
when requiring only part of the above axioms. For exam- and elds in great detail from 1928 through 1942.
ple, if the requirement of commutativity of the multiplication operation is dropped, one gets structures usually
called division rings or skew elds.
3.4 Examples
3.2.1
Remarks
By elementary group theory, applied to the abelian groups The eld of rational numbers Q has been introduced
(F , ), and (F, +), the additive inverse a and the multi- above. A related class of elds very important in number
theory are algebraic number elds. We will rst give an
plicative inverse a1 are uniquely determined by a.
example, namely the eld Q() consisting of numbers of
Similar direct consequences from the eld axioms include
the form
(a b) = (a) b = a (b), in particular a =
(1) a
as well as
a 0 = 0.
Both can be shown by replacing b or c with 0 in the distributive property.
a + b
with a, b Q, where is a primitive third root of unity,
i.e., a complex number satisfying 3 = 1, 1. This eld
extension can be used to prove a special case of Fermats
last theorem, which asserts the non-existence of rational
nonzero solutions to the equation
x3 + y3 = z3 .
3.3 History
numbers
3.4. EXAMPLES
17
where the operations are dened by performing the operation in the set of integers Z, dividing by p and taking the
remainder; see modular arithmetic. A eld K of characteristic p necessarily contains Fp,[9] and therefore may be
viewed as a vector space over Fp, of nite dimension if
K is nite. Thus a nite eld K has prime power order,
i.e., K has q = pn elements (where n > 0 is the number of
elements in a basis of K over Fp). By developing more
eld theory, in particular the notion of the splitting eld
of a polynomial f over a eld K, which is the smallest eld
containing K and all roots of f, one can show that two nite elds with the same number of elements are isomorphic, i.e., there is a one-to-one mapping of one eld onto
the other that preserves multiplication and addition. Thus
we may speak of the nite eld with q elements, usually
denoted by Fq or GF(q).
18
CHAPTER 3. FIELD
3.4.6
Field of functions
3.4.7
Another important distinction in the realm of elds, especially with regard to number theory, are local elds and
global elds. Local elds are completions of global elds
at a given place. For example, Q is a global eld, and
the attached local elds are Qp and R (Ostrowskis theorem). Algebraic number elds and function elds over
Fq are further global elds. Studying arithmetic questions
in global elds may sometimes be done by looking at the
corresponding questions locallythis technique is called
local-global principle.
The notion of eld extension lies at the heart of eld theory, and is crucial to many other algebraic domains. A
3.5 Some rst theorems
eld extension F / E is simply a eld F and a subeld E
F. Constructing such a eld extension F / E can be done
Every nite subgroup of the multiplicative group F
by adding new elements or adjoining elements to the
is cyclic. This applies in particular to Fq , it is
eld E. For example, given a eld E, the set F = E(X) of
cyclic of order q 1. In the introductory example,
rational functions, i.e., equivalence classes of expressions
Closure operations
In the above two cases, the added symbol X and its powers
did not interact with elements of E. It is possible however
19
3.6.4 Ultraproducts
If I is an index set, U is an ultralter on I, and Fi is a eld
for every i in I, the ultraproduct of the Fi with respect to
U is a eld.
For example, a non-principal ultraproduct of nite elds
is a pseudo nite eld; i.e., a PAC eld having exactly one
extension of any degree.
20
CHAPTER 3. FIELD
3.8 Generalizations
Finite elds are used in number theory, Galois theory, cryptography, coding theory and combinatorics; and
There are also proper classes with eld structure, which again the notion of algebraic extension is an important
tool.
are sometimes called Fields, with a capital F:
The surreal numbers form a Field containing the reals, and would be a eld except for the fact that they
are a proper class, not a set.
The nimbers form a Field. The set of nimbers with
n
birthday smaller than 22 , the nimbers with birthday
smaller than any innite cardinal are all examples of
elds.
In a dierent direction, dierential elds are elds
equipped with a derivation. For example, the eld
R(X), together with the standard derivative of polynomials forms a dierential eld. These elds are central to
dierential Galois theory. Exponential elds, meanwhile,
are elds equipped with an exponential function that provides a homomorphism between the additive and multiplicative groups within the eld. The usual exponential
function makes the real and complex numbers exponential elds, denoted R and C respectively.
Generalizing in a more categorical direction yields the
eld with one element and related objects.
3.8.1
Exponentiation
3.9 Applications
The concept of a eld is of use, for example, in dening vectors and matrices, two structures in linear algebra
whose components can be elements of an arbitrary eld.
3.11 Notes
[1] That is, the axiom for addition only assumes a binary operation + : F F F, a, b 7 a + b. The axiom of inverse
allows one to dene a unary operation : F F a 7 a
that sends an element to its negative (its additive inverse);
this is not taken as given, but is implicitly dened in terms
of addition as " a is the unique b such that a + b = 0
", implicitly because it is dened in terms of solving
an equationand one then denes the binary operation
of subtraction, also denoted by "", as : F F F,
a, b 7 a b := a + (b) in terms of addition and additive
inverse. In the same way, one denes the binary operation
of division in terms of the assumed binary operation of
multiplication and the implicitly dened operation of reciprocal (multiplicative inverse).
[2] As an inverse limit of nite discrete groups, it is equipped
with the pronite topology, making it a pronite topological group
3.12 References
[1] Wallace, D A R (1998) Groups, Rings, and Fields, SUMS.
Springer-Verlag: 151, Th. 2.
[2] Karl Georg Christian v. Staudt, Beitrge zur Geometrie
der Lage (Contributions to the Geometry of Position), volume 2 (Nrnberg, (Germany): Bauer and Raspe, 1857).
See: Summen von Wrfen (sums of throws), pp. 166171 ; Produckte aus Wrfen (products of throws), pp.
171-176 ; Potenzen von Wrfen (powers of throws), pp.
176-182.
[3] Peter Gustav Lejeune Dirichlet with R. Dedekind, Vorlesungen ber Zahlentheorie von P. G. Lejeune Dirichlet
(Lectures on Number Theory by P.G. Lejeune Dirichlet),
2nd ed., volume 1 (Braunschweig, Germany: Friedrich
Vieweg und Sohn, 1871), p. 424. From page 424: Unter
einem Krper wollen wir jedes System von unendlich vielen reellen oder complexen Zahlen verstehen, welches in
sich so abgeschlossen und vollstndig ist, dass die Addition, Subtraction, Multiplication und Division von je zwei
dieser Zahlen immer wieder eine Zahl desselben Systems
hervorbringt. (By a eld we will understand any system of innitely many real or complex numbers, which
is so closed and complete that the addition, subtraction,
multiplication, and division of any two of these numbers
always again produces a number of the same system.)
[4] J J O'Connor and E F Robertson, The development of Ring
Theory, September 2004.
[5] Moore, E. Hastings (1893), A doubly-innite system
of simple groups, Bulletin of the New York Mathematical Society 3 (3): 7378, doi:10.1090/S0002-9904-189300178-X, JFM 25.0198.01. From page 75: Such a system of s marks [i.e., a nite eld with s elements] we call
a eld of order s.
[6] Earliest Known Uses of Some of the Words of Mathematics
(F)
[7] Fricke, Robert; Weber, Heinrich Martin (1924), Lehrbuch
der Algebra, Vieweg, JFM 50.0042.03
[8] Steinitz, Ernst (1910), Algebraische Theorie der Krper, Journal fr die reine und angewandte Mathematik
137: 167309, doi:10.1515/crll.1910.137.167, ISSN
0075-4102, JFM 41.0445.03
[9] Jacobson (2009), p. 213
[10] Jacobson (2009), p. 213
3.13 Sources
Artin, Michael (1991), Algebra, Prentice Hall, ISBN
978-0-13-004763-2, especially Chapter 13
Allenby, R.B.J.T. (1991), Rings, Fields and Groups,
Butterworth-Heinemann, ISBN 978-0-340-544402
Blyth, T.S.; Robertson, E. F. (1985), Groups, rings
and elds: Algebra through practice, Cambridge
University Press. See especially Book 3 (ISBN 0521-27288-2) and Book 6 (ISBN 0-521-27291-2).
Jacobson, Nathan (2009), Basic algebra 1 (2nd ed.),
Dover, ISBN 978-0-486-47189-1
James Ax (1968), The elementary theory of nite
elds, Ann. of Math. (2), 88, 239271
21
Chapter 4
Galois group
Aut(R/Q) is trivial. Indeed, it can be shown that
any automorphism of R must preserve the ordering
of the real numbers and hence must be the identity.
4.1 Denition
Suppose that E is an extension of the eld F (written as
E/F and read E over F). An automorphism of E/F is
dened to be an automorphism of E that xes F pointwise. In other words, an automorphism of E/F is an
isomorphism from E to E such that (x) = x for each x
in F. The set of all automorphisms of E/F forms a group
with the operation of function composition. This group
is sometimes denoted by Aut(E/F).
4.2 Examples
4.5 Notes
[1] Some authors refer to Aut(E/F) as the Galois group for
arbitrary extensions E/F and use the corresponding notation, e.g. Jacobson 2009.
[2] Cooke, Roger L. (2008), Classical Algebra: Its Nature,
Origins, and Uses, John Wiley & Sons, p. 138, ISBN
9780470277973.
4.6 References
Jacobson, Nathan (2009) [1985], Basic algebra I
(Second ed.), Dover Publications, ISBN 978-0-48647189-1
Lang, Serge (2002), Algebra, Graduate Texts in
Mathematics 211 (Revised third ed.), New York:
Springer-Verlag, ISBN 978-0-387-95385-4, MR
1878556
23
Chapter 5
Group
This article is about basic notions of groups in mathemat- changed and the operation of combining two such transics. For a more advanced treatment, see Group theory.
formations by performing one after the other. Lie groups
In mathematics, a group is an algebraic structure con- are the symmetry groups used in the Standard Model
of particle physics; Poincar groups, which are also Lie
groups, can express the physical symmetry underlying
special relativity; and Point groups are used to help understand symmetry phenomena in molecular chemistry.
The concept of a group arose from the study of
polynomial equations, starting with variste Galois in
the 1830s. After contributions from other elds such
as number theory and geometry, the group notion was
generalized and rmly established around 1870. Modern group theoryan active mathematical discipline
studies groups in their own right.a[] To explore groups,
mathematicians have devised various notions to break
groups into smaller, better-understandable pieces, such
as subgroups, quotient groups and simple groups. In addition to their abstract properties, group theorists also
study the dierent ways in which a group can be expressed concretely (its group representations), both from
a theoretical and a computational point of view. A theory
has been developed for nite groups, which culminated
with the classication of nite simple groups, completed
The manipulations of this Rubiks Cube form the Rubiks Cube in 2004.aa[] Since the mid-1980s, geometric group thegroup.
ory, which studies nitely generated groups as geometric
objects, has become a particularly active area in group
sisting of a set of elements equipped with an operation
theory.
that combines any two elements to form a third element. The operation satises four conditions called the
group axioms, namely closure, associativity, identity and
invertibility. One of the most familiar examples of a 5.1 Denition and illustration
group is the set of integers together with the addition operation, but the abstract formalization of the group ax- 5.1.1 First example: the integers
ioms, detached as it is from the concrete nature of any
particular group and its operation, applies much more One of the most familiar groups is the set of integers Z
widely. It allows entities with highly diverse mathemati- which consists of the numbers
cal origins in abstract algebra and beyond to be handled
in a exible way while retaining their essential structural
..., 4, 3, 2, 1, 0, 1, 2, 3, 4, ...,[3] together
aspects. The ubiquity of groups in numerous areas within
with addition.
and outside mathematics makes them a central organizing
principle of contemporary mathematics.[1][2]
The following properties of integer addition serve as a
Groups share a fundamental kinship with the notion of model for the abstract group axioms given in the denition
symmetry. For example, a symmetry group encodes sym- below.
metry features of a geometrical object: the group consists of the set of transformations that leave the object un For any two integers a and b, the sum a + b is also
24
25
5.1.2
Denition
26
CHAPTER 5. GROUP
the group operation is function composition.[7] Two symmetries are combined by composing them as functions,
that is, applying the rst one to the square, and the second one to the result of the rst application. The result of
performing rst a and then b is written symbolically from
right to left as
b a (apply the symmetry b after performing
the symmetry a").
The right-to-left notation is the same notation that is used
for composition of functions.
The group table on the right lists the results of all such
compositions possible. For example, rotating by 270
clockwise (r3 ) and then reecting horizontally (f ) is the
same as performing a reection along the diagonal (f ).
Using the above symbols, highlighted in blue in the group
table:
f r3 = f .
3. The identity element is the symmetry id leaving everything unchanged: for any symmetry a, performing id after a (or a after id) equals a, in symbolic
form,
id a = a,
a id = a.
4. An inverse element undoes the transformation of
some other element. Every symmetry can be
undone: each of the following transformations
identity id, the reections f , f, f , f and the 180
rotation r2 is its own inverse, because performing
it twice brings the square back to its original orientation. The rotations r3 and r1 are each others inverses, because rotating 90 and then rotation 270
(or vice versa) yields a rotation over 360 which
leaves the square unchanged. In symbols,
f f = id,
r3 r1 = r1 r3 = id.
5.2 History
i.e. rotating 270 clockwise after reecting horiMain article: History of group theory
zontally equals reecting along the counter-diagonal
(f ). Indeed every other combination of two symmetries still gives a symmetry, as can be checked using The modern concept of an abstract group developed out
of several elds of mathematics.[8][9][10] The original mothe group table.
tivation for group theory was the quest for solutions of
2. The associativity constraint deals with composing polynomial equations of degree higher than 4. The 19thmore than two symmetries: Starting with three el- century French mathematician variste Galois, extendements a, b and c of D4 , there are two possible ways ing prior work of Paolo Runi and Joseph-Louis Laof using these three symmetries in this order to de- grange, gave a criterion for the solvability of a particutermine a symmetry of the square. One of these lar polynomial equation in terms of the symmetry group
ways is to rst compose a and b into a single sym- of its roots (solutions). The elements of such a Galois
metry, then to compose that symmetry with c. The group correspond to certain permutations of the roots. At
other way is to rst compose b and c, then to com- rst, Galois ideas were rejected by his contemporaries,
pose the resulting symmetry with a. The associativ- and published only posthumously.[11][12] More general
ity condition
permutation groups were investigated in particular by
Augustin Louis Cauchy. Arthur Cayley's On the the(a b) c = a (b c)
ory of groups, as depending on the symbolic equation n
means that these two ways are the same, i.e., a prod- = 1 (1854) gives the rst abstract denition of a nite
uct of many group elements can be simplied in any group.[13]
grouping. For example, (f f) r2 = f (f r2 ) Geometry was a second eld in which groups were used
can be checked using the group table at the right
systematically, especially symmetry groups as part of
While associativity is true for the symmetries of the
square and addition of numbers, it is not true for all
operations. For instance, subtraction of numbers is
not associative: (7 3) 2 = 2 is not the same as 7
(3 2) = 6.
Felix Klein's 1872 Erlangen program.[14] After novel geometries such as hyperbolic and projective geometry had
emerged, Klein used group theory to organize them in
a more coherent way. Further advancing these ideas,
Sophus Lie founded the study of Lie groups in 1884.[15]
27
actually two-sided, so the resulting denition is equivalent
to the one given above.[26]
The two extremal terms b and c are equal, since they are
connected by a chain of equalities. In other words, there
is only one inverse element of a. Similarly, to prove that
the identity element of a group is unique, assume G is a
group with two identity elements e and f. Then e = e f
The University of Chicago's 196061 Group Theory Year = f, hence e and f are equal.
brought together group theorists such as Daniel Gorenstein, John G. Thompson and Walter Feit, laying the foundation of a collaboration that, with input from numerous 5.3.2 Division
other mathematicians, led to the classication of nite
simple groups, with the nal step taken by Aschbacher In groups, the invertibility of the group action means that
and Smith in 2004. This project exceeded previous math- division is possible: given elements a and b of the group
is exactly one solution x in G to the equation x
ematical endeavours by its sheer size, in both length of G, there
[27]
a
=
b.
In fact, right multiplication of the equation by
proof and number of researchers. Research is ongoing 1
a
gives
the
solution x = x a a1 = b a1 . Similarly
[23]
to simplify the proof of this classication. These days,
solution y in G to the equation a y =
group theory is still a highly active mathematical branch, there is exactly one
1
b,
namely
y
=
a
28
CHAPTER 5. GROUP
underlying all of the following notions: to take advantage of the structure oered by groups (which sets, being structureless, do not have), constructions related to
groups have to be compatible with the group operation.
This compatibility manifests itself in the following notions in various ways. For example, groups can be related to each other via functions called group homomorphisms. By the mentioned principle, they are required to
respect the group structures in a precise sense. The structure of groups can also be understood by breaking them
into pieces called subgroups and quotient groups. The
principle of preserving structuresa recurring topic in
mathematics throughoutis an instance of working in a
category, in this case the category of groups.[28]
In the example above, the identity and the rotations constitute a subgroup R = {id, r1 , r2 , r3 }, highlighted in red
in the group table above: any two rotations composed are
still a rotation, and a rotation can be undone by (i.e. is inverse to) the complementary rotations 270 for 90, 180
for 180, and 90 for 270 (note that rotation in the opposite direction is not dened). The subgroup test is a
necessary and sucient condition for a nonempty subset H of a group G to be a subgroup: it is sucient to
check that g1 h H for all elements g, h H. Knowing
the subgroups is important in understanding the group as
a whole.d[]
29
similarly for any element other than f . (In fact, in the surjective maps (every element of the target is mapped
case of D4 , observe that all such cosets are equal, such onto), such as the canonical map G G / N.y[] Interthat f R = fR = f R = f R.)
preting subgroup and quotients in light of these homomorphisms emphasizes the structural concept inherent to
these denitions alluded to in the introduction. In gen5.4.4 Quotient groups
eral, homomorphisms are neither injective nor surjective.
Kernel and image of group homomorphisms and the rst
Main article: Quotient group
isomorphism theorem address this phenomenon.
In some situations the set of cosets of a subgroup can be
endowed with a group law, giving a quotient group or fac- 5.5 Examples and applications
tor group. For this to be possible, the subgroup has to
be normal. Given any normal subgroup N, the quotient
Main articles: Examples of groups and Applications of
group is dened by
group theory
G / N = {gN, g G}, "G modulo N".[34]
This set inherits a group operation (sometimes called
coset multiplication, or coset addition) from the original
group G: (gN) (hN) = (gh)N for all g and h in G. This
denition is motivated by the idea (itself an instance of
general structural considerations outlined above) that the
map G G / N that associates to any element g its coset
gN be a group homomorphism, or by general abstract
considerations called universal properties. The coset eN
= N serves as the identity in this group, and the inverse
of gN in the quotient group is (gN)1 = (g1 )N.e[]
The elements of the quotient group D4 / R are R itself,
which represents the identity, and U = fR. The group operation on the quotient is shown at the right. For example,
U U = fR fR = (f f)R = R. Both the subgroup R
= {id, r1 , r2 , r3 }, as well as the corresponding quotient
are abelian, whereas D4 is not abelian. Building bigger
groups by smaller ones, such as D4 from its subgroup R
and the quotient D4 / R is abstracted by a notion called
semidirect product.
Quotient groups and subgroups together form a way of
describing every group by its presentation: any group is
the quotient of the free group over the generators of the
group, quotiented by the subgroup of relations. The dihedral group D4 , for example, can be generated by two elements r and f (for example, r = r1 , the right rotation and
f = f the vertical (or any other) reection), which means
that every symmetry of the square is a nite composition
of these two symmetries or their inverses. Together with
the relations
r4=f
= (r f)2 = 1,[35]
A periodic wallpaper
pattern gives rise to a wallpaper group.
The
fundamental
group of a plane minus a point (bold) consists of loops
around the missing point. This group is isomorphic to
the integers.
Examples and applications of groups abound. A starting point is the group Z of integers with addition as
group operation, introduced above. If instead of addition
multiplication is considered, one obtains multiplicative
groups. These groups are predecessors of important constructions in abstract algebra.
30
CHAPTER 5. GROUP
ample, elements of the fundamental group are represented by loops. The second image at the right shows
some loops in a plane minus a point. The blue loop is
considered null-homotopic (and thus irrelevant), because
it can be continuously shrunk to a point. The presence of
the hole prevents the orange loop from being shrunk to a
point. The fundamental group of the plane with a point
deleted turns out to be innite cyclic, generated by the
orange loop (or any other loop winding once around the
hole). This way, the fundamental group detects the hole.
a
.
b
The rational numbers (including 0) also form a group under addition. Intertwining addition and multiplication operations yields more complicated structures called rings
andif division is possible, such as in Qelds, which
occupy a central position in abstract algebra. Group theoretic arguments therefore underlie parts of the theory of
those entities.n[]
5.5.1
Numbers
Integers
The group of integers Z under addition, denoted (Z, +),
has been described above. The integers, with the operation of multiplication instead of addition, (Z, ) do not
form a group. The closure, associativity and identity axioms are satised, but inverses do not exist: for example,
a = 2 is an integer, but the only solution to the equation a
b = 1 in this case is b = 1/2, which is a rational number,
but not an integer. Hence not every element of Z has a
(multiplicative) inverse.k[]
Rationals
+4h
9
The hours on a clock form a group that uses addition modulo 12.
Here 9 + 4 = 1.
31
z =1
16 1 (mod 5).
The primality of p ensures that the product of two integers neither of which is divisible by p is not divisible by p
4
5
either, hence the indicated set of classes is closed under
o[]
multiplication. The identity element is 1, as usual for
a multiplicative group, and the associativity follows from
The 6th complex roots of unity form a cyclic group. z is a primithe corresponding property of integers. Finally, the intive element, but z2 is not, because the odd powers of z are not a
verse element axiom requires that given an integer a not power of z2 .
divisible by p, there exists an integer b such that
32
tions and their solutions.[47] Conceptually, group theory can be thought of as the study of symmetry.t[]
Symmetries in mathematics greatly simplify the study of
geometrical or analytical objects. A group is said to act
on another mathematical object X if every group element
performs some operation on X compatibly to the group
law. In the rightmost example below, an element of order
7 of the (2,3,7) triangle group acts on the tiling by permuting the highlighted warped triangles (and the other ones,
too). By a group action, the group pattern is connected to
the structure of the object being acted on.
CHAPTER 5. GROUP
called soft phonon mode, a vibrational lattice mode that
goes to zero frequency at the transition.[51]
Such spontaneous symmetry breaking has found further application in elementary particle physics, where
its occurrence is related to the appearance of Goldstone
bosons.
Finite symmetry groups such as the Mathieu groups are
used in coding theory, which is in turn applied in error
correction of transmitted data, and in CD players.[52] Another application is dierential Galois theory, which characterizes functions having antiderivatives of a prescribed
form, giving group-theoretic criteria for when solutions
of certain dierential equations are well-behaved.u[] Geometric properties that remain stable under group actions
are investigated in (geometric) invariant theory.[53]
Two vectors (the left illustration) multiplied by matrices (the middle and right illustrations). The middle illustration represents a
clockwise rotation by 90, while the right-most one stretches the
x-coordinate by factor 2.
multiplication. The general linear group GL(n, R) consists of all invertible n-by-n matrices with real entries.[54]
Its subgroups are referred to as matrix groups or linear
groups. The dihedral group example mentioned above
can be viewed as a (very small) matrix group. Another
important matrix group is the special orthogonal group
SO(n). It describes all possible rotations in n dimensions.
Via Euler angles, rotation matrices are used in computer
graphics.[55]
Representation theory is both an application of the group
concept and important for a deeper understanding of
groups.[56][57] It studies the group by its group actions on
other spaces. A broad class of group representations are
linear representations, i.e. the group is acting on a vector
space, such as the three-dimensional Euclidean space R3 .
A representation of G on an n-dimensional real vector
space is simply a group homomorphism
Likewise, group theory helps predict the changes in physical properties that occur when a material undergoes a
phase transition, for example, from a cubic to a tetrahedral crystalline form. An example is ferroelectric materials, where the change from a paraelectric to a ferroelectric
: G GL(n, R)
state occurs at the Curie temperature and is related to a
change from the high-symmetry paraelectric state to the
lower symmetry ferroelectric state, accompanied by a so- from the group to the general linear group. This way, the
33
group operation, which may be abstractly given, translates rem). Parallel to the group of symmetries of the square
to the multiplication of matrices making it accessible to above, S3 can also be interpreted as the group of symmeexplicit computations.w[]
tries of an equilateral triangle.
Given a group action, this gives further means to study the
object being acted on.x[] On the other hand, it also yields
information about the group. Group representations are
an organizing principle in the theory of nite groups, Lie
groups, algebraic groups and topological groups, especially (locally) compact groups.[56][58]
a
a},
| {z
nfactors
b b2 4ac
x=
.
The dihedral group (discussed above) is a nite group of
2a
order 8. The order of r1 is 4, as is the order of the subExchanging "+" and "" in the expression, i.e. permut- group R it generates (see above). The order of the reing the two solutions of the equation can be viewed as ection elements f etc. is 2. Both orders divide 8, as
a (very simple) group operation. Similar formulae are predicted by Lagranges theorem. The groups Fp above
known for cubic and quartic equations, but do not exist have order p 1.
in general for degree 5 and higher.[61] Abstract properties
of Galois groups associated with polynomials (in particular their solvability) give a criterion for polynomials that 5.6.1 Classication of nite simple groups
have all their solutions expressible by radicals, i.e. solutions expressible using solely addition, multiplication, Main article: Classication of nite simple groups
and roots similar to the formula above.[62]
5.5.6
Galois groups
The problem can be dealt with by shifting to eld theory and considering the splitting eld of a polynomial.
Modern Galois theory generalizes the above type of Galois groups to eld extensions and establishesvia the
fundamental theorem of Galois theorya precise relationship between elds and groups, underlining once
again the ubiquity of groups in mathematics.
34
CHAPTER 5. GROUP
5.7.1
Topological groups
zw
f (x) dx =
f (x + c) dx
z
0
Lie groups (in honor of Sophus Lie) are groups which also
have a manifold structure, i.e. they are spaces looking
locally like some Euclidean space of the appropriate
dimension.[71] Again, the additional structure, here the
manifold structure, has to be compatible, i.e. the maps
corresponding to multiplication and the inverse have to
be smooth.
A standard example is the general linear group introduced
above: it is an open subset of the space of all n-by-n matrices, because it is given by the inequality
det (A) 0,
where A denotes an n-by-n matrix.[72]
5.10. NOTES
35
5.8 Generalizations
5.10 Notes
36
considered. See Kuga 1993, pp. 105113.
^ v: See Schwarzschild metric for an example where
symmetry greatly reduces the complexity of physical
systems.
^ w: This was crucial to the classication of nite simple
groups, for example. See Aschbacher 2004.
^ x: See, for example, Schurs Lemma for the impact
of a group action on simple modules. A more involved
example is the action of an absolute Galois group on
tale cohomology.
^ y: Injective and surjective maps correspond to monoand epimorphisms, respectively. They are interchanged
when passing to the dual category.
CHAPTER 5. GROUP
5.11 Citations
[38] for example, class groups and Picard groups; see Neukirch
1999, in particular I.12 and I.13
[39] Seress 1997
[49] Bersuker, Isaac (2006), The Jahn-Teller Eect, Cambridge University Press, p. 2, ISBN 0-521-82212-2
5.12. REFERENCES
37
Herstein, Israel Nathan (1996), Abstract algebra
(3rd ed.), Upper Saddle River, NJ: Prentice Hall
Inc., ISBN 978-0-13-374562-7, MR 1375019.
Herstein, Israel Nathan (1975), Topics in algebra
(2nd ed.), Lexington, Mass.: Xerox College Publishing, MR 0356988.
Lang, Serge (2002), Algebra, Graduate Texts in
Mathematics 211 (Revised third ed.), New York:
Springer-Verlag, ISBN 978-0-387-95385-4, MR
1878556
Lang, Serge (2005), Undergraduate Algebra (3rd
ed.), Berlin, New York: Springer-Verlag, ISBN
978-0-387-22025-3.
Ledermann, Walter (1953), Introduction to the theory of nite groups, Oliver and Boyd, Edinburgh and
London, MR 0054593.
Ledermann, Walter (1973), Introduction to group
theory, New York: Barnes and Noble, OCLC
795613.
Robinson, Derek John Scott (1996), A course in
the theory of groups, Berlin, New York: SpringerVerlag, ISBN 978-0-387-94461-6.
5.12 References
5.12.1
General references
38
Conway, John Horton; Delgado Friedrichs, Olaf;
Huson, Daniel H.; Thurston, William P. (2001),
On three-dimensional space groups, Beitrge
zur Algebra und Geometrie 42 (2): 475507,
arXiv:math.MG/9911185, MR 1865535.
Coornaert, M.; Delzant, T.; Papadopoulos, A.
(1990), Gomtrie et thorie des groupes [Geometry
and Group Theory], Lecture Notes in Mathematics (in French) 1441, Berlin, New York: SpringerVerlag, ISBN 978-3-540-52977-4, MR 1075994.
Denecke, Klaus; Wismath, Shelly L. (2002), Universal algebra and applications in theoretical computer science, London: CRC Press, ISBN 978-158488-254-1.
Dudek, W.A. (2001), On some old problems in
n-ary groups, Quasigroups and Related Systems 8:
1536.
Frucht, R. (1939), Herstellung von Graphen mit
vorgegebener abstrakter Gruppe [Construction of
Graphs with Prescribed Group]", Compositio Mathematica (in German) 6: 23950.
Goldstein, Herbert (1980), Classical Mechanics
(2nd ed.), Reading, MA: Addison-Wesley Publishing, pp. 588596, ISBN 0-201-02918-9.
Hatcher, Allen (2002), Algebraic topology,
Cambridge University Press, ISBN 978-0-52179540-1.
Husain, Taqdir (1966), Introduction to Topological Groups, Philadelphia: W.B. Saunders Company,
ISBN 978-0-89874-193-3
Jahn, H.; Teller, E. (1937), Stability of
Polyatomic Molecules in Degenerate Electronic States.
I. Orbital Degeneracy,
Proceedings of the Royal Society A 161 (905):
220235,
Bibcode:1937RSPSA.161..220J,
doi:10.1098/rspa.1937.0142.
Kuipers, Jack B. (1999), Quaternions and rotation sequencesA primer with applications to orbits,
aerospace, and virtual reality, Princeton University
Press, ISBN 978-0-691-05872-6, MR 1670862.
Kuga, Michio (1993), Galois dream: group theory
and dierential equations, Boston, MA: Birkhuser
Boston, ISBN 978-0-8176-3688-3, MR 1199112.
Kurzweil, Hans; Stellmacher, Bernd (2004), The
theory of nite groups, Universitext, Berlin, New
York: Springer-Verlag, ISBN 978-0-387-40510-0,
MR 2014408.
Lay, David (2003), Linear Algebra and Its Applications, Addison-Wesley, ISBN 978-0-201-70970-4.
CHAPTER 5. GROUP
Mac Lane, Saunders (1998), Categories for the
Working Mathematician (2nd ed.), Berlin, New
York: Springer-Verlag, ISBN 978-0-387-98403-2.
Michler, Gerhard (2006), Theory of nite simple
groups, Cambridge University Press, ISBN 978-0521-86625-5.
Milne, James S. (1980), tale cohomology, Princeton University Press, ISBN 978-0-691-08238-7
Mumford, David; Fogarty, J.; Kirwan, F. (1994),
Geometric invariant theory 34 (3rd ed.), Berlin, New
York: Springer-Verlag, ISBN 978-3-540-56963-3,
MR 1304906.
Naber, Gregory L. (2003), The geometry of
Minkowski spacetime, New York: Dover Publications, ISBN 978-0-486-43235-9, MR 2044239.
Neukirch, Jrgen (1999), Algebraic Number Theory,
Grundlehren der mathematischen Wissenschaften
322, Berlin: Springer-Verlag, ISBN 978-3-54065399-8, Zbl 0956.11021, MR 1697859.
Romanowska, A.B.; Smith, J.D.H. (2002), Modes,
World Scientic, ISBN 978-981-02-4942-7.
Ronan, Mark (2007), Symmetry and the Monster:
The Story of One of the Greatest Quests of Mathematics, Oxford University Press, ISBN 978-0-19280723-6.
Rosen, Kenneth H. (2000), Elementary number theory and its applications (4th ed.), Addison-Wesley,
ISBN 978-0-201-87073-2, MR 1739433.
Rudin, Walter (1990), Fourier Analysis on Groups,
Wiley Classics, Wiley-Blackwell, ISBN 0-47152364-X.
Seress, kos (1997), An introduction to computational group theory, Notices of the American Mathematical Society 44 (6): 671679, MR 1452069.
Serre, Jean-Pierre (1977), Linear representations of
nite groups, Berlin, New York: Springer-Verlag,
ISBN 978-0-387-90190-9, MR 0450380.
Shatz, Stephen S. (1972), Pronite groups, arithmetic, and geometry, Princeton University Press,
ISBN 978-0-691-08017-8, MR 0347778
Suzuki, Michio (1951), On the lattice of subgroups of nite groups, Transactions of the
American Mathematical Society 70 (2): 345371,
doi:10.2307/1990375, JSTOR 1990375.
Warner, Frank (1983), Foundations of Dierentiable Manifolds and Lie Groups, Berlin, New York:
Springer-Verlag, ISBN 978-0-387-90894-6.
5.12. REFERENCES
Weinberg, Steven (1972), Gravitation and Cosmology, New York: John Wiley & Sons, ISBN 0-47192567-5.
Welsh, Dominic (1989), Codes and cryptography,
Oxford: Clarendon Press, ISBN 978-0-19-8532873.
Weyl, Hermann (1952), Symmetry, Princeton University Press, ISBN 978-0-691-02374-8.
5.12.3
Historical references
39
Smith, David Eugene (1906), History of Modern
Mathematics, Mathematical Monographs, No. 1.
Wussing, Hans (2007), The Genesis of the Abstract
Group Concept: A Contribution to the History of the
Origin of Abstract Group Theory, New York: Dover
Publications, ISBN 978-0-486-45868-7.
Chapter 6
Group theory
This article covers advanced notions. For basic topics,
see Group (mathematics).
For group theory in social sciences, see social group.
In mathematics and abstract algebra, group theory
40
6.1.3
41
importance for the development of mathematics: it foreshadowed the creation of abstract algebra in the works of
Hilbert, Emil Artin, Emmy Noether, and mathematicians
of their school.
Transformation groups
An important elaboration of the concept of a group occurs if G is endowed with additional structure, notably, of
Permutation groups and matrix groups are special cases a topological space, dierentiable manifold, or algebraic
of transformation groups: groups that act on a certain variety. If the group operations m (multiplication) and i
space X preserving its inherent structure. In the case of (inversion),
permutation groups, X is a set; for matrix groups, X is
a vector space. The concept of a transformation group
is closely related with the concept of a symmetry group: m : G G G, (g, h) 7 gh, i : G G, g 7 g 1 ,
transformation groups frequently consist of all transformations that preserve a certain structure.
are compatible with this structure, i.e. are continuous,
The theory of transformation groups forms a bridge con- smooth or regular (in the sense of algebraic geometry)
necting group theory with dierential geometry. A long maps, then G becomes a topological group, a Lie group,
[2]
line of research, originating with Lie and Klein, consid- or an algebraic group.
ers group actions on manifolds by homeomorphisms or The presence of extra structure relates these types of
dieomorphisms. The groups themselves may be discrete groups with other mathematical disciplines and means
or continuous.
that more tools are available in their study. Topological
groups form a natural domain for abstract harmonic analysis, whereas Lie groups (frequently realized as transfor6.1.4 Abstract groups
mation groups) are the mainstays of dierential geometry and unitary representation theory. Certain classicaMost groups considered in the rst stage of the develop- tion questions that cannot be solved in general can be apment of group theory were concrete, having been real- proached and resolved for special subclasses of groups.
ized through numbers, permutations, or matrices. It was Thus, compact connected Lie groups have been comnot until the late nineteenth century that the idea of an pletely classied. There is a fruitful relation between inabstract group as a set with operations satisfying a certain nite abstract groups and topological groups: whenever
system of axioms began to take hold. A typical way of a group can be realized as a lattice in a topological
specifying an abstract group is through a presentation by group G, the geometry and analysis pertaining to G yield
generators and relations,
important results about . A comparatively recent trend
in the theory of nite groups exploits their connections
with compact topological groups (pronite groups): for
G = S|R.
example, a single p-adic analytic group G has a family of
quotients which are nite p-groups of various orders, and
A signicant source of abstract groups is given by the properties of G translate into the properties of its nite
construction of a factor group, or quotient group, G/H, quotients.
of a group G by a normal subgroup H. Class groups of
algebraic number elds were among the earliest examples of factor groups, of much interest in number theory.
6.2 Branches of group theory
If a group G is a permutation group on a set X, the factor group G/H is no longer acting on X; but the idea of
an abstract group permits one not to worry about this dis- 6.2.1 Finite group theory
crepancy.
The change of perspective from concrete to abstract Main article: Finite group
groups makes it natural to consider properties of groups
that are independent of a particular realization, or in modern language, invariant under isomorphism, as well as the
classes of group with a given such property: nite groups,
periodic groups, simple groups, solvable groups, and so
on. Rather than exploring properties of an individual
group, one seeks to establish results that apply to a whole
class of groups. The new paradigm was of paramount
During the twentieth century, mathematicians investigated some aspects of the theory of nite groups in great
depth, especially the local theory of nite groups and
the theory of solvable and nilpotent groups. As a consequence, the complete classication of nite simple groups
was achieved, meaning that all those simple groups from
which all nite groups can be built are now known.
42
During the second half of the twentieth century, mathematicians such as Chevalley and Steinberg also increased
our understanding of nite analogs of classical groups,
and other related groups. One such family of groups is
the family of general linear groups over nite elds. Finite groups often occur when considering symmetry of
mathematical or physical objects, when those objects admit just a nite number of structure-preserving transformations. The theory of Lie groups, which may be viewed
as dealing with "continuous symmetry", is strongly inuenced by the associated Weyl groups. These are nite groups generated by reections which act on a nitedimensional Euclidean space. The properties of nite
groups can thus play a role in subjects such as theoretical
physics and chemistry.
theory
: G GL(V),
where GL(V) consists of the invertible linear transformations of V. In other words, to every group element g
is assigned an automorphism (g) such that (g) (h) =
(gh) for any h in G.
43
2. If the object X is a set of points in the plane with
its metric structure or any other metric space, a
symmetry is a bijection of the set to itself which
preserves the distance between each pair of points
(an isometry). The corresponding group is called
isometry group of X.
3. If instead angles are preserved, one speaks of
conformal maps. Conformal maps give rise to
Kleinian groups, for example.
4. Symmetries are not restricted to geometrical objects, but include algebraic objects as well. For instance, the equation
b
e
x2 3 = 0
Applications of group theory abound. Almost all structures in abstract algebra are special cases of groups.
Rings, for example, can be viewed as abelian groups (corresponding to addition) together with a second operation
Main article: Symmetry group
(corresponding to multiplication). Therefore, group theoretic arguments underlie large parts of the theory of
Given a structured object X of any sort, a symmetry is those entities.
a mapping of the object onto itself which preserves the
structure. This occurs in many cases, for example
44
6.4.2
Algebraic topology
1
1
=
ns
1 ps
n1
pprime
6.4.5
Harmonic analysis
45
the Standard Model, gauge theory, the Lorentz group, and
the Poincar group.
6.4.7
Music
6.4.8
Physics
In chemistry, there are ve important symmetry operations. The identity operation (E) consists of leaving the
molecule as it is. This is equivalent to any number of
full rotations around any axis. This is a symmetry of
all molecules, whereas the symmetry group of a chiral
molecule consists of only the identity operation. Rota-
46
tion around an axis (Cn) consists of rotating the molecule classication of nite simple groups is a vast body of work
around a specic axis by a specic angle. For exam- from the mid 20th century, classifying all the nite simple
ple, if a water molecule rotates 180 around the axis that groups.
passes through the oxygen atom and between the hydrogen atoms, it is in the same conguration as it started. In
this case, n = 2, since applying it twice produces the iden6.6 See also
tity operation. Other symmetry operations are: reection, inversion and improper rotation (rotation followed
Glossary of group theory
by reection).[13]
6.4.10
Statistical Mechanics
6.5 History
Main article: History of group theory
Group theory has three main historical sources: number
theory, the theory of algebraic equations, and geometry.
The number-theoretic strand was begun by Leonhard Euler, and developed by Gausss work on modular arithmetic and additive and multiplicative groups related to
quadratic elds. Early results about permutation groups
were obtained by Lagrange, Runi, and Abel in their
quest for general solutions of polynomial equations of
high degree. variste Galois coined the term group and
established a connection, now known as Galois theory,
between the nascent theory of groups and eld theory. In
geometry, groups rst became important in projective geometry and, later, non-Euclidean geometry. Felix Klein's
Erlangen program proclaimed group theory to be the organizing principle of geometry.
6.7 Notes
[1]
Elwes, Richard, "An enormous theorem: the classication of nite simple groups," Plus Magazine,
Issue 41, December 2006.
[2] This process of imposing extra structure has been formalized through the notion of a group object in a suitable category. Thus Lie groups are group objects in the
category of dierentiable manifolds and ane algebraic
groups are group objects in the category of ane algebraic varieties.
[3] Such as group cohomology or equivariant K-theory.
[4] In particular, if the representation is faithful.
[5] Arthur Tresse (1893). Sur les invariants direntiels des
groupes continus de transformations. Acta Mathematica
18: 188. doi:10.1007/bf02418270.
[6] Schupp & Lyndon 2001
[7] Writing z = xy, one has G = z, y | z3 = y = z .
[8] La Harpe 2000
Galois, in the 1830s, was the rst to employ groups to de- [9] For example the Hodge conjecture (in certain cases).
termine the solvability of polynomial equations. Arthur
Cayley and Augustin Louis Cauchy pushed these inves- [10] See the Birch-Swinnerton-Dyer conjecture, one of the
millennium problems
tigations further by creating the theory of permutation
groups. The second historical source for groups stems
[11] Abramovich, Dan; Karu, Kalle; Matsuki, Kenji; Wlodarfrom geometrical situations. In an attempt to come
czyk, Jaroslaw (2002), Torication and factorization of
to grips with possible geometries (such as euclidean,
birational maps, Journal of the American Mathematical
hyperbolic or projective geometry) using group theory,
Society 15 (3): 531572, doi:10.1090/S0894-0347-02Felix Klein initiated the Erlangen programme. Sophus
00396-X, MR 1896232
Lie, in 1884, started using groups (now called Lie groups)
attached to analytic problems. Thirdly, groups were, at [12] Lenz, Reiner (1990), Group theoretical methods in imrst implicitly and later explicitly, used in algebraic numage processing, Lecture Notes in Computer Science 413,
Berlin, New York: Springer-Verlag, doi:10.1007/3-540ber theory.
52290-5, ISBN 978-0-387-52290-6
The dierent scope of these early sources resulted in different notions of groups. The theory of groups was uni- [13] Shriver, D.F.; Atkins, P.W. Qumica Inorgnica, 3 ed.,
ed starting around 1880. Since then, the impact of group
Porto Alegre, Bookman, 2003.
theory has been ever growing, giving rise to the birth of
abstract algebra in the early 20th century, representation [14] Norber Weiner, Cybernetics: Or Control and Communitheory, and many more inuential spin-o domains. The
cation in the Animal and the Machine, Ch 2
47
6.8 References
Schupp, Paul E.; Lyndon, Roger C. (2001), Combinatorial group theory, Berlin, New York: SpringerVerlag, ISBN 978-3-540-41158-1
Chapter 7
Homomorphism
Not to be confused
homeomorphism.
with
holomorphism
or
7.1.1
Denition
A homomorphism is a map that preserves selected structure between two algebraic structures, with the structure
to be preserved being given by the naming of the homomorphism.
Particular denitions of homomorphism include the following:
A semigroup homomorphism is a map that preserves
an associative binary operation.
A monoid homomorphism is a semigroup homo- The notion of a homomorphism can be given a formal
morphism that maps the identity element to the iden- denition in the context of universal algebra, a eld which
studies ideas common to all algebraic structures. In this
tity of the codomain.
setting, a homomorphism f : A B is a function between
A group homomorphism is a homomorphism that two algebraic structures of the same type such that
preserves the group structure. It may equivalently
be dened as a semigroup homomorphism between
f(A(a1 , ..., an)) = B(f(a1 ), ..., f(an))
groups.
A ring homomorphism is a homomorphism that pre- for each n-ary operation and for all elements a1 , ..., an
serves the ring structure. Whether the multiplicative A.
identity is to be preserved depends upon the deniThe function between two algebraic structures of the
tion of ring in use.
same type is a reduction of the structure group. H to G
A linear map is a homomorphism that preserves is also called the G-structure. For example, a group is an
the vector space structure, namely the abelian group algebraic object consisting of a set together with a single
structure and scalar multiplication. The scalar type binary operation, satisfying certain axioms. If (G, ) and
must further be specied to specify the homomor- (H, ) are groups, a homomorphism from (G, ) to (H,
phism, e.g. every R-linear map is a Z-linear map, ) is a function f : (G, ) (H, ) such that f(g1 g2 ) =
but not vice versa.
f(g1 ) f(g2 ) for all elements g1 , g2 G. Since inverses
48
49
exist in G and H, one can show that the identity of G maps That is, (z) is the absolute value (or modulus) of the
to the identity of H and that inverses are preserved.
complex number z. Then f is a homomorphism of
groups, since it preserves multiplication:
7.1.2
Basic examples
50
CHAPTER 7. HOMOMORPHISM
Hom
Mon
Iso
Aut
Epi
End
7.3 Types
In abstract algebra, several specic kinds of homomorphisms are dened as follows:
7.8. NOTES
it X/K. (X/K is usually read as "X mod K".) Also in these
cases, it is K, rather than ~, that is called the kernel of f
(cf. normal subgroup).
51
7.8 Notes
[1] tacitly assuming the
nonconstructive setting
axiom
of
choice
and
7.9 References
[1] Birkho, Garrett (1967) [1940], Lattice theory, American
Mathematical Society Colloquium Publications 25 (3rd
ed.), Providence, R.I.: American Mathematical Society,
ISBN 978-0-8218-1025-5, MR 598630 Here: Sect.VI.3,
p.134
[2] Bourbaki, Algebra, ch. I 2.1, p. 13
[3] Mac Lane, Saunders (1971). Categories for the Working Mathematician. Graduate Texts in Mathematics 5.
Springer-Verlag. Exercise 4 in section I.5. ISBN 0-38790036-5. Zbl 0232.18001.
[4] Dsclescu, Sorin; Nstsescu, Constantin; Raianu, erban (2001). Hopf Algebra: An Introduction. Pure and Applied Mathematics 235. New York, NY: Marcel Dekker.
p. 363. ISBN 0824704819. Zbl 0962.16026.
[5] Section 17.4, in Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-52176268-7
[6] Seymour Ginsburg, Algebraic and automata theoretic
properties of formal languages, North-Holland, 1975,
ISBN 0-7204-2506-9.
[7] T. Harju, J. Karhumki, Morphisms in Handbook of Formal Languages, Volume I, edited by G. Rozenberg, A. Salomaa, Springer, 1997, ISBN 3-540-61486-9.
Continuous function
Dieomorphism
Homomorphic encryption
Homomorphic secret sharing a simplistic decentralized voting protocol
Morphism
Chapter 8
Ideal
In ring theory, a branch of abstract algebra, an ideal is
a special subset of a ring. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers
preserves evenness, and multiplying an even number by
any other integer results in another even number; these
closure and absorption properties are the dening properties of an ideal. An ideal can be used to construct a
quotient ring similarly to the way that, in group theory,
a normal subgroup can be used to construct a quotient
group.
x r, r x I
8.1 History
Ideals were rst proposed by Richard Dedekind in 1876
in the third edition of his book Vorlesungen ber Zahlentheorie (English: Lectures on Number Theory). They were
a generalization of the concept of ideal numbers developed by Ernst Kummer.[1][2] Later the concept was expanded by David Hilbert and especially Emmy Noether.
In all cases, the rst condition can be replaced by the following well-known criterion that ensures a nonempty subset of a group is a subgroup:
1'. I is non-empty and x, y I : x y I
.[4]
8.3 Properties
{0} and R are ideals in every ring R. If R is a division
ring or a eld, then these are its only ideals. The ideal R
is called the unit ideal. I is a proper ideal if it is a proper
subset of R, that is, I does not equal R.[5]
Just as normal subgroups of groups are kernels of group
homomorphisms, ideals have interpretations as kernels.
For a nonempty subset A of R:
A is an ideal of R if and only if it is a kernel of a ring
homomorphism from R.
A is a right ideal of R if and only if it is a kernel
of a homomorphism from the right R module RR to
another right R module.
A is a left ideal of R if and only if it is a kernel of
a homomorphism from the left R module RR to another left R module.
If p is in R, then pR is a right ideal and Rp is a left ideal of
R. These are called, respectively, the principal right and
left ideals generated by p. To remember which is which,
note that right ideals are stable under right-multiplication
(IR I) and left ideals are stable under left-multiplication
(RI I).
The connection between cosets and ideals can be seen by
switching the operation from multiplication to addition.
8.4 Motivation
53
forms an ideal. These two ideals are usually referred
to as the trivial ideals of R.
The even integers form an ideal in the ring Z of all
integers; it is usually denoted by 2Z . This is because the sum of any even integers is even, and the
product of any integer with an even integer is also
even. Similarly, the set of all integers divisible by a
xed integer n is an ideal denoted nZ .
The set of all polynomials with real coecients
which are divisible by the polynomial x2 + 1 is an
ideal in the ring of all polynomials.
The set of all n-by-n matrices whose last row is zero
forms a right ideal in the ring of all n-by-n matrices.
It is not a left ideal. The set of all n-by-n matrices
whose last column is zero forms a left ideal but not
a right ideal.
The ring C(R) of all continuous functions f from
R to R under pointwise multiplication contains the
ideal of all continuous functions f such that f(1) =
0. Another ideal in C(R) is given by those functions which vanish for large enough arguments, i.e.
those continuous functions f for which there exists
a number L > 0 such that f(x) = 0 whenever |x| > L.
Compact operators form an ideal in the ring of
bounded operators.
8.5 Examples
{x1 r1 + + xn rn | n N, ri R, xi X}
In a ring R, the set R itself forms an ideal of R. Also,
the subset containing only the additive identity 0R {r1 x1 s1 + +rn xn sn | n N, ri R, si R, xi X}.
54
CHAPTER 8. IDEAL
Ra = {ra | r R}
aR = {ar | r R}
RaR = {r1 as1 + +rn asn | n N, ri R, si R}.
These ideals are known as the left/right/two-sided
principal ideals generated by a. It is also very common
to denote the two-sided ideal generated by a as (a).
If R does not have a unit, then the internal descriptions
above must be modied slightly. In addition to the nite
sums of products of things in X with things in R, we must
allow the addition of n-fold sums of the form x+x+...+x,
and n-fold sums of the form (x)+(x)+...+(x) for every
x in X and every n in the natural numbers. When R has a
unit, this extra requirement becomes superuous.
8.6.1
Example
In the ring Z of integers, every ideal can be generated by a single number (so Z is a principal ideal
domain), and the only two generators of pR are p
and p. The concepts of ideal and number are
therefore almost identical in Z . If aR = bR in an
arbitrary domain, then au = b for some unit u. Conversely, for any unit u, aR = auu1 R = auR. So, in a
commutative principal ideal domain, the generators
of the ideal aR are just the elements au where u is
an arbitrary unit. This explains the case of Z since
1 and 1 are the only units of Z .
Maximal ideal: A proper ideal I is called a maximal ideal if there exists no other proper ideal J with
I a proper subset of J. The factor ring of a maximal
ideal is a simple ring in general and is a eld for commutative rings.[6]
Minimal ideal: A nonzero ideal is called minimal
if it contains no other nonzero ideal.
Prime ideal: A proper ideal I is called a prime
ideal if for any a and b in R, if ab is in I, then at least
one of a and b is in I. The factor ring of a prime ideal
is a prime ring in general and is an integral domain
for commutative rings.
Radical ideal or semiprime ideal: A proper ideal I
is called radical or semiprime if for any a in R, if
an is in I for some n, then a is in I. The factor ring of
a radical ideal is a semiprime ring for general rings,
and is a reduced ring for commutative rings.
Primary ideal: An ideal I is called a primary ideal
if for all a and b in R, if ab is in I, then at least one
of a and bn is in I for some natural number n. Every prime ideal is primary, but not conversely. A
semiprime primary ideal is prime.
Principal ideal: An ideal generated by one element.
Finitely generated ideal: This type of ideal is
nitely generated as a module.
Primitive ideal: A left primitive ideal is the
annihilator of a simple left module. A right primitive ideal is dened similarly. Actually (despite the
name) the left and right primitive ideals are always
two-sided ideals. Primitive ideals are prime. A factor rings constructed with a right (left) primitive ideals is a right (left) primitive ring. For commutative
rings the primitive ideals are maximal, and so commutative primitive rings are all elds.
Irreducible ideal: An ideal is said to be irreducible
if it cannot be written as an intersection of ideals
which properly contain it.
Comaximal ideals: Two ideals i, j are said to be
comaximal if x + y = 1 for some x i and y j .
Regular ideal: This term has multiple uses. See the
article for a list.
Nil ideal: An ideal is a nil ideal if each of its elements is nilpotent.
Two other important terms using ideal are not always
ideals of their ring. See their respective articles for details:
Fractional ideal: This is usually dened when R is a
commutative domain with quotient eld K. Despite
their names, fractional ideals are R submodules of
55
a + b := {a + b | a a and b b}
Invertible ideal: Usually an invertible ideal A is
dened as a fractional ideal for which there is an- and
other fractional ideal B such that AB=BA=R. Some
authors may also apply invertible ideal to ordinary
ring ideals A and B with AB=BA=R in rings other ab := {a1 b1 + +an bn | ai a and bi b, i = 1, 2, . . . , n; for n = 1, 2
than domains.
i.e. the product of two ideals a and b is dened to be the
ideal ab generated by all products of the form ab with
a in a and b in b . The product ab is contained in the
8.8 Further properties
intersection of a and b .
In rings with identity, an ideal is proper if and only The sum and the intersection of ideals is again an ideal;
if it does not contain 1 or equivalently it does not with these two operations as join and meet, the set of
all ideals of a given ring forms a complete modular latcontain a unit.
tice. Also, the union of two ideals is a subset of the sum
The set of ideals of any ring are partially ordered of those two ideals, because for any element a inside an
via subset inclusion, in fact they are additionally a ideal, we can write it as a+0, or 0+a, therefore, it is concomplete modular lattice in this order with join op- tained in the sum as well. However, the union of two
eration given by addition of ideals and meet opera- ideals is not necessarily an ideal.
tion given by set intersection. The trivial ideals supply the least and greatest elements: the largest ideal
is the entire ring, and the smallest ideal is the zero 8.10 Ideals and congruence relaideal. The lattice is not, in general, a distributive
tions
lattice.
Unfortunately Zorns lemma does not necessarily
apply to the collection of proper ideals of R. However, when R has identity 1, this collection can be
reexpressed as the collection of ideals which do not
contain 1. It can be checked that Zorns lemma now
applies to this collection, and consequently there are
maximal proper ideals of R. With a little more work,
it can be shown that every proper ideal is contained
in a maximal ideal. See Krulls theorem at maximal
ideal.
The ring R can be considered as a left module over
itself, and the left ideals of R are then seen as the
submodules of this module. Similarly, the right ideals are submodules of R as a right module over itself,
and the two-sided ideals are submodules of R as a
bimodule over itself. If R is commutative, then all
three sorts of module are the same, just as all three
sorts of ideal are the same.
Ideal quotient
Ideal norm
Artinian ideal
Noncommutative ring
Regular ideal
Idealizer
56
8.12 References
[1] Harold M. Edwards (1977). Fermats last theorem. A genetic introduction to algebraic number theory. p. 76.
[2] Everest G., Ward T. (2005). An introduction to number
theory. p. 83.
[3] See Hazewinkel et al. (2004), p. 4.
[4] In fact, since R is assumed to be unital, it suces that x +
y is in I, since the second condition implies that y is in I.
[5] Lang 2005, Section III.2
[6] Because simple commutative rings are elds. See Lam
(2001). A First Course in Noncommutative Rings. p. 39.
CHAPTER 8. IDEAL
Chapter 9
Integral domain
An integral domain is a commutative ring in which
the zero ideal {0} is a prime ideal.
Some sources, notably Lang, use the term entire ring for
integral domain.[6]
Some specic kinds of integral domains are given with
the following chain of class inclusions:
9.2 Examples
The archetypical example is the ring Z of all
integers.
9.1 Denitions
There are a number of equivalent denitions of integral
domain:
An integral domain is a nonzero commutative ring
in which the product of any two nonzero elements is
nonzero.
An integral domain is a nonzero commutative ring
with no nonzero zero divisors.
57
Z 2Z 2n Z 2n+1 Z
Rings of polynomials are integral domains if the coecients come from an integral domain. For instance, the ring Z[X] of all polynomials in one variable with integer coecients is an integral domain;
58
so is the ring R[X,Y] of all polynomials in two vari- If a divides b and b divides a, then we say a and b are asables with real coecients.
sociated elements or associates.[9] Equivalently, a and
b are associates if a=ub for some unit u.
For each integer n > 1, the set of all real numbers of
the form a + bn with a and b integers is a subring If q is a nonzero non-unit, we say that q is an irreducible
element if q cannot be written as a product of two nonof R and hence an integral domain.
units.
For each integer n > 0 the set of all complex numbers
If p is a nonzero non-unit, we say that p is a prime eleof the form a + bin with a and b integers is a subring
ment if, whenever p divides a product ab, then p divides a
of C and hence an integral domain. In the case n = 1
or p divides b. Equivalently, an element p is prime if and
this integral domain is called the Gaussian integers.
only if the principal ideal (p) is a nonzero prime ideal.
The notion of prime element generalizes the ordinary
The ring of p-adic integers is an integral domain.
denition of prime number in the ring Z, except that it
If U is a connected open subset of the complex plane allows for negative prime elements.
C, then the ring H(U) consisting of all holomorphic
Every prime element is irreducible. The converse is not
functions f : U C is an integral domain. The same
true
for example, in the quadratic integer ring
[in general:
]
is true for rings of analytic functions on connected
Z 5 the element 3 is irreducible (if it factored nonopen subsets of analytic manifolds.
trivially, the factors would each have to have norm 3,
2
2
A regular local ring is an integral domain. In fact, a but there are no norm 3 elements since a + 5b = 3
[7][8]
regular local ring is a UFD.
(has nointeger
) ( solutions),
) but not prime (since 3 divides
2 + 5 2 5 without dividing either factor).
In a unique factorization domain (or more generally, a
GCD domain), an irreducible element is a prime element.
9.3 Non-examples
[ ]
While unique factorization does not hold in Z 5
, there is unique factorization of ideals. See Lasker
The following rings are not integral domains.
Noether theorem.
The ring of n n matrices over any nonzero ring
when n 2.
The ring of continuous functions on the unit interval.
The quotient ring Z/mZ when m is a composite number.
The product ring Z Z.
The zero ring in which 0=1.
The tensor product CR C (since, for example, (i
1 1 i) (i 1 + 1 i) = 0 ).
The quotient ring k[x, y]/(xy) for any eld k , since
(xy) is not a prime ideal.
9.5 Properties
A commutative ring R is an integral domain if and
only if the ideal (0) of R is a prime ideal.
If R is a commutative ring and P is an ideal in R,
then the quotient ring R/P is an integral domain if
and only if P is a prime ideal.
Let R be an integral domain. Then there is an integral domain S such that R S and S has an element
which is transcendental over R.
The cancellation property holds in any integral domain: for any a, b, and c in an integral domain, if
a 0 and ab = ac then b = c. Another way to state
this is that the function x ax is injective for any
nonzero a in the domain.
The cancellation property holds for ideals in any integral domain: if xI = xJ, then either x is zero or I =
J.
An integral domain is equal to the intersection of its
localizations at maximal ideals.
An inductive limit of integral domains is an integral
domain.
9.10. NOTES
59
9.10 Notes
[1] Bourbaki, p. 116.
[2] Dummit and Foote, p. 228.
36,
[4] I.N. Herstein, Topics in Algebra, p. 88-90, Blaisdell Publishing Company, London 1964.
[5] J.C. McConnel and J.C. Robson Noncommutative
Noetherian Rings (Graduate Studies in Mathematics Vol.
30, AMS)
[6] Pages 9192 of Lang, Serge (1993), Algebra (Third ed.),
Reading, Mass.: Addison-Wesley Pub. Co., ISBN 978-0201-55540-0, Zbl 0848.13001
[7] Auslander, Maurice; Buchsbaum, D. A. (1959). Unique
factorization in regular local rings. Proc. Natl. Acad. Sci.
USA 45 (5): 733734. doi:10.1073/pnas.45.5.733. PMC
222624. PMID 16590434.
[8] Masayoshi Nagata (1958). A general theory of algebraic
geometry over Dedekind domains. II. Amer. J. Math.
(The Johns Hopkins University Press) 80 (2): 382420.
doi:10.2307/2372791. JSTOR 2372791.
[9] Durbin, John R. (1993). Modern Algebra: An Introduction
(3rd ed.). John Wiley and Sons. p. 224. ISBN 0-47151001-7. Elements a and b of [an integral domain] are
called associates if a | b and b | a.
9.11 References
Adamson, Iain T. (1972). Elementary rings and
modules. University Mathematical Texts. Oliver
and Boyd. ISBN 0-05-002192-3.
Bourbaki, Nicolas (1998). Algebra, Chapters 13.
Berlin, New York: Springer-Verlag. ISBN 978-3540-64243-5.
Mac Lane, Saunders; Birkho, Garrett (1967). Algebra. New York: The Macmillan Co. ISBN 156881-068-7. MR 0214415.
Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). New York: Wiley. ISBN
978-0-471-43334-7.
Hungerford, Thomas W. (1974). Algebra. New
York: Holt, Rinehart and Winston, Inc. ISBN 003-030558-6.
Lang, Serge (2002). Algebra. Graduate Texts in
Mathematics 211. Berlin, New York: SpringerVerlag. ISBN 978-0-387-95385-4. MR 1878556.
Sharpe, David (1987). Rings and factorization.
Cambridge University Press. ISBN 0-521-33718-6.
60
Rowen, Louis Halle (1994). Algebra: groups, rings,
and elds. A K Peters. ISBN 1-56881-028-8.
Lanski, Charles (2005). Concepts in abstract algebra. AMS Bookstore. ISBN 0-534-42323-X.
Milies, Csar Polcino; Sehgal, Sudarshan K. (2002).
An introduction to group rings. Springer. ISBN 14020-0238-6.
B.L. van der Waerden, Algebra, Springer-Verlag,
Berlin Heidelberg, 1966.
Chapter 10
Isometry
This article is about distance-preserving functions. For a composition of a rigid motion and a reection.
other mathematical uses, see isometry (disambiguation).
Isometries are often used in constructions where one
For non-mathematical uses, see Isometric.
space is embedded in another space. For instance, the
completion of a metric space M involves an isometry
In mathematics, an isometry (or congruence, or from M into M', a quotient set of the space of Cauchy secongruent transformation) is a distance-preserving quences on M. The original space M is thus isometrically
injective map between metric spaces.[1]
isomorphic to a subspace of a complete metric space, and
it is usually identied with this subspace. Other embedding constructions show that every metric space is isoA R1 ( A ) A 1 R 2 ( A 1 ) A 2
metrically isomorphic to a closed subset of some normed
vector space and that every complete metric space is isoD
metrically isomorphic to a closed subset of some Banach
space.
A2
B2
C2
B1
A1
1
R2 R 1
C1
D1
S S
10.1 Introduction
A global isometry, isometric isomorphism or congruence mapping is a bijective isometry. Like any other
Given a metric space (loosely, a set and a scheme for as- bijection, a global isometry has a function inverse. The
signing distances between elements of the set), an isome- inverse of a global isometry is also a global isometry.
try is a transformation which maps elements to the same
or another metric space such that the distance between Two metric spaces X and Y are called isometric if there
the image elements in the new metric space is equal to is a bijective isometry from X to Y. The set of bijective
the distance between the elements in the original met- isometries from a metric space to itself forms a group
ric space. In a two-dimensional or three-dimensional with respect to function composition, called the isometry
Euclidean space, two geometric gures are congruent if group.
they are related by an isometry;[3] the isometry that relates There is also the weaker notion of path isometry or arcthem is either a rigid motion (translation or rotation), or wise isometry:
61
62
10.3 Examples
Any reection, translation and rotation is a global
isometry on Euclidean spaces. See also Euclidean
group.
The map x 7 |x| in R is a path isometry but not
an isometry. Note that unlike an isometry, it is not
injective.
The isometric linear maps from Cn to itself are given
by the unitary matrices.[5][6][7][8]
further than away from the image of an element of the domain. Note that -isometries are
not assumed to be continuous.
The restricted isometry property characterizes
nearly isometric matrices for sparse vectors.
Quasi-isometry is yet another useful generalization.
One may also dene an element in an abstract unital
C*-algebra to be an isometry:
a A is an isometry if and only if a
a=1.
Note that as mentioned in the introduction this
is not necessarily a unitary element because one
does not in general have that left inverse is a
right inverse.
On a pseudo-Euclidean space, the term isometry
means a linear bijection preserving magnitude. See
also Quadratic spaces.
f (v) = v
for all v in V. Linear isometries are distance-preserving
maps in the above sense. They are global isometries if
and only if they are surjective.
By the Mazur-Ulam theorem, any isometry of normed
vector spaces over R is ane.
In an inner product space, the fact that any linear isometry is an orthogonal transformation can be shown by using
polarization to prove <Ax, Ay> = <x, y> and then applying the Riesz representation theorem.
10.5 Generalizations
Given a positive real number , an -isometry or
almost isometry (also called a Hausdor approximation) is a map f : X Y between metric
spaces such that
1. for x,x X one has |dY((x),(x))dX(x,x)|
< , and
2. for any point y Y there exists a point x X
with dY(y,(x)) <
That is, an -isometry preserves distances to
within and leaves no element of the codomain
BeckmanQuarles theorem
Semidenite embedding
Flat (geometry)
Euclidean plane isometry
3D isometries that leave the origin xed
Space group
Involution
Symmetry in mathematics
Homeomorphism group
Partial isometry
The second dual of a Banach space as an isometric
isomorphism
10.7 References
[1] Coxeter 1969, p. 29
We shall nd it convenient to use the word transformation
in the special sense of a one-to-one correspondence P
P among all points in the plane (or in space), that is, a
rule for associating pairs of points, with the understanding
that each pair has a rst member P and a second member
10.8. BIBLIOGRAPHY
P' and that every point occurs as the rst member of just
one pair and also as the second member of just one pair...
In particular, an isometry (or congruent transformation,
or congruence) is a transformation which preserves
length...
[2] Coxeter 1969, p. 46
3.51 Any direct isometry is either a translation or a rotation. Any opposite isometry is either a reection or a glide
reection.
[3] Coxeter 1969, p. 39
3.11 Any two congruent triangles are related by a unique
isometry.
[4] Beckman, F. S.; Quarles, D. A., Jr. (1953). On
isometries of Euclidean spaces (PDF). Proceedings
of the American Mathematical Society 4: 810815.
doi:10.2307/2032415. MR 0058193.
Let T be a transformation (possibly many-valued) of E n
( 2 n < ) into itself.
Let d(p, q) be the distance between points p and q of E n
, and let Tp, Tq be any images of p and q, respectively.
If there is a length a > 0 such that d(T p, T q) = a whenever d(p, q) = a , then T is a Euclidean transformation
of E n onto itself.
[5] Roweis, S. T.; Saul, L. K. (2000).
Nonlinear Dimensionality Reduction by Locally Linear
Embedding.
Science 290 (5500): 23232326.
doi:10.1126/science.290.5500.2323. PMID 11125150.
[6] Saul, Lawrence K.; Roweis, Sam T. (2003). Think globally, t locally: Unsupervised learning of nonlinear manifolds". Journal of Machine Learning Research (http:
//jmlr.org/papers/v4/saul03a.html) 4 (June): 119155.
Quadratic optimisation of M = (I W ) (I W ) (page
135) such that M Y Y
[7] Zhang, Zhenyue; Zha, Hongyuan (2004).
Principal Manifolds and Nonlinear Dimension Reduction via Local Tangent Space Alignment".
SIAM
Journal on Scientic Computing 26 (1): 313338.
doi:10.1137/s1064827502419154.
[8] Zhang, Zhenyue; Wang, Jing (2006). MLLE: Modied Locally Linear Embedding Using Multiple Weights.
Advances in Neural Information Processing Systems 19. It
can retrieve the ideal embedding if MLLE is applied on
data points sampled from an isometric manifold.
10.8 Bibliography
Coxeter, H. S. M. (1969). Introduction to Geometry,
Second edition. Wiley. ISBN 9780471504580.
63
Chapter 11
Magma
For other uses, see Magma (disambiguation).
A shorthand is often used to reduce the number of parentheses, in which the innermost operations and pairs of
11.2 Denition
parentheses are omitted, being replaced just with juxtaposition, xy z = (x y) z. For example, the above is
A magma is a set M matched with an operation, , that abbreviated to the following expression, still containing
sends any two elements a, b M to another element, a parentheses:
64
65
Magma
(a bc)d.
A way to avoid completely the use of parentheses is prex
notation, in which the same expression would be written
abcd.
The set of all possible strings consisting of symbols denoting elements of the magma, and sets of balanced parentheses is called the Dyck language. The total number of
dierent ways of writing n applications of the magma
operator is given by the Catalan number, Cn. Thus, for
example, C 2 = 2, which is just the statement that (ab)c
and a(bc) are the only two ways of pairing three elements
of a magma with two operations. Less trivially, C 3 = 5:
((ab)c)d, (a(bc))d, (ab)(cd), a((bc)d), and a(b(cd)).
divisibility
associativity
Quasigroup
Semigroup
identity
identity
Loop
Monoid
associativity
invertibility
Group
The number of non-isomorphic magmas having 0, 1, 2,
3, 4, ... elements are 1, 1, 10, 3330, 178981952, ...
(sequence A001329 in OEIS). The corresponding numbers of non-isomorphic and non-antiisomorphic magmas Semilattices Semigroups where the operation
are 1, 1, 7, 1734, 89521056, ... (sequence A001424 in
commutative and idempotent
OEIS).[7]
Monoids Semigroups with identity elements
is
A free magma, MX, on a set, X, is the most general possible magma generated by X (i.e., there are no relations Abelian groups Groups where the operation is commutative
or axioms imposed on the generators; see free object). It
can be described as the set of non-associative words on X
with parentheses retained:.[8]
Note that each of divisibility and invertibility imply the
It can also be viewed, in terms familiar in computer sci- cancellation property.
ence, as the magma of binary trees with leaves labelled
by elements of X. The operation is that of joining trees at
the root. It therefore has a foundational role in syntax.
11.7 Classication by properties
A free magma has the universal property such that, if f :
X N is a function from X to any magma, N, then there A magma (S, ), with x, y, u, z S, is called
is a unique extension of f to a morphism of magmas, f
Medial If it satises the identity, xy uz xu yz
f : MX N.
Left semimedial If it satises the identity, xx yz xy
xz
See also: Free semigroup, Free group, Hall set, and
WedderburnEtherington number
Right semimedial If it satises the identity, yz xx yx
zx
Semimedial If it is both left and right semimedial
Semigroups Magmas where the operation is associative Unipotent If it satises the identity, xx yy
66
Zeropotent If it satises the identities, xx y xx y
xx[9]
Alternative If it satises the identities xx y x xy and
x yy xy y
Power-associative If the submagma generated by any
element is associative
A semigroup, or associative If it satises the identity,
x yz xy z
A left unar If it satises the identity, xy xz
A right unar If it satises the identity, yx zx
11.10 References
[1] Hausmann, B. A.; Ore, ystein (October 1937), Theory
of quasi-groups, American Journal of Mathematics 59
(4): 9831004, doi:10.2307/2371362, JSTOR 2371362
[2] Hollings, Christopher (2014), Mathematics across the Iron
Curtain: A History of the Algebraic Theory of Semigroups,
American Mathematical Society, pp. 1423, ISBN 9781-4704-1493-1
[3] Bergman, George M.; Hausknecht, Adam O. (1996),
Cogroups and Co-rings in Categories of Associative Rings,
American Mathematical Society, p. 61, ISBN 978-08218-0495-7
Semigroup with zero multiplication, or null semigroup [4] Bourbaki, N. (1998) [1970], Algebraic Structures: 1.1
Laws of Composition: Denition 1, Algebra I: Chapters
If it satises the identity, xy uv
13, Springer, p. 1, ISBN 978-3-540-64243-5
11.8 Generalizations
Universal algebra
Magma category
Chapter 12
Order
This article is about order in group theory. For other If the order of group G is 1, then the group is called a
uses in mathematics, see Order (mathematics). For other trivial group. Given an element a, ord(a) = 1 if and only
uses, see Order.
if a is the identity. If every (non-identity) element in G
is the same as its inverse (so that a2 = e), then ord(a)
2 and consequently G is abelian since ab = (ab)1 =
In group theory, a branch of mathematics, the term order =1
b a1 = ba by Elementary group theory. The converse
is used in two unrelated senses:
of this statement is not true; for example, the (additive)
cyclic group Z6 of integers modulo 6 is abelian, but the
The order of a group is its cardinality, i.e., the num- number 2 has order 3:
ber of elements in its set. Also, the order, sometimes period, of an element a of a group is the smallest positive integer m such that am = e (where e de2 + 2 + 2 = 6 0 (mod 6)
notes the identity element of the group, and am denotes the product of m copies of a). If no such m The relationship between the two concepts of order is the
exists, a is said to have innite order.
following: if we write
The ordering relation of a partially or totally ordered
group.
a = {ak : k Z}
This article is about the rst sense of order.
12.1 Example
67
68
then there exists an element of order d in G (this is sometimes called Cauchys theorem). The statement does not
hold for composite orders, e.g. the Klein four-group does
not have an element of order four). This can be shown
by inductive proof.[1] The consequences of the theorem
include: the order of a group G is a power of a prime p if
and only if ord(a) is some power of p for every a in G.[2]
be used to prove that there are no (injective) homomorphisms between two concretely given groups. (For example, there can be no nontrivial homomorphism h: S3
Z5 , because every number except zero in Z5 has order 5,
which does not divide the orders 1, 2, and 3 of elements
in S3 .) A further consequence is that conjugate elements
have the same order.
In any group,
|G| = |Z(G)| +
di
ord(ab) = ord(ba)
There is no general formula relating the order of a product ab to the orders of a and b. In fact, it is possible that
both a and b have nite order while ab has innite order,
or that both a and b have innite order while ab has nite
order. An example of the former is a(x) = 2-x, b(x) = 1-x
with ab(x) = x-1 in the group Sym(Z) . An example of
the latter is a(x) = x+1, b(x) = x-1 with ab(x) = id. If ab
= ba, we can at least say that ord(ab) divides lcm(ord(a),
ord(b)). As a consequence, one can prove that in a nite 12.6 Open questions
abelian group, if m denotes the maximum of all the orders of the groups elements, then every elements order Several deep questions about the orders of groups and
divides m.
their elements are contained in the various Burnside problems; some of these questions are still open.
12.4 In relation
phisms
to
homomor-
Group homomorphisms tend to reduce the orders of elements: if f: G H is a homomorphism, and a is an element of G of nite order, then ord(f(a)) divides ord(a).
If f is injective, then ord(f(a)) = ord(a). This can often
12.7 References
[1] Conrad, Keith. Proof of Cauchys Theorem (PDF). Retrieved May 14, 2011.
[2] Conrad, Keith. Consequences of Cauchys Theorem
(PDF). Retrieved May 14, 2011.
Chapter 13
Ring
This article is about an algebraic structure. For geometric rings, see Annulus (mathematics). For the set theory
concept, see Ring of sets.
In mathematics, a ring is one of the fundamen-
70
13.1.1
Denition
a + b = b + a for all a, b in R (+ is
commutative).
13.1.2
The operations + and are called addition and multiplication, respectively. The multiplication symbol is often Main article: Matrix ring
omitted, so the juxtaposition of ring elements is interpreted as multiplication. For example, xy means x y.
The set of 2-by-2 matrices with real number entries is
Although ring addition is commutative, ring multiplica- written
tion is not required to be commutative: ab need not necessarily equal ba. Rings that also satisfy commutativity
{(
)
}
for multiplication (such as the ring of integers) are called
a b
a, b, c, d R .
commutative rings. Books on commutative algebra or M2 (R) =
c d
13.2. HISTORY
With the operations of matrix addition and matrix multiplication,
( this)set satises the above ring axioms. The ele1 0
ment
is the multiplicative identity of the ring. If
)
)
( 0 1)
(
(
0 1
0 1
0 0
A=
and B =
, then AB =
1 0 (
0 0
0 1
)
1 0
while BA =
; this example shows that the ring
0 0
is noncommutative.
71
13.2.2 Hilbert
13.2.1
Dedekind
Most or all books on algebra[17][18] up to around 1960 followed Noethers convention of not requiring a 1. Starting in the 1960s, it became increasingly common to
see books including the existence of 1 in the denition of ring, especially in advanced books by notable
authors such as Artin,[19] Atiyah and MacDonald,[20]
Bourbaki,[21] Eisenbud,[22] and Lang.[23] But even today,
there remain many books that do not require a 1.
Faced with this terminological ambiguity, some authors
have tried to impose their views, while others have tried
to adopt more precise terms.
In the rst category, we nd for instance Gardner and
Wiegandt, who argue that if one requires all rings to have
a 1, then some consequences include the lack of existence
of innite direct sums of rings, and the fact that proper direct summands of rings are not subrings. They conclude
that in many, maybe most, branches of ring theory the
requirement of the existence of a unity element is not sensible, and therefore unacceptable.[24]
72
The set of all continuous real-valued functions dened on the real line forms a commutative ring. The
operations are pointwise addition and multiplication
of functions.
Let X be a set and R a ring. Then the set of all functions from X to R forms a ring, which is commutative
if R is commutative. The ring of continuous functions in the previous example is a subring of this ring
if X is the real line and R is the eld of real numbers.
Noncommutative rings:
For any ring R and any natural number n, the set
of all square n-by-n matrices with entries from R,
forms a ring with matrix addition and matrix multiplication as operations. For n = 1, this matrix ring
is isomorphic to R itself. For n > 1 (and R not the
zero ring), this matrix ring is noncommutative.
If G is an abelian group, then the endomorphisms of
G form a ring, the endomorphism ring End(G) of G.
The operations in this ring are addition and composition of endomorphisms. More generally, if V is a
left module over a ring R, then the set of all R-linear
maps forms a ring, also called the endomorphism
ring and denoted by EndR(V).
If G is a group and R is a ring, the group ring of
G over R is a free module over R having G as basis. Multiplication is dened by the rules that the
elements of G commute with the elements of R and
multiply together as they do in the group G.
Many rings that appear in analysis are noncommutative. For example, most Banach algebras are noncommutative.
(the
elements are not all invertible with respect to
Z[(1 + 3)/2] , the Eisenstein integers.
addition).
For instance, there is no natural number
Also their generalization, a Kummer ring.
which can be added to 3 to get 0 as a result. There
The set of all algebraic integers forms a ring. This
is a natural way to make it a ring by adding negafollows for example from the fact that it is the
tive numbers to the set, thus obtaining the ring of
integral closure of the ring of rational integers in the
integers. The natural numbers (including 0) form
eld of complex numbers. The rings in the three
an algebraic structure known as a semiring (which
previous examples are subrings of this ring.
has all of the properties of a ring except the additive
inverse property).
The set of formal power series R[[X1 , , Xn]] over
a commutative ring R is a ring.
Let R be the set of all continuous functions on the
real line that vanish outside a bounded interval de If S is a set, then the power set of S becomes a ring
pending on the function, with addition as usual but
if we dene addition to be the symmetric dierence
with multiplication dened as convolution:
of sets and multiplication to be intersection. This
corresponds to a ring of sets and is an example of a
(f g)(x) =
f (y)g(x y)dy.
Boolean ring.
Elements in a ring
73
copies of 1 and 1 together many times in any mixture.
It is possible that n 1 = 1 + 1 + . . . + 1 (n times) can
be zero. If n is the smallest positive integer such that this
occurs, then n is called the characteristic of R. In some
rings, n 1 is never zero for any positive integer n, and
those rings are said to have characteristic zero.
Given a ring R, let Z(R) denote the set of all elements
x in R such that x commutes with every element in R:
xy = yx for any y in R. Then Z(R) is a subring of R;
called the center of R. More generally, given a subset X
of R, let S be the set of all elements in R that commute
with every element in X. Then S is a subring of R, called
the centralizer (or commutant) of X. The center is the
centralizer of the entire ring R. Elements or subsets of the
center are said to be central in R; they generate a subring
of the center.
13.4.2
Subring
r1 x1 + + rn xn ,
ri R,
xi I,
74
13.4.4
Homomorphism
f(1R) = 1S
Main article: Quotient ring
If one is working with not necessarily unital rings, then
the third condition is dropped.
The quotient ring of a ring, is analogous to the notion of
A ring homomorphism is said to be an isomorphism a quotient group of a group. More formally, given a ring
if there exists an inverse homomorphism to f (i.e., a (R, +, ) and a two-sided ideal I of (R, +, ), the quotient
ring homomorphism which is an inverse function). Any ring (or factor ring) R/I is the set of cosets of I (with
bijective ring homomorphism is a ring isomorphism. respect to the additive group of (R, +, ); i.e. cosets with
Two rings R, S are said to be isomorphic if there is an respect to (R, +)) together with the operations:
isomorphism between them and in that case one writes
R S . A ring homomorphism between the same ring
is called an endomorphism and an isomorphism between
the same ring an automorphism.
(a + I) + (b + I) = (a + b) + I and
(a + I)(b + I) = (ab) + I.
Examples:
for every a, b in R.
The function that maps each integer x to its remainLike the case of a quotient group, there is a canonical
der modulo 4 (a number in {0, 1, 2, 3}) is a homomap p : R R/I given by x 7 x + I . It is surjective
morphism from the ring Z to the quotient ring Z/4Z
and satises the universal property: if f : R S is a
(quotient ring is dened below).
ring homomorphism such that f (I) = 0 , then there is a
If u is a unit element in a ring R, then R R, x 7 unique f : R/I S such that f = f p . In particular,
uxu1 is a ring homomorphism, called an inner au- taking I to be the kernel, one sees that the quotient ring
R/ ker f is isomorphic to the image of f; the fact known
tomorphism of R.
as the rst isomorphism theorem. The last fact implies
Let R be a commutative ring of prime characteristic that actually any surjective ring homomorphism satises
p. Then x 7 xp is a ring endmorphism of R called the universal property since the image of such a map is a
the Frobenius homomorphism.
quotient ring.
13.6. CONSTRUCTIONS
75
section ring of L. A particularly important case is when
L is the canonical line bundle and then R is the canonical
ring of the base variety.
13.6 Constructions
In group theory, one can consider the action of a group on
a set. To give a group action, say, G acting on a set S, is to
13.6.1 Direct product
give a group homomorphism from G to the automorphism
group of S (that is, the symmetric group of S.)
Main article: Direct product of rings
In much the same way, one can consider a ring action;
that is, a ring homomorphism f from a ring R to the
Let R and S be rings. Then the product R S can be
endomorphism ring of an abelian group M. One usually
equipped with the following natural ring structure:
writes rm or rm for f(r)m and calls M a left module over
R. If R is a eld, this amounts to giving a structure of a
(r1 , s1 ) + (r2 , s2 ) = (r1 + r2 , s1 + s2 )
vector space on M.
In particular, a ring R is a left module over R itself through
l : R End(R), l(r)x = rx (called the left regular representation of R). Some ring-theoretic concepts can be stated
in a module-theoretic language: for example, a subset of a
ring R is a left ideal of R if and only if it is an R-submodule
with respect to the left R-module structure of R. A left
ideal is principal if and only if it is a cyclic submodule.
R = a1 an ,
ai aj = 0, i = j,
a2i ai
76
R[t] S,
f 7 f (x)
a i ti ,
ai R
(i.e., the substitution). If S=R[t] and x=t, then f(t)=f. Because of this, the polynomial f is often also denoted by
f (t) . The image of the map f 7 f (x) is denoted by
R[x] ; it is the same thing as the subring of S generated
by R and x.
13.6. CONSTRUCTIONS
77
[34]
then EndR (U ) is a division ring. If U =
Uimi is
i=1
EndR (U )
13.6.4
13.6.5 Localization
The localization generalizes the construction of the eld
of fractions of an integral domain to an arbitrary ring and
modules. Given a (not necessarily commutative) ring R
and a subset S of R, there exists a ring R[S 1 ] together
with the ring homomorphism R R[S 1 ] that inverts
S; that is, the homomorphism maps elements in S to unit
elements in R[S 1 ] , and, moreover, any ring homomorphism from R that inverts S uniquely factors through
R[S 1 ] .[35] The ring R[S 1 ] is called the localization
of R with respect to S. For example, if R is a commutative
ring and f an element in R, then the localization R[f 1 ]
consists of elements of the form r/f n , r R, n 0 (to
be precise, R[f 1 ] = R[t]/(tf 1). )[36]
The localization is frequently applied to a commutative
ring R with respect to the complement of a prime ideal
(or a union of prime ideals) in R. In that case S = R p
, one often writes Rp for R[S 1 ] . Rp is then a local
ring with the maximal ideal pRp . This is the reason for
the terminology localization. The eld of fractions of
an integral domain R is the localization of R at the prime
ideal zero. If p is a prime ideal of a commutative ring
R, then the eld of fractions of R/p is the same as the
residue eld of the local ring Rp and is denoted by k(p) .
78
A complete ring has much simpler structure than a commutative ring. This owns to the Cohen structure theorem,
0 M [S 1 ] M [S 1 ]
which says, roughly, that a complete local ring tends to
M [S 1 ] 0 is exact over R[S 1 ]
look like a formal power series ring or a quotient of it. On
whenever 0 M M M 0
the other hand, the interaction between the integral clois exact over R.
sure and completion has been among the most important
aspects that distinguish modern commutative ring theory
Conversely, if 0 Mm Mm Mm 0 is
from the classical one developed by the likes of Noether.
morphisms from R to the quotients R/I n induce a homo . The latter homomorphism is injec- In the category-theoretic terms, the formation S 7
morphism R R
tive if R is a noetherian integral domain and I is a proper set the by generated ring free theS is the left adjoint
ideal, or if R is a noetherian local ring with maximal ideal functor of the forgetful functor from the category of rings
I, by Krulls intersection theorem.[39] The construction is to Set (and it is often called the free ring functor.)
especially useful when I is a maximal ideal.
The basic example is the completion Zp of Z at the principal ideal (p) generated by a prime number p; it is called
the ring of p-adic integers. The completion can in this
case be constructed also from the p-adic absolute value on
Q. The p-adic absolute value on Q is a map x 7 |x| from
Q to R given by |n|p = pvp (n) where vp (n) denotes the
exponent of p in the prime factorization of a nonzero in- 13.7 Special kinds of rings
teger n into prime numbers (we also put |0|p = 0 and
|m/n|p = |m|p /|n|p ). It denes a distance function on
Q and the completion of Q as a metric space is denoted 13.7.1 Domains
by Qp. It is again a eld since the eld operations extend to the completion. The subring of Qp consisting of A nonzero ring with no nonzero zero-divisors is called a
domain. A commutative domain is called an integral doelements x with |x|p 1 is isomorphic to Zp.
main. The most important integral domains are princiSimilarly, the formal power series ring R[[t]] is the com- pal ideals domains, PID for short, and elds. A principal
pletion of R[t] at (t) .
ideal domain is an integral domain in which every ideal
is principal. An important class of integral domains that
See also: Hensels lemma.
79
asked the following question: given a division ring D and
a proper sub-division-ring S that is not contained in the
center, does each inner automorphism of D restrict to an
automorphism of S? The answer is negative: this is the
CartanBrauerHua theorem.
A cyclic algebra, introduced by L. E. Dickson, is a generalization of a quaternion algebra.
q = pe11 ...pess .
13.7.2
Division ring
Every module over a division ring is a free module (has a Main article: Central simple algebra
basis); consequently, much of linear algebra can be carried out over a division ring instead of a eld.
For a eld k, a k-algebra is central if its center is k and is
The study of conjugacy classes gures prominently in simple if it is a simple ring. Since the center of a simple kthe classical theory of division rings. Cartan famously algebra is a eld, any simple k-algebra is a central simple
80
convolution:
(f g)(t) =
f (s)g(t s)
sG
For example, Br(k) is trivial if k is a nite eld or an algebraically closed eld (more generally quasi-algebraically
closed eld; cf. Tsens theorem). Br(R) has order 2 13.8 Rings with extra structure
(a special case of the theorem of Frobenius). Finally,
if k is a nonarchimedean local eld (e.g., Qp ), then A ring may be viewed as an abelian group (by using the
Br(k) = Q/Z through the invariant map.
addition operation), with extra structure: namely, ring
Now, if F is a eld extension of k, then the base extension multiplication. In the same way, there are other mathk F induces Br(k) Br(F ) . Its kernel is denoted by ematical objects which may be considered as rings with
Br(F /k) . It consists of [A] such that A F is a matrix extra structure. For example:
k
13.7.5
Valuation ring
n (x + y) =
i (x)ni (y)
More generally, given a eld k and a totally ordered abelian group G, let k((G)) be the set of all
functions from G to k whose supports (the sets of
points at which the functions are nonzero) are well
ordered. It is a eld with the multiplication given by
( )
For example, Z is a -ring with n (x) = nx
, the binomial coecients. The notion plays
a central rule in the algebraic approach to the
RiemannRoch theorem.
81
13.9 Some examples of the ubiquity 13.9.3 Representation ring of a group ring
of rings
To any group ring or Hopf algebra is associated its
representation ring or Green ring. The representation
Many dierent kinds of mathematical objects can be rings additive group is the free abelian group whose bafruitfully analyzed in terms of some associated ring.
sis are the indecomposable modules and whose addition
corresponds to the direct sum. Expressing a module in
terms of the basis is nding an indecomposable decom13.9.1 Cohomology ring of a topological position of the module. The multiplication is the tensor
product. When the algebra is semisimple, the representaspace
tion ring is just the character ring from character theory,
To any topological space X one can associate its integral which is more or less the Grothendieck group given a ring
structure.
cohomology ring
H (X, Z) =
H (X, Z),
i
i=0
13.9.2
82
13.11.3 Semiring
13.11 Generalization
In algebraic topology, a ring spectrum is a spectrum X toAlgebraists have dened structures more general than gether with a multiplication : X X X and a unit
rings by weakening or dropping some of ring axioms.
map S X from the sphere spectrum S, such that the
ring axiom diagrams commute up to homotopy. In practice, it is common to dene a ring spectrum as a monoid
object in a good category of spectra such as the category
13.11.1 Rng
of symmetric spectra.
A rng is the same as a ring, except that the existence of a
multiplicative identity is not assumed.[46]
13.11.2
Nonassociative ring
A nonassociative ring is an algebraic structure that satises all of the ring axioms but the associativity and the
existence of a multiplicative identity. A notable example is a Lie algebra. There exists some structure theory
for such algebras that generalizes the analogous results for
Lie algebras and associative algebras.
13.15. CITATIONS
Nonassociative ring
Ring theory
Semiring
Spectrum of a ring
83
^ d: The transition from the integers to the rationals by
adding fractions is generalized by the quotient eld.
^ e: Many authors include commutativity of rings in
the set of ring axioms (see above) and therefore refer to
commutative rings as just rings.
13.14 Notes
^ a: Some authors only require that a ring be a semigroup
under multiplication; that is, do not require that there be
a multiplicative identity (1). See the section Notes on
the denition for more details.
^ b: Elements which do have multiplicative inverses are
called units, see Lang 2002, II.1, p. 84.
^ c: The closure axiom is already implied by the
condition that +/ be a binary operation. Some authors
therefore omit this axiom. Lang 2002
13.15 Citations
[1] Implicit in the assumption that "+" is a binary operation
is that 1) a + b is dened for all ordered pairs (a,b) of
elements a and b of R; 2) "+" is well-dened, that is, if a
+ b = c1 and a + b = c2 , then c1 = c2 ; and 3) R is closed
under "+", meaning that for any a and b in R, the value of
a + b is dened to be an element of R. The same applies to
multiplication. Closure would be an axiom, however, only
if, instead of binary operations on R, we had functions "+"
and "" a priori taking values in some larger set S.
[2] Nicolas Bourbaki (1970). "I.8. Algebra. SpringerVerlag.
[3] Saunders MacLane; Garrett Birkho (1967). Algebra.
AMS Chelsea. p. 85.
[4] Serge Lang (2002). Algebra (Third ed.). Springer-Verlag.
p. 83.
[5] The existence of 1 is not assumed by some authors. In
this article, and more generally in Wikipedia, we adopt
the most common convention of the existence of a multiplicative identity, and use the term rng if this existence is
not required. See next subsection
[6] I. M. Isaacs, Algebra: A Graduate Course, AMS, 1994,
p. 160.
[7] The development of Ring Theory
[8] Kleiner 1998, p. 27.
[9] Hilbert 1897.
[10]
[11] Cohn, Harvey (1980), Advanced Number Theory, New
York: Dover Publications, p. 49, ISBN 978-0-48664023-5
[12] Fraenkel, pp. 143145
[13] Jacobson (2009), p. 86, footnote 1.
[14] Fraenkel, p. 144, axiom R.
[15] Noether, p. 29.
[16] Fraenkel, p. 144, axiom R.
[17] Van der Waerden, 1930.
[18] Zariski and Samuel, 1958.
[19] Artin, p. 346.
[20] Atiyah and MacDonald, p. 1.
84
Bourbaki, N. (1998).
Springer.
13.16 References
13.16.1
General references
13.16. REFERENCES
van der Waerden, Bartel Leendert (1930), Moderne
Algebra. Teil I, Die Grundlehren der mathematischen Wissenschaften 33, Springer, ISBN 9783-540-56799-8, MR 0009016MR 0037277MR
0069787MR 0122834MR 0177027MR 0263581.
Wilder, Raymond Louis (1965). Introduction to
Foundations of Mathematics. Wiley.
Zariski, Oscar; Samuel, Pierre (1958). Commutative Algebra 1. Van Nostrand.
13.16.2
Special references
85
Milne, J. Class eld theory.
Nagata, Masayoshi (1962) [1975 reprint], Local
rings, Interscience Tracts in Pure and Applied Mathematics 13, Interscience Publishers, ISBN 978-088275-228-0, MR 0155856.
Pierce, Richard S. (1982). Associative algebras.
Graduate Texts in Mathematics 88. Springer. ISBN
0-387-90693-2.
Serre, Jean-Pierre (1979), Local elds, Graduate
Texts in Mathematics 67, Springer.
Springer, Tonny A. (1977), Invariant theory, Lecture Notes in Mathematics 585, Springer.
Weibel, Charles. The K-book: An introduction to
algebraic K-theory.
Zariski, Oscar; Samuel, Pierre (1975). Commutative algebra. Graduate Texts in Mathematics. 2829. Springer. ISBN 0-387-90089-6.
Jacobson, Nathan (1945), Structure theory of algebraic algebras of bounded degree, Annals of Mathematics (Annals of Mathematics) 46 (4): 695707,
doi:10.2307/1969205, ISSN 0003-486X, JSTOR
1969205.
Knuth, D. E. (1998). The Art of Computer Programming. Vol. 2: Seminumerical Algorithms (3rd ed.).
AddisonWesley.
It, K. (Ed.). Rings. 368 in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 2. Cambridge,
MA: MIT Press, 1986.
Kleiner, I., The Genesis of the Abstract Ring Concept, Amer. Math. Monthly 103, 417424, 1996.
86
Kleiner, I., From numbers to rings: the early history of ring theory, Elem. Math. 53 (1998), 1835.
Renteln, P. and Dundes, A. Foolproof: A Sampling of Mathematical Folk Humor. Notices Amer.
Math. Soc. 52, 2434, 2005.
Singmaster, D. and Bloom, D. M. Problem
E1648. Amer. Math. Monthly 71, 918920, 1964.
Van der Waerden, B. L. A History of Algebra. New
York: Springer-Verlag, 1985.
Chapter 14
Subgroup
This article is about the mathematical concept. For the
galaxy-related concept, see galaxy group.
In group theory, a branch of mathematics, given a group
G under a binary operation , a subset H of G is called
a subgroup of G if H also forms a group under the operation . More precisely, H is a subgroup of G if the
restriction of to H H is a group operation on H. This
is usually denoted H G, read as "H is a subgroup of G".
The trivial subgroup of any group is the subgroup {e}
consisting of just the identity element.
A proper subgroup of a group G is a subgroup H which
is a proper subset of G (i.e. H G). This is usually represented notationally by H < G, read as "H is a proper
subgroup of G". Some authors also exclude the trivial
group from being proper (i.e. {e} H G).[1][2]
If H is a subgroup of G, then G is sometimes called an
overgroup of H.
The same denitions apply more generally when G is an
arbitrary semigroup, but this article will only deal with
subgroups of groups. The group G is sometimes denoted
by the ordered pair (G, ), usually to emphasize the operation when G carries multiple algebraic or other structures.
This article will write ab for a b, as is usual.
88
0
1
2
3
G
4 H
5 1+H
6 2+H
7 3+H
|G|
[G : H] =
|H|
where |G| and |H| denote the orders of G and H, respectively. In particular, the order of every subgroup of G
(and the order of every element of G) must be a divisor
of |G|.
14.4.1 12 elements
14.4.2 8 elements
14.4.3 6 elements
14.4.4 4 elements
14.4.5 3 elements
14.8. REFERENCES
14.7 Notes
[1] Hungerford (1974), p. 32
[2] Artin (2011), p. 43
[3] Jacobson (2009), p. 41
14.8 References
Jacobson, Nathan (2009), Basic algebra 1 (2nd ed.),
Dover, ISBN 978-0-486-47189-1.
Hungerford, Thomas (1974), Algebra (1st ed.),
Springer-Verlag, ISBN 9780387905181.
Artin, Michael (2011), Algebra (2nd ed.), Prentice
Hall, ISBN 9780132413770.
89
Chapter 15
Symmetry
For other uses, see Symmetry (disambiguation).
Symmetry (from Greek symmetria agree-
SYMMETRIC
ASYMMETRIC
3
Leonardo da Vinci's 'Vitruvian Man' (ca. 1487) is often used as a
representation of symmetry in the human body and, by extension,
the natural universe.
432
Mathematical symmetry may be observed with respect to the passage of time; as a spatial relationSphere symmetrical group o representing an octahedral rotational ship; through geometric transformations such as scaling,
symmetry. The yellow region shows the fundamental domain.
reection, and rotation; through other kinds of functional
transformations; and as an aspect of abstract objects,
ment in dimensions, due proportion, arrangement)[1] in theoretic models, language, music and even knowledge
everyday language refers to a sense of harmonious and itself.[3][lower-alpha 2]
beautiful proportion and balance.[2][lower-alpha 1] In mathematics, symmetry has a more precise denition, that an This article describes symmetry from three perspectives:
object is invariant to a transformation, such as reection in mathematics, including geometry, the most familiar
but including other transforms too. Although these two type of symmetry for many people; in science and nature;
meanings of symmetry can sometimes be told apart, and in the arts, covering architecture, art and music.
The opposite of symmetry is asymmetry.
they are related, so they are here discussed together.
90
15.1. IN MATHEMATICS
91
15.1.1 In geometry
Main article: Symmetry (geometry)
A geometric shape or object is symmetric if it can be di-
15.1.2 In logic
15.1 In mathematics
92
age as is symmetrical, for if Paul is the same age as Mary, symmetries of particles; and supersymmetry of physical
then Mary is the same age as Paul.
theories.
Symmetric binary logical connectives are and (, or &),
or (, or |), biconditional (if and only if) (), nand (notand, or ), xor (not-biconditional, or ), and nor (not-or,
or ).
15.1.3
15.2.1
Many animals are approximately mirror-symmetric, though internal organs are often arranged asymmetrically.
In physics
15.2.2 In biology
Further information: symmetry in biology and facial
symmetry
Bilateral animals, including humans, are more or less
symmetric with respect to the sagittal plane which divides the body into left and right halves.[17] Animals that
move in one direction necessarily have upper and lower
sides, head and tail ends, and therefore a left and a right.
The head becomes specialized with a mouth and sense organs, and the body becomes bilaterally symmetric for the
purpose of movement, with symmetrical pairs of muscles and skeletal elements, though internal organs often
remain asymmetric.[18]
15.2.3
In chemistry
93
Further information: Mathematics and art
15.4.1 In architecture
Symmetry is important to chemistry because it undergirds essentially all specic interactions between Further information: Mathematics and architecture
molecules in nature (i.e., via the interaction of natural Symmetry nds its ways into architecture at every scale,
and human-made chiral molecules with inherently chiral biological systems). The control of the symmetry of
molecules produced in modern chemical synthesis contributes to the ability of scientists to oer therapeutic
interventions with minimal side eects. A rigorous understanding of symmetry explains fundamental observations in quantum chemistry, and in the applied areas of
spectroscopy and crystallography. The theory and application of symmetry to these areas of physical science
draws heavily on the mathematical area of group theory.[20]
Seen from the side, the Taj Mahal has bilateral symmetry; from
the top (in plan), it has fourfold symmetry.
94
vessels, pottery has had a strong relationship to symmetry. Pottery created using a wheel acquires full rotational
symmetry in its cross-section, while allowing substantial
freedom of shape in the vertical direction. Upon this inherently symmetrical starting point, potters from ancient
times onwards have added patterns that modify the rotational symmetry to achieve visual objectives.
Cast metal vessels lacked the inherent rotational symmetry of wheel-made pottery, but otherwise provided a similar opportunity to decorate their surfaces with patterns
pleasing to those who used them. The ancient Chinese,
for example, used symmetrical patterns in their bronze
castings as early as the 17th century BC. Bronze vessels exhibited both a bilateral main motif and a repetitive
translated border design.[28]
15.4.5 In music
15.4.3
In quilts
95
Vienna school. At the same time, these progressions signal the end of tonality.
Burnsides lemma
Chirality
Even and odd functions
Equivalency
Tone rows or pitch class sets which are invariant under
retrograde are horizontally symmetrical, under inversion
vertically. See also Asymmetric rhythm.
15.4.6
Celtic knotwork
15.4.7
In aesthetics
15.6 Notes
[1] For example, Aristotle ascribed spherical shape to the
heavenly bodies, attributing this formally dened geometric measure of symmetry to the natural order and perfection of the cosmos.
[2] Symmetric objects can be material, such as a person,
crystal, quilt, oor tiles, or molecule, or it can be an
abstract structure such as a mathematical equation or a
series of tones (music).
15.7 References
The relationship of symmetry to aesthetics is complex. Humans nd bilateral symmetry in faces physically
attractive;[36] it indicates health and genetic tness.[37][38]
Opposed to this is the tendency for excessive symmetry
to be perceived as boring or uninteresting. People prefer
shapes that have some symmetry, but enough complexity
to make them interesting.[39]
15.4.8
In literature
96
[7] Stenger, Victor J. (2000) and Mahou Shiro (2007). Timeless Reality. Prometheus Books. Especially chapter 12.
Nontechnical.
The
[18] Hickman, Cleveland P.; Roberts, Larry S.; Larson, Allan (2002). Animal Diversity (Third Edition)" (PDF).
Chapter 8: Acoelomate Bilateral Animals. McGraw-Hill.
p. 139. Retrieved October 25, 2012.
[37] Rhodes, Gillian; Zebrowitz, Leslie, A. (2002). Facial Attractiveness - Evolutionary, Cognitive, and Social Perspectives. Ablex. ISBN 1-56750-636-4.
97
Chapter 16
Symmetry group
Not to be confused with Symmetric group.
16.1 Introduction
This article is about the abstract algebraic structures. For
other uses, see Symmetry group (disambiguation).
In abstract algebra, the symmetry group of an object The objects may be geometric gures, images, and patterns, such as a wallpaper pattern. The denition can be
made more precise by specifying what is meant by image or pattern, e.g., a function of position with values in a
set of colors. For symmetry of physical objects, one may
also want to take their physical composition into account.
The group of isometries of space induces a group action
on objects in it.
180
180
180
180
The symmetry group is sometimes also called full symmetry group in order to emphasize that it includes the
orientation-reversing isometries (like reections, glide reections and improper rotations) under which the gure is
invariant. The subgroup of orientation-preserving isometries (i.e. translations, rotations, and compositions of
these) that leave the gure invariant is called its proper
symmetry group. The proper symmetry group of an object is equal to its full symmetry group if and only if
the object is chiral (and thus there are no orientationreversing isometries under which it is invariant).
180
180
120
120
120
120
120
120
120
120
120
120
120
120
98
99
the groups of two elements generated by a reection The actual symmetry groups in each of these cases have
in a point; they are isomorphic with C2
two degrees of freedom for the center of rotation, and in
the case of the dihedral groups, one more for the positions
the innite discrete groups generated by a translaof the mirrors.
tion; they are isomorphic with Z, the additive group
The remaining isometry groups in two dimensions with a
of the integers
xed point, where for all points the set of images under
the innite discrete groups generated by a transla- the isometries is topologically closed are:
tion and a reection in a point; they are isomorphic
with the generalized dihedral group of Z, Dih(Z),
the special orthogonal group SO(2) consisting of all
also denoted by D (which is a semidirect product
rotations about a xed point; it is also called the
of Z and C2 ).
circle group S1 , the multiplicative group of complex
the group generated by all translations (isomorphic
numbers of absolute value 1. It is the proper symwith the additive group of the real numbers R); this
metry group of a circle and the continuous equivagroup cannot be the symmetry group of a pattern":
lent of Cn. There is no geometric gure that has as
it would be homogeneous, hence could also be refull symmetry group the circle group, but for a vecected. However, a uniform one-dimensional vector
tor eld it may apply (see the three-dimensional case
eld has this symmetry group.
below).
100
the orthogonal group O(2) consisting of all rotations 16.5 Symmetry groups in general
about a xed point and reections in any axis through
that xed point. This is the symmetry group of a See also: Automorphism
circle. It is also called Dih(S1 ) as it is the generalized
dihedral group of S1 .
In wider contexts, a symmetry group may be any kind of
For non-bounded gures, the additional isometry groups transformation group, or automorphism group. Once
we know what kind of mathematical structure we are concan include translations; the closed ones are:
cerned with, we should be able to pinpoint what mappings
preserve the structure. Conversely, specifying the sym the 7 frieze groups
metry can dene the structure, or at least clarify what
the 17 wallpaper groups
we mean by an invariant, geometric language in which
for each of the symmetry groups in one dimension, to discuss it; this is one way of looking at the Erlangen
the combination of all symmetries in that group in programme.
one direction, and the group of all translations in the For example, automorphism groups of certain models of
perpendicular direction
nite geometries are not symmetry groups in the usual
ditto with also reections in a line in the rst direc- sense, although they preserve symmetry. They do this by
preserving families of point-sets rather than point-sets (or
tion
objects) themselves.
101
W.,
Symmetry
Group,
Weisstein, Eric
MathWorld.
W.,
Tetrahedral
Group,
Overview of the 32 crystallographic point groups form the rst parts (apart from skipping n=5) of the
7 innite series and 5 of the 7 separate 3D point
groups
Chapter 17
Vector eld
tion of a vector eld depends on the coordinate system,
and there is a well-dened transformation law in passing
from one coordinate system to the other. Vector elds
are often discussed on open subsets of Euclidean space,
but also make sense on other subsets such as surfaces,
where they associate an arrow tangent to the surface at
each point (a tangent vector).
More generally, vector elds are dened on dierentiable
manifolds, which are spaces that look like Euclidean
space on small scales, but may have more complicated
structure on larger scales. In this setting, a vector eld
gives a tangent vector at each point of the manifold (that
is, a section of the tangent bundle to the manifold). Vector elds are one kind of tensor eld.
17.1 Denition
A portion of the vector eld (sin y, sin x)
Two
representations of the same vector eld: v(x, y) = r.
The arrows depict the eld at discrete points, however,
the eld exists everywhere.
Given a subset S in Rn , a vector eld is represented by
a vector-valued function V: S Rn in standard Cartesian coordinates (x1 , ..., xn). If each component of V is
continuous, then V is a continuous vector eld, and more
generally V is a Ck vector eld if each component of V is
k times continuously dierentiable.
17.2. EXAMPLES
103
17.1.2
17.2 Examples
17.1.3
104
)
f f f
f
,
,
,...,
.
x1 x2 x3
xn
I
V (x), dx =
V (T (p)) = T (V (p))
(T O(n, R))
where O(n, R) is the orthogonal group. We say central elds are invariant under orthogonal transformations
around 0.
The point 0 is called the center of the eld.
17.2.1
Gradient eld
Vector elds can be constructed out of scalar elds using The line integral is constructed analogously to the
Riemann integral and it exists if the curve is rectiable
the gradient operator (denoted by the del: ).[3]
A vector eld V dened on a set S is called a gradient (has nite length) and the vector eld is continuous.
eld or a conservative eld if there exists a real-valued Given a vector eld V and a curve parametrized by [a,
function (a scalar eld) f on S such that
b] (where a and b are real) the line integral is dened as
17.4. HISTORY
105
V (x), dx =
17.3.2
Divergence
17.3.3
Curl
F3
F2
y
z
F3
F1
e1
x
z
17.4 History
(
)
F2
F1
e2 +
e3 .
x
y
17.3.4
The index of a vector eld is an integer that helps to describe the behaviour of a vector eld around an isolated
zero (i.e., an isolated singularity of the eld). In the plane,
the index takes the value 1 at a saddle singularity but +1
at a source or sink singularity.
106
17.6.1 Example 1
(t) = V ((t)) .
(t) = V ( (t))
(t (, +) R).
x
spolar : (r, ) 7 1,
sEuclidean : (x, y) 7 1,
(
Typical applications are streamline in uid, geodesic ow, vEuclidean : (x, y) 7 (cos , sin ) =
,
x2 + y 2
x2 + y 2
and one-parameter subgroups and the exponential map in
Lie groups.
We see that while the scalar eld remains the same, the
vector eld now looks dierent. The same holds even in
the 1-dimensional case, as illustrated by the next example.
17.5.1 Complete vector elds
By denition, a vector eld is called complete if every
one of its ow curves exist for all time.[5] In particular,
compactly supported vector elds on a manifold are complete. If X is a complete vector eld on M, then the oneparameter group of dieomorphisms generated by the
ow along X exists for all time. On a compact manifold
without boundary, every smooth vector eld is complete.
An example of an incomplete vector eld V on the real
line R is given by V(x) = x2 . For, the dierential equation dx/dt = x2 , with initial condition x(0) = x0 , has as its
17.6.2 Example 2
Consider the 1-dimensional Euclidean space R with its
standard Euclidean coordinate x. Suppose we have a
scalar eld and a vector eld which are both given in the
x coordinate by the constant function 1,
sEuclidean : x 7 1,
vEuclidean : x 7 1.
)
.
17.10. REFERENCES
Thus, we have a scalar eld which has the value 1 everywhere and a vector eld which attaches a vector in the
x-direction with magnitude 1 unit of x to each point.
Now consider the coordinate := 2x. If x changes one
unit then changes 2 units. But since we wish the integral of v along a path to be independent of coordinate,
this means v*dx=v'*d. So from x increase by 1 unit,
increases by 1/2 unit, so v' must be 2. Thus this vector
eld has a magnitude of 2 in units of . Therefore, in
the coordinate the scalar eld and the vector eld are
described by the functions
sunusual : 7 1,
vunusual : 7 2
17.7 f-relatedness
Given a smooth function between manifolds, f: M N,
the derivative is an induced map on tangent bundles, f*:
TM TN. Given vector elds V: M TM and W: N
TN, we say that W is f-related to V if the equation W
f * = f* V holds.
If V is f-related to W, i = 1, 2, then the Lie bracket [V 1 ,
V 2 ] is f-related to [W 1 , W 2 ].
17.8 Generalizations
Replacing vectors by p-vectors (pth exterior power of
vectors) yields p-vector elds; taking the dual space and
exterior powers yields dierential k-forms, and combining these yields general tensor elds.
Algebraically, vector elds can be characterized as
derivations of the algebra of smooth functions on the
manifold, which leads to dening a vector eld on a commutative algebra as a derivation on the algebra, which is
developed in the theory of dierential calculus over commutative algebras.
107
17.10 References
[1] Galbis, Antonio & Maestre, Manuel (2012). Vector Analysis Versus Vector Calculus. Springer. p. 12. ISBN 9781-4614-2199-3.
[2] Tu, Loring W. (2010). Vector elds. An Introduction to
Manifolds. Springer. p. 149. ISBN 978-1-4419-7399-3.
[3] Dawber, P.G. (1987). Vectors and Vector Operators. CRC
Press. p. 29. ISBN 978-0-85274-585-4.
[4] T. Frankel (2012), The Geometry of Physics (3rd ed.),
Cambridge University Press, p. xxxviii, ISBN 978-1107602601
[5] Sharpe, R. (1997). Dierential geometry.
Verlag. ISBN 0-387-94732-9.
Springer-
17.11 Bibliography
Hubbard, J. H.; Hubbard, B. B. (1999). Vector calculus, linear algebra, and dierential forms. A unied approach. Upper Saddle River, NJ: Prentice
Hall. ISBN 0-13-657446-7.
Warner, Frank (1983) [1971]. Foundations of differentiable manifolds and Lie groups. New YorkBerlin: Springer-Verlag. ISBN 0-387-90894-3.
Boothby, William (1986). An introduction to dierentiable manifolds and Riemannian geometry. Pure
and Applied Mathematics, volume 120 (second ed.).
Orlando, FL: Academic Press. ISBN 0-12-116053X.
Field line
Field strength
Lie derivative
Scalar eld
Time-dependent vector eld
Vector elds in cylindrical and spherical coordinates
Tensor elds
Chapter 18
Vector space
This article is about linear (vector) spaces. For the struc- ally endowed with additional structure, which may be a
ture in incidence geometry, see Linear space (geometry). topology, allowing the consideration of issues of proximA vector space (also called a linear space) is a col- ity and continuity. Among these topologies, those that are
dened by a norm or inner product are more commonly
used, as having a notion of distance between two vectors.
v+w
This is particularly the case of Banach spaces and Hilbert
v
spaces, which are fundamental in mathematical analysis.
Today, vector spaces are applied throughout mathematics, science and engineering. They are the appropriate linear-algebraic notion to deal with systems of linear equations; oer a framework for Fourier expansion,
which is employed in image compression routines; or provide an environment that can be used for solution techniques for partial dierential equations. Furthermore,
vector spaces furnish an abstract, coordinate-free way
of dealing with geometrical and physical objects such
as tensors. This in turn allows the examination of local
properties of manifolds by linearization techniques. Vector spaces may be generalized in several ways, leading to
more advanced notions in geometry and abstract algebra.
108
109
To qualify as a vector space, the set V and the operations
of addition and multiplication must adhere to a number
of requirements called axioms.[1] In the list below, let u,
v and w be arbitrary vectors in V, and a and b scalars in
F.
These axioms generalize properties of the vectors introduced in the above examples. Indeed, the result of addition of two ordered pairs (as in the second example above)
does not depend on the order of the summands:
(x, y) + (x , y ) = (x , y ) + (x, y).
The following shows a few examples: if a = 2, the resulting vector aw has the same direction as w, but is stretched
to the double length of w (right image below). Equivalently 2w is the sum w + w. Moreover, (1)v = v has
the opposite direction and the same length as v (blue vector pointing down in the right image).
18.1.2
numbers
110
endomorphism ring of the group of vectors. Then scalar
multiplication av is dened as (f(a))(v).[3]
18.3 Examples
There are a number of direct consequences of the vec- Main article: Examples of vector spaces
tor space axioms. Some of them derive from elementary
group theory, applied to the additive group of vectors: for
example the zero vector 0 of V and the additive inverse
v of any vector v are unique. Other properties follow 18.3.1 Coordinate spaces
from the distributive law, for example av equals 0 if and
Main article: Coordinate space
only if a equals 0 or v equals 0.
The most simple example of a vector space over a eld
F is the eld itself, equipped with its standard addition
18.2 History
and multiplication. More generally, a vector space can be
composed of n-tuples (sequences of length n) of elements
Vector spaces stem from ane geometry via the intro- of F, such as
duction of coordinates in the plane or three-dimensional
(a1 , a2 , ..., an), where each ai is an element of
space. Around 1636, Descartes and Fermat founded
F.[13]
analytic geometry by equating solutions to an equation
[4]
of two variables with points on a plane curve. In 1804,
to achieve geometric solutions without using coordinates, A vector space composed of all the n-tuples of a eld F
n
Bolzano introduced certain operations on points, lines is known as a coordinate space, usually denoted F . The
and planes, which are predecessors of vectors.[5] His work case n = 1 is the above-mentioned simplest example, in
was then used in the conception of barycentric coordi- which the eld F is also regarded as a vector space over
nates by Mbius in 1827.[6] In 1828 C. V. Mourey sug- itself. The case F = R and n = 2 was discussed in the
gested the existence of an algebra surpassing not only or- introduction above.
dinary algebra but also two-dimensional algebra created
by him searching a geometrical interpretation of complex
18.3.2 Complex numbers and other eld
numbers.[7]
The denition of vectors was founded on Bellavitis' notion of the bipoint, an oriented segment of which one end
is the origin and the other a target, then further elaborated
with the presentation of complex numbers by Argand
and Hamilton and the introduction of quaternions and
biquaternions by the latter.[8] They are elements in R2 ,
R4 , and R8 ; their treatment as linear combinations can
be traced back to Laguerre in 1867, who also dened
systems of linear equations.
In 1857, Cayley introduced matrix notation, which allows
for a harmonization and simplication of linear maps.
Around the same time, Grassmann studied the barycentric calculus initiated by Mbius. He envisaged sets of
abstract objects endowed with operations.[9] In his work,
the concepts of linear independence and dimension, as
well as scalar products, are present. In fact, Grassmanns
1844 work exceeds the framework of vector spaces, since
his consideration of multiplication led him to what are today called algebras. Peano was the rst to give the modern
denition of vector spaces and linear maps in 1888.[10]
extensions
111
18.3.4
Linear equations
112
113
18.5.1
Matrices
a1,2
a1,3
a2,1
a2,2
a2,3
a3,1
a3,2
a3,3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a1,1
i
c
h
a
n
g
e
s
.
.
.
j changes
n columns
m
rows
..
ai,j
A typical matrix
, where
denotes summation,
x
(
n
j=1
with their image under f, f(v). Any nonzero vector v satisfying v = f(v), where is a scalar, is called an eigenvector of f with eigenvalue .[nb 5][35] Equivalently, v is an
element of the kernel of the dierence f Id (where
Id is the identity map V V). If V is nite-dimensional,
this can be rephrased using determinants: f having eigenvalue is equivalent to
det(f Id) = 0.
By spelling out the denition of the determinant, the expression on the left hand side can be seen to be a polynomial function in , called the characteristic polynomial of f.[36] If the eld F is large enough to contain
a zero of this polynomial (which automatically happens
for F algebraically closed, such as F = C) any linear
map has at least one eigenvector. The vector space V
may or may not possess an eigenbasis, a basis consisting of eigenvectors. This phenomenon is governed by
the Jordan canonical form of the map.[nb 6] The set of
all eigenvectors corresponding to a particular eigenvalue
of f forms a vector space known as the eigenspace corresponding to the eigenvalue (and f) in question. To
achieve the spectral theorem, the corresponding statement in the innite-dimensional case, the machinery of
functional analysis is needed, see below.
18.5.2
114
18.6.1
df
a0 f +a1 dx
+a2 ddxf2 + +an ddxnf = 0 , where
the coecients ai are functions in x, too.
f 7 D(f ) =
i=0
ai
di f
dxi
the derivatives of the function f appear linearly (as opposed to f(x)2 , for example). Since dierentiation is a
linear procedure (i.e., (f + g) = f + g and (cf) = cf
for a constant c) this assignment is linear, called a linear
dierential operator. In particular, the solutions to the
dierential equation D(f) = 0 form a vector space (over
R or C).
A linear subspace of dimension 1 is a vector line. A linear subspace of dimension 2 is a vector plane. A linear
subspace that contains all elements but one of a basis of 18.6.2 Direct product and direct sum
the ambient space is a vector hyperplane. In a vector
space of nite dimension n, a vector hyperplane is thus a Main articles: Direct product and Direct sum of modules
subspace of dimension n 1.
The direct product of vector spaces and the direct sum of
vector spaces are two ways of combining an indexed family of vector spaces into a new vector space.
115
f = f + f ,
where f + denotes the positive part of f and f the negative
part.[47]
Measuring vectors is done by specifying a norm, a datum which measures lengths of vectors, or by an inner
product, which measures angles between vectors. Norms
and inner products are denoted |v| and v, w , respectively. The datum of an inner product entails that lengths
of vectors can
be dened too, by dening the associated
norm |v| := v, v . Vector spaces endowed with such
data are known as normed vector spaces and inner product
spaces, respectively.[48]
Coordinate space F n can be equipped with the standard
dot product:
x, y = x y = x1 y1 + + xn yn .
In R2 , this reects the common notion of the angle between two vectors x and y, by the law of cosines:
116
18.7.2
Convergence questions are treated by considering vector spaces V carrying a compatible topology, a structure that allows one to talk about elements being close
to each other.[50][51] Compatible here means that addition and scalar multiplication have to be continuous maps.
Roughly, if x and y in V, and a in F vary by a bounded
amount, then so do x + y and ax.[nb 9] To make sense of
limn |vn v| = 0.
specifying the amount a scalar changes, the eld F also
has to carry a topology in this context; a common choice Banach and Hilbert spaces are complete topological vector spaces whose topologies are given, respectively, by a
are the reals or the complex numbers.
norm and an inner product. Their studya key piece
In such topological vector spaces one can consider series
of functional analysisfocusses on innite-dimensional
of vectors. The innite sum
vector spaces, since all norms on nite-dimensional topological vector spaces give rise to the same notion of
Banach spaces
Banach spaces, introduced by Stefan Banach, are complete normed vector spaces.[57] A rst example is the vector space p consisting of innite vectors with real entries
x = (x1 , x2 , ...) whose p-norm (1 p ) given by
|x|p := (
supi |xi |
|xi |p )
1/p
117
More generally than sequences of real numbers, functions analysis, in the guise of the Taylor approximation, estabf: R are endowed with a norm that replaces the lished an approximation of dierentiable functions f by
above sum by the Lebesgue integral
polynomials.[62] By the StoneWeierstrass theorem, every continuous function on [a, b] can be approximated
as closely as desired by a polynomial.[63] A similar ap(
)1/p
proximation technique by trigonometric functions is com|f |p :=
|f (x)|p dx
.
monly
called Fourier expansion, and is much applied in
engineering, see below. More generally, and more conThe space of integrable functions on a given domain ceptually, the theorem yields a simple description of what
(for example an interval) satisfying | f |p < , and basic functions, or, in abstract Hilbert spaces, what baequipped with this norm are called Lebesgue spaces, de- sic vectors suce to generate a Hilbert space H, in the
noted Lp ().[nb 10] These spaces are complete.[58] (If one sense that the closure of their span (i.e., nite linear comuses the Riemann integral instead, the space is not com- binations and limits of those) is the whole space. Such
plete, which may be seen as a justication for Lebesgues a set of functions is called a basis of H, its cardinalintegration theory.[nb 11] ) Concretely this means that for ity is known as the Hilbert space dimension.[nb 13] Not
any sequence of Lebesgue-integrable functions f 1 , f 2 , ... only does the theorem exhibit suitable basis functions as
with | fn |p < , satisfying the condition
sucient for approximation purposes, but together with
the Gram-Schmidt process, it enables one to construct a
basis of orthogonal vectors.[64] Such orthogonal bases are
p
the Hilbert space generalization of the coordinate axes in
lim
|fk (x) fn (x)| dx = 0
k, n
nite-dimensional Euclidean space.
there exists a function f(x) belonging to the vector space The solutions to various dierential equations can be
Lp () such that
interpreted in terms of Hilbert spaces. For example,
a great many elds in physics and engineering lead to
such equations and frequently solutions with particular
and algebras.
where g(x) denotes the complex conjugate of Commutative algebra makes great use of rings of polyg(x),[61][nb 12] is a key case.
nomials in one or several variables, introduced above.
The succeeding snapshots show summation of 1 to 5 terms in
approximating a periodic function (blue) by nite sum of sine
functions (red).
118
18.8 Applications
Vector spaces have manifold applications as they occur
in many circumstances, namely wherever functions with
values in some eld are involved. They provide a framework to deal with analytical and geometrical problems,
or are used in the Fourier transform. This list is not
exhaustive: many more applications exist, for example
in optimization. The minimax theorem of game theory
stating the existence of a unique payo when all players play optimally can be formulated and proven using
vector spaces methods.[73] Representation theory fruitfully transfers the good understanding of linear algebra
and vector spaces to other mathematical domains such as
group theory.[74]
18.8.1 Distributions
A hyperbola, given by the equation x y = 1. The coordinate
ring of functions on this hyperbola is given by R[x, y] / (x y
1), an innite-dimensional vector space over R.
Examples include the vector space of n-by-n matrices, When = {p}, the set consisting of a single point, this
with [x, y] = xy yx, the commutator of two matrices, reduces to the Dirac distribution, denoted by , which associates to a test function f its value at the p: (f) = f(p).
and R3 , endowed with the cross product.
Distributions are a powerful instrument to solve dierenThe tensor algebra T(V) is a formal way of adding prod- tial equations. Since all standard analytic notions such as
ucts to any vector space V to obtain an algebra.[71] As derivatives are linear, they extend naturally to the space
a vector space, it is spanned by symbols, called simple of distributions. Therefore, the equation in question can
tensors
be transferred to a distribution space, which is bigger than
the underlying function space, so that more exible methods are available for solving the equation. For example,
v1 v2 ... vn, where the degree n varies.
Greens functions and fundamental solutions are usually
distributions rather than proper functions, and can then
The multiplication is given by concatenating such sym- be used to nd solutions of the equation with prescribed
bols, imposing the distributive law under addition, and boundary conditions. The found solution can then in
requiring that scalar multiplication commute with the ten- some cases be proven to be actually a true function, and
sor product , much the same way as with the tensor a solution to the original equation (e.g., using the Lax
a consequence of the Riesz represenproduct of two vector spaces introduced above. In gen- Milgram theorem,
[76]
tation
theorem).
eral, there are no relations between v v and v
1
Fourier analysis
18.9. GENERALIZATIONS
119
speech encoding, image compression.[86] The JPEG image format is an application of the closely related discrete
cosine transform.[87]
The fast Fourier transform is an algorithm for rapidly
computing the discrete Fourier transform.[88] It is used
not only for calculating the Fourier coecients but, using the convolution theorem, also for computing the
convolution of two nite sequences.[89] They in turn are
applied in digital lters[90] and as a rapid multiplication
algorithm for polynomials and large integers (SchnhageStrassen algorithm).[91][92]
The heat equation describes the dissipation of physical properties over time, such as the decline of the temperature of a hot
body placed in a colder environment (yellow depicts colder regions than red).
a0
+
[am cos (mx) + bm sin (mx)] .
2
m=1
1 2
0 f (t) sin(mt) dt.
18.9 Generalizations
120
18.9.1
Vector bundles
and geometrical insight, it has purely algebraic consequences, such as the classication of nite-dimensional
Main articles: Vector bundle and Tangent bundle
real division algebras: R, C, the quaternions H and the
A vector bundle is a family of vector spaces parametrized octonions O.
The cotangent bundle of a dierentiable manifold consists, at every point of the manifold, of the dual of the
tangent space, the cotangent space. Sections of that bundle are known as dierential one-forms.
1
18.9.2 Modules
U
18.12. FOOTNOTES
V V V, (v, a) a + v.
121
[11] Many functions in L2 of Lebesgue measure, being unbounded, cannot be integrated with the classical Riemann
integral. So spaces of Riemann integrable functions would
not be complete in the L2 norm, and the orthogonal decomposition would not apply to them. This shows one of
the advantages of Lebesgue integration., Dudley 1989,
5.3, p. 125
The set of one-dimensional subspaces of a xed nitedimensional vector space V is known as projective space; [12] For p 2, Lp () is not a Hilbert space.
it may be used to formalize the idea of parallel lines intersecting at innity.[105] Grassmannians and ag manifolds [13] A basis of a Hilbert space is not the same thing as a basis
in the sense of linear algebra above. For distinction, the
generalize this by parametrizing linear subspaces of xed
latter is then called a Hamel basis.
dimension k and ags of subspaces, respectively.
18.11 Notes
[1] It is also common, especially in physics, to denote vectors
with an arrow on top: v .
[2] This axiom refers to two dierent operations: scalar multiplication: bv; and eld multiplication: ab. It does not assert the associativity of either operation. More formally,
scalar multiplication is the semigroup action of the scalars
on the vector space. Combined with the axiom of the
identity element of scalar multiplication, it is a monoid
action.
18.12 Footnotes
[3] Bourbaki 1998, II.1.1. Bourbaki calls the group homomorphisms f(a) homotheties.
[4] Bourbaki 1969, ch. Algbre linaire et algbre multilinaire, pp. 7891
[7] This is typically the case when a vector space is also considered as an ane space. In this case, a linear subspace
contains the zero vector, while an ane subspace does not
necessarily contain it.
122
18.13. REFERENCES
123
Lang, Serge (2002), Algebra, Graduate Texts in
Mathematics 211 (Revised third ed.), New York:
Springer-Verlag, ISBN 978-0-387-95385-4, MR
1878556
Mac Lane, Saunders (1999), Algebra (3rd ed.), pp.
193222, ISBN 0-8218-1646-2
Meyer, Carl D. (2000), Matrix Analysis and Applied
Linear Algebra, SIAM, ISBN 978-0-89871-454-8
Roman, Steven (2005), Advanced Linear Algebra,
Graduate Texts in Mathematics 135 (2nd ed.),
Berlin, New York: Springer-Verlag, ISBN 978-0387-24766-3
Spindler, Karlheinz (1993), Abstract Algebra with
Applications: Volume 1: Vector spaces and groups,
CRC, ISBN 978-0-8247-9144-5
van der Waerden, Bartel Leendert (1993), Algebra
(in German) (9th ed.), Berlin, New York: SpringerVerlag, ISBN 978-3-540-56799-8
18.13.2 Analysis
18.13 References
18.13.1
Algebra
124
Fourier, Jean Baptiste Joseph (1822), Thorie analytique de la chaleur (in French), Chez Firmin Didot,
pre et ls
Grassmann, Hermann (1844), Die Lineale Ausdehnungslehre - Ein neuer Zweig der Mathematik
(in German), O. Wigand, reprint: Hermann Grassmann. Translated by Lloyd C. Kannenberg. (2000),
Kannenberg, L.C., ed., Extension Theory, Providence, R.I.: American Mathematical Society, ISBN
978-0-8218-2031-5
Hamilton, William Rowan (1853), Lectures on
Quaternions, Royal Irish Academy
Mbius, August Ferdinand (1827), Der Barycentrische Calcul : ein neues Hlfsmittel zur analytischen
Behandlung der Geometrie (Barycentric calculus: a
new utility for an analytic treatment of geometry) (in
German)
Moore, Gregory H. (1995), The axiomatization of
linear algebra: 18751940, Historia Mathematica
22 (3): 262303, doi:10.1006/hmat.1995.1025
Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto
dalle Operazioni della Logica Deduttiva (in Italian),
Turin
Schaefer, Helmut H.; Wol, M.P. (1999), Topological vector spaces (2nd ed.), Berlin, New York: 18.13.4 Further references
Springer-Verlag, ISBN 978-0-387-98726-2
Ashcroft, Neil; Mermin, N. David (1976), Solid
Treves, Franois (1967), Topological vector spaces,
State Physics, Toronto: Thomson Learning, ISBN
distributions and kernels, Boston, MA: Academic
978-0-03-083993-1
Press
Atiyah, Michael Francis (1989), K-theory, Advanced Book Classics (2nd ed.), Addison-Wesley,
18.13.3 Historical references
ISBN 978-0-201-09394-0, MR 1043170
Banach, Stefan (1922), Sur les oprations dans les
ensembles abstraits et leur application aux quations intgrales (On operations in abstract sets and
their application to integral equations)" (PDF),
Fundamenta Mathematicae (in French) 3, ISSN
0016-2736
Bolzano, Bernard (1804), Betrachtungen ber einige
Gegenstnde der Elementargeometrie (Considerations of some aspects of elementary geometry) (in
German)
Bourbaki, Nicolas (1998), Elements of Mathematics : Algebra I Chapters 1-3, Berlin, New York:
Springer-Verlag, ISBN 978-3-540-64243-5
Bourbaki, Nicolas (1989), General Topology. Chapters 1-4, Berlin, New York: Springer-Verlag, ISBN
978-3-540-64241-1
Coxeter, Harold Scott MacDonald (1987), Projective Geometry (2nd ed.), Berlin, New York:
Springer-Verlag, ISBN 978-0-387-96532-1
125
Spivak, Michael (1999), A Comprehensive Introduction to Dierential Geometry (Volume Two), Houston, TX: Publish or Perish
Chapter 19
Zero divisor
In abstract algebra, an element a of a ring R is called a 19.1.1 One-sided zero-divisor
left zero divisor if there exists a nonzero x such that ax
(
)
= 0,[1] or equivalently if the map from R to R that sends x
x y
Consider
the
ring
of
(formal)
matrices
to ax is not injective.[2] Similarly, an element a of a ring is
0 z
called a right zero divisor if there exists a nonzero y such
with
x,
z
Z
and
y
Z/2Z
.
(
)(
)
(
) Then
that ya = 0. This is a partial case of divisibility in rings.
x y
a b
xa xb + yc
=
and
An element that is a left or a right zero divisor is simply
0 z)( 0 c)
0
zc )
(
(
called a zero divisor.[3] An element a that is both a left
a b x y
xa ya + zb
=
.
If
and a right zero divisor is called a two-sided zero divisor
0 c
0 z
zc
(
)0
(the nonzero x such that ax = 0 may be dierent from the
x y
x =
0 = y , then
is a left zero divisor
nonzero y such that ya = 0). If the ring is commutative,
z
( 0 )(
) (
)
then the left and right zero divisors are the same.
x y
0 1
0 x
i x is even, since
=
;
0 z
0 0
0 0
An element of a ring that is not a zero divisor is called
and it is a right zero divisor i z is even for similar
regular, or a non-zero-divisor. A zero divisor that is
reasons. If either of x, z is 0 , then it is a two-sided
nonzero is called a nonzero zero divisor or a nontrivial
zero-divisor.
zero divisor. If there are no nontrivial zero divisors in R,
then R is a division ring
Here is another example of a ring with an element
that is a zero divisor on one side only. Let S be
the set of all sequences of integers (a1, a2, a3, ...)
19.1 Examples
. Take for the ring all additive maps from S to S
, with pointwise addition and composition as the
In the ring Z/4Z , the residue class 2 is a zero divisor
ring operations. (That is, our ring is End(S) ,
since 2 2 = 4 = 0 .
the endomorphism ring of the additive group S
.) Three examples of elements of this ring are the
The only zero divisor of the ring Z of integers is 0.
right shift R(a1, a2, a3, ...) = (0, a1, a2, ...) ,
the left shift L(a1, a2, a3, ...) = (a2, a3, a4, ...)
A nilpotent element of a nonzero ring is always a
, and the projection map onto the rst factor
two-sided zero divisor.
P (a1, a2, a3, ...) = (a1, 0, 0, ...) . All three of
An idempotent element e = 1 of a ring is always a
these additive maps are not zero, and the compostwo-sided zero divisor, since e(1 e) = 0 = (1
ites LP and P R are both zero, so L is a left zero
e)e .
divisor and R is a right zero divisor in the ring of
additive maps from S to S . However, L is not a
Examples of zero divisors in the ring of 2 2 maright zero divisor and R is not a left zero divisor: the
trices (over any nonzero ring) are shown here:
composite LR is the identity. Note also that RL is
(
)(
) (
)(
) (
)
a two-sided zero-divisor since RLP = 0 = P RL ,
1 1
1
1
2 1 1 1
0 0
=
=
,
while LR = 1 is not in any direction.
2 2 1 1
2 1 2 2
0 0
(
)(
) (
)(
1 0 0 0
0 0 1
=
0 0 0 1
0 1 0
0
0
(
=
0 0
0 0
19.2 Non-examples
A direct product of two or more nonzero rings always has nonzero zero divisors. For example, in R1
R2 with each Ri nonzero, (1,0)(0,1) = (0,0), so
(1,0) is a zero divisor.
126
127
More generally, a division ring has no zero divisors is a zero divisor on M otherwise.[4] The set of M-regular
except 0.
elements is a multiplicative set in R.[5]
A nonzero commutative ring whose only zero divisor Specializing the denitions of M-regular and zero divisor on M to the case M = R recovers the denitions of
is 0 is called an integral domain.
regular and zero divisor given earlier in this article.
19.3 Properties
In the ring of n-by-n matrices over a eld, the left
and right zero divisors coincide; they are precisely
the singular matrices. In the ring of n-by-n matrices
over an integral domain, the zero divisors are precisely the matrices with determinant zero.
Left or right zero divisors can never be units, because if a is invertible and ax = 0, then 0 = a1 0 =
a1 ax = x, whereas x must be nonzero.
19.7 Notes
[1] See Bourbaki, p. 98.
19.8 References
N. Bourbaki (1989), Algebra I, Chapters 13,
Springer-Verlag.
Hazewinkel, Michiel, ed. (2001), Zero divisor,
Encyclopedia of Mathematics, Springer, ISBN 9781-55608-010-4
Michiel Hazewinkel; Nadiya Gubareni; Nadezhda
Mikhalovna Gubareni; Vladimir V. Kirichenko.
(2004), Algebras, rings and modules, Vol. 1,
Springer, ISBN 1-4020-2690-0
Charles Lanski (2005), Concepts in Abstract Algebra, American Mathematical Soc., p. 342
Hideyuki Matsumura (1980), Commutative algebra,
2nd edition, The Benjamin/Cummings Publishing
Company, Inc.
Weisstein, Eric W., Zero Divisor, MathWorld.
128
Text
Abelian group Source: https://en.wikipedia.org/wiki/Abelian_group?oldid=728503191 Contributors: AxelBoldt, Bryan Derksen, Zundark, Stevertigo, Patrick, Chas zzz brown, Michael Hardy, Tango, TakuyaMurata, Karada, Theresa knott, Jdforrester, Poor Yorick, Andres,
Schneelocke, Revolver, Charles Matthews, Dcoetzee, Dysprosia, Jitse Niesen, Doradus, Fibonacci, SirJective, Pakaran, Robbot, Romanm,
Gandalf61, DHN, Nikitadanilov, Tea2min, Giftlite, Lethe, Fropu, Brona, Dratman, Jorend, Waltpohl, Leonard G., Chowbok, Zzo38,
Pmanderson, Guanabot, ArnoldReinhold, Gauge, Vipul, Shenme, Kundor, Geschichte, Jumbuck, Trhaynes, Diego Moya, Keenan Pepper, Drbreznjev, Oleg Alexandrov, Imaginatorium, Isnow, Lovro, Rjwilmsi, Amire80, Salix alba, Philosophygeek, R.e.b., Brighterorange,
FlaBot, Mathbot, YurikBot, Michael Slone, Grubber, Mikeblas, Bota47, Cullinane, GrinBot~enwiki, SmackBot, KocjoBot~enwiki, Stie,
Gilliam, Oli Filth, Silly rabbit, DHN-bot~enwiki, SundarBot, SashatoBot, Jonathans, Mets501, Noleander, Saxbryn, Rschwieb, Mikael V,
Madmath789, Newone, Aeons, Vaughan Pratt, CRGreathouse, CmdrObot, WeggeBot, Gregbard, Cydebot, Namwob0, Thijs!bot, Konradek, Headbomb, Marek69, Escarbot, Mathisreallycool, Ste4k, Magic in the night, Vanish2, David Eppstein, Rickterp, Dr Caligari,
Andyparkerson, Warut, Policron, Joe Campbell, Steel1943, VolkovBot, LokiClock, TXiKiBoT, Synthebot, Arcfrk, AlleborgoBot, DL144,
Toddst1, JackSchmidt, ClueBot, Razimantv, SetaLyas, DragonBot, He7d3r, Bender2k14, Zabadooken, Drgruppenpest, Johnuniq, DumZiBoT, Darkicebot, Kwjbot, Addbot, Topology Expert, Legobot, Luckas-bot, Yobot, AnomieBOT, Ciphers, Citation bot, GB fan, Drilnoth,
BotPuppet, RibotBOT, SassoBot, ViolaPlayer, Kaoru Itou, Lagelspeil, Recognizance, Negi(afk), Jlaire, I dream of horses, Tom.Reding,
Quotient group, EmausBot, Chricho, Quondum, D.Lazard, Holmerr, RockMagnetist, Anita5192, Coleegu, Hebert Per, Cyberbot II, CsDix, GreenKeeper17, GeoreyT2000, KasparBot, Tcarisland and Anonymous: 83
Category theory Source: https://en.wikipedia.org/wiki/Category_theory?oldid=729128710 Contributors: AxelBoldt, LC~enwiki, Bryan
Derksen, Zundark, The Anome, Toby~enwiki, Toby Bartels, Oliverkroll, Roadrunner, Youandme, Chas zzz brown, Michael Hardy,
Erik Zachte, JereyYasskin, Dominus, Dcljr, Cyde, TakuyaMurata, Mpagano, Marco Krohn, Jiang, Zhaoway~enwiki, Revolver, Charles
Matthews, Reddi, Dysprosia, Wik, Phys, Bevo, Jerzy, Phil Boswell, Robbot, Jmabel, Gandalf61, Choni, Bkell, Hadal, Fuelbottle, Tea2min,
Giftlite, Markus Krtzsch, Bogdanb, Inkling, Lethe, Lupin, Fropu, Dratman, Semorrison, Jason Quinn, Cambyses, Matt Crypto, Gdr,
MarkSweep, CSTAR, APH, Tzanko Matev, Creidieki, Barnaby dawson, David Sneek, Smimram, Mikolt, Rich Farmbrough, Guanabot,
Luqui, Mat cross, Paul August, Bender235, Rec syn, Elwikipedista~enwiki, Chalst, Szquirrel, Mike Schwartz, Lysdexia, Phils, Msh210,
Diego Moya, Campani~enwiki, Ceyockey, Oleg Alexandrov, Linas, Ruud Koot, Mpatel, Cbcarlson, Ryan Reich, Marudubshinki, Graham87, SixWingedSeraph, Rjwilmsi, Salix alba, Goclenius, Chris Pressey, John Z, Selvakumar.sarangan, YurikBot, Laurentius, Hairy
Dude, Jimp, Grubber, Archelon, Mikeblas, Crasshopper, Robertbyrne, Ott2, Pred, Brentt, WikiWizard, Sardanaphalus, SmackBot, Unyoyega, XudongGuan~enwiki, BiT, Kmarinas86, Dan Hoey, RDBrown, Zoran.skoda, Gutworth, Michiexile, Nbarth, Go for it!, Ashawley,
Alriode, Cybercobra, Jon Awbrey, Lambiam, Azrael ezra, Physis, , CBM, Hga, Sam Staton, Blaisorblade, Julian Mendez, Thijs!bot,
Headbomb, Lotte Monz, WinBot, Seaphoto, JAnDbot, Ensign beedrill, R'n'B, Popx, Maurice Carbonaro, TheSeven, Alexwright, SamStokes, Daniel5Ko, Seoneo, JohnBlackburne, LokiClock, Anonymous Dissident, Hesam7, Ontoraul, Magmi, Don4of4, Davin, Dmcq,
SieBot, Gerakibot, DesolateReality, Curtdbz, Balrivo, Garyzx, Adrianwn, Tkeu, Auntof6, Tlepp, Cenarium, Hans Adler, Palnot, Topology
Expert, Gzhanstong, Favonian, Htamas, Calculuslover, Loupeter, TeH nOmInAtOr, Legobot, Luckas-bot, Yobot, Amirobot, AnomieBOT,
Quorn3000, Minnecologies, Fotino, Bci2, ArthurBot, Xqbot, Txebixev, Felipe Schenone, Omnipaedista, Point-set topologist, FrescoBot,
Sawomir Biay, Tkuvho, Alidev, Tom.Reding, ElNuevoEinstein, Magmalex, Stanny32, EmausBot, Jmencisom, PBS-AWB, Quondum,
Stwalczyk, Dagko, Earldouglas, RockMagnetist, Chester Markel, Deer*lake, AvocatoBot, Brad7777, ChrisGualtieri, JYBot, Deltahedron,
Makecat-bot, Lugia2453, Purnendu Karmakar, SakeUPenn, JMP EAX, Lanzdsey, Cofunctor, KasparBot, Spli Joint Blunt, SaundersLane,
NoToleranceForIntolerance and Anonymous: 137
Field (mathematics) Source: https://en.wikipedia.org/wiki/Field_(mathematics)?oldid=729217160 Contributors: AxelBoldt, Bryan Derksen, Zundark, The Anome, Andre Engels, Josh Grosse, XJaM, Toby Bartels, Miguel~enwiki, Lir, Patrick, Michael Hardy, Wshun,
DIG~enwiki, TakuyaMurata, Karada, Looxix~enwiki, Rossami, Andres, Loren Rosen, Revolver, RodC, Dysprosia, Jitse Niesen, Prumpf,
Tero~enwiki, Phys, Philopp, R3m0t, Jmabel, Mattblack82, MathMartin, P0lyglut, Wikibot, Tea2min, Unfree, Marc Venot, Giftlite, Highlandwolf, Gene Ward Smith, Lethe, Zigger, Fropu, Millerc, Waltpohl, Python eggs, Gubbubu, CSTAR, Pmanderson, Barnaby dawson,
PhotoBox, Mormegil, Jrgen Friis Bak, Discospinster, Guanabot, Sperling, Paul August, Bender235, Zaslav, Elwikipedista~enwiki, El C,
Rgdboer, EmilJ, Touriste, Army1987, Giraedata, Obradovic Goran, OoberMick, Msh210, Mlm42, Olegalexandrov, RJFJR, Oleg Alexandrov, Woohookitty, Linas, Arneth, Bkkbrad, Hypercube~enwiki, MarkTempeit, Damicatz, MFH, Isnow, Palica, Graham87, FreplySpang,
Chenxlee, Josh Parris, Rjwilmsi, Hiberniantears, Salix alba, R.e.b., FlaBot, Codazzi~enwiki, Jrtayloriv, R160K, Chobot, Abu Amaal,
Algebraist, Wavelength, Dmesg, Eraserhead1, Hairy Dude, KSmrq, Grubber, Archelon, Rintrah, Rat144, Rick Norwood, Trovatore, DYLAN LENNON~enwiki, Crasshopper, RaSten, DavidHouse~enwiki, Mgnbar, Children of the dragon, SmackBot, Mmernex, Melchoir,
Gilliam, Nbarth, Charlotte Hobbs, Lesnail, Cybercobra, Acepectif, Slawekk, Bidabadi~enwiki, Lambiam, Jim.belk, Schildt.a, Mets501,
DabMachine, Rschwieb, WAREL, Newone, Vaughan Pratt, CRGreathouse, Kupirijo, Tiphareth, DEWEY, Eulerianpath, Pedro Fonini,
Goldencako, BobNiichel, Xantharius, KLIP~enwiki, JLISP, Headbomb, RobHar, Nick Number, Turgidson, Kprateek88, Martinkunev,
Magioladitis, Bongwarrior, VoABot II, JamesBWatson, Jakob.scholbach, SwiftBot, Catgut, Lukeaw, MORI, Cpiral, Maproom, Gombang,
Policron, Barylior, Umarekawari, LokiClock, Red Act, Anonymous Dissident, Hesam7, Joeldl, Dave703, Zermalo, Shellgirl, Cwkmail,
Soler97, JackSchmidt, Jorgen W, Anchor Link Bot, Willy, your mate, Oekaki, UKe-CH, ClueBot, JP.Martin-Flatin, Mild Bill Hiccup,
Tcklein, Niceguyedc, He7d3r, Bender2k14, Squirreljml, Palnot, ZooFari, Addbot, Gabriele ricci, Download, Unzerlegbarkeit, Cesiumfrog, Yobot, Ht686rg90, TaBOT-zerem, Zagothal, AnomieBOT, UBJ 43X, DSisyphBot, Depassp, Danielschreiber, MegaMouthBolt123,
Point-set topologist, Charvest, KirarinSnow, FrescoBot, Mjmarkowitz, RandomDSdevel, Ebony Jackson, D stankov, Girish.ponkiya2007,
Kunle102, DASHBot, Sedrikov, Tom.kemp90, Tommy2010, Wikipelli, Shishir332, Lfrazier11, Quondum, D.Lazard, JimMeiss, ClueBot
NG, Ankur1vi, Wcherowi, Frietjes, MerlIwBot, Helpful Pixie Bot, !mcbloobyenstein!!, BG19bot, Or elharar, Fabio.nsantos, Rjs.swarnkar,
Topgraph28, Toploftical, Deltahedron, Sanipriya, GigaGerard, CsDix, YiFeiBot, UY Scuti, Teddyktchan, GeoreyT2000, WillemienH,
Charlotte Aryanne, Vluczkow, Gameravsgaos and Anonymous: 136
Galois group Source: https://en.wikipedia.org/wiki/Galois_group?oldid=719899831 Contributors: AxelBoldt, Zundark, Daniel Mahu,
Michael Hardy, Dominus, TakuyaMurata, AugPi, Loren Rosen, Charles Matthews, Dysprosia, Fredrik, Giftlite, Dan Gardner, Chowbok,
Vivacissamamente, EmilJ, Oleg Alexandrov, Mathbot, Dmharvey, Grubber, RDBury, Unyoyega, Lhf, Moxmalin, Keyi, Marek69, RobHar, Escarbot, JamesBWatson, Jakob.scholbach, David Eppstein, STBot, Alro, TomyDuby, Policron, Sigmundur, Hesam7, AlleborgoBot,
Cwkmail, JackSchmidt, Niceguyedc, Alexbot, He7d3r, Dyaa, Legobot, Luckas-bot, AnomieBOT, MattTait, Xqbot, Point-set topologist,
Howard McCay, LucienBOT, Lagelspeil, Dinamik-bot, Ebrambot, Minsbot, Zieglerk, K9re11 and Anonymous: 24
129
130
Giftlite, Gene Ward Smith, Markus Krtzsch, Lupin, Dratman, Ssd, Waltpohl, Jorge Stol, Profvk, Gauss, Grunt, Noisy, Nparikh, Guanabot, Paul August, Elwikipedista~enwiki, Rgdboer, Haham hanuka, Mdd, LutzL, Jrme, Arthena, Keenan Pepper, Oleg Alexandrov,
Graham87, Staecker, Chobot, YurikBot, Dmharvey, Grubber, Archelon, Pmdboi, -oo-~enwiki, Ms2ger, Arthur Rubin, Netrapt, Pred,
Prodego, Eskimbot, Dan Hoey, Bluebot, JCSantos, Bird of paradox, Lubos, Ccero, Zdenes, Mets501, Ravi12346, Rschwieb, Catherineyronwode, Zero sharp, CRGreathouse, CmdrObot, Mon4, Thijs!bot, RobHar, JAnDbot, GromXXVII, Kprateek88, Magioladitis, Reminiscenza, David Eppstein, Maurice Carbonaro, POP JAM, Jnlin, VolkovBot, Joeldl, GirasoleDE, Henry Delforn (old), PerryTachett, Functor
salad, ClueBot, He7d3r, PixelBot, BOTarate, Beroal, Marc van Leeuwen, SilvonenBot, D.M. from Ukraine, Addbot, Lightbot, Luckasbot, KamikazeBot, ArthurBot, Xqbot, GrouchoBot, Charvest, FrescoBot, Citation bot 1, RedBot, DreamingInRed~enwiki, Dinamik-bot,
Emakarov, EmausBot, John of Reading, WikitanvirBot, JasonSaulG, Josve05a, Quondum, Zeugding, Helpful Pixie Bot, Manoguru, Mdsalim786, Mcshantz, Mathedu, SoSivr and Anonymous: 92
Integral domain Source: https://en.wikipedia.org/wiki/Integral_domain?oldid=716546383 Contributors: AxelBoldt, Bryan Derksen, Zundark, XJaM, Michael Hardy, TakuyaMurata, GTBacchus, Karada, Ciphergoth, Caramdir~enwiki, Clausen, Loren Rosen, Dysprosia,
MathMartin, Henrygb, Giftlite, Fropu, Dratman, Waltpohl, Jason Quinn, Pmanderson, Elroch, Sam Hocevar, Rpchase, Barnaby
dawson, Vivacissamamente, Abar, Gauge, El C, EmilJ, Jumbuck, Eric Kvaalen, Arthena, Oleg Alexandrov, Tbsmith, Joriki, Arneth,
Miaow Miaow, Hypercube~enwiki, MFH, Chenxlee, Mike Segal, FlaBot, VKokielov, YurikBot, Dmharvey, Philopedia, Arthur Rubin,
KnightRider~enwiki, SmackBot, Selfworm, InverseHypercube, SGNDave, Mhss, Chris the speller, SMP, BlackFingoln, Ninte, Physis,
Mets501, Rschwieb, CRGreathouse, CmdrObot, Xantharius, RobHar, Salgueiro~enwiki, JAnDbot, Vanish2, JamesBWatson, Falcor84,
Lucky Eight, Squids and Chips, VolkovBot, Fukiishi, Reddyuday, Arcfrk, SieBot, ToePeu.bot, Gherrington, JackSchmidt, Anchor Link
Bot, , JP.Martin-Flatin, Cello3141, He7d3r, Bender2k14, Marc van Leeuwen, Addbot, Expz, DOI bot, LaaknorBot, Ozob, Matj
Grabovsk, Legobot, Yobot, TaBOT-zerem, Calle, AnomieBOT, Galoubet, Citation bot, Xqbot, Depassp, Druic, FrescoBot, LucienBOT, Artem M. Pelenitsyn, Sawomir Biay, Ebony Jackson, Modamoda, Foobarnix, Brambleclawx, H.ehsaan, WikitanvirBot, Fly by
Night, Quondum, D.Lazard, L.tian.wiki, Helpful Pixie Bot, MerryTaliban1, AvocatoBot, Solomon7968, CitationCleanerBot, Deltahedron,
Greatuser, Mathedu, CsDix, Fylgia Fock, Cvchaparro, Magmalord, Gjbayes, GeoreyT2000, Arghya Chakraborty (Mathematician) and
Anonymous: 60
Isometry Source: https://en.wikipedia.org/wiki/Isometry?oldid=727016498 Contributors: Zundark, Patrick, Michael Hardy, TakuyaMurata, Glenn, Charles Matthews, KRS, Hyacinth, Alembert~enwiki, Robbot, MathMartin, Lupo, Tosha, Giftlite, Lupin, Fropu, Mike
Rosoft, Reuben, Snowolf, Jopxton, Oleg Alexandrov, Peya, Isnow, Marudubshinki, Grammarbot, Salix alba, FlaBot, [email protected], Mathbot, Siddhant, YurikBot, RussBot, Gaius Cornelius, Crasshopper, ManoaChild, Bota47, Silly rabbit, Jtabbsvt, UKER,
LaMenta3, Jackzhp, Sninoy, TheTito, Thijs!bot, B-80, Turgidson, Vanish2, Albmont, Trioculite, Sullivan.t.j, JoergenB, TomyDuby,
Trumpet marietta 45750, VolkovBot, Matematico~enwiki, SieBot, Harry-, Marino-slo, Niceguyedc, DragonBot, Addbot, AkhtaBot, Topology Expert, TutterMouse, Uscitizenjason, Peti610botH, KamikazeBot, 4th-otaku, AnomieBOT, Omnipaedista, Point-set topologist, RibotBOT, EmausBot, WikitanvirBot, Quondum, Aughost, Much, ClueBot NG, Wcherowi, BG19bot, Vagobot, Brad7777, Brirush, Limittheorem, Noix07, Mr. Smart LION, GeoreyT2000, Gblikas, Hmcaun and Anonymous: 53
Magma (algebra) Source: https://en.wikipedia.org/wiki/Magma_(algebra)?oldid=722061698 Contributors: AxelBoldt, Zundark, Toby
Bartels, Qwitchibo, SGBailey, AugPi, Rmilson, Andres, Charles Matthews, Doradus, 1984, Romanm, P0lyglut, Tea2min, Giftlite, Lethe,
Fropu, Jason Quinn, Jpp, Gubbubu, DefLog~enwiki, Pgan002, Phe, Habitue, EmilJ, Kevin Lamoreau, SpeedyGonsales, Linas, Shreevatsa, Uncle G, Mpatel, Wbeek, Chenxlee, Josh Parris, Rjwilmsi, Salix alba, FlaBot, Nihiltres, YurikBot, Hairy Dude, Dmharvey, Archelon, Bruguiea, Bota47, Reyk, Tropylium, GrinBot~enwiki, RupertMillard, SmackBot, Melchoir, PJTraill, Bluebot, RDBrown, Nbarth,
J. Finkelstein, Michael Kinyon, Rschwieb, CRGreathouse, Myasuda, Cydebot, Thijs!bot, Kilva, Lovibond, Salgueiro~enwiki, Deom,
Jakob.scholbach, Hey Ho Lets Dave, Sullivan.t.j, David Eppstein, LokiClock, Anonymous Dissident, Popopp, Cnilep, Ponyo, YohanN7,
Hawk777, Markus Prokott, Thehotelambush, JackSchmidt, Stfg, Mr. Granger, DavidHobby, Mathemajor, SamuelTheGhost, MystBot,
Addbot, Tjlaxs, Ersik, AgadaUrbanit, ., Legobot, Luckas-bot, Yobot, Nallimbot, AnomieBOT, Xqbot, Nishantjr, Charvest, Serols,
ElNuevoEinstein, Xnn, EmausBot, Jimj316, Quondum, BG19bot, Solomon7968, Brad7777, Papxr, Nadapez~enwiki, IkamusumeFan,
Deltahedron, Natuur12, Mark viking, CsDix, JP.Martin-Flatin (old), Gcleaner66553377, JMP EAX, M80126colin, Anareth and Anonymous: 31
Order (group theory) Source: https://en.wikipedia.org/wiki/Order_(group_theory)?oldid=709205934 Contributors: AxelBoldt, TakuyaMurata, Charles Matthews, Robbot, Schutz, Lowellian, Tea2min, Giftlite, BenFrantzDale, Waltpohl, Dnas, Tomruen, Pyrop, Gauge, Ntmatter, Hoziron, Gadlor, VKokielov, YurikBot, RussBot, KSmrq, Gwaihir, Voidxor, Chris the speller, AdamSmithee, JRSpriggs, CRGreathouse, Thijs!bot, Kilva, F.mardini, Marek69, Albmont, JoergenB, Yensin, TomyDuby, Skylarkmichelle, Mrinsuperable, JackSchmidt,
Andrewbt, Razimantv, He7d3r, Beroal, Addbot, Luckas-bot, Yobot, AnomieBOT, , FoxBot, Quondum, D.Lazard, ChuispastonBot, Kasirbot, Walk&check, Cnorrisl, SoSivr, ArcanaNoir and Anonymous: 20
Ring (mathematics) Source: https://en.wikipedia.org/wiki/Ring_(mathematics)?oldid=727126347 Contributors: Damian Yerrick, AxelBoldt, Bryan Derksen, Zundark, Tarquin, Youssefsan, Toby Bartels, Miguel~enwiki, Patrick, Michael Hardy, Wshun, Dominus, TakuyaMurata, Stevan White, Stan Shebs, Suisui, Angela, AugPi, Rotem Dan, Andres, Clausen, Vargenau, Schneelocke, Ideyal, Ffransoo, Loren
Rosen, Revolver, Charles Matthews, Dysprosia, Jitse Niesen, Kbk, Prumpf, Itai, Taxman, VeryVerily, Aleph4, Robbot, Romanm, MathMartin, Henrygb, Puckly, Bkell, Tea2min, Tosha, Giftlite, BenFrantzDale, Tom harrison, Fropu, Berjoh, FunnyMan3595, Michael Devore, Jorend, Ssd, Jorge Stol, Python eggs, Chowbok, Sigfpe, Profvk, Pmanderson, Mschlindwein, Frenchwhale, Barnaby dawson, Vivacissamamente, PhotoBox, D6, Smimram, Discospinster, Hydrox, Mecanismo, Xezbeth, Paul August, Gauge, Syp, [email protected],
El C, Rgdboer, EmilJ, O18, Touriste, La goutte de pluie, Nk, Obradovic Goran, Msh210, Eric Kvaalen, AidanH, Emvee~enwiki, Oleg
Alexandrov, Joriki, Linas, Aaron McDaid, Robert K S, Halcatalyst, Mandarax, Graham87, Ilya, Jclemens, Chenxlee, Radomir, Rjwilmsi,
OneWeirdDude, Pako, Staecker, Salix alba, Mathbot, R160K, Sunil.nandihalli, Chobot, Bgwhite, Algebraist, Jayme, Wavelength, Hairy
Dude, Dmharvey, Michael Slone, Pi Delport, KSmrq, Grubber, Chrispounds, ENeville, Rick Norwood, NickBush24, David Pierce,
Crasshopper, Pooryorick~enwiki, 2over0, Arthur Rubin, Netrapt, Pred, Bo Jacoby, Jsnx, SmackBot, Selfworm, InverseHypercube, CapitalSasha, Cazort, Hmains, Anastasios~enwiki, JasonMR, Snori, PrimeHunter, MalafayaBot, Silly rabbit, Octahedron80, Don Hosek, AdamSmithee, Kjetil1001, Cybercobra, Diocles, Tilin, Ninte, Soumyasch, Rschwieb, Ojan, CRGreathouse, DavidFHoughton, Nightwriter50,
Ironmagma, Myasuda, Mct mht, Marqueed, Dl573, Gogo Dodo, Goldencako, Xantharius, Thijs!bot, Wikid77, Andri Egilsson, Headbomb, RobHar, OrenBochman, CZeke, Papipaul, JAnDbot, Drizzd~enwiki, Magioladitis, JamesBWatson, Swpb, Jakob.scholbach, Alvian,
Twsx, WhatamIdoing, JJ Harrison, David Eppstein, JaGa, Tejon~enwiki, Pomte, Laurusnobilis, TomyDuby, Jeepday, OliverHarris, Yecril,
VolkovBot, JohnBlackburne, LokiClock, AlnoktaBOT, Cbigorgne, TXiKiBoT, Malsaqer, Rei-bot, Anonymous Dissident, Marcosaedro,
Plclark, Gillyrules18, Joeldl, Bphenry, AlleborgoBot, Ocsenave, SieBot, Ivan tambuk, X-Fi6, Wing gundam, Yerpo, Henry Delforn (old),
Thehotelambush, JackSchmidt, Deadlyhair, Int21h, Jorgen W, OKBot, Oekaki, The Thing That Should Not Be, JP.Martin-Flatin, Mild Bill
Hiccup, Niceguyedc, Jalanpalmer, NClement, He7d3r, Hans Adler, Sterlesser, Jshen6, Lambtron, WikHead, Addbot, Roentgenium111,
131
Expz, AkhtaBot, Zorrobot, Legobot, Luckas-bot, Yobot, AnomieBOT, Law, Citation bot, Jellystones, LilHelpa, Xqbot, Andreesakia, GeometryGirl, Nfr-Maat, Omnipaedista, VladimirReshetnikov, Point-set topologist, Charvest, Raulshc, FrescoBot, Sawomir Biay, Citation
bot 1, Jlaire, Velvetsh, Redrose64, Ebony Jackson, HRoestBot, Sa'y, MastiBot, Wallacoloo, Foobarnix, Beao, Im not afraid, Trappist the
monk, Lovek323, EmausBot, GoingBatty, KHamsun, Slawekb, Adolfbatman, Quondum, D.Lazard, Wikfr, ChuispastonBot, RockMagnetist, Ebehn, Nitrogl, Anita5192, ClueBot NG, El Roih, Matthiaspaul, Derschmidt, Frietjes, MerlIwBot, Helpful Pixie Bot, BG19bot,
John Cummings, David815, QualitativeMath, CitationCleanerBot, Dlituiev, MohaiminPatwary, ChrisGualtieri, Khazar2, Deltahedron,
Zeeyanwiki, Mark L MacDonald, Remag12, Mark viking, Lobote, AcheronSS, Mathedu, CsDix, Purnendu Karmakar, Barrettcw, Critical Reason, Craed, Rawatsanjay, Tarpuq, Magmalord, Lilyemmab, Kirstyoulden, Revstifeev, Peiers, Unician, Fyodorjung, Jmcgnh and
Anonymous: 191
Subgroup Source: https://en.wikipedia.org/wiki/Subgroup?oldid=712011049 Contributors: AxelBoldt, Zundark, Patrick, Chas zzz brown,
Michael Hardy, TakuyaMurata, AugPi, Revolver, Charles Matthews, Dcoetzee, Dysprosia, Zero0000, Fredrik, Schutz, Jotomicron, MathMartin, Giftlite, DocWatson42, Arved, Lethe, Simplex~enwiki, Pyrop, Adan, Vipul, Viriditas, Obradovic Goran, Storm Rider, Oleg
Alexandrov, SLi, VKokielov, Mathbot, Margosbot~enwiki, Bgwhite, Roboto de Ajvol, YurikBot, RussBot, Michael Slone, Grubber, Gaius
Cornelius, Zwobot, Bota47, Pred, SmackBot, Edgar181, Nbarth, Jim.belk, Mets501, Noleander, Wakimakirolls, Thijs!bot, Kilva, Magioladitis, Jakob.scholbach, David Eppstein, Arturj, OktayD, LokiClock, Rei-bot, Quietbritishjim, Anchor Link Bot, Razimantv, Watchduck,
He7d3r, Jaan Vajakas, Addbot, Topology Expert, West.andrew.g, Zorrobot, Legobot, Luckas-bot, Yobot, JackieBot, ArthurBot, Xqbot,
Point-set topologist, HRoestBot, Jonesey95, RedBot, Tanner Swett, ZroBot, Quondum, Jadzia2341, Augurar, MRG90, Jeremy112233,
CsDix, K9re11, SoSivr and Anonymous: 28
Symmetry Source: https://en.wikipedia.org/wiki/Symmetry?oldid=729003485 Contributors: AxelBoldt, Bryan Derksen, The Anome, Tarquin, XJaM, Stevertigo, Patrick, Michael Hardy, Earth, HarmonicSphere, Haakon, CatherineMunro, Cyan, AugPi, Marksuppes, Rossami,
Jeandr du Toit, Smack, RodC, Charles Matthews, Jitse Niesen, Wik, Zoicon5, Maximus Rex, Jerey Smith, Hyacinth, Nv8200pa, Phys,
Omegatron, Bevo, Olathe, Finlay McWalter, Jeq, Robbot, Altenmann, Romanm, Mayooranathan, Gandalf61, Rursus, Burtonator, JeC,
Paul Murray, ElBenevolente, Alanyst, Tea2min, Marc Venot, Giftlite, Pandammonium, Tom harrison, Herbee, Dratman, DO'Neil, Gracefool, Andycjp, Geni, Yarnover, Quadell, Antandrus, Joseph Myers, Tomruen, C4~enwiki, Porges, Venu62, Imroy, Discospinster, Paul August, Bender235, Tompw, Rgdboer, Hayabusa future, Uieoa, Mpulier, Benbread, Alansohn, BadSanta, CuriousOne, Jheald, Jon Cates, Oleg
Alexandrov, Feezo, Stemonitis, Mel Etitis, Woohookitty, Linas, David Haslam, Guy M, Ruud Koot, Tabletop, GregorB, Pfalstad, Marudubshinki, Graham87, Magister Mathematicae, V8rik, BD2412, Martin von Gagern, Pmj, KYPark, Stardust8212, Salix alba, SchuminWeb,
Mathbot, Margosbot~enwiki, Nihiltres, RexNL, Ben Babcock, SpectrumDT, King of Hearts, Scoops, Eric B, PointedEars, YurikBot,
Wavelength, RussBot, Splash, Grubber, CambridgeBayWeather, NawlinWiki, 0waldo, Wiki alf, Anetode, Mysid, Trojanavenger, Tomabbott, Enormousdude, Cullinane, Arthur Rubin, MathsIsFun, Willtron, Eugcc, GrinBot~enwiki, MelRip, Segv11, AceVentura, Sbyrnes321,
RonnieBrown, Brentt, Lviatour, SmackBot, Incnis Mrsi, Melchoir, Pavlovi, Pgk, KocjoBot~enwiki, Delldot, Atomota, Xaosux, Gilliam,
Ennorehling, Bluebot, Fplay, MalafayaBot, Silly rabbit, CSWarren, Ikiroid, Octahedron80, Kostmo, John Reaves, Antabus, Tamfang,
OrphanBot, Rrburke, Cybercobra, TheLimbicOne, Akriasas, Sadi Carnot, ArglebargleIV, Ybact, Lakinekaki, Terry Bollinger, Bjankuloski06en~enwiki, Firefox13, 16@r, Violncello, Abel Cavai, Dreftymac, MIckStephenson, Joseph Solis in Australia, Theone00, S0me
l0ser, 'Ff'lo, Debanjum, JForget, CmdrObot, Iced Kola, The Font, CBM, MarsRover, Shadow12l, Cydebot, Rieman 82, JFreeman,
Jgbeldock, Xminivann, Vanished User jdksfajlasd, Thijs!bot, Epbr123, Kilva, Mojo Hand, Miesling, Yaragn, TimVickers, Coyets, Darvasg, Steelpillow, JAnDbot, Txomin, Struthious Bandersnatch, Dcooper, Bongwarrior, Dekimasu, Soulbot, Baccyak4H, SparrowsWing,
Johnbibby, Seberle, Justanother, Japo, David Eppstein, Cpl Syx, DerHexer, JaGa, Wdake, Khalid Mahmood, Pax:Vobiscum, Falcor84,
Monurkar~enwiki, Gwern, Jtir, MartinBot, Schmloof, R'n'B, Pomte, Wlodzimierz, J.delanoy, BigrTex, Nigholith, Chiswick Chap, Lbeaumont, Vanished user 39948282, DWPittelli, VolkovBot, Thisisborin9, JohnBlackburne, Soliloquial, AllS33ingI, Philip Trueman, TXiKiBoT, Bbik, CosmonautLaunchPad, Mercurywoodrose, Zamphuor, A4bot, Weena Eloi, John Ellsworth, LeaveSleaves, Falcon8765, Brianga,
Hrafn, SieBot, Nubiatech, Malcolmxl5, Caltas, Keilana, Bentogoa, Flyer22 Reborn, Oxymoron83, JerroldPease-Atlanta, JackSchmidt,
Onopearls, Termer, Nn123645, Denisarona, ImageRemovalBot, Tanvir Ahmmed, ClueBot, Snigbrook, The Thing That Should Not Be,
BenWillard, Hal8999, Hafspajen, DragonBot, Watchduck, Ottre, Sun Creator, Brews ohare, Promethean, Hans Adler, SchreiberBike,
Taranet, Vybr8, Qwfp, TimothyRias, XLinkBot, Dthomsen8, Petitjeanmichel, HOTmag, Addbot, Jpiacheeto, MrOllie, 5 albert square,
Xev lexx, PjOfAustralia, Wytenus208, Tide rolls, Zorrobot, Snaily, Legobot, Cote d'Azur, Luckas-bot, Yobot, Pink!Teen, NotARusski,
Gobbleswoggler, AnomieBOT, Jim1138, Materialscientist, Citation bot, ArthurBot, Xqbot, Joshua.mccall, The Evil IP address, GrouchoBot, Lillebi, Omnipaedista, RibotBOT, Shadowjams, Hersfold tool account, FrescoBot, Finalius, Pinethicket, Thinking of England,
RobinK, TobeBot, Imaebn, Lotje, Vancouver Outlaw, Jave7784, Bea.miau, Onel5969, TjBot, DexDor, John of Reading, Kpuersh,
RA0808, ZxxZxxZ, Dcirovic, ZroBot, PBS-AWB, F, Bollyje, Parsonscat, Aknicholas, Wayne Slam, Ben Tamari, Jacobisq, JaySebastos, Donner60, Scientic29, ChuispastonBot, Weimer, ClueBot NG, Malleus Felonius, Scalelore, Graythos1, Widr, ,
Darian25, Helpful Pixie Bot, Bibcode Bot, BG19bot, Snaevar-bot, Qx2020, , Cyberpower678, MusikAnimal, Krupasindhu
Muduli, EditorRob, Klilidiplomus, Wannabemodel, Huntlj88, David.moreno72, Tonusamuel, Harshul Ravindran, GoShow, Khazar2, EuroCarGT, Kelvinsong, Volvens, Mogism, Brirush, Leprof 7272, Mark viking, Tentinator, Oj.jain, Ginsuloft, Argent2, Monkbot, Yikkayaya,
Crystallizedcarbon, Rakshith12Kiran, Loraof, Malc9141, Yolo pizza pocket, Redzemp, New User Person, Krishikaran, HannuMannu,
TheGoldenParadox, Lily pu and Anonymous: 391
Symmetry group Source: https://en.wikipedia.org/wiki/Symmetry_group?oldid=718983717 Contributors: AxelBoldt, Tarquin, Jkominek,
Josh Grosse, Nonenmac, Stevertigo, Edward, Patrick, Dominus, Stevenj, Charles Matthews, Dysprosia, AndrewKepert, RedWolf, Sverdrup,
Tea2min, Giftlite, Snags, BenFrantzDale, Fropu, Jason Quinn, Auximines, Beland, Bornintheguz, Rich Farmbrough, Qutezuce, Fadereu,
Oleg Alexandrov, MFH, Tokek, BD2412, Martin von Gagern, Eubot, Mathbot, Nihiltres, Debivort, Siddhant, YurikBot, Wavelength, Reverendgraham, KSmrq, Raven4x4x, LarryLACa, Cullinane, Modify, Wikipedist~enwiki, IstvanWolf, TimBentley, Silly rabbit, Tsca.bot,
Tamfang, TheLimbicOne, Pcgomes, Vina-iwbot~enwiki, Maverick starstrider, Mets501, Sir Vicious, Thijs!bot, Kilva, Hannes Eder,
Dirac66, R'n'B, JohnBlackburne, LokiClock, TXiKiBoT, Anonymous Dissident, Eubulides, Anchor Link Bot, Addbot, Romaioi, Luckasbot, Xqbot, GrouchoBot, Lillebi, Sawomir Biay, RobinK, EmausBot, Minimacs Clone, Slawekb, Quondum, Jadzia2341, Maschen, DonBex, ClueBot NG, Helpful Pixie Bot, Russell157 and Anonymous: 30
Vector eld Source: https://en.wikipedia.org/wiki/Vector_field?oldid=720274140 Contributors: AxelBoldt, Chato, Patrick, Chas zzz
brown, Michael Hardy, Tim Starling, Wshun, TakuyaMurata, Cyp, Stevenj, Andres, Charles Matthews, Reddi, Sbwoodside, Dysprosia, Jitse
Niesen, Maximus Rex, Fibonacci, Phys, Jaredwf, MathMartin, Idoneus~enwiki, Tosha, Giftlite, BenFrantzDale, var Arnfjr Bjarmason,
DefLog~enwiki, LiDaobing, MFNickster, Hellisp, JohnArmagh, Zowie, Klaas van Aarsen, Rich Farmbrough, ReiVaX, Bender235, Mdd,
Wendell, Oleg Alexandrov, Woohookitty, Linas, Jacobolus, Rjwilmsi, MarSch, HannsEwald, Salix alba, Dergrosse, Mo-Al, FlaBot, Margosbot~enwiki, Alfred Centauri, Chobot, 121a0012, WriterHound, YurikBot, Archelon, Buster79, Mgnbar, Darrel francis, Sbyrnes321,
SmackBot, RDBury, Rex the rst, Pokipsy76, Silly rabbit, Nbarth, DHN-bot~enwiki, Regford, Daqu, Pen of bushido, Andrei Stroe, Cron-
132
holm144, Jim.belk, Dwmalone, FelisSchrdingeris, Thijs!bot, KlausN~enwiki, JAnDbot, Rivertorch, Catgut, Sullivan.t.j, User A1, Martynas Patasius, JaGa, Rickard Vogelberg, R'n'B, TomyDuby, Policron, HyDeckar, Jaimeastorga2000, VolkovBot, LokiClock, Julian I Do
Stu, TXiKiBoT, A4bot, Anonymous Dissident, Michael H 34, Geometry guy, Antixt, SieBot, Soler97, Paolo.dL, JackSchmidt, OKBot,
7&6=thirteen, Wikidsp, Addbot, Fgnievinski, Topology Expert, EconoPhysicist, AndersBot, Mattmatt79, Jasper Deng, Zorrobot, Jarble,
Snaily, Legobot, Luckas-bot, Yobot, Naudefjbot~enwiki, AnomieBOT, Ciphers, ArthurBot, Titi2~enwiki, Point-set topologist, FrescoBot,
Lookang, Sawomir Biay, Lost-n-translation, Foobarnix, Tcnuk, Rausch, EmausBot, Fly by Night, Slawekb, Hhhippo, ZroBot, Qniemiec,
Wikfr, Glosser.ca, Sp4cetiger, Helpsome, Wcherowi, Clearlyfakeusername, Snotbot, Frietjes, Mesoderm, Vincius Machado Vogt, Helpful
Pixie Bot, Shivsagardharam, Nawk, MusikAnimal, Cispyre, F=q(E+v^B), ChrisGualtieri, Svjo, Oxherdn, Creepsevry1out, BD2412bot,
Fmadd and Anonymous: 77
Vector space Source: https://en.wikipedia.org/wiki/Vector_space?oldid=727289847 Contributors: AxelBoldt, Bryan Derksen, Zundark,
The Anome, Taw, Awaterl, Youandme, N8chz, Olivier, Tomo, Patrick, Michael Hardy, Tim Starling, Wshun, Nixdorf, Kku, Gabbe, Wapcaplet, TakuyaMurata, Pcb21, Iulianu, Glenn, Ciphergoth, Dysprosia, Jitse Niesen, Jogloran, Phys, Kwantus, Aenar, Robbot, Romanm,
P0lyglut, Tea2min, Giftlite, BenFrantzDale, Lethe, MathKnight, Fropu, Waltpohl, Andris, Daniel Brockman, Python eggs, Chowbok,
Sreyan, Lockeownzj00, MarkSweep, Profvk, Maximaximax, Barnaby dawson, Mh, Klaas van Aarsen, TedPavlic, Rama, Smyth, Notinasnaid, Paul August, Bender235, Rgdboer, Shoujun, Army1987, Cmdrjameson, Stephen Bain, Tsirel, Msh210, Orimosenzon, ChrisUK,
Ncik~enwiki, Eric Kvaalen, ABCD, Sligocki, Jheald, Eddie Dealtry, Dirac1933, Woodstone, Kbolino, Oleg Alexandrov, Woohookitty,
Mindmatrix, ^demon, Hfarmer, Mpatel, MFH, Graham87, Ilya, Rjwilmsi, Koavf, MarSch, Omnieiunium, Salix alba, Titoxd, FlaBot, VKokielov, Therearenospoons, Nihiltres, Ssafarik, Srleer, Kri, R160K, Chobot, Gwernol, Algebraist, YurikBot, Wavelength, Spacepotato,
Hairy Dude, RussBot, Michael Slone, CambridgeBayWeather, Rick Norwood, Kinser, Guruparan, Trovatore, Vanished user 1029384756,
Nick, Bota47, BraneJ, Martinwilke1980, Antiduh, Arthur Rubin, Lonerville, Netrapt, Curpsbot-unicodify, Cjfsyntropy, Paul D. Anderson,
GrinBot~enwiki, SmackBot, RDBury, InverseHypercube, KocjoBot~enwiki, Davidsiegel, Chris the speller, SlimJim, SMP, Silly rabbit,
Complexica, Nbarth, DHN-bot~enwiki, Colonies Chris, Chlewbot, Vanished User 0001, Ccero, Cybercobra, Daqu, Mattpat, James084,
Lambiam, Tbjw, Breno, Terry Bollinger, Frentos, Michael Kinyon, Lim Wei Quan, Rcowlagi, SandyGeorgia, Whackawhackawoo, Inquisitus, Rschwieb, Levineps, JMK, Madmath789, Markan~enwiki, Tawkerbot2, Igni, CRGreathouse, Mct mht, Cydebot, Danman3459,
Guitardemon666, Mikewax, Thijs!bot, Headbomb, RobHar, CharlotteWebb, Urdutext, Escarbot, JAnDbot, Thenub314, Englebert, Magioladitis, Jakob.scholbach, Kookas, SwiftBot, WhatamIdoing, David Eppstein, Cpl Syx, Charitwo, Akhil999in, Infovarius, Frenchef,
TechnoFaye, CommonsDelinker, Paranomia, Michaelp7, Mitsuruaoyama, Trumpet marietta 45750, Daniele.tampieri, Gombang, Policron, Fylwind, Cartiod, Camrn86, AlnoktaBOT, Hakanksem~enwiki, Belliger~enwiki, TXiKiBoT, Hlevkin, Gwib, Anonymous Dissident,
Imasleepviking, Hrrr, Mechakucha, Geometry guy, Terabyte06, Tommyinla, Wikithesource, Staka, AlleborgoBot, Deconstructhis, Newbyguesses, YohanN7, SieBot, Ivan tambuk, Portalian, ToePeu.bot, Lucasbfrbot, Tiptoety, Paolo.dL, Henry Delforn (old), Thehotelambush, JackSchmidt, Jorgen W, AlanUS, Yoda of Borg, Randomblue, Jludwig, ClueBot, Alksentrs, Nsk92, JP.Martin-Flatin, FractalFusion,
Niceguyedc, DierCake, Auntof6, 0ladne, Bender2k14, PixelBot, Brews ohare, Jotterbot, Hans Adler, SchreiberBike, Jasanas~enwiki,
Humanengr, TimothyRias, BodhisattvaBot, SilvonenBot, Jaan Vajakas, Addbot, Gabriele ricci, AndrewHarvey4, Topology Expert, NjardarBot, Looie496, Uncia, ChenzwBot, Ozob, Wikomidia, TeH nOmInAtOr, Jarble, CountryBot, Yobot, Kan8eDie, THEN WHO WAS
PHONE?, Edurazee, AnomieBOT, ^musaz, Gtz, Citation bot, Xqbot, Txebixev, GeometryGirl, Ferran Mir, Point-set topologist, RibotBOT, Charvest, Quartl, Lisp21, FrescoBot, Nageh, Rckrone, Sawomir Biay, Citation bot 1, Kiefer.Wolfowitz, Jonesey95, MarcelB612,
Stpasha, Mathstudent3000, Jujutacular, Dashed, Orenburg1, Double sharp, TobeBot, Javierito92, January, Setitup, TjBot, EmausBot,
WikitanvirBot, Brydustin, Fly by Night, Slawekb, Chricho, Ldboer, Quondum, D.Lazard, Milad pourrahmani, RaptureBot, Cloudmichael,
Maschen, ClueBot NG, Wcherowi, Chitransh Gaurav, Jiri 1984, Joel B. Lewis, Widr, Helpful Pixie Bot, Ma snx, David815, Alesak23,
Probability0001, JOSmithIII, Duxwing, PsiEpsilon, IkamusumeFan, , IPWAI, JYBot, Dexbot, Catclock, Tch3n93, Fycafterpro, CsDix, Hella.chillz, Jose Brox, Franois Robere, Loganfalco, Newestcastleman, UY Scuti, K9re11, Monkbot, AntiqueReader,
Aditya8795, KurtHeckman, Isambard Kingdom, Shivakrishna .Srinivas. Dasari, NateLloydClark, BowlAndSpoon, Fmadd and Anonymous: 223
Zero divisor Source: https://en.wikipedia.org/wiki/Zero_divisor?oldid=727125556 Contributors: AxelBoldt, Mav, Bryan Derksen,
Michael Hardy, TakuyaMurata, Eric119, Andres, Sabbut, SirJective, MathMartin, Tea2min, Giftlite, Dan Gardner, Joseph Dwayne, KarlHenner, MathyGuy23, Vivacissamamente, Mdd, Sabin4232, Graham87, Jshadias, OneWeirdDude, CiaPan, Chobot, Michael Slone, RDBury, Incnis Mrsi, Melchoir, Bluebot, Lambiam, Gleuschk, Rschwieb, CRGreathouse, CmdrObot, Cydebot, Xantharius, Eleuther, Magioladitis, Etale, JoergenB, Jeepday, Trumpet marietta 45750, GaborLajos, Policron, Rei-bot, He7d3r, Carvasf, Feinoha, Astrale, Addbot,
Ersik, Jarble, Legobot, Luckas-bot, Yobot, Rubinbot, JackieBot, Citation bot, Erik9bot, Atlantia, DrilBot, Ebony Jackson, Trappist the
monk, Sheogorath, RjwilmsiBot, Chricho, Quondum, Savantas83, BG19bot, AvocatoBot, IkamusumeFan, YFdyh-bot, Little green rosetta,
Zhongmou Zhang, DrWakewaters, Rayhartung, MatemaatikaLoom, Davyker and Anonymous: 28
19.9.2
Images
133
134
Source:
https://upload.wikimedia.org/wikipedia/commons/a/a3/
CC BY-SA 3.0 Contributors: Own work Original artist: Jochen
CC-BY-SA-3.0 Contributors:
135
136
File:Symmetric_group_3;_Cayley_table;_subgroup_of_S4_(elements_0,1,2,3,4,5).svg Source:
https://upload.wikimedia.org/
wikipedia/commons/8/8e/Symmetric_group_3%3B_Cayley_table%3B_subgroup_of_S4_%28elements_0%2C1%2C2%2C3%2C4%
2C5%29.svg License: CC BY 3.0 Contributors: Own work Original artist: Watchduck (a.k.a. Tilman Piesk)
File:Symmetric_group_3;_Cayley_table;_subgroup_of_S4_(elements_0,2,6,8,12,14).svg Source: https://upload.wikimedia.org/
wikipedia/commons/e/e6/Symmetric_group_3%3B_Cayley_table%3B_subgroup_of_S4_%28elements_0%2C2%2C6%2C8%2C12%
2C14%29.svg License: CC BY 3.0 Contributors: Own work Original artist: Watchduck (a.k.a. Tilman Piesk)
File:Symmetric_group_3;_Cayley_table;_subgroup_of_S4_(elements_0,5,6,11,19,21).svg Source: https://upload.wikimedia.org/
wikipedia/commons/3/35/Symmetric_group_3%3B_Cayley_table%3B_subgroup_of_S4_%28elements_0%2C5%2C6%2C11%2C19%
2C21%29.svg License: CC BY 3.0 Contributors: Own work Original artist: Watchduck (a.k.a. Tilman Piesk)
File:Symmetric_group_4;_Cayley_table;_numbers.svg Source: https://upload.wikimedia.org/wikipedia/commons/d/d1/Symmetric_
group_4%3B_Cayley_table%3B_numbers.svg License: CC BY 3.0 Contributors: Own work Original artist: Watchduck (a.k.a. Tilman Piesk)
File:Symmetric_group_4;_Lattice_of_subgroups_Hasse_diagram.svg Source: https://upload.wikimedia.org/wikipedia/commons/3/
32/Symmetric_group_4%3B_Lattice_of_subgroups_Hasse_diagram.svg License: CC BY 3.0 Contributors: ? Original artist: ?
File:Taj_Mahal,_Agra_views_from_around_(85).JPG Source: https://upload.wikimedia.org/wikipedia/commons/1/19/Taj_Mahal%
2C_Agra_views_from_around_%2885%29.JPG License: CC BY-SA 3.0 Contributors: Own work Original artist: Vinayaraj
File:Tetrahedral_group_2.svg Source: https://upload.wikimedia.org/wikipedia/commons/9/98/Tetrahedral_group_2.svg License: CCBY-SA-3.0 Contributors: ? Original artist: User Debivort on en.wikipedia
File:Text_document_with_red_question_mark.svg Source: https://upload.wikimedia.org/wikipedia/commons/a/a4/Text_document_
with_red_question_mark.svg License: Public domain Contributors: Created by bdesham with Inkscape; based upon Text-x-generic.svg
from the Tango project. Original artist: Benjamin D. Esham (bdesham)
File:The_armoured_triskelion_on_the_flag_of_the_Isle_of_Man.svg Source: https://upload.wikimedia.org/wikipedia/commons/3/
36/The_armoured_triskelion_on_the_flag_of_the_Isle_of_Man.svg License: Public domain Contributors: Image:Civil Ensign of the Isle
of Man.svg Original artist: Washiucho
File:Torus.png Source: https://upload.wikimedia.org/wikipedia/commons/1/17/Torus.png License: Public domain Contributors: This image was created with POV-Ray Original artist: LucasVB
File:Uniform_tiling_73-t2_colored.png Source:
https://upload.wikimedia.org/wikipedia/commons/1/14/Uniform_tiling_73-t2_
colored.png License: CC BY-SA 3.0 Contributors: Created by myself Original artist: Jakob.scholbach (talk)
File:Universal_tensor_prod.svg Source: https://upload.wikimedia.org/wikipedia/commons/d/d3/Universal_tensor_prod.svg License:
CC BY-SA 4.0 Contributors: Own work Original artist: IkamusumeFan
File:VectorField.svg Source: https://upload.wikimedia.org/wikipedia/commons/b/b9/VectorField.svg License: Public domain Contributors: Own work Original artist: Jim.belk
File:Vector_add_scale.svg Source: https://upload.wikimedia.org/wikipedia/commons/a/a6/Vector_add_scale.svg License: CC BY-SA
3.0 Contributors: Plot SVG using text editor. Original artist: IkamusumeFan
File:Vector_addition3.svg Source: https://upload.wikimedia.org/wikipedia/commons/e/e6/Vector_addition3.svg License: CC BY-SA
3.0 Contributors: Own work Original artist: Jakob.scholbach
File:Vector_components.svg Source: https://upload.wikimedia.org/wikipedia/commons/8/87/Vector_components.svg License: CC BYSA 3.0 Contributors: Own work Original artist: Jakob.scholbach
File:Vector_components_and_base_change.svg Source: https://upload.wikimedia.org/wikipedia/commons/a/a6/Vector_components_
and_base_change.svg License: CC BY-SA 3.0 Contributors: Own work Original artist: Jakob.scholbach
File:Vector_norms2.svg Source: https://upload.wikimedia.org/wikipedia/commons/0/02/Vector_norms2.svg License: CC BY-SA 3.0
Contributors: Own work (Original text: I created this work entirely by myself.) Original artist: Jakob.scholbach (talk)
File:Vector_sphere.svg Source: https://upload.wikimedia.org/wikipedia/commons/6/6e/Vector_sphere.svg License: CC-BY-SA-3.0
Contributors: Own work Original artist: Cronholm144
File:Wallpaper_group-cm-6.jpg Source: https://upload.wikimedia.org/wikipedia/commons/8/8d/Wallpaper_group-cm-6.jpg License:
Public domain Contributors: The Grammar of Ornament (1856), by Owen Jones. Persian No 1 (plate 44), image #1.
Original artist: Owen Jones
File:Wikibooks-logo-en-noslogan.svg Source: https://upload.wikimedia.org/wikipedia/commons/d/df/Wikibooks-logo-en-noslogan.
svg License: CC BY-SA 3.0 Contributors: Own work Original artist: User:Bastique, User:Ramac et al.
File:Wiktionary-logo-v2.svg Source: https://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-v2.svg License: CC BYSA 4.0 Contributors: Own work Original artist: Dan Polansky based on work currently attributed to Wikimedia Foundation but originally
created by Smurrayinchester
19.9.3
Content license