Introduction To Algebraic Structures
Introduction To Algebraic Structures
Algebraic Structures
Lecture Notes 2019
November 6, 2019
Contents
0 Introduction 1
1 Fundamental constructions 4
1.1 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Mathematical induction . . . . . . . . . . . . . . . . 8
1.3 Relations . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Maps . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Partial orderings and equivalence relations . . . . 18
1.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Numbers 27
2.1 The integers and division with remainder . . . . . 27
2.2 Fundamental theorem of arithmetic . . . . . . . . . 32
2.3 Greatest common divisor and Euclidean algorithm 35
2.4 The Chinese remainder theorem . . . . . . . . . . . 38
2.5 Prime factorization . . . . . . . . . . . . . . . . . . . 41
2.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 43
3 Groups 47
3.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Groups and actions . . . . . . . . . . . . . . . . . . 49
3.2.1 Basics . . . . . . . . . . . . . . . . . . . . . . 49
3.2.2 Group actions . . . . . . . . . . . . . . . . . 61
3.2.3 Action by translation . . . . . . . . . . . . . 73
3.3 Normal subgroups . . . . . . . . . . . . . . . . . . . 79
3.3.1 Normal subgroups and the quotient group 79
3.3.2 Homomorphism theorem . . . . . . . . . . . 83
3.4 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . 85
1
CONTENTS 2
1 Knot . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Four points. . . . . . . . . . . . . . . . . . . . . . . . 2
1.1 Complement . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Union . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Intersection . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Graph of parabola. . . . . . . . . . . . . . . . . . . . 13
1.5 Hyperbola . . . . . . . . . . . . . . . . . . . . . . . . 14
1.6 A non-injective map . . . . . . . . . . . . . . . . . . 14
1.7 A bijektive map and its inverse map. . . . . . . . . 16
1.8 Square root . . . . . . . . . . . . . . . . . . . . . . . 16
1.9 Identity map R → R . . . . . . . . . . . . . . . . . . 18
1.10 Equivalence classes . . . . . . . . . . . . . . . . . . . 21
1.11 Towers of Hanoi . . . . . . . . . . . . . . . . . . . . 24
1.12 How many shortest paths are there from A to B. 24
3
LIST OF FIGURES i
ii
LIST OF SYMBOLS iii
Introduction
Figure 1: Knot
1
0. INTRODUCTION 2
of the equation
xn + y n = z n .
Fermat’s last theorem was only proven 1995 (by A. Wiles) af-
ter 350 years of work of many mathematicians, which involved
introducing various new concepts in mathematics. Today, there
are close connections of number theory to, for example, algebraic
geometry, combinatorics, cryptography and coding theory.
What is algebra? Algebra is a very diverse area of mathemat-
ics, which discusses basic structures which are of key importance
in all fields of mathematics, like groups rings and fields. That is,
algebra studies the question, how one can introduce operations
on sets, like the addition and multiplication of integer numbers.
By combining methods from algebra and number theory, one
can construct, for example, public key cryptosystems. Another
connection of algebra and number theory arises from algebraic
geometry, which studies solution sets of polynomial systems of
equations in several variables3 .
The simplest (but in practice the most important) special
case are linear systems of equations over a field K (for example,
K = Q, R, C the field of rational, real or complex numbers), the
For example, the common solution set of x2 + 2y 2 = 3 and 2x2 +
3
(1, 1), (−1, 1), (1, −1), (−1, −1), see Figure 2.
y 0
–1
–2 –1 0 1 2
x
Fundamental constructions
1.1 Sets
Definition 1.1.1 (Cantor) A set is a collection of definite,
distinct objects m, concrete or imaginary, thus forming a new
object M .
If m is an element of M , we write
m ∈ M,
4
1. FUNDAMENTAL CONSTRUCTIONS 5
{0, 1, 2, ..., 9} ,
N = {1, 2, 3, ...}
N0 = {0, 1, 2, 3, ...} ,
the integers
Z = {0, 1, −1, 2, −2, ...} ,
the rational numbers
a
Q = { ∣ a, b ∈ Z, b ≠ 0} .
b
The Symbol ∣ is written in place of with.
M ∪ N = {m ∣ m ∈ M or m ∈ N }
M ∩ N = {m ∣ m ∈ M und m ∈ N }
⋂ Mi = M1 ∩ M2 .
i∈I
M n = M × ... × M .
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
n-times
{1, 2, 3} × {3, 4} = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)} .
R3 = R × R × R,
2M = P(M ) = {A ∣ A ⊂ M } .
∣2M ∣ = 2∣M ∣ .
2∅ = {∅}
2{1} = {∅, {1}}
2{1,2} = {∅, {1}, {2}, {1, 2}} .
are proven.
1. FUNDAMENTAL CONSTRUCTIONS 9
Remark 1.2.3 Given the list a = (a1 , ..., an ) the following com-
puter program computes the sum s = ∑nk=1 ak :
s:=0;
for k from 1 to n do
s:=s+a[k];
od;
We use the syntax of Maple, see [21], but the code will be sim-
ilar in most programming language. See also Exercise 1.3.
1.3 Relations
In the following way we can describe relations between two sets:
Definition 1.3.1 A relation relation between sets M and N is
given by the subset R ⊂ M × N .
Example 1.3.2 For M = {2, 3, 7}, N = {4, 5, 6} and
R = {(m, n) ∈ M × N ∣ m divides n}
we have
R = {(2, 4), (2, 6), (3, 6)} .
The most important role is played by relations in which each
element of M gets assigned exactly one element of N :
1.4 Maps
Definition 1.4.1 A map f ∶ M → N is a relation R ⊂ M × N ,
such that for every m ∈ M there is a unique element f (m) ∈ N
with (m, f (m)) ∈ R. We write
f∶ M → N
m ↦ f (m).
1. FUNDAMENTAL CONSTRUCTIONS 12
–1
–2 –1 0 1 2
R → R, x ↦ x2
R≥0 → R≥0 , x ↦ x2
1 a
3 b
2
f −1 ∶ N → M , y ↦ x if f (x) = y.
We have
x1 = f −1 (y1 ) = f −1 (y2 ) = x2 ,
{(f (x), x) ∣ x ∈ M } ⊂ N × M .
1. FUNDAMENTAL CONSTRUCTIONS 16
1 a
3 b
2 c
0 1 2
R≥0 → R≥0 , x ↦ x2
is
√
R≥0 → R≥0 , y ↦ y
as shown in Figure 1.8.
g○f ∶ M → L
m ↦ g(f (m))
1. FUNDAMENTAL CONSTRUCTIONS 17
f ∶ R2 → R2 , (x, y) ↦ (x + y, y)
g ∶ R2 → R2 , (x, y) ↦ (x, x + y)
we get
f ○ g ∶ R2 → R2 , (x, y) ↦ (2x + y, x + y)
g ○ f ∶ R2 → R2 , (x, y) ↦ (x + y, x + 2y).
f −1 ○ f = idM f ○ f −1 = idN
–2 0 2
• transitive, if
• anti-symmetric, if
• A ⊂ A (reflexive)
1. FUNDAMENTAL CONSTRUCTIONS 19
• A ⊂ B and B ⊂ C Ô⇒ A ⊂ C (transitive)
• A ⊂ B and B ⊂ A Ô⇒ A = B (anti-symmetric).
(m, n) ∈ R ⇒ (n, m) ∈ R,
m1 ∼ m2 ⇐⇒ f (m1 ) = f (m2 )
[m] = {n ∈ M ∣ m ∼ n} ⊂ M
1. FUNDAMENTAL CONSTRUCTIONS 20
M / ∼ = {[m] ∣ m ∈ M } ⊂ 2M
π∶ M → M/ ∼
m ↦ [m]
m1 ∼ m2 ⇐⇒ [m1 ] = [m2 ],
with
f (x, y) = x2 + y 2 .
The equivalence classes are the concentric circles
Ks = {(x, y) ∈ R2 ∣ x2 + y 2 = s}
for s ∈ R≥0 , and the point (0, 0), which is a degenerate form of a
circle, the circle with radius 0. For example,
Hence
M / ∼ = {Ks ∣ s ∈ R≥0 } ,
and the map R≥0 → M / ∼, s ↦ Ks is bijective. See Figure 1.10.
3
–1
–2
–3 –2 –1 0 1 2 3
1.6 Exercises
Exercise 1.1 Let M be a set. Show that for subsets A, B, C ⊂ M
(using, for example, Venn diagrams):
1) For ∩ we have:
(a) Commutativity A ∩ B = B ∩ A,
(b) Identity A ∩ M = A,
(c) Assoziativity A ∩ (B ∩ C) = (A ∩ B) ∩ C.
1. FUNDAMENTAL CONSTRUCTIONS 22
2) For ∪ we have:
(a) Commutativity A ∪ B = B ∪ A,
(b) Identity A ∪ ∅ = A,
(c) Assoziativity A ∪ (B ∪ C) = (A ∪ B) ∪ C.
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
∣M ∪ N ∣ = ∣M ∣ + ∣N ∣ − ∣M ∩ N ∣
and
∣M × N ∣ = ∣M ∣ ⋅ ∣N ∣ .
for alle n ∈ N.
1) f is bijective,
2) f is injective,
3) f is surjective.
Exercise 1.18 Suppose the numbers 1, ..., 101 are given in any
order. Prove that 11 of them (not necessarily consecutive) are in
an increasing or decreasing order.
Hint: Consider a suitable set of paris and use the pigeon hole
principle.
Show
√ that among these points there are two which have distance
≤ 2.
Numbers
a + (b + c) = (a + b) + c
a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c
a ⋅ (b + c) = a ⋅ b + a ⋅ c
27
2. NUMBERS 28
1 + a = 0.
Remark 2.1.1 The basic idea of the construction is: The net
worth of a bank account one can write as the difference of assets
and depts. Different tuples of (assets, debt) lead to the same net
worth of the account, for example,
5 − 1 = 1000006 − 1000002
that is, the net worth of an account with 5 e assets and 1 e debt
is the same as that of one with 1000006 e assets and 1000002 e
debt. The represent the net worth, we have to consider equiva-
lence classes with respect to an appropriate equivalence relation.
The account in the example have the same net worth, since
5 + 1000002 = 1000006 + 1.
Z ∶= (N0 × N0 ) / ∼
(a, b) ∼ (c, d) ⇔ a + d = b + c,
Moreover
c ∶= [(c, 0)]
and
−c ∶= [(0, c)] .
We then have
c + (−c) = 0
for all c ∈ Z/{0}, since c + (−c) = [(c, c)] = [(0, 0)] = 0.
In a similar way, one can construct Q from Z as
Q = (Z × Z/{0}) / ∼
1000 = 3 ⋅ 333 + 1,
so one person has to stay behind (or one of the airplanes will
have to take the extra passenger). This process is called division
with remainder (then 1 left-over passenger is the remainder):
a=b⋅q+r
{w ∈ Z ∣ b ⋅ w > a} ≠ ∅
q ∶= w − 1 r ∶= a − qb.
r<b
r ≥ 0.
2. NUMBERS 31
b ⋅ q1 + r1 = a = b ⋅ q2 + r2
0 ≤ r1 − r2 < ∣b∣ ,
´¹¹ ¹ ¸¹ ¹ ¹¶
b⋅(q2 −q1 )
hence, q1 = q2 and r1 = r2 .
The proof gives an explicit (but very inefficient) algorithm
for division with remainder (scan through the w, starting with
a random number, decreasing w iteratively by 1 if b ⋅ w > a,
and increasing w iteratively by 1 if b ⋅ w < a until the respective
condition is not satisfied any more). In practice, one rather
proceeds as follows:
Remark 2.1.4 School book division without digits after the dec-
imal point iteratively determines q (starting with the largest digit),
thus yielding an algorithm for division with remainder.
2225 = 7 ⋅ 317 + 6
−21
12
−7
55
−49
6
b∣a
a ≡ b mod m
if m ∣ (a − b).
a = {b ∈ Z ∣ a ≡ b mod m}
= {a + k ⋅ m ∣ k ∈ Z} .
gcd (a, b) = 1.
2) For a, b ∈ N,
gcd(18, 66) = 6.
a1 = q 1 a2 + a3
⋮
aj = qj aj+1 + aj+2
⋮
an−2 = qn−2 an−1 + an
an−1 = qn−1 an + 0
gcd (a1 , a2 ) = an .
gcd (a1 , a2 ) = u ⋅ a1 + v ⋅ a2
Proof. We have ∣ai+1 ∣ < ∣ai ∣ for all i ≥ 2, hence, after finitely
many iterations, ai = 0. Then an is a divisor of an−1 , hence also
of an−2 = qn−2 an−1 + an and inductively of an−1 , ..., a1 . If t is an
arbitrary divisor of a1 and a2 , then also of a3 = a1 − q1 a2 and
inductively of a1 , ..., an .
Example 2.3.6 We compute the gcd of 66 and 18 using the Eu-
clidean algorithm, that is, by successive division with remainder:
66 = 3 ⋅ 18 + 12
18 = 1 ⋅ 12 + 6
12 = 2 ⋅ 6 + 0
Hence gcd (66, 18) = 6, since reading the equaltities backwards,
we have
6 ∣ 12 hence 6 ∣ 18 hence 6 ∣ 66
and reading them top-to-bottom, if t is a divisor of 66 and 18,
then
t ∣ 12 hence t ∣ 6.
Moreover, we obtain a representation of gcd (36, 15) as a Z-
linear combination of 66 and 18
6 = 18 − 1 ⋅ 12 = 18 − 1 ⋅ (66 − 3 ⋅ 18) = 4 ⋅ 18 + (−1) ⋅ 66.
In Maple we can execute the extended Euclidean algorithm by:
igcdex(66,18,’u’,’v’);
6
Here the command stores in x and y the coefficients in the
representation of the ggT as a linear combintation:
u;
-1
v;
4
u*66+v*18;
6
Note that u and v are not unique. We could also choose, for
example, u = −19 and v = 70.
One key applicaiton of the representation of 1 as a Z-linear
combination of two coprime numbers is solving of simultaneous
congruences. This will be addressed in the next section on the
Chinese remainder theorem.
2. NUMBERS 38
x ≡ a1 mod n1
⋮
x ≡ ar mod nr
Proof. Set
n
n̂i =
ni
and find, using the extended Euclidean algorithm, xi , yi ∈ Z with
Then
yi n̂i ≡ 0 mod nj ∀j ≠ i
yi n̂i ≡ 1 mod ni .
hence,
r
z = ∑ ai yi n̂i
i=1
n ∣ (x − x′ ) .
x ≡ a1 mod n1
x ≡ a2 mod n2
1 = gcd(n1 , n2 ) = u ⋅ n1 + v ⋅ n2
Since
un1 ≡ 0 mod n1
un1 ≡ 1 mod n2
vn2 ≡ 1 mod n1
vn2 ≡ 0 mod n2
for
z ∶= a2 ⋅ u ⋅ n1 + a1 ⋅ v ⋅ n2
we have
z ≡ a1 mod n1
z ≡ a2 mod n2
x ≡ −28 mod 30
x ≡ 5 mod 7.
2. NUMBERS 40
117 = 3 ⋅ 39.
√
If 39 is not prime, then it must have a prime divisor p ≤ ⌊ 39⌋ =
6. We find that
39 = 3 ⋅ 13.
Finally we observe that √
13 is prime, since 13 is not divisible by
any prime number p ≤ ⌊ 13⌋ = 3.
Practically one proceeds the opposite way, and rules out mul-
tiples of prime numbers, which already have been conputed.:
3) Find the
√ smallest q > p, which ist marked as prime (true).
If q > N return L. Set p ∶= q, goto (2).
2 3 4 5 6 7 8 9 10 11 12 13 14 15
p=2 2 3 5 7 9 11 13 15
p=3 2 3 5 7 11 13
For large numbers, there are much more efficient ways than
trial division to find a prime divisor of a given number.
2.6 Exercises
Exercise 2.1 Let n ∈ N and M ⊂ {1, ... , 2n} a set of integers
with ∣M ∣ = n+1 elements. Show that in M there are two different
integers such that the one divides the other.
1) On M = N0 × N0 by
(a, b) ∼ (c, d) ⇔ a + d = b + c
on
Z = (N0 × N0 ) / ∼
are well-defined, associative, commutative and distributiv.
a ≡ b mod m
for x > 0.
ticular for large x. For which a do you get the best approx-
imation?
116338867864982351.
x ≡ 2 mod 3
x ≡ 2 mod 7
x ≡ 3 mod 10
x ≡ a1 mod n1
x ≡ a2 mod n2
x ≡ 1 mod 108
x ≡ 25 mod 80
x ≡ a1 mod n1
x ≡ a2 mod n2
Groups
3.1 Overview
In this chapter we discuss the foundations of group theory, which
will have various applications in the chapters of rings, fields and
vector spaces. As and example for groups we consider symme-
try groups of subsets of Rn , for example, the sets of rotations
and (roto-) reflections, which map a Platonic solid (tetrahedron,
cube, octahedron, dodecahedron and icosahedron) to itself (see
Figure 3.1).The group property arises here from the fact, that
the composition of two symmetries is again a symmetry and any
symmetry can be undone by a symmetry. For example in the
symmetry group of the tetrahedron the 120○ rotation is equal to
the composition of two reflections, see Figure 3.2.
In general, we have: The composition of two symmetries is
again a symmetry. For every symmetry there is an inverse sym-
metry, such that the composition gives the identity map.
In the context of symmetry groups, the concept of an action
of a group G on a set M plays an important role. For example,
we can consider for G the symmetry group of the tetrahedron
and for M the tetrahedron or the sets of vertices or edges or faces
of the tetrahedron. A group action is then a map (satisfying a
couple of obvious additional conditions)
G×M Ð→ M
(g, m) z→ g⋅m
47
3. GROUPS 48
(Z, +)
(Z, ⋅)
S (X) = {f ∶ X Ð→ X ∣ f bijective}
∣Sn ∣ = n ⋅ (n − 1) ⋅ ... ⋅ 2 ⋅ 1 = n!
1 ⋯ n
σ=( )
σ (1) ⋯ σ (n)
1 2 3 4
( ) ∈ S4 .
1 3 2 4
5) Let
A = {α, β, γ, ...}
be a finite set. A word over the alphabet A is a finite
sequence
w = b1 b2 ...bn
3. GROUPS 52
2) H ≠ ∅, and a, b ∈ H Ô⇒ a ○ b−1 ∈ H.
are subgroups.
nZ ∶= {n ⋅ k ∣ k ∈ Z}
where n ∈ Z≥0 .
3. GROUPS 54
is a subgroup (exercise).
For example, for n = 6 and a = 2 we ge the subgroup
{0, 2, 4} ⊂ Z/6.
If we compare the group table
+ 0 2 4
0 0 2 4
2 2 4 0
4 4 0 2
of this group with that of Z/3, we observe, that the elements of
the two groups have different names, but obey the same calcu-
lation rules.
The identification of the subgroup {0, 2, 4} ⊂ Z/6 with Z/3
is an example of a group isomorphism, that is, a bijective map,
which is compatible with the group structures. The group iso-
morphism
ϕ∶ Z/3 Ð→ {0, 2, 4}
0 + 3Z z→ 0 + 6Z
1 + 3Z z→ 2 + 6Z
2 + 3Z z→ 4 + 6Z
3. GROUPS 56
We write then
Z/3 ≅ {0, 2, 4}
and more generally we have
ϕ ∶ G1 Ð→ G2
which satisfies
Ker ϕ = {a ∈ G1 ∣ ϕ (a) = e2 }
Im ϕ = {0, 2, 4}
Ker ϕ = {0} .
3. GROUPS 57
(ϕ (b))−1 = ϕ (b−1 )
since
ϕ (b) ○ ϕ (b−1 ) = ϕ(b ○ b−1 ) = ϕ(e1 ) = e2 ,
and the inverse is unique. For a, b ∈ G1 we hence have
using that
ϕ (a) = e2 = ϕ (e1 )
that a = e1 .
ϕ ∶ G1 Ð→ G2
ϕ−1 ∶ G2 Ð→ G1
2) The map
Z Ð→ nZ
k z→ n⋅k
is for n ≥ 1 an isomorphism.
(R, +) Ð→ (R>0 , ⋅)
x z→ exp (x) = ex
–2 –1 0 1 2
(C, +) Ð→ (C∗ , ⋅)
z z→ exp (z) = ez
is an epimorphism and
Ker (sign) = An
As we will see , one can easily compute the signum via the
homomorphismu-property, by writing a permutation as a
product of permutations with known signum.
See also Exercise 3.5.
G = ⟨g⟩ .
⟨g⟩ = {g r ∣ r ∈ Z}
with
g r = g ○ ... ○ g
´¹¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
r
1 2 3 4
σ=( )
1 3 4 2
we have
⟨σ⟩ = {id = σ 0 , σ 1 , σ 2 } ≅ Z/3
and hence ord (σ) = 3.
⋅∶ G×M Ð→ M
(g, m) z→ g⋅m
1)
e⋅m=m
for all m ∈ M .
2)
(a ○ b) ⋅ m = a ⋅ (b ⋅ m)
for all a, b ∈ G and m ∈ M .
Remark 3.2.21 In an analogous way, one can specify operatons
from the right
⋅ ∶ M × G Ð→ M
(m, g) z→ m ⋅ g
with m ⋅ e = m and (m ⋅ a) ⋅ b = m ⋅ (a ○ b).
It seems to be superfluous to have both notations, however
there are settings, where there are two distinct canonical defini-
tions for an action from the left and from the right, and where
both definitions are used at the same time. An example is the
action of a subgroup H ⊂ G on G by H × G → G, (h, g) ↦ h ○ g
from the left, and by G × H → G, (g, h) ↦ g ○ h from the right,
which we will later discuss in detail.
Remark 3.2.22 To put it differently, an action of G on M is
a group homomorphism
ϕ∶ G Ð→ S (M )
M Ð→ M
g ↦ ϕ (g) ∶= ( )
m ↦ g⋅m
of G into the group of self-mappings of M .
Proof. We check whether ϕ (g) for alle g ∈ G is bijective and
whether ϕ is a homomorphism: Let g ⋅m1 = g ⋅m2 for m1 , m2 ∈ M .
Then
m1 = e ⋅ m1 = (g −1 ○ g) ⋅ m1 = g −1 ⋅ (g ⋅ m1 )
= g −1 ⋅ (g ⋅ m2 ) = (g −1 ○ g) ⋅ m2 = e ⋅ m2 = m2 .
Each m ∈ M is in the image of ϕ (g), since m = e⋅m = g ⋅(g −1 ⋅m).
Moreover,
ϕ (g ○ h) = (m ↦ (g ○ h) ⋅ m) = (m ↦ g ⋅ (h ⋅ m))
= (m ↦ g ⋅ m) ○ (m ↦ h ⋅ m) = ϕ (g) ○ ϕ (h) .
3. GROUPS 63
id
ϕ↓ ↧ ↧ ↧ ↧ ↧ ↧
S3 = { id (1 ↔ 2) (1 ↔ 3) (2 ↔ 3)}
hence
1 2 3
ϕ(r120 ) = ( )
2 3 1
3. GROUPS 65
Sym (D) × D Ð→ D
this point can map. This set is called the orbit, the number of
elements the lenght of the orbit. Examples of orbits are
Sym (D) × 2D Ð→ 2D
Otherwise one can consider the set of all elements of Sym (D),
that keep a given point (or a subset) fixed. The corner 1 is fixed
by {id, (2 ↔ 3)}, the middlepoint m by Sym (D) and the point
p1 only by the identity. The black subset is fixed by
{id, , }
We observe that these sets are subgroups of Sym (D), and that
the product of the group orders with length the respective orbits,
3. GROUPS 66
Orbit fixed by
1 {1, 2, 3} {id, (2 ↔ 3)} 3 ⋅ 2 = 6
m {m} Sym (D) 1⋅6=6
p1 {p1 , ..., p6 } {id} 6⋅1=6
Stab (N ) = {g ∈ G ∣ gN = N } ,
Remark 3.2.28 Two orbits Gm1 and Gm2 are either equal or
disjoint. To be in the same orbit is, hence, an equivalence rela-
tion.
m3 ∈ Gm1 ∩ Gm2
m3 = g1 ⋅ m1 = g2 ⋅ m2
hence
m2 = g2−1 ⋅ (g1 ⋅ m1 ).
For every g ∈ G we hence have
that is
Gm2 ⊂ Gm1 .
Similarily we have the other inclusion, that is Gm2 = Gm1 .
The second claim one easily checks using the definition of an
equivalence relation.
π∶ M Ð→ M /G
m z→ Gm
1 2 3 4 5 6 7 8 9
σ=( )
2 3 1 4 5 6 7 8 9
One could also use for a cycle a circle notation as above, but
that would use a bit too much space, and would not be easy to
enter on a computer console.
σ = (a1 , ... , at ) ∈ Sn
and ord(σ) = t.
1 2 3 4
σ=( )
1 3 4 2
3. GROUPS 69
σ = (2, 3, 4),
The rotation
1 2 3 4
σ2 = ( )
1 4 2 3
of the tetrahedron by 240○ gives the same decomposition into or-
bits {1, 2, 3, 4} = {1} ∪˙ {2, 3, 4}, but
σ 2 = (2, 4, 3).
1 2 3 4 5 6 7 8
σ=( )
2 3 4 1 6 7 8 5
σ = (1, 2, 3, 4) ○ (5, 6, 7, 8)
Proof. Let σ ∈ Sn .
σ = σ1 ○ ... ○ σr
1 2 3 4 5 6 7 8 9
σ=( )
4 1 2 3 9 8 7 6 5
in disjoint orbits
sign(σ) = (−1)r ,
τ (i) − τ (j)
sign (τ ) = ∏ .
i<j i−j
If we further split up the last two cases into the j with k = i < j < l
or l < j, and into the i with k < i < j = l or i < k, respectively,
then we get
l−j l−j i−k i−k
sign(τ ) = − ∏ ⋅ ∏ ⋅ ∏ ⋅ ∏ .
j with k − j j with k − j i with i − l i with i − l
l<j k<j<l k<i<l i<k
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶ ´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¶ ´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹
>0
¹¹¹¹¹¹¹¹¹¶
>0 1
The second and the third product cancel, and all numerators an
denominators of the first and last product are negative. Hence
sign τ < 0 so sign τ = −1.
we obtain
sign(σ) = (−1)5 = −1.
ord(σ) = lcm(4, 2, 2) = 4.
using GAP:
sigma:=(1,4,3,2)(5,9)(6,8);
(1, 4, 3, 2)(5, 9)(6, 8)
sigma^2;
(1, 3)(2, 4)
sigma^3;
(1, 2, 3, 4)(5, 9)(6, 8)
sigma^4;
()
Hence ord(σ) = 4. To apply Remark 3.2.38, instead, we use:
Order(sigma);
4
Note that, in contrast to the usual convention, to compute
σ ○ τ for σ, τ ∈ Sn we have to enter τ ∗ σ in GAP (that is, maps
take their argument on the left hand side). We check in GAP,
that with τ = (2, 5) we get
tau:=(2,5);;
tau*sigma;
(1, 4, 3, 2, 9, 5)(6, 8)
3. GROUPS 73
G × G Ð→ G
(g, h) ↦ g ○ h
given by the group operation (this gives an action both from the
left and from the right). The action plays in important role in
the proof of the following theorem, which is of key importance
for practical calculations with groups: It allows to consider any
finite group as a subgroup of Sn . In this representation, the
group can then be handled by the computer.
H × G Ð→ G, (h, g) z→ h ○ g
G × H Ð→ G, (g, h) z→ g ○ h.
Hg ∶= H ○ g ∶= {h ○ g ∣ h ∈ H}
and
gH ∶= g ○ H ∶= {g ○ h ∣ h ∈ H}
are called the right and left cosets of g, respectively.
[G ∶ H] ∶= ∣G/H∣
We remark, that
H → aH
h↦a○h
∣aH∣ = ∣H∣ .
Example 3.2.50 The group G = Z/6 has the order 6 and the
subgroups
{0, ..., 5}
Ò Ó
{0, 2, 4} {0, 3}
Ó Ò
{0}
Proof. Using the index formula, we get, that G only has the
subgroups {e} and G. Hence, for every e ≠ g ∈ G we have
{e} ≠ ⟨g⟩ = G
3. GROUPS 79
aH ⋅ bH = (a ○ b)H
aH ⋅ bH = (a ○ b)H
Write
a2 = a1 ○ h b2 = b1 ○ h′
with h, h′ ∈ H. Since H is a normal subgroup, we have
Hb1 = b1 H,
h ○ b1 = b1 ○ h′′
and hence
eH = H
g + nZ = {g + nk ∣ k ∈ Z}
= {nk + g ∣ k ∈ Z} = nZ + g.
G/ Ker ϕ ≅ Im (ϕ) .
Proof. We define
ϕ
̃ ∶ G/ Ker ϕ Ð→ Im ϕ
ϕ
̃ (a Ker ϕ) ∶= ϕ (a)
we have
ϕ (a′ ) = ϕ (a) ⋅ ϕ (h) = ϕ (a) ⋅ e = ϕ (a) .
Since ϕ is a homomorphism, also ϕ ̃ is a homomorphism, it is
surjective on the image of ϕ, and injective, since
ϕ
̃ (a Ker ϕ) = e
⇒ ϕ (a) = e ⇒ a ∈ Ker ϕ
⇒ a Ker ϕ = Ker ϕ = eG/ Ker ϕ .
Hence ϕ ∶ G Ð→ F factorizes in
ϕ
G Ð→ F
projection ↓ ↑ inclusion
G/ Ker ϕ ≅ Im ϕ
Sn /An ≅ Z/2.
3. GROUPS 84
S4 /V4 ≅ S3 .
ϕ ∶ (Z, +) Ð→ ⟨g⟩ = G
k z→ gk
Z/nZ ≅ ⟨g⟩
k ↦ gk
3.4 Exercises
Exercise 3.1 Create paper models of the Platonic solids: tetra-
hedron, cube, octahedron, dodecahedron and icosahedron (see Fig-
ure 3.1).
○ ∶ G × G Ð→ G
(a, b) ↦ a○b
(G1) Associativity
a ○ (b ○ c) = (a ○ b) ○ c ∀a, b, c ∈ G.
e∈G
with
e ○ a = a ∀a ∈ G.
a−1 ○ a = e.
Show:
2) 3 + 6Z = {3 + 6 ⋅ k ∣ k ∈ Z}with addition,
ϕ−1 ∶ G2 Ð→ G1
is a group isomorphism.
is a group epimorphism.
3. GROUPS 87
2) Let
σ = c1 ⋅ ... ⋅ cr ∈ Sn
be the product of disjoint cycles ci with lengths mi . Deter-
mine ord (σ).
G × G Ð→ G
(a, b) z→ a ○ b ○ a−1
2) The orbit of b ∈ G
bG ∶= {a ○ b ○ a−1 ∣ a ∈ G}
is called the conjugacy classes of b. Determine all the
conjugacy classes of S3 .
Exercise 3.13 Let G be the symmetry group of the regular pen-
tagon (Figure 3.9). Determine
1) the order of G (prove your claim),
2) all elements of G as permutations of the vertices,
3) all subgroups of G and which thereof are normaldivisors.
1) Find the group order of G with the help of the orbit counting
formula.
2) Determine generators of G, and prove your claim using
GAP.
3) Find all conjugacy classes of G using GAP.
4) Interpret the elements of G geometrically.
Hint: Use the GAP commands Group, Order and ConjugacyClasses.
Exercise 3.15 Show that there are exactly 11 isomorphism classes
of (undirected) graphs with 4 vertices.
Exercise 3.16 Let H be a subgroup of G. Show that if [G ∶ H] =
2, then H is a normal subgroup of G.
Exercise 3.17 Let ϕ ∶ G Ð→ F be a group homomorphism.
Prove:
1) If M ⊂ F is a normal subgroup, then ϕ−1 (M ) ⊂ G is a
normal subgroup.
2) If ϕ is surjective and N ⊂ G a normal subgroup, then
ϕ (N ) ⊂ F is a normal subgroup.
3) Give an example of a group homomorphism whose image
is not a normal subgroup.
Exercise 3.18 Prove that the Kleinian four-group
V4 = {() , (1, 2) (3, 4) , (1, 3) (2, 4) , (1, 4) (2, 3)}
is a normal subgroup of S4 , and for the quotient group we have
S4 /V4 ≅ S3 .
Give a geometric interpretation by considering S4 as the symme-
try group of the tetraehedron.
Hint: Every symmetry of the tetrahedron T ⊂ R3 with vertices
e1 = (1, −1, −1) e2 = (−1, 1, −1) e3 = (−1, −1, 1) e4 = (1, 1, 1)
permutes the coordinate axes of R3 , see Figure 3.10. This induces
a group homomorphism
ϕ ∶ S4 → S3 .
3. GROUPS 91
G = Sn .
4
4.1 Basics
Definition 4.1.1 A ring (R, +, ⋅) is a set R together with two
operations
+ ∶ R × R Ð→ R, (a, b) z→ a + b
⋅ ∶ R × R Ð→ R, (a, b) z→ a ⋅ b
for which the following axioms are true
(R1) (R, +) is an abelian group,
(R2) multiplication ⋅ is associative,
(R3) the operations are distributive, that is,
a ⋅ (b + c) = a ⋅ b + a ⋅ c
(a + b) ⋅ c = a ⋅ c + b ⋅ c
for all a, b, c ∈ R.
Furthermore if there exists an identity, that is,
(R4) there is an element 1 ∈ R with
a⋅1=1⋅a=a
for all a ∈ R, we say that R is a ring with 1 (as neutral
element of the monoid (R, ⋅) the 1 is unique),
and if
93
4. RINGS AND FIELDS 94
Ker ϕ = {r ∈ R ∣ ϕ (r) = 0} ⊂ R,
are subrings.
and
such that
k
ck = ∑ aj bk−j .
j=0
w ⋅ u = 1.
a⋅b+n⋅k =1
gcd (8, 3 ⋅ 5) = 1
1 = (2) ⋅ 8 + (−1) ⋅ 15
hence
−1
8 =2
aϕ(n) ≡ 1 mod n.
g ∣G∣ = e.
aϕ(n) = 1.
ϕ (p) = p − 1,
hence
ap−1 ≡ 1 mod p if p ∤ a
and thus (since for p ∣ a we have ap ≡ 0 ≡ a mod p):
4. RINGS AND FIELDS 98
ap ≡ a mod p.
π(ab + m1 m2 Z) = (ab + m1 Z, ab + m2 Z)
= ((a + m1 Z) ⋅ (b + m1 Z), (a + m2 Z) ⋅ (b + m2 Z))
= (a + m1 Z, a + m2 Z) ⋅ (b + m1 Z, b + m2 Z)
= π(a + m1 m2 Z) ⋅ π(b + m1 m2 Z),
x ≡ 1 mod 3
x ≡ 7 mod 15 ⇐⇒ {
x ≡ 2 mod 5
7 ↦ (1 , 2)
4. RINGS AND FIELDS 99
x ≡ 1 mod 3
x ≡ 2 mod 5
(a + m1 Z, a + m2 Z) ∈ (Z/m1 × Z/m2 ) ,
×
In particular, we obtain:
r1 ⋅ r2′ = r1 ⋅ r2 + r1 ⋅ b,
a+b∈I
ra ∈ I
(r1 + I) ⋅ (r2 + I) ∶= r1 r2 + I.
x ⋅ a = 0.
Z× = {+1, −1} .
Z [i] = {a + i ⋅ b ∣ a, b ∈ Z} ⊂ C
4. RINGS AND FIELDS 103
1⋅1=1
(−1) ⋅ (−1) = 1
i ⋅ (−i) = 1
K(x) = Q(K[x]).
For finite integral domains, there is no need for the quotient field
construction:
Fp = Z/pZ
is a field.
4.5 Exercises
Exercise 4.1 Let R ein ring. Show, that for all x, y ∈ R
0x = x0 = 0
(−x) y = x (−y) = −xy
(−x) (−y) = xy
4. RINGS AND FIELDS 105
7) If a, b ∈ R, then
Exercise 4.8 Let F2 be the field with the two elements 0 and 1.
Find all elements of
K = F2 [x] /(x2 + x + 1)
Vector spaces
5.1 Overview
Linear Algebra is concerned with the description of vector spaces,
the most frequently occuring structure of mathematics. The
reason for this lies in the fact that they arise in the description of
the solution spaces of linear systems of equations. We illustrate
this at an example: If we want to find the set V of all polynomials
f = x1 t3 + x2 t2 + x3 t + x4 ∈ R[t]
f (−1) = 0
f ′′ (0) = 0
f (2) = 0.
−x1 + x2 − x3 + x4 = 0
2x2 = 0
8x1 + 4x2 + 2x3 + x4 = 0
107
5. VECTOR SPACES 108
f = 2x2 + 5x3 + x4
we have
L(f ) = x2
LC(f ) = 2
LT(f ) = 2x2
tail(f ) = 5x3 + x4 .
l1 = −x1 + x2 − x3 + x4 = 0
l2 = 2x2 = 0
l3 = 8x1 + 4x2 + 2x3 + x4 = 0
• l1 ∶= −l1 , l2 ∶= 12 l2 and l3 ∶= 18 l3
x1 − x2 + x3 − x4 = 0
x2 = 0
1 1 1
x1 + 2 x2 + 4 x3 + 8 x4 = 0
5. VECTOR SPACES 110
• l3 ∶= l3 − l1
x1 − x2 + x3 − x4 = 0
x2 = 0
3 3 9
2 x2 − 4 x3 + 8 x4 = 0
• l3 ∶= 23 l3
x1 − x2 + x3 − x4 = 0
x2 = 0
1 3
x2 − 2 x3 + 4 x4 = 0
• l3 ∶= l3 − l2
x1 − x2 + x3 − x4 = 0
x2 = 0
− 12 x3 + 3
4 x4 = 0
• l3 ∶= −2l3
x1 − x2 + x3 − x4 = 0
x2 = 0
3
x3 − 2 x4 = 0
l1 = x1 = 0
l2 = x3 = 0
l3 = x2 = 0
ist not.
x1 + x3 − x4 = 0
x2 = 0
3
x3 − 2 x4 = 0
⎛− 2 x4 ⎞
⎧ 1 ⎫
⎪
⎪
⎪ ⎪
⎪
⎪
⎪
⎪⎜ 0 ⎟ ⎪
⎪
V = ⎨⎜ 3 ⎟ ∣ x4 ∈ R⎬
2 x4
⎪
⎪ ⎜ ⎟ ⎪
⎪
⎪
⎪ ⎝ ⎠ ⎪
⎪
⎪
⎩ x 4 ⎪
⎭
5. VECTOR SPACES 112
f = x1 t3 + x2 t2 + x3 t + x4 ∈ R[t]
–3 –2 –1 0 1 2 3
–2
–4
V = {x4 ⋅ f ∣ x4 ∈ R}
with
1 3
f = − t3 + t + 1.
2 2
To put it differently, with f also all its R-multiples are in V .
This is a more general property of solution sets of linear systems
of equations, and motivates the definition of a vector space.
V ×V Ð→ V (addition)
(v, w) z→ v+w
K ×V Ð→ V (scalar multiplication)
(λ, v) z→ λ⋅v
(V2) Associativity
λ ⋅ (µ ⋅ v) = (λ ⋅ µ) ⋅ v
for all λ, µ ∈ K and v ∈ V ,
(λ + µ) ⋅ v = λ ⋅ v + µ ⋅ v
λ ⋅ (v + w) = λ ⋅ v + λ ⋅ w
⎛ 0 ⎞
0=⎜ ⋮ ⎟
⎝ 0 ⎠
u1 , u2 ∈ U Ô⇒ u1 + u2 ∈ U
λ ∈ K, u ∈ U Ô⇒ λ ⋅ u ∈ U .
-v
and n
λv = ∑ (λ ⋅ λi ) vi ∈ ⟨v1 , ..., vn ⟩ .
i=1
⎛ 1 ⎞ ⎛ 0 ⎞
v1 = ⎜ 0 ⎟ , v2 = ⎜ 1 ⎟ ∈ R3
⎝ 0 ⎠ ⎝ 0 ⎠
⎛ λ1 ⎞
E ∋ ⎜ λ2 ⎟ =λ1 v1 + λ2 v2 .
⎝ 0 ⎠
5. VECTOR SPACES 117
2v
The vectors
⎛ 1 ⎞ ⎛ 1 ⎞
w1 = ⎜ 1 ⎟ , w2 = ⎜ −1 ⎟ ∈ R3
⎝ 0 ⎠ ⎝ 0 ⎠
E = ⟨v1 , v2 ⟩ = ⟨w1 , w2 ⟩
λ1 v1 + ... + λn vn = 0
implies that
λ1 = ... = λn = 0,
otherwise linearly dependent.
5. VECTOR SPACES 118
x1 v1 + ... + xn vn = 0
⎛ x1 ⎞ ⎛ 0 ⎞
⎜ ⋮ ⎟=⎜ ⋮ ⎟
⎝ xn ⎠ ⎝ 0 ⎠
in Q[x] has already reduced row echelon form, so the solution set
in its parametric representation is
⎧
⎪
⎪
⎪ ⎛ −2x2 + 2x5 ⎞ ⎫
⎪
⎪
⎪
⎪
⎪ x2 ⎪
⎪
⎪⎜
⎪ ⎜
⎟
⎟ ⎪
⎪
V = ⎨⎜ −x5 ⎟ ∣ x2 , x 5 ∈ Q ⎬
⎪ ⎜ ⎟ ⎪
⎪
⎪
⎪ ⎜ −2x5 ⎟ ⎪
⎪
⎪
⎪
⎪ ⎝ ⎠ ⎪
⎪
⎪
⎩ x5 ⎪
⎭
and we hence obtain a basis by considering (x2 , x5 ) = (1, 0) and
(x2 , x5 ) = (0, 1):
⎛ −2 ⎞ ⎛ −2 ⎞
⎜ 1 ⎟ ⎜ 0 ⎟
⎜ ⎟ ⎜ −1
⎟
V = ⟨⎜ 0 ⎟,⎜ ⎟⟩
⎜ ⎟ ⎜ ⎟
⎜ 0 ⎟ ⎜ −2 ⎟
⎝ 0 ⎠ ⎝ 1 ⎠
5. VECTOR SPACES 119
5.4 Dimension
In this section we will see that any two (finite) bases of a vec-
tor space have the same dimension. This number is called the
dimension of the vector space, which is the key classifying in-
variant: Every n-dimensional K-vector space is isomorphic to
K n.
1) Ω is a basis of V .
lcΩ ∶ Kn Ð→ V
⎛ a1 ⎞
⎜ ⋮ ⎟ z→ a1 v1 + .... + an vn
⎝ an ⎠
lcΩ ∶ K3 Ð→ K[x]≤2
⎛ a0 ⎞
⎜ a1 ⎟ z→ a0 + a1 x + a2 x 2
⎝ a2 ⎠
5. VECTOR SPACES 120
⎛ 0 ⎞
2
coΩ (3x + x) = ⎜ 1 ⎟
⎝ 3 ⎠
⎛⎛ a1 ⎞ ⎛ b1 ⎞⎞ ⎛ a1 + b1 ⎞ n
lcΩ ⎜⎜ ⋮ ⎟ + ⎜ ⋮ ⎟⎟ = lcΩ ⎜ ⋮ ⎟ = ∑ (ai + bi ) vi
⎝⎝ an ⎠ ⎝ bn ⎠⎠ ⎝ an + bn ⎠ i=1
n n ⎛ a1 ⎞ ⎛ b1 ⎞
= ∑ ai vi + ∑ bi vi = lcΩ ⎜ ⋮ ⎟ + lcΩ ⎜ ⋮ ⎟
i=1 i=1 ⎝ an ⎠ ⎝ bn ⎠
and
⎛ ⎛ a1 ⎞⎞ ⎛ λa1 ⎞ n
lcΩ ⎜λ ⋅ ⎜ ⋮ ⎟⎟ = lcΩ ⎜ ⋮ ⎟ = ∑ (λai ) vi
⎝ ⎝ an ⎠⎠ ⎝ λan ⎠ i=1
n ⎛ a1 ⎞
= λ ∑ ai vi = λ ⋅ lcΩ ⎜ ⋮ ⎟.
i=1 ⎝ an ⎠
This means that lcΩ is a Homomorphism of vector spaces:
Definition 5.5.1 A K-vector space homomorphism is a K-
linear map F ∶ V → W of K-vector spaces, that is
F (v1 + v2 ) = F (v1 ) + F (v2 )
for all vi ∈ V and
F (λv) = λF (v)
for all v ∈ V and λ ∈ K.
The terms Mono-, Epi- and Isomorphism are used analogsly
to the cases of groups and rings.
Example 5.5.2
lc(1,x,...,xd ) ∶ K d+1 Ð→ K[x]≤d
⎛ a0 ⎞
⎜ ⋮ ⎟ z→ a0 + a1 x + ... + ad xd
⎝ ad ⎠
V ≅ K n.
lcΩ ∶ K n → V
is an isomorphism.
⎜ ⋮ ⋮ ⎟ ⋅ ⎜ ⋮ ⎟ ∶= ⎜ ⋮ ⎟
⎝ an,1 ⋯ an,m ⎠ ⎝ xm ⎠ ⎝ (∑mj=1 a n,j x j ) ⎠
K m → K n, x ↦ A ⋅ x
⎛ x1 ⎞ m
(A1 ∣ ... ∣ Am ) ⋅ ⎜ ⋮ ⎟ = ∑ xj ⋅ Aj .
⎝ xm ⎠ j=1
5. VECTOR SPACES 123
1 2 3 ⎛ 1 ⎞ 1⋅1+2⋅2+3⋅3 14
( )⋅⎜ 2 ⎟=( )=( )
4 5 6 ⎝ 3 ⎠ 4⋅1+5⋅2+6⋅3 32
1 2 3 ⎛ 1 ⎞ 1 2 3 14
( )⋅⎜ 2 ⎟ = 1⋅( )+2⋅( )+3⋅( )=( )
4 5 6 ⎝ 3 ⎠ 4 5 6 32
So we have a diagram
F
V Ð→ W
lcΩ ↑ ↑ lc∆
Km Ð→
Ω
Kn
M∆ (F )
that is
F = lc∆ ○M∆Ω (F ) ○ coΩ
We already know how to use the isomorphisms lcΩ and coΩ .
The key observation is that M∆Ω (F ) can be realized by matrix
multiplication (which, for example, can be easily implemented
in a computer):
F (c) = A ⋅ c.
Proof. For
⎛ c1 ⎞
c = ⎜ ⋮ ⎟ ∈ Km
⎝ cm ⎠
we have
m m
F (c) = F (∑cj ej ) = ∑cj F (ej )
j=1 j=1
= A ⋅ c.
M∆Ω (F )(ei ) = (co∆ ○F ○ lcΩ )(ei ) = (co∆ ○F )(vi ) = co∆ (F (vi )),
so
M∆Ω (F ) = (co∆ (F (v1 )) ∣ ... ∣ co∆ (F (vm ))) ∈ K n×m
5.6 Exercises
Exercise 5.1 Let V be a K -vector space and U ⊂ V a vector
sub space. Show:
1) (−1) ⋅ v = −v for all v ∈ V .
2) U is with the addition and skalar multiplication induced by
those of V a K-vector space.
2)
x1 + x2 + x3 + x4 − x5 = 0
x1 + 2x2 + 3x3 + 4x4 − 5x5 = 0
x1 + 4x2 + 9x3 + 16x4 − 25x5 = 0
x1 + 8x2 + 27x3 + 64x4 − 125x5 = 0
U1 = {f ∈ R [x]≤d ∣ f (0) = 0}
U2 = {f ∈ R [x]≤d ∣ f (0) = 1}
U3 = {f ∈ R [x]≤d ∣ f (1) = 0}
U4 = {f ∈ R [x]≤d ∣ f ′ (0) + f ′′ (0) = 0}
U5 = {f ∈ R [x]≤d ∣ f ′ (0) ⋅ f ′′ (0) = 0}
⎛ 1 ⎞ ⎛ 0 ⎞ ⎛ 0 ⎞ ⎛ 0 ⎞
⎜ 0 ⎟ ⎜ 1 ⎟ ⎜ 0 ⎟ ⎜ 0 ⎟
⎜ ⎟,⎜ ⎟,⎜ ⎟,⎜ ⎟ ∈ R4
⎜ −2 ⎟ ⎜ 0 ⎟ ⎜ 1 ⎟ ⎜ 1 ⎟
⎝ 0 ⎠ ⎝ −3 ⎠ ⎝ −1 ⎠ ⎝ 1 ⎠
⎛ 1 ⎞ ⎛ 1 ⎞
v1 = ⎜ 1 ⎟ v2 = ⎜ 1 ⎟
⎝ 1 ⎠ ⎝ 0 ⎠
⎛ 4 ⎞ ⎛ 2 ⎞ ⎛ 2 ⎞ ⎛ 4 ⎞ ⎛ 2 ⎞
⎜ 0 ⎟ ⎜ 1 ⎟ ⎜ 0 ⎟ ⎜ 3 ⎟ ⎜ 2 ⎟
U = ⟨⎜ ⎟, ⎜ ⎟⟩ V = ⟨⎜ ⎟, ⎜ ⎟, ⎜ ⎟⟩
⎜ 2 ⎟ ⎜ 1 ⎟ ⎜ 3 ⎟ ⎜ 2 ⎟ ⎜ 3 ⎟
⎝ 4 ⎠ ⎝ 1 ⎠ ⎝ 1 ⎠ ⎝ 3 ⎠ ⎝ 1 ⎠
of Q4 .
Index
abelian, 49 cycle, 68
action, 61 cyclic, 60
alternating group, 59
anti-symmetric, 18 darstellende Matrix, 125
antiderivative, 123 degree, 95
associated, 106 dimension, 120
associative, 17 divides, 31
associativity, 49 division with remainder, 30
129
INDEX 130
tail, 108
target, 12
Tartaglia, Nicolo, 3
theorem of Fermat-Euler, 97
total ordering, 18
transitive, 18
transposition, 51, 68
trial division, 41
union, 5
Bibliography
132
BIBLIOGRAPHY 133
[20] Bosma, W.; Cannon J.; Playoust C.: The Magma alge-
bra system. I. The user language, J. Symbolic Comput., 24
(1997), 235–265.