Download 26 Generators and Relations

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
26
Generators and Relations
Unless otherwise stated all groups will be nonabelian. When we describe a
group by “generators and relations” we are writing it as the quotient of the
free group F on a set of generators X by the normal subgroup R generated
by a set of relations ∆. In combinatorial group theory we keep track of this
particular choice of generators and relations. We begin with the definition
of a free group.
Definition 26.1. If X is a subset of a group F we say that F is a free group
with basis X if any set mapping φ : X → G from X to any group G extends
uniquely to a homomorphism φ : F → G (i.e., so that φ|X = φ).
This is a universal property so F is determined uniquely up to isomorphism by the set X provided that F exists. This definition has the advantage
that it is easy to state. Its disadvantage is that it does not show that free
groups exist. This definition also says that the free group functor is left
adjoint to the forgetful functor Ab → Sets. This matches our previous
characterization of free abelian groups so it easily leads us to the following
theorem.
Theorem 26.2. Let F be a free group with basis X and consider the quotient
map F → F/F 0 where F 0 E F is the commutator subgroup of F .
1. The elements of X map to distinct nontrivial elements of F/F 0 .
2. F/F 0 is the free abelian group generated by the image X of X in F/F 0 .
Proof. We will show that F/F 0 satisfies the universal property of free abelian
groups. Suppose that A is an additive group and φ : X → A is any set
function. Then φ extends uniquely to a homomorphism φ : F → A. Since A
is abelian, F 0 ≤ ker φ so we get an induced homomorphism ψ : F/F 0 → A.
This shows that F/F 0 is isomorphic to the free abelian group Z[X]. If we
let A = Z[X] then ψ : F/F 0 → Z[X] will be an isomorphism which sends
the image x ∈ F/F 0 of each x ∈ X to x ∈ Z[X]. This proves both (1) and
(2).
Construction of free groups
In order to show that every set X generates a free group we take the usual
description of the free group as the set of “reduced words” in the symbols xi
−1
and x−1
for x ∈ X (which we could formally
i where xi ∈ X. The symbols x
define by x−1 := (x, X)) form a set X −1 disjoint from X.
1
Definition 26.3. A word on X is a sequence
` −1 ` w = (a1 , a2 , a3 , · · · ) where
each letter ai is an element of the set X X
{1} which has the property
`
`
Each word is a set functions w : N → X X −1 {1} where N is the set of positive
integers. (But not all such functions are words.)
1
1
that
` for some (unique) integer n ≥ 0, the first n letters a1 , a2 , · · · , an lie in
X X −1 and all other letters are equal to 1. The integer n is called the
length of the word w.
The infinite string of 1’s at the end of a word are never shown. Thus an
arbitrary word of length n is written:
w = x²11 x²22 · · · x²nn
where xi is a sequence of elements of X, ²i = ±1 and x1 = x. There is always
a unique word of length 0 called the empty word. Another example is
w7 = abcc−1 b−1 a.
This is a words of length 7 in X = {a, b, c}. It is not a “reduced” word since
it contains cc−1 as a “subword.”
A subword of a word w is a sequence of consecutive letters in w. The
empty word is a subword of every word. Subwords can also be described in
terms of products. If w, u are words of length n, m then their product w · u is
the word of length n + m given by taking the n letters of w followed by the
m letters of u. The word u is a subword of w iff there are two other words
a, b so that w = a · u · b.
Definition 26.4. A word is called reduced if it does not contain two consecutive inverse letters, i.e., if it does not contain the subwords xx−1 or x−1 x
for any x ∈ X.
We want to show that the set of reduced words on X forms a group.
Multiplication on this set should be given by multiplying the words and
cancelling adjacent inverse letters. For example the reduced words u = abc
and v = c−1 b−1 a give u · v = w7 as above which can be reduced to the
two letter word a2 = aa. However, cancellation of adjacent inverse letters
is not a unique process. For example, the letters in w4 = aa−1 aa−1 can be
cancelled in two different ways. To make sure the result is unique we make
the following definition.
Definition 26.5. The reduced product of two reduced words w, u is defined
by wu = w0 · v 0 where w0 , v 0 are subwords of w, v so that
w = w0 · u,
v = u−1 · v 0
where u is a word of maximal length which occurs at the end of w so that its
inverse u−1 (given by taking the letters of u in reverse order with opposite
signs) occurs at the beginning of v.
Theorem 26.6. The set of reduced words in X forms a group under the
reduced product and this group is a free group with basis X.
2
Proof. (van der Waerden) Instead of proving that reduced words form a
group, we first construct a group F (X) and then show that the elements of
F (X) are in 1-1 correspondence with the set W0 (X) of reduced words on X.
The group F (X) will be`a subgroup of the group of permutations of the
set W0 (X). For each x ∈ X X −1 let |x| : W0 (X) → W0 (X) be the mapping
defined as follows.
(
(a2 , · · · , an )
if a1 = x−1 ,
|x|(a1 , a2 , · · · , an ) =
(x, a1 , a2 , · · · , an ) otherwise.
Then we can easily show that |x| ◦ |x−1 | is the identity (since a1 , a2 are not
allowed to be inverse`
to each other). Consequently, |x| is a permutation of
W0 (X) for all x ∈ X X −1 . Let F (X) be the subgroup of the permutation
group of W0 (X) generated by all such permutations |x|.
A bijection ψ : F (X) → W0 (X) is given by ψ(f ) = f (∅). The inverse
φ : W0 (X) → F (X) is given by
φ(a1 a2 · · · an ) = |a1 | ◦ |a2 | ◦ · · · ◦ |an |.
(Clearly, ψ ◦ φ is the identity on W0 (X). To show that φ ◦ ψ is the identity
on F (X) note that:
1. The set of all f ∈ F (X) so that φψ(f ) = f forms a subgroup of F (X).
2. φψ(|x|) = |x|. Therefore this subgroup contains each generator |x| of
F (X).
Now we want to show (rigorously) that composition in F (X) corresponds
to reduced product in W0 (X), in other words that φ(wu) = φ(w) ◦ φ(v). This
is true from the definition of φ in the case when w · v is already reduced (so
that wu = w · v):
φ(a1 a2 · · · an b1 b2 · · · bm ) = |a1 |◦· · ·◦|an |◦|b1 |◦· · ·◦|bm | = φ(a1 · · · an )◦φ(b1 · · · bm ).
But this special case implies the general case using the fact that φ(u−1 ) =
φ(u)−1 :
φ(wu) = φ(w0 v 0 ) = φ(w0 )φ(v 0 ) = φ(w0 )(φ(u−1 )φ(u))φ(v 0 )
= (φ(w0 )φ(u−1 ))(φ(u)φ(v 0 )) = φ(w0 u−1 )φ(uv) = φ(w)φ(u)
Finally, we prove that F (X) ∼
= W0 (X) is the free group with basis X.
Let G be any group and let f : X → G be any set mapping. Then we define
f : W0 (X) → G by
f (a1 a2 · · · an ) = f (a1 ) ◦ · · · ◦ f (an ).
Since any homomorphism W0 (X) → G extending f must satisfy this formula,
the uniqueness is automatic. It suffices to show that f is a homomorphism,
i.e., that f (wv) = f (w) ◦ f (v). This is evidently true in the case when w · v is
reduced. Imitating the above argument we see that this special case implies
the general case.
3
Relations
When we say that the group G has a presentation
G = hX|∆i
we mean that ∆ is a set of reduced words in X and G = F/R where R is
the normal subgroup of F generated by ∆. In other words, R is the set of
all products of conjugates of elements of ∆ ∪ ∆−1 .
We have the obvious fact:
Proposition 26.7. If H is another group then a homomorphism φ : G =
hX|∆i → H is given unique by any choice of φ(x) ∈ H for each x ∈ X with
the property that φ(r) = 1 for all r ∈ ∆.
There are some difficulties with presentations of groups given by the fact
that the word problem is unsolvable in general, i.e., given a word w in X there
is no algorithm to determine whether or not w can be written as a product
of conjugates of elements of ∆ ∪ ∆−1 (i.e., that it represents a nontrivial
element of G). A fortiori, this implies that the conjugacy problem is also
unsolvable, i.e., there is no algorithm to determine whether two given words
in X represent conjugate elements of G. However, every word in X does
represent a well-defined element of G and any algorithm which uses a solution
of the word problem as a subroutine will be a procedure with a well-defined
output.
4