Algebra
Algebra
Algebra
Groups
abelian group with |Zn | = (n), where (n) = |{0 x n 1 : gcd(x, n) = 1}|
⇥
Groups as invariants : These are groups that are used to detect intrinsic differ-
ences in mathematical structures; e.g., the fundamental group and the homology
groups of a topological space; the ideal class group in number theory; various char-
acteristic subgroups of a group.
Laws of exponents. Let G be a group. For a 2 G and m, n 2 Z, am an =
am+n , (am )n = amn . (Note: a0 := e; a n := (a 1 )n for n 2 Z+ .)
Additive notation (usually for abelian groups). We write a + b for ab, 0 for
e, a for a 1 and na for an .
Cartesian product. If G and H are groups, then G ⇥ H is a group with its
operation defined componentwise.
Homomorphism. Let G and H be groups. A map f : G ! H is called a
homomorphism if f (ab) = f (a)f (b) for all a, b 2 G. It follows that f (eG ) = eH ,
where eG and eH are the identities of G and H, respectively, and f (a 1 ) = f (a) 1
for a 2 G. The kernel of f is ker f = f 1 (eH ) = {a 2 G : f (a) = eH }. A
homomorphism f is one-to-one if and only if ker f = {eG }. If f : G ! H is a
bijective homomorphism, it is called an isomorphism, in which case f 1 : H ! G
is also an isomorphism. A one-to-one homomorphism f : G ! H is also called
an embedding of G in H and is denoted as f : G ,! H. Two groups G and H
are called isomorphic, denoted as G ⇠ = H, if there is an isomorphism between
them. Isomorphic groups have the same structure. Let Aut(G) be the set of all
automorphisms of G (isomorphisms from G to G). The group (Aut(G), ) is called
the automorphism group of G.
Example. The general linear group of degree n over a field F , denoted by
GL(n, F ), is the multiplicative group of all n ⇥ n invertible matrices over F .
The determinant, det : GL(n, F ) ! F ⇥ , A 7! det A, is a homomorphism, and
SL(n, F ) := ker(det) is the special linear group of degree n over F .
Example. Let G the set of all Möbius transformations of C [ {1}, i.e., func-
tions of the form (az + b)/(cz + d), where ad bc 6= 0. Then (G, ) is a group and
the map
: GL(2, C) ! G
h a b i az + b
7 !
c d cz + d
is a homomorphism with ker = {aI2 : a 2 C⇥ }.
Subgroups. Let (G, ·) be a group. A subset H ⇢ G is called a subgroup of G,
denoted as H < G, if (H, ·) is a group. If H < G, the identity of H is the same
as the identity of G; this follows from eH eH = eH . For ; =
6 H ⇢ G, H < G if and
only if H is closed under multiplication and inversion. The intersection of a family
of subgroups is a subgroup.
Proposition 1.2. Let G be a group and ; = 6 H ⇢ G.
(i) H < G if and only if ab 1 2 H for all a, b 2 H.
(ii) If |H| < 1, then H < G if and only if H is closed under multiplication.
Proof. (ii) (() We only have to show that H contains e and is closed under
inversion. Let a 2 H. The map x 7! ax from H to H is one-to-one hence is onto.
1.1. DEFINITIONS AND EASY FACTS 3
Thus there exists x 2 H such that ax = a and hence e = x 2 H. Also, there exists
y 2 H such that ay = e, so a 1 = y 2 H. ⇤
For X ⇢ G, the intersection
\
hXi := H
H:X⇢H<G
Corollary 1.4 (Lagrange’s theorem). If H < G and |G| < 1, then |H| |G|.
For a 2 G, the order of a is
(
min{n 2 Z+ : an = e} if there is n 2 Z+ such that an = e,
o(a) = |hai| =
1 otherwise.
G/N
Proof. Define f¯(aN ) = f (a) for all aN 2 G/N . ⇤
Three isomorphism theorems.
The first isomorphism theorem. Let f : G ! H be a homomorphism.
Then G/ ker f ⇠
= f (G).
Proof. By the universal mapping property, f : G ! H induces a homomor-
phism f¯ : G/ ker f ! f (G). Clearly, f¯ is onto and ker f¯ = {ker f }. Hence f¯ is an
isomorphism. ⇤
The second isomorphism theorem. Let H < G and N C G. Then
HN/N ⇠
= H/(N \ H).
Proof. The map f : H ! HN/N , h 7! hN is an onto homomorphism with
ker f = N \ H. ⇤
The third isomorphism theorem. Let N C G, H C G and N ⇢ H. Then
(G/N ) (H/N ) ⇠
= G/H.
Proof. The map f : G/N ! G/H, aN 7! aH is a well-defined onto homo-
morphism with ker f = H/N . ⇤
Example. For n 2 Z+ , we have Zn = Z/nZ. If G is a cyclic group, then
G⇠
= Z or Zn .
Proof. Let G = hai. Then f : Z ! G, m ! 7 am is an onto homomorphism.
⇠
If ker f = {0}, then G = Z. If ker f 6= {0}, let n be the smallest positive integer in
ker f . Then ker f = nZ, so G ⇠
= Z/nZ = Zn . ⇤
6 1. GROUPS
If gcd(m, n) = 1, then Zm ⇥ Zn ⇠
= Zmn . The map Zmn ! Zm ⇥ Zn , x + mnZ 7!
(x + mZ, x + nZ) is a homomorphism, which is one-to-one and hence is onto.
Fact. If H, K C G, HK = G, and H \ K = {e}, then G = ⇠ H ⇥ K.
S
Proof. Let G/H = haHi, where a 2 G. Then G = n2Z an H. For any x, y 2
G, we have x = an1 h1 and y = an2 h2 , where n1 , n2 2 Z and h1 , h2 2 H ⇢ Z(G).
Then xy = an1 h1 an2 h2 = an1 +n2 h1 h2 = an2 +n1 h2 h1 = yx. ⇤
......
......
i ............
..... ........
.......
i .......
.....
.... .... .... .....
... ...
... ij = k ... ...
... ik = j
.... ... .... ...
.. ... .. .
......... . jk = i ..... ......... kj = i
. .. . .
j .. k ki = j j .... k ji = k
....... ..... ........... ...
............................... .............................
Proof of Theorem 1.8. The identity element and the identity subgroup of
a group both will be denoted by 1.
(() Assume that G ⇠= Q8 ⇥ A ⇥ B, where A, B are as stated, and let H < G.
By Exercise ??, H = H1 ⇥ H2 , where H1 < Q8 ⇥ A and H2 < B. It suffices to
show that H1 C Q8 ⇥ A. If H1 contains an element of order 4, then H1 {h2 : h 2
H1 } = Z(Q8 ) ⇥ 1 = (Q8 ⇥ A)0 , so H1 C Q8 ⇥ A. If H1 contains no element of order
4, then H1 ⇢ Z(Q8 ) ⇥ A = Z(Q8 ⇥ A), which also implies that H1 C Q8 ⇥ A.
()) 1 Let x, y 2 G be such that c := [x, y] 6= 1. Since hxi, hyi C G, we
have c 2 hxi \ hyi, i.e., xi = c = y j for some i, j 2 Z \ {0}. By Lemma 1.9 (i),
ci = [xi , y] = [c, y] = 1, hence o(x), o(y) < 1. Assume that x, y are chosen such
that [x, y] 6= 1 and o(x) + o(y) is minimal.
2 Let p be a prime factor of o(x). The minimality of o(x) + o(y) implies
1 = [xp , y] = cp , i.e., o(c) = p. Since p is determined by c, it is the only prime
factor of o(x). Hence o(x) is a power of p, and the same is true for o(y). Write
r s
x↵p = c = y p , ↵, 2 Z, r, s 2 N, p - ↵, . Then o(x) = pr+1 and o(y) = ps+1 .
Let ↵0 , 0 2 Z be such that ↵0 ↵ ⌘ 1 ⌘ 0 (mod p). Then
0 r 0
p ↵0 ↵pr 0 0 0 0
ps 0 s
x =x = c↵ = y↵ = y↵ p ,
0 0 0 0 0 0 0 0
where c↵ = [x , y ↵ ]. Replacing x, y, c by x , y ↵ , c↵ , respectively, we may
r s
assume that xp = c = y p . Note that r, s > 0 since otherwise [x, y] = 1.
r s
3 In 2 , assume that r s. Since x p y does not commute with x, by the
r s r s
minimality of o(x) + o(y), o(x p y) o(y) = ps+1 . By Lemma 1.9 (i), [x p , y]
commutes with x and y. Then by Lemma 1.9 (ii) and (i),
ps s ps
pr
pr
]( 2 ) = [y, x] ( ) = cpr (ps
s s
pr ps pr s
1 6= (x y)p = x y [y, x 2 1)/2
.
Thus p - pr (ps 1)/2 and hence p = 2 and r = 1. Consequently, o(x) = 4,
x2 = y 2 , yxy 1 = x 1 . Let Q = hx, yi. It follows from Theorem 1.29 that Q is a
homomorphic image of Q8 . Since Q is nonabelian we have Q ⇠ = Q8 .
4 We claim that G = QC, where C = {g 2 G : gu = ug for all u 2 Q}. In
a b
fact, for g 2 G we have gxg 1 = x±1 = x( 1) , gyg 1 = y ±1 = y ( 1) , a, b 2 {0, 1}.
Then y x g commutes with x and y, i.e. y x g 2 C.
a b a b
(iii) (
{id, ↵n/2 } if n is even,
Z(Dn ) =
{id} if n is odd.
Proof. (i) ↵ 1
= (. . . , n 1, n, 1, 2, 3, . . . ) 1
= (. . . , 3, 2, 1, n, n 1, . . . ) =
↵ 1
.
(ii) By (i), G := {↵i j : 0 i n 1, 0 j 1} is closed under multiplication,
whence Dn = G. We claim that the elements ↵i j , 0 i n 1, 0 j 1, are all
distinct. Assume that ↵i1 j1 = ↵i2 j2 for some 0 i1 , i2 n 1, 0 j1 , j2 1.
Then ↵i1 i2 = j2 j1 , hence 1 = j2 j1 (1) = ↵i1 i2 (1) ⌘ 1+i1 i2 (mod n). Thus
i1 = i2 , and hence j1 = j2 . ⇤
Let Xn be a regular n-gon in R2 with vertices labeled by 1, 2, . . . , n (Figure 1.2).
A symmetry of Xn is a rigid motion in R3 that maps Xn to itself. A symmetry of
Xn can be treated as a permutation of the vertices of Xn .
..
.
...........
1
..
...
........... ........
........
.....
...... .
. ........
.. ........
........ .. ........
7 ................ .. ........ 2
...
.. .. ...
... ...
... ..... ...
... ...
... .. ...
... .. ...
... ...
... ..... ...
...
... ...
... .. ...
6 .... .. ... 3
...
... .
. . . .. .
... .
.. .. .
... . .
... ..
... .. ...
... .. ...
... ...
...
... ..... ....
.
... ...
............................................................
.
5 ... 4
...
.
Remark. A3 is also simple, but A4 is not. We have V := {id, (1, 2)(3, 4), (1, 3)(2, 4),
(1, 4)(2, 3)} C S4 since V is closed under multiplication and is invariant under con-
jugation in S4
Fact 1.13. The normal subgroups of Sn are {id}, An and Sn , and, in addition,
V for n = 4.
Proof. The claim is easily verified for n 4. For n 5, assume that H C Sn
and H 6 An . Then H \ An C An and H \ An 6= An , hence |H \ An | = 1. Thus
|H| = |HAn |/|An | |Sn |/|An | = 2. The normality of H in Sn forces H = {id}. ⇤
Example 1.19. Let G be a simple group with |G| > 2. If there exists H < G
such that [G : H] = n > 1, then G ,! An .
Proof. In the proof of Proposition 1.18, N = {e} and G = G/N ,! SG/H =
Sn . We may assume that G ⇢ Sn . We claim that G ⇢ An . If G 6⇢ An , then
[G : G \ An ] = 2, and hence G \ An C G, which is a contradiction. ⇤
The method in the above two proofs is called the Frattini argument.
Semidirect product. Let N and H be groups and let ✓ : H ! Aut(N ) be a
homomorphism. Then H acts on N as follows: for h 2 H and n 2 N , hn = ✓(h)(n),
i.e., each h 2 H acts on H as an automorphism ✓(h) of N . The semidirect product
N o✓ H is a group (N ⇥ H, ·), where
(n1 , h1 ) · (n2 , h2 ) = (n1 h1 n2 , h1 h2 ).
The identity of N o✓ H is (eN , eH ); the inverse of (n, h) 2 N o✓ H is (h 1 n 1 , h 1 ).
Let G = N o✓ H, N 0 = N ⇥ {eH } and H 0 = {eN } ⇥ H. Then N 0 ⇠ = N , H0 ⇠ = H,
N C G, H < G, N \ H = {e}, and G = N H . We write N o✓ H as N o H
0 0 0 0 0 0
Proposition 1.24. Let G be a group of order pq, where p < q are primes.
(i) If p - q 1, then G ⇠
= Zpq .
(ii) If p | q 1, then G ⇠
= Zpq or G ⇠
= Zq o✓ Zp , where ✓ : Zp ! Aut(Zq ) is
any nontrivial homomorphism.
Proof. Let P be a Sylow p-subgroup and Q a Sylow q-subgroup of G. By
Sylow’s theorem, Q C G.
(i) Since p - q 1, we also have P C G. Thus G = P Q ⇠
= P ⇥Q ⇠
= Zp ⇥Zq ⇠
= Zpq .
(ii) We have G ⇠= QoP ⇠ = Zq o✓ Zp for some homomorphism ✓ : Zp ! Aut(Zq ).
If ✓ is the trivial homomorphism, then Zq o✓ Zp = Zq ⇥ Zp ⇠ = Zpq . It remans
to show that if ✓1 , ✓2 : Zp ! Aut(Zq ) are two nontrivial homomorphisms, then
Z q o ✓1 Z p ⇠
= Zq o✓2 Zp . Since both ✓1 (Zp ) and ✓2 (Zp ) are subgroups of Aut(Zq ) of
order p and since Aut(Zq ) ⇠ = Z⇥q is cyclic, we have ✓1 (Zp ) = ✓2 (Zp ). Let ↵ : Zp ! Zp
be the isomorphism such that ✓1 = ✓2 ↵.
✓ 1
Zp .....................................
⇠ ✓1 (Zp )
...
= ...
... ...
... ...
↵.........
...
.
.........
id
...
.
.. ..
✓2
Zp .....................................
⇠ ✓2 (Zp )
=
Then it is easy to check that
Z q o ✓1 Z p ! Z q o ✓2 Z p
(x, y) 7 ! (x, ↵(y))
is an isomorphism. ⇤
Example 1.25. If |G| = pqr, where p < q < r are primes, then the Sylow
r-subgroup of G is normal.
Proof. Let Q, R < G be such that |Q| = q and |R| = r. Assume to the
contrary that R 6C G. Then nr = pq, i.e., NG (R) = R. If Q C G, then R C QR,
and hence NG (R) QR, which is a contradiction. If Q 6C G, we have nq = r or pr.
Then G has pq(r 1) elements of order r and at least r(q 1) elements of order q.
Note that pq(r 1) + r(q 1) > pqr, which is a contradiction. ⇤
Example. If G is a simple group of order 60, then G ⇠
= A5 .
Proof. 1 Let P be the set of all Sylow 5-subgroups of G. Then |P| = 6.
Let G act on P by conjugation. Then G ,! SP = S6 , so we assume that G < S6 .
In fact, G ⇢ A6 , since otherwise, [G : G \ A6 ] = 2 and G \ A6 C G, which is a
contradiction.
2 Let X = (A6 /G) \ {G} and note that T |X | = 5.1 Let G act on X by left
multiplication. The kernel of this action is 2A6 G , which is not equal to G.
1.6. FINITELY GENERATED ABELIAN GROUPS 17
Remark 1.28.
(i) The number of nonisomorphic abelian groups of order pe11 · · · pess is
P (e1 ) · · · P (es ), where P (e) is the number of partitions of e.
18 1. GROUPS
...............................................
X f
G
Then xe11 · · · xess = f (x1 )e1 · · · f (xs )es (1) = f¯([xe11 · · · xess ])(1) = f¯([y1f1 · · · ytft ])(1) =
f (y1 )f1 · · · f (yt )ft (1) = y1f1 · · · ytft . ⇤
By the above fact, ◆ : X ! FX is one-to-one, and hence X can be regarded as
a subset of FX .
Presentation. Let X be a set and R a set of words in X. Define
hX | Ri = FX /NR ,
where NR is the normal closure of {[r] : r 2 R} in FX , i.e., the smallest normal
subgroup of FX containing {[r] : r 2 R}. The group hX | Ri is called a presentation;
the elements in X are called generators and the elements in R are called relations.
If G ⇠
= hX | Ri, hX | Ri is called a presentation of G and we usually write G =
hX | Ri.
Theorem 1.29. Let G be a group generated by X 0 ⇢ G. Let hX | Ri be a
presentation such that there is an onto map X ! X 0 , x 7! x0 having the property
that for every r 2 R, the corresponding product in G is identity. Then there is a
unique onto homomorphism hX | Ri ! G such that [x]NR 7! x0 for all x 2 X.
Proof. The map f : X ! G, x 7! x0 induces a homomorphism f¯ : FX ! G
such that [x] 7! x0 . Since G = hX 0 i, f¯ is onto. By assumption, {[r] : r 2 R} ⇢ ker f¯,
whence NR ⇢ ker f¯. Thus f¯ induces an onto homomorphism f˜ from FX /NR = hX |
Ri to G such that [x]NR 7! x0 . The uniqueness of f˜ is obvious since hX | Ri is
generated by {[x]NR : x 2 X}. ⇤
In a presentation hX | Ri = FX /NR , an element [u]NR , where u is word in X,
is usually denoted by u. A relation uv 1 , where u, v are words in X, is denoted as
u = v.
Fact. FX1 ⇠= FX2 if and only if |X1 | = |X2 |.
Proof. ()) For i = 1, 2, let Ni be the normal closure of {a2 : a 2 FXi } in FXi .
From FX1 ⇠ = FX2 , we have FX1 /N1 ⇠ = FX2 /N2 . Since u2 = 1 for all u 2 FXi /Ni , it is
easy to see that FXi /Ni is a vector space over Z2 . We claim that dimZ2 (FXi /Ni ) =
|Xi |. (Then |X1 | = dimZ2 (FX1 /N1 ) = dimZ2 (FX2 /N2 ) = |X2 |.) Let V be a vector
space with basis X1 . The map X1 ! V , x 7! x induces a homomorphism f : FX1 !
V . Clearly, N1 ⇢ ker f ; hence f induces a homomorphism f¯ : FX1 /N1 ! V . On
the other hand, since X1 is a basis of V , there is a homomorphism g : V ! FX1 /N1
such that g(x) = xN1 for all x 2 X1 . Clearly, f¯ and g are inverses of each other,
so FX1 /N1 ⇠= V , whence dimZ2 (FX1 /N1 ) = dimZ2 V = |X1 |. ⇤
Fact. Let X = A t B, and let H be the subgroup of FX generated by A and
N be the normal closure of B in FX . Then FX = HN and H \ N = {1}. In
particular, F/N ⇠
=H⇠= FA .
Proof. We only have to show that H \ N = {1}. Define
: X ! F
(A
x if x 2 A,
x 7 !
1 if x 2 B.
Then induces a homomorphism ¯ : FX ! FA such that N ⇢ ker ¯ and ¯|H : H !
FA is an isomorphism. If w 2 H \ N , then ¯|H (w) = ¯(w) = 1, hence w = 1. ⇤
20 1. GROUPS
Examples.
(i) The dihedral group Dn ⇠
= h↵, | ↵n = 2
= 1, ↵ 1
=↵ 1
i.
(ii) The infinite dihedral group D1 = h↵, | = 1, 2
↵ 1
=↵ 1
i.
(iii) The quaternion group Q8 = ⇠ hx, y | x = y , yxy
2 2 1
=x 1
i. (Note: In the
presentation, the relations imply that x4 = 1.)
Proof. Q8 = hi, ji, where i, j satisfy the relations i2 = j 2 , jij 1
=i 1
.
By Theorem 1.29, there is an onto homomorphism
(1.2) G := hx, y | x2 = y 2 , yxy 1
=x 1
i ! Q8
such that x 7! i, y 7! j. Every element in G can be written as xi y j ,
0 i 3, 0 j 1, whence |G| 8. Hence the homomorphism in (1.2)
is an isomorphism. ⇤
(iv) The generalized quaternion group Q4n = hx, y | xn = y 2 , yxy 1 = x 1 i.
The relations in the presentation imply that x2n = 1. Let ⇠ = e⇡i/n , A =
⇥⇠ ⇤ ⇥ ⇤
⇠ 1
, B = 1 1 . There is an isomorphism Q4n ! hA, Bi ⇢ GL(2, C)
such that x 7! A, y 7! B. We have |Q4n | = 4n.
(v) The braid group on n strands is
Bn = h 1, . . . , n 1 | i i+1 i = i+1 i i+1 , 1 i n 2; i j = j i, |i j| > 1i.
Each generator i is an n-strand braid with a single crossing. The product
of two braids is obtained by connecting their corresponding strands. (See
Figure 1.3.)
.... .. ... ... .... ..
.... ...... ... ... .... ......
..... ..... ... .. ..... .....
..... ... .....
1 ...
.. .. . ... ..
. .. . 2
1 2 i i+1 n 1 2 i i+1 n ..... ..... ... ... ...... ......
. .
....... ........ ........ .......... .......
. .
. ....... ......... .......... .......... .......
.... .... .... .... .... .... .... .... .... .... .... .... .. .. . ... . ..
... ... ... ... ... ... ... ... ... ... ... ... ... ..... ......
......... ..... ....... ...
........
..
...
..
...
..
...
..... ......
...
..
..
...
..
...
..
...
..
... ....
..
..... ......
...
..
..
...
..
... 2 ...
... ..
.
.... ....
.......... = .... .... ...........
.
...
... 1
... ... ... ... ... ... ........ ... ... .. ..
... ... ........ ... ... ... ... . ... ... ....... .......... .......... .......... ....... ....... .......... .......... .......... .......
... ... .............. ... ... ... ... .. ...........
. ... ... .... .. ... ... .... ..
... ... .... ...
... ... ... ... .... ...
... ... ..... ...... ..... ......
.. .. ....... ... ... .......
... ... .... ... ... ... ... ... .... ... ... ... 1 .... ........ .... ... .... ........ 2
... ... ... ... ... ... ... ... ... ... ... ... .. . .
. .. .. ... .. ... ..
... ... .... .... ... ... ... ... .... .... ... ... ... ... .... .... ... ...
. . . . . . . .
1 =
i i 1 2 1 2 1 2
that if t 2 T is reduced, its initial segments also belong to T ; we say that T has
the Schreier property.
2 For each w 2 F , let w̄ 2 T be such that Gw = Gw̄, and define (w) =
ww̄ 1
2 G. Let Y = { (tx) : t 2 T, x 2 X, tx 2
/ T }. For all w, u 2 F , we have
1
(1.3) (w) (w̄u) = ww̄ 1
w̄uw̄u = wuwu 1
= (wu).
Letting u = x 2 X in (1.3) gives (wx) = (w) (w̄x), where (w̄x) = 1 if w̄x 2 T
and (w̄x) 2 Y if w̄x 2 / T . Hence (wx)hY i = (w)hY i. This implies that
(w) 2 hY i for all w 2 F . In particular, for g 2 G, g = (g) 2 hY i. Therefore
G = hY i.
For t 2 T and w 2 F , by (1.3), (tw) (tww 1 ) = (t) = 1, i.e., (tw) 1 =
(tww 1 ). Note that each t 2 T can be written as t = t1 w, where t1 = tw 1 2 T .
It follows that Y 1 = { (tx 1 ) : t 2 T, x 2 X, tx 1 2
/ T }.
3 Assume that t1 , t2 2 T and y1 , y2 2 X [ X 1 are such that ti yi 2 / T . Let
si = ti yi . We claim that in reduced form, s1 1 and s1 1 t2 do not start with y1 1 .
If, to the contrary, s1 1 = y1 1 u in reduced form, then s1 = u 1 y1 in reduced form.
Since T has the Schreier property, u 1 2 T . Since Gt1 y1 = Gs1 = Gu 1 y1 , we
have Gt1 = Gu 1 , whence t1 = u 1 . Then t1 y1 = s1 2 T , which is a contradiction.
If, to the contrary, s1 1 t2 = y1 1 v in reduced form, then t2 = s1 y1 1 v. Since s1
(in reduced form) does not end with y1 and v does not start with y1 , s1 y1 1 (in
reduced form) is an initial segment of t2 (in reduced form). Thus s1 y1 1 2 T . Since
Gs1 y1 1 = Gt1 y1 y1 1 = Gt1 , we have s1 y1 1 = t1 . Again t1 y1 = s1 2 T , which is a
contradiction.
We also claim that in reduced form, t2 and s1 1 t2 do not end with y2 1 . If,
to the contrary, t2 = uy2 1 in reduced form, then u 2 T . Thus t2 y2 = u 2 T ,
which is a contradiction. If, to the contrary, s1 1 t2 = vy2 1 in reduced form, then
s1 = t2 y2 v 1 . Since t2 (in reduced form) does not end with y2 1 and v 1 does not
start with y2 1 , t2 y2 (in reduced form) is an initial segment of s1 (in reduced form).
Thus t2 y2 2 T , which is a contradiction.
4 Let t1 , . . . , tn 2 T and y1 , . . . , yn 2 X [ X 1 be such that ti yi 2
/ T and
1
(ti , yi ) 6= (si+1 , yi+1 ), 1 i < n, where si = ti yi (1 i n). We have
(t1 y1 ) (t2 y2 ) · · · (tn yn ) = t1 y1 s1 1 t2 y2 s2 1 · · · tn yn sn 1 .
By 3 , the reduced form of the above product is
⇤ y1 ⇤ y2 ⇤ · · · ⇤ yn ⇤ .
In particular,
(1.4) (t1 y1 ) (t2 y2 ) · · · (tn yn ) 6= 1.
|G| G #
6 S3 1
8 D 4 , Q8 2
10 D5 1
12 A4 , D 6 , Z 3 o ↵ Z 4 3
14 D7 1
D8 , Q16 , D4 ⇥ Z2 , Q8 ⇥ Z2 , Z8 o 1 Z2 , Z8 o 2 Z2 ,
16 9
(Z4 ⇥ Z2 ) o 3 Z2 , (Z4 ⇥ Z2 ) o 4 Z2 , Z4 o 5 Z4
18 D9 , S3 ⇥ Z3 , (Z3 ⇥ Z3 ) o Z2 3
20 D10 , Z5 o 1 Z4 , Z5 o 2 Z4 3
21 Z7 o Z 3 1
22 D11 1
D4 ⇥ Z3 , Q8 ⇥ Z3 , Z3 o✏1 Z8 , Z3 o✏2 (Z4 ⇥ Z2 ),
24 Z3 o✏3 (Z4 ⇥ Z2 ), Z2 ⇥ D6 , Z3 o✏4 (Z2 ⇥ Z2 ⇥ Z2 ), 12
Q 8 o ✏ 5 Z 3 , Z 3 o ✏ 6 Q 8 , Z 3 o ✏7 D 4 , Z 3 o ✏8 D 4 , S 4
26 D13 1
27 Z9 o⇣1 Z3 , (Z3 ⇥ Z3 ) o⇣2 Z3 2
28 D14 , Z7 o⌘ Z4 2
30 D15 , D5 ⇥ Z3 , S3 ⇥ Z5 3
⇠ D10 or Z5 o Z4 or Z5 o Z4 , where
Order 20. G = 1, 2 : Z4 ! Aut(Z5 )
1 2
are the homomorphisms defined by 1 (1)(1) = 2, 2 (1)(1) = 1.
Proof. Let hai C G be the Sylow 5-subgroup and P be a Sylow 2-subgroup.
If P = hbihci, where o(b) = o(c) = 2, we may assume bab 1 = a. (If bab 1 = a 1
24 1. GROUPS
group presentation
D8 hx, y | x = y 2 = 1, yxy 1 = x 1 i
8
and cac 1 = a 1 , then (bc)a(bc) 1 = a.) Then G = habihci, where Z10 ⇠ = habi C
G. Thus G ⇠ = Z10 o Z2 ⇠ = D10 . If P = hbi ⇠ = Z4 , then G ⇠ = Z5 o Z4 , where
: Z4 ! Aut(Z5 ) is a homomorphism such that (1)(1) 6= 1. If (1)(1) = 2 or 3,
G⇠ = Z5 o 1 Z4 ; if (1)(1) = 1, G ⇠= Z5 o 2 Z4 . To see that Z5 o 1 Z4 ⇠
6 Z5 o 2 Z4 ,
=
note that Z(Z5 o 1 Z4 ) = {(0, 0)} but Z(Z5 o 2 Z4 ) = h(0, 2)i. ⇤
group presentation
D4 ⇥ Z3
Q8 ⇥ Z3
Z 3 o ✏1 Z 8 ,
ha, b | a3 = b8 = 1, bab 1
=a 1
i
✏1 : Z8 ! Aut(Z3 ), ✏1 (1)(1) = 1
Z3 o✏2 (Z4 ⇥ Z2 ),
ha, b, c | a3 = b4 = c2 = 1, bc = cb,
✏2 : Z4 ⇥ Z2 ! Aut(Z3 ),
bab 1 = a, cac 1 = a 1 i
✏2 (1, 0)(1) = 1, ✏2 (0, 1)(1) = 1
Z3 o✏3 (Z4 ⇥ Z2 ),
ha, b, c | a3 = b4 = c2 = 1, bc = cb,
✏3 : Z4 ⇥ Z2 ! Aut(Z3 ),
bab 1 = a 1 , cac 1 = ai
✏3 (1, 0)(1) = 1, ✏3 (0, 1)(1) = 1
Z2 ⇥ D6
Z3 o✏4 (Z2 ⇥ Z2 ⇥ Z2 )
✏4 : Z2 ⇥ Z2 ⇥ Z2 ! Aut(Z3 ), ha, b, c, d | a3 = b2 = c2 = d2 = 1,
✏4 (1, 0, 0)(1) = 1, bc = cb, cd = dc, db = bd,
✏4 (0, 1, 0)(1) = 1, bab = a 1 , cac 1 = a, dad 1 = ai
1
✏4 (0, 0, 1)(1) = 1
Q 8 o ✏5 Z 3 ,
✏5 : Z3 ! ( Aut(Q8 ), ha, b, c | a2 = b2 , bab 1 = a 1 ,
i 7! j c3 = 1, cac 1 = b, cbc 1 = abi
✏5 (1) :
j 7! k
Z 3 o ✏6 Q 8 ,
ha, b, c | a3 = 1, b2 = c2 , cbc 1
=b 1
,
✏6 : Q8 ! Aut(Z3 ),
bab 1 = a, cac 1 = a 1
i
✏6 (i)(1) = 1, ✏6 (j)(1) = 1
Z 3 o ✏7 D 4 ,
ha, b, c | a3 = b4 = c2 = 1, cbc 1 = b 1
,
✏7 : D4 ! Aut(Z3 ),
bab 1 = a, cac 1 = a 1 i
✏7 (↵)(1) = 1, ✏7 ( )(1) = 1
Z 3 o ✏8 D 4 ,
ha, b, c | a3 = b4 = c2 = 1, cbc 1 = b 1
,
✏8 : D4 ! Aut(Z3 ),
bab 1 = a 1 , cac 1 = ai
✏8 (↵)(1) = 1, ✏8 ( )(1) = 1
S4 ha, b | a4 = b3 = (ab)2 = 1i
Order 30. G ⇠
= D15 or D5 ⇥ Z3 or S3 ⇥ Z5 .
Proof. Let P be a Sylow 5-subgroup of G and Q be a Sylow 3-subgroup of
G. By Example 1.25, P C G, thus P Q < G, whence P Q ⇠ = Z5 ⇥ Z3 . Hence
26 1. GROUPS
where
i: K ! G(K, Q, f )
(1.8)
a 7 ! (a f (1, 1), 1),
p: G(K, Q, f ) ! Q
(1.9)
(a, x) 7 ! x.
Moreover, extension (1.7) realizes the Q-module K. When f = 0, the
extension 1.7 is split with the homomorphism j : Q ! G(K, Q, 0), x 7!
(0, x).
i p
Let 0 ! K ! G ! Q ! 1 be an extension with abelian K which makes K a
Q-module, and let j : Q ! G be a lifting. Then : K ⇥ Q ! G, (a, x) = i(a)j(x),
is a bijection. Let · be the operation in K ⇥ G such that (K ⇥ Q, ·) is a group and
: (K ⇥ Q, ·) ! G is an isomorphism. Then for (a, x), (b, y) 2 K ⇥ Q,
1 1
((a, x) · (b, y)) = i(a)j(x)i(b)j(y) = i(a)j(x)i(b)j(x) j(x)j(y)j(xy) j(xy)
1 ⇤
= i(a)i(xb)j(x)j(y)j(xy) j(xy) = i(a + xb + j (x, y))j(xy),
where
(1.10) j ⇤ (x, y) = i 1
(j(x)j(y)j(xy) 1
).
Hence
(a, x) · (b, y) = (a + xb + j ⇤ (x, y), xy).
By Remark 1.31 (i), j ⇤ is a 2-cocycle and (K ⇥ Q, ·) = G(K, Q, j ⇤ ). Moreover, the
diagram
i0 p0
0 ! K
? ! G(K,?Q, j ⇤ ) ! Q
? ! 1
(1.11) ? ? ?
yid y yid
i p
0 ! K ! G ! Q ! 1
commutes, where i0 and p0 are defined by (1.8) and (1.9). If j 0 : Q ! G is another
lifting, then j 0 (x)j(x) 1 = i h(x) for some function h : Q ! K. Moreover,
⇤
(1.12) j 0 (x, y) j ⇤ (x, y) = xh(y) h(xy) + h(x).
be two extensions realizing the Q-module K. The two extensions are called equiv-
alent if there exists an isomorphism : G ! G0 such that the following diagram
commutes.
i p
0 ! K ? ! G? ! Q ? ! 1
? ? ?
yid y yid
i0 p0
0 ! K ! G0 ! Q ! 1
Theorem 1.32 (The meaning of H 2 (Q, K)). Let K be a Q-module, and let
E(Q, K) be the set of all equivalence classes of extensions of K by Q realizing the
Q-module K. There is a bijection ↵ : H 2 (Q, K) ! E(Q, K), where ↵(0) is the class
of split extensions.
Proof. For brevity, an extension 0 ! K ! G ! Q ! 1 realizing the Q-
module K is simply denoted by G and its equivalence class is denoted by [G].
Define ↵ : H 2 (Q, K) ! E(Q, K), f + B 2 (Q, K) 7! [G(K, Q, f )]. Note that ↵ is
well-defined. If f1 , f2 2 Z 2 (Q, K) are such that
f1 (x, y) f2 (x, y) = xh(y) h(xy) + h(x), x, y 2 Q,
for some h : Q ! K, then
: G(K, Q, f1 ) ! G(K, Q, f2 )
(a, x) 7 ! (a + h(x), x)
is an isomorphism and the diagram
i1 p1
0 ! K
? ! G(K,?Q, f1 ) ! Q
? ! 1
? ? ?
yid y yid
i2 p2
0 ! K ! G(K, Q, f2 ) ! Q ! 1
commutes, where i1 , p1 , i2 , p2 are defined by (1.8) and (1.9).
Next, define : E(Q, K) ! H 2 (Q, K), [G] 7! j ⇤ + B 2 (Q, K), where j : Q ! G
is a lifting and j ⇤ 2 Z 2 (Q, K) is given by (1.10). We claim that is well-defined.
Let [G] = [G0 ] 2 E(Q, K) and let j : Q ! G and j 0 : Q ! G0 be liftings. Since
[G] = [G0 ], we have a commutative diagram
i p
0 ! K
? ! G? ! Q
? ! 1
? ? ?
yid =y
⇠ yid
i0 p0
0 ! K ! G0 ! Q ! 1
⇤
Since j : Q ! G0 is also a lifting, by (1.12), ( j)⇤ ⌘ j 0 (mod B 2 (Q, K)). It
remains to show that ( j) = j . For x, y 2 Q, we have
⇤ ⇤
1
( j)⇤ (x, y) = i0 (( j)(x)( j)(y)( j)(xy) 1
)
0 1
=i ( (j(x)j(y)j(xy) 1
)) = i 1
(j(x)j(y)j(xy) 1
) = j ⇤ (x, y).
For f 2 Z 2 (Q, K), define a lifting j : Q ! G(K, Q, f ), j(x) = (0, x). Then it is
easy to check that j ⇤ = f . Hence
↵(f + B 2 (Q, K)) = ([G(K, Q, f )]) = j ⇤ + B 2 (Q, K) = f + B 2 (Q, K),
1.10. NORMAL AND SUBNORMAL SERIES 29
i.e., ↵ is the identity map. For [G] 2 E(Q, K), let j : Q ! G be a lifting. Then
↵ ([G]) = ↵(j ⇤ + B 2 (Q, K)) = [G(K, Q, j ⇤ )] = [G],
where the last equality follows from (1.11). Hence ↵ is also the identity map.
i
Therefore ↵ is a bijection. We have ↵(0) = [G(K, Q, 0)], where 0 ! K !
p
G(K, Q, 0) ! Q ! 1 is a split extension since the lifting Q ! G(K, Q, 0), x 7! (0, x)
is a homomorphism. ⇤
Corollary 1.33. Let K be a Q-module. If H 2 (Q, K) = 0, then every extension
of K by Q realizing the Q-module K is a semidirect product K o Q.
Proposition 1.34. Let K be a Q-module where |K| = m, |Q| = n and
gcd(m, n) = 1. Then H 2 (Q, K) = 0.
Proof. Let f 2 Z 2 (Q, K). Then
xf (y, z) f (xy, z) + f (x, yz) f (x, y) = 0 for all x, y, z 2 Q.
Summing over z 2 Q gives
xh(y) h(xy) + h(x) = nf (x, y),
P
where h(x) = z2Q f (x, z). Therefore nf 2 B 2 (Q, K). Since gcd(m, n) = 1, we
have f 2 B 2 (Q, K). ⇤
Complement. Two subgroups H, K of G are called complements of each other
if G = HK and H \ K = {0}.
Corollary 1.35. If |G| = mn, where gcd(m, n) = 1, and G has an abelian
normal subgroup K of order m, then K has a complement.
Proof. By Proposition 1.34, H 2 (G/K, K) = 0, hence G ⇠
= K o (G/K). ⇤
Theorem 1.36 (Schur-Zassenhaus). If |G| = mn, where gcd(m, n) = 1, and
G has a normal subgroup K of order m, then K has a complement.
Proof. We use induction on m. If K has a nontrivial subgroup N such that
N C G, by the induction hypothesis, K/N has a complement H/N in G/N . Since
N C H, |H| = |N |n, gcd(|N |, n) = 1 and |N | < m, by the induction hypothesis
again, H has a subgroup of order n.
Therefore, we may assume that K is a minimal normal subgroup of G. Let
P 6= 1 be a Sylow subgroup of K. Since G = K NG (P ) (Proposition 1.23),
G/K = K NG (P )/K ⇠ = NG (P )/K \ NG (P ) = NG (P )/NK (P ). If NG (P ) 6= G,
then |NK (P )| < |K| = m. The induction hypothesis applied to NK (P ) C NG (P )
implies that NG (P ) has a subgroup of order n.
If NG (P ) = G, i.e., P C G, then 1 6= Z(P ) C G. Since Z(P ) ⇢ K, the
minimality of K implies that K = Z(P ), which is abelian. Then Corollary 1.35
applies. ⇤
A B
... ...
... ...
... ...
... ...
... ...
... ...
... ...
... ...
. .
A⇤ (A \ B) B ⇤ (A \ B)
......... ......
......... ........
......... ........
......... .........
.........
......... .
...
..........
.
..
......... .........
..... ........
A\B
A⇤ (A \ B ⇤ ) ...
... B ⇤ (A⇤ \ B)
...
... ......... . ...
......... ... ........
... ......... ... ........ ...
... ......... ......... ...
... ......... ...
... .
...
..........
. ...
... ......... ....... ...
......... ... .........
.. ..... . ......... ..
A⇤ (A \ B ⇤ )(A⇤ \ B) B⇤
... .. ......... ...
........ .........
... ........ ......... ...
... ......... ......... ...
... .
...
..........
. ......... ...
... ...... ......... ...
........ .........
.. ......... ..... ..
A⇤ \ B A \ B⇤
Proof. Let D = (A⇤ \ B)(A \ B ⇤ ). We claim that D C A \ B. Since A⇤ C A,
we have A⇤ \ B C A \ B; since B ⇤ C B, we have A \ B ⇤ C A \ B. Hence
D = (A⇤ \ B)(A \ B ⇤ ) C A \ B.
It suffices to show
A⇤ (A \ B) ⇠ A \ B
(1.17) = .
A⇤ (A \ B ⇤ ) D
⇠ (A \ B)/D.) Define
(By symmetry, we have B ⇤ (A \ B)/B ⇤ (A⇤ \ B) =
A\B
: A⇤ (A \ B) !
D
ax 7 ! Dx, a 2 A⇤ , x 2 A \ B.
1 We claim that is well defined. If ax = a0 x0 , where a, a0 2 A⇤ and x, x0 2
A \ B, then x0 x 1 = (a0 ) 1 a 2 A⇤ \ (A \ B) = A⇤ \ B ⇢ D, and hence Dx = Dx0 .
1.10. NORMAL AND SUBNORMAL SERIES 31
2 Obviously, is onto.
3 We show that is a homomorphism. For ax, a0 x0 2 A⇤ (A \ B), we have
(axa0 x0 ) = (axa0 x 1 xx0 ) = Dxx0 = (ax) (a0 x0 ) since xa0 x 1 2 A⇤ .
4 We have ker = A⇤ D = A⇤ (A⇤ \ B)(A \ B ⇤ ) = A⇤ (A \ B ⇤ ). Now (1.17)
follows from the first isomorphism theorem. ⇤
Proof of Theorem 1.38. Let S : G = G0 B · · · B Gm = {e} and T : G =
H0 B · · · B Hn = {e} be two (sub)normal series. Let
Gij = Gi+1 (Gi \ Hj ), Hij = Hj+1 (Gi \ Hj ), 0 i m, 0 j n,
where Gm+1 = {e} and Hn+1 = {e}. Then
Gi 1,n = Gi0 = Gi , 1im 1,
Hm,j 1 = H0j = Hj , 1jn 1,
Gm 1,n 1 = Hm 1,n 1 = Gm 1 \ Hn 1.
G
q
H00 H01 ··· H0,n 1
5 5 5
H10 H11 ··· H1,n 1
T :0 5 5 5
.. .. ..
. . .
5 5 5
Hm 1,0 Hm 1,1 ··· Hm 1,n 1
5 5 5
{e}
In fact, it follows from the Zassenhaus lemma that Gi,j+1 C Gij and Hi+1,j C Hij .
Moreover, if S and T are normal series, then Gij C G and Hij C G for all i, j.
We claim that S 0 and T 0 are equivalent. It suffices to show that Gij /Gi,j+1 ⇠ =
Hij /Hi+1,j for all 0 i m 1, 0 j n 1. By the Zassenhaus lemma,
Gi+1 (Gi \ Hj ) ⇠ Hj+1 (Gi \ Hj )
Gij /Gi,j+1 = = = Hij /Hi+1,j .
Gi+1 (Gi \ Hj+1 ) Hj+1 (Gi+1 \ Hj )
⇤
Fact. Every finite group has a composition series.
Theorem 1.40 (Jordan-Hölder). Any two composition series of a group G are
equivalent.
32 1. GROUPS
such that Gi+1 /Gi ⇢ Z(G/Gi ) is called a central series of G. If G has a central
series, G is called nilpotent.
Given a group G, to build a central series {e} = G0 C G1 C · · · of G from
bottom up greedily, one would choose Gi such that Gi /Gi 1 = Z(G/Gi 1 ). On the
other hand, to build a central series G = H0 B H1 B · · · from top down greedily,
one would choose Hi = [Hi 1 , G]. Let
(
Z0 (G) = {e},
Zi (G) be such that Z(G/Zi 1 (G)) = Zi (G)/Zi 1 (G), i > 0,
(
0 (G) = G,
(ii) or (iii) ) (i). A finite upper or lower central series is a central series. ⇤
i
To see (1.18), use induction on i. Assume that i < t and Zi (Dn ) = h↵n/2 i. Then
Dn /Zi (Dn ) = h↵ ¯ , ¯i ⇠
= Dn/2i , where ↵ ¯ = ↵Zi (Dn ), ¯ = Zi (Dn ), o(¯↵) = n/2i ,
i+1 i+1
o( ¯) = 2, ¯↵¯¯ 1 = ↵ ¯ 1 . Hence, Z(Dn /Zi (Dn )) = h↵ ¯ n/2 i = h↵n/2 i/Zi (Dn ),
so Zi+1 (Dn ) = h↵ n/2i+1
i. Since Dn /Zt (Dn ) = Dn /h↵m i ⇠= Dm , Z(Dn /Zt (Dn )) =
Zt (Dn )/Zt (Dn ), so Zt+1 (Dn ) = Zt (Dn ). It follows that Zi (Dn ) = Zt (Dn ) for all
i > t.
Now assume that m = 1, i.e., n = 2t , t > 1. We claim that
( i
h↵n/2 i if 0 i < t,
Zi (Dn ) =
Dn if i t.
For i < t, the proof is the same as above. Since Dn /Zt 1 (Dn ) = Dn /h↵2 i ⇠ = Z2 ⇥Z2 ,
which is abelian, we have Zt (Dn ) = Dn .
i
For the lower central series, we claim that i (Dn ) = h↵2 i for i 1. We use
induction on i. Since ↵2 = 1
↵ 1 ↵ 2 [Dn , Dn ], we have h↵2 i ⇢ 1 (Dn ). On
the other hand, h↵2 i C Dn and |Dn /h↵2 i| = 2 or 4. Thus Dn /h↵2 i is abelian,
2i
i.e., h↵2 i 1 (Dn ). Hence 1 (Dn ) = h↵ i. Assume that i (Dn ) = h↵ i for some
2
i+1 i i i+1
i > 0. Then ↵2 = 1
↵ 2 ↵2 2 [ i (Dn ), Dn ], hence h↵2 i ⇢ i+1 (Dn ).
2i+1 2i i+1 i+1 i+1
Clearly, in Dn /h↵ i, ↵ h↵2 i commutes with ↵h↵2 i and h↵2 i. Hence
i i+1 i+1 i i+1
h↵2 i/h↵2 i ⇢ Z(Dn /h↵2 i), so i+1 (Dn ) = [h↵2 i, Dn ] ⇢ h↵2 i. Therefore
2i+1
i+1 (Dn ) = h↵ i.
From the above, Dn is nilpotent if and only if n is a power of 2.
The upper and lower central series of a nilpotent group may differ. Clearly,
Zi (G ⇥ H) = Zi (G) ⇥ Zi (H) and i (G ⇥ H) = i (G) ⇥ i (H). Let G be any
nontrivial abelian group and H be a nonabelian group of order p3 . Then
Z0 (G ⇥ H) = {(eG , eH )}, Z1 (G ⇥ H) = G ⇥ H 0 , Z2 (G ⇥ H) = G ⇥ H,
0
2 (G ⇥ H) = {(eG , eH )}, 1 (G ⇥ H) = {eG } ⇥ H , 0 (G ⇥ H) = G ⇥ H.
Proof. Let |G| = pk . If Zi (G) 6= G, then Zi+1 (G)/Zi (G) = Z(G/Zi (G)) is
nontrivial, i.e., Zi (G) ( Zi+1 (G). Thus Zn (G) = G for some n 0. ⇤
Proof. ()) We only have to show that every Sylow subgroup P of G is normal.
By Proposition 1.22, NG (NG (P )) = NG (P ). If NG (P ) 6= G, by Proposition 1.45,
NG (NG (P )) 6= NG (P ), which is a contradiction. Therefore NG (P ) = G, i.e., P C G.
(() Note that H ⇥K is nilpotent if and only if H and K are both nilpotent. ⇤
1.11. EXAMPLES OF AUTOMORPHISM GROUPS 35
Lemma 1.48. Let G < Sn be such that [Sn : G] = n. Then there exists
✓ 2 Aut(Sn ) such that ✓(G) = { 2 Sn : (1) = 1} ⇠
= Sn 1 .
Proof. Let : Sn ! SSn /G be the action of Sn on Sn /G by left multiplication.
Then ker ⇢ G. Since the only normal subgroup of Sn with order dividing (n 1)!
is {id} (Fact 1.13), we have ker = {id}, i.e., is an isomorphism. Write Sn /G =
{G1 , . . . , Gn }, where G1 = G. Define f : {1, . . . , n} ! Sn /G, i 7! Gi , and define
✓: Sn ! Sn
1
7 ! f ( ) f.
Theorem 1.49.
(i) For n 4, r : Aut(Sn ) ! Aut(An ), f !
7 f |An is an isomorphism.
(ii) Assume that n =
6 6. Then
(
⇠ 1 if n 2,
Aut(Sn ) = Inn(Sn ) =
Sn if n 3, n 6= 6,
8
>
<1 if n 2,
⇠
Aut(An ) = Z2 if n = 3,
>
:
Sn if n 4, n 6= 6.
(iii) [Aut(S6 ) : Inn(S6 )] = 2. More precisely, Aut(S6 ) ⇠
= S6 oZ2 but Aut(S6 ) ⇠
6 =
S6 ⇥ Z 2 .
36 1. GROUPS
Proof. The proof is based on Janusz and Rotman [19]. First note that r
maps Aut(Sn ) to Aut(An ) since An is the only subgroup of Sn of order |An |.
1 We claim that for n 4, r is one-to-one, whence we may write Aut(Sn ) ⇢
Aut(An ).
Let f 2 Aut(Sn ) be such that f |An = idAn . To prove that f = id, it suffices
to show that f (1, 2) = (1, 2). For each 2 An , we have f ((1, 2)) f ((1, 2)) 1 =
f ((1, 2) (1, 2) 1 ) = (1, 2) (1, 2) 1 . Thus (1, 2) 1 f ((1, 2)) 2 Z(An ) = {id}, i.e.,
f ((1, 2)) = (1, 2).
2 For n 4, n 6= 6, we claim that Aut(Sn ) = Inn(Sn ) and r : Aut(Sn ) !
Aut(An ) is an isomorphism.
Let g 2 Aut(An ) and let 2 An be a 3-cycle. Then g( ) is a product of k
disjoint 3-cycles. If k > 1, we have
1 1
(1.19) 3(n 3)! = |CAn ( )| = |CAn g( ) | = 3k k!(n 3k)!.
2 2
The integer solutions of (1.19) are (n, k) = (n, 1) and (n, k) = (6, 2), which con-
tradicts the assumptions. Therefore we have k = 1, and by Lemma 1.47, g = r(f )
for some f 2 Inn(Sn ). Hence r Inn(S ) : Inn(Sn ) ! Aut(An ) is onto. By 1 ,
n
Aut(Sn ) = Inn(Sn ) and r : Aut(Sn ) ! Aut(An ) is an isomorphism.
3 The remaining claims in (ii) about Aut(Sn ) and Aut(An ) for n 3 are
obvious. For example, to see that Aut(S3 ) = Inn(S3 ), note that for each f 2
Aut(S3 ), f (1, 2) is a 2-cycle and f (1, 2, 3) is a 3-cycle. Hence |Aut(S3 )|
3 · 2 = |Inn(S3 )|.
4 We claim that [Aut(A6 ) : Inn(S6 )] 2. For any f 2 Aut(A6 ) \ Inn(S6 ), by
Lemma 1.47, f maps every 3-cycle to a product of two disjoint 3-cycles. Note that
in A6 , the number of 3-cycles equals the number of products of two disjoint 3-cycles.
Thus f maps every product of two disjoint 3-cycles to a 3-cycle. Therefore, for any
f, g 2 Aut(A6 ) \ Inn(S6 ), f g maps 3-cycles to 3-cycles, and hence f g 2 Inn(S6 )
by Lemma 1.47. This proves the claim.
5 We claim that Aut(S6 ) 6= Inn(S6 ). Let P be the set of the 6 Sylow 5-
subgroups of S5 , and let : S5 ! SP (= S6 ) be the action of S5 on P by conjuga-
tion. Since S5 acts transitively on P, 6 |S5 / ker |. Since A5 is only one nontrivial
normal subgroup of S5 and 6 - |S5 /A5 |, we have ker = {id}. Thus (S5 ) is a tran-
sitive subgroup of SP of index 6. Therefore, we have proved that S6 has a transitive
subgroup G of index 6. By Lemma 1.48, there exists f 2 Aut(S6 ) such that f (G)
fixes 1 and hence is not a transitive subgroup of S6 . It follows that f 2
/ Inn(S6 ).
6 By 4 and 5 , we have
Inn(S6 ) ( Aut(S6 ) ⇢ Aut(A6 )
and [Aut(A6 ) : Inn(S6 )] 2. Thus Aut(S6 ) = Aut(A6 ), [Aut(S6 ) : Inn(S6 )] = 2,
and (i) holds for n = 6.
7 From 5 , we know that there exists g 2 Aut(S6 ) \ Inn(S6 ) such that g(S5 )
is a transitive subgroup of S6 . Such a g can be determined as follows: For each
2 S6 , let 2 Inn(S6 ) denote ( ) 1 . Replacing g by g for a suitable
2 S6 , we may assume that g(⇢) = ⇢, where ⇢ = (1, 2, 3, 4, 5). By Remark 1.50
(i), g((5, 6)) = (⇤, ⇤)(⇤, ⇤)(⇤, ⇤). Replacing g by i⇢ g for a suitable 0 i 4,
1.11. EXAMPLES OF AUTOMORPHISM GROUPS 37
we may assume that g((5, 6)) = (a, b)(c, d)(5, 6), where (a, b)(c, d) = (1, 2)(3, 4) or
(1, 3)(2, 4) or (1, 4)(2, 3). Hence
g((i, 6)) = g(⇢i (5, 6)⇢ i ) = ⇢i g((5, 6))⇢ i
= (a + i, b + i)(c + i, d + i)(i, 6),
where 1 i 5 and the sums are taken modulo 5. If (a, b)(c, d) = (1, 2)(3, 4), then
g((3, 5, 6)) = g((5, 6)(3, 6)) = g((5, 6))g((3, 6))
= (1, 2)(3, 4)(5, 6)(4, 5)(1, 2)(3, 6) = (3, 5)(4, 6),
which is also impossible. Thus we must have (a, b)(c, d) = (1, 4)(2, 3), so
(1.20) g((i, 6)) = (1 + i, 4 + i)(2 + i, 3 + i)(i, 6), 1 i 5.
Note that g is completely determined by (1.20) since S6 is generated by (i, 6),
1 i 5. (In fact, since g(⇢) = ⇢, g is completely determined by g((5, 6)).) We
claim that g 2 = id. For this claim, it suffices to show that g 2 ((5, 6)) = (5, 6). We
have
g 2 ((5, 6)) = g((1, 4)(2, 3)(5, 6)) = g((1, 4))g((2, 3))g((5, 6)),
where, by (1.20),
g((1, 4)) = g((4, 6))g((1, 6))g((4, 6)) = (1, 3)(5, 6)(2, 4),
g((2, 3)) = g((3, 6))g((2, 6))g((3, 6)) = (6, 5)(2, 1)(4, 3),
g((5, 6)) = (1, 4)(2, 3)(5, 6).
From the above, one quickly checks that g 2 ((5, 6)) = (5, 6). Therefore Aut(S6 ) =
Inn(S6 )hgi ⇠
= S6 o Z 2 .
To prove that Aut(S6 ) 6⇠ = S6 ⇥ Z2 , we show that Z(Aut(S6 )) = {id}. Assume
to the contrary that there exists id 6= f 2 Z(Aut(S6 )). Then f 2 / Inn(S6 ) since
Z(Inn(S6 )) ⇠= Z(S 6 ) is trivial. By Remark 1.50 (i), f ((1, 2)) = (⇤, ⇤)(⇤, ⇤)(⇤, ⇤).
Choose 2 S6 such that fixes (1, 2) but not f ((1, 2)). Then ( f )((1, 2)) 6=
(f )((1, 2)), whence f 2 / Z(Aut(S6 )), which is a contradiction. ⇤
Remark 1.50.
(i) Let f 2 Aut(S6 ) \ Inn(S6 ). By step 4 in the above proof, f maps every
3-cycle to a product of two disjoint 3-cycles, and vice versa. It follows
that f maps every transposition to a product of three disjoint transposi-
tions and, by counting, vice versa. (Assume to the contrary that f ((1, 2))
is not a product of three disjoint transpositions. Since f (A6 ) = A6 ,
f ((1, 2)) is a transposition, and by conjugation, so is f ((1, 3)). Then
f ((1, 2, 3)) = f ((1, 3)(1, 2)) = f ((1, 3))f ((1, 2)), which cannot be a prod-
uct of two disjoint 3-cycles.)
(ii) By Lemma 1.48 and Theorem 1.49, if n 6= 6, every subgroup G < Sn with
|G| = (n 1)! must fix one of 1, . . . , n. This is false for n = 6 (step 5 of
the above proof).
38 1. GROUPS
n
where i1 ,...,is = n!/(i1 ! · · · is !) 2 Z is the multinomial coefficient.
39
40 2. RINGS AND MODULES
IJ is an ideal of R and IJ ⇢ I \ J.
The quotient ring. Let I be an ideal of R. Then R/I is an abelian group. For
a + I, b + I 2 R/I, define (a + I)(b + I) = ab + I. The multiplication is well-defined
and (R/I, +, ·) is a ring, which is called the quotient ring of R by I. The map
⇡: R ! R/I
r 7 ! r+I
is an onto ring homomorphism, called the canonical homomorphism. If a, b 2 R are
such that a b 2 I, we write a ⌘ b (mod I).
42 2. RINGS AND MODULES
f
...............................................
R S
... .........
... .......
.. ......
⇡ ...... ..
..
.......
....
........ ...... f¯
......
. ......
R/I
Isomorphism theorems.
(i) Let f : R ! S be a homomorphism of rings. Then R/ ker f ⇠ = f (R).
(ii) If S is a subring of R and I is an ideal of R, then S + I is a subring of R
and (S + I)/I ⇠ = S/S \ I.
(iii) Let I ⇢ J be ideals of R. Then (R/I)/(J/I) ⇠ = R/J.
The correspondence theorem. Let I be an ideal of R. Let A be the set of
all ideals of R containing I and B be the set of all ideals of R/I. Then the map
A ! B, J 7! J/I, is a bijection. Let S be the set of all subrings of R containing
I and T be the set of all subrings of R/I. Then the map S ! T , S 7! S/I, is a
bijection.
m-adic topology. Let R be a ring and m be an ideal of R. For each x 2 R,
{x + mn : n 2 N} forms a neighborhood base of x. The topology on R defined by
this neighborhood base is called the m-adic topology. The following mappings are
continuous in the m-adic topology.
(i) R ⇥ R ! R, (x, y) 7! x + y;
(ii) R ! R, x 7! x;
(iii) R ⇥ R ! R, (x, y) 7! xy.
Proof. (i) (x + mn ) + (y + mn ) ⇢ x + y + mn .
(ii) (x + mn ) ⇢ x + mn .
(iii) (x + mn )(y + mn ) ⇢ xy + mn . ⇤
A ring R endowed with a topology such that the mappings (i) – (iii) are contin-
uous is called a topological ring. Thus R with the m-adic topology is a topological
ring. The ideal mn is both open and closed. In fact
S for every x 2n m , x + m ⇢ m
n n n
,
hence m is open. On the other hand, R \ m = x2R\mn (x + m ) is open, so m is
n n n
T1
closed. The m-adic topology is Hausdorff if and only if n=0 mn = {0}. The m-adic
topology is discrete if and only if m is nilpotent, i.e., mn = 0 for some n > 0.
(ii) Ii is a ring with identity ei . (It follows that e1 , . . . , en are unique.) More-
over, e1 , . . . , en are in the center of R and Ii = Rei .
(iii) R ⇠= I1 ⇥ · · · ⇥ In .
44 2. RINGS AND MODULES
Example (UFD 6) PID). The polynomial ring Z[x] is a UFD (Theorem 2.27).
In Z[x], (2, x) is not a principal ideal.
p
Example 2.14 (PID 6) ED). Let ↵ = (1 + 19)/2. We claim that Z[↵] is
a PID but not an ED.
Proof. 1 Z[↵] is not an ED.
The units of Z[↵] are ±1. In fact, it is easy to see that u 2 Z[↵] is a unit if and
only if |u|2 = 1. Assume to the contrary that Z[↵] is an ED with the Euclidean
function @. We may assume that 0 2 im @. Let ✏ 2 Z[↵] be such that @(✏) is the
smallest in Z+ . Then ✏ 2
/ Z[↵]⇥ . We have
2 = q✏ + r, q 2 Z[↵], r = 0, ±1,
so q✏ = 1, 2, 3. Thus |✏| 2
1 , 2 , 3 , whence |✏|2 = 1, 2, 4, 3, 9. Also,
2 2 2
↵ = q 1 ✏ + r1 , q1 2 Z[↵], r1 = 0, ±1,
p
so q1 ✏ 2 19/2 + (1/2){±1, 3}. Thus |✏|2 (19 + 12 )/4 or (19 + 32 )/4, i.e., |✏|2 5
or 7. Then |✏|2 = 1, which is impossible since ✏ 2
/ Z[↵]⇥ .
2 We claim that for every z 2 C, there exists q 2 Z[↵] such that either
|z q| < 1 or |z q/2| < 1/2.
Let z = x + yi. We may assume that z belongs to the closed parallelogram
0, 1, ↵+1, ↵ (since there is a p 2 Z[↵] such that z +p belongs to that parallelogram);
2.3. FACTORIZATION IN COMMUTATIVE RINGS; UFD, PID AND ED 47
see Figure 2.1. We want to show that z has distance < 1 from one of the dots or
has distance < 1/2 from one of the circles. For this purpose, we may assume
that z belongs to
p the closed triangle 0, 1/2, ↵. Assume that |z ↵/2|
p 1/2,pthen
(x 1/4)2 p +(y p19/4)2 1/4. p Since |xp 1/4| 1/4, we have |y 19/4| 3/4,
i.e., y ( 19 3)/4 or y ( 19 + 3)/4. In the first case, |z 0| < 1; in the
second case, |z ↵| < 1.
...........................................
......... .......
....... ......
.......... .....
..... .....
....
...... ...
.... ...
...
..
. ...
... ...
.... ...
...
↵ ↵+1 ... ↵
... .... ...
....... • .........................................................• . • ...
.. ........ .. .. ... .......
... ......... ... ... ... ..... ....
... .......... ... ... ... . ..
. .
.
... .... .... .... ... .... ... .. ....
. ..
.
...
... .. ... ... ... .. ... ... ... ...
... ... ... ... ... ... ... ... .. ...
... ... .. .. ... ... ... .. .. ...
... .. ..... .....
. .
. ..
. ..... .......................................... ...
....
........... . ... .....
... ... ... ... .... ... ...... ... ... ...... .....
... ... ... ... ... ... ... ............ .... .... ..... ............
...↵/2.... .... ..... ... ... ... ............
... .. .............
.
... ... ... ... .
. ..
. ..... ↵/2 ... ........................ ....
... .. ... ... .... ... ... . .. ..
... ... .... ... .. .............................. .... ...
... ... ....
. ............... .. ............. ....
... .... .... ........ ..... ..
... ... ...
... ... ..
... .. .. . . .........
. .. .
. ............
.
. ..... ..
... ... ... ... .. .. ..... ...... .... ... ..........
... ... ... ... ... ..... ............. ................... .......
... ... .... ...
... .... ... ... .. ... ... ... ... ...
... .. ... ... ... .. ..
. ..
. ... ...
... ... ... ... ... ... ... ... .... ...
... ... ... ... ... ... .... .... ... ...
....... ...
...... ... ......... ... ... ..... ...
....... ... ........ .... .
.
............................... . ...
• . ....
...
...
.. . . .
.. . .
. . .. . . . .. ............. . . . . . . . . . . . ...• ................................................ ... • .
. .
... ...
0 1/2 1 ... 0 ..
.
... ...
...
... ...
... ...
... ..
... ....
.
..... .
..... .....
...... .....
....... .....
......... .......
............................................
3 Z[↵] is a PID.
Let I 6= {0} be an ideal of Z[↵]. Let 0 6= 2 I be such that | |2 is the smallest.
We claim that I = ( ). For any 2 I, by 2 , there exists q 2 Z[↵] such that
| / q| < 1 or | / q/2| < 1/2. If | / q| < 1, then | q | < | |, whence
q = 0, so 2 ( ). Now assume that | / q/2| < 1/2. Then |2 q | < | |,
whence = (q/2) . We claim that q/2 2 Z[↵]. Assume the contrary. Then
q = a + b↵, where a, b 2 Z and at least one of a, b is odd.
(i) Assume that a is odd and b is even. Then (q + 1)/2 2 Z[↵]. Thus /2 =
(q + 1)/2 2 I and 0 < | /2| < | |, which is a contradiction.
(ii) Assume that a is even and b is odd. We have
q↵
¯ = a↵
¯ + 5b = (a + 5b) a↵ = a0 + b0 ↵ =: q 0 ,
where a0 is odd, b0 is even and (q 0 /2) 2 I. This is case (i).
(iii) Assume that a, b are both odd. We have
q↵
¯ = (a + 5b) a↵ = a0 + b0 ↵ =: q 0 ,
where a0 is even, b0 is odd and (q 0 /2) 2 I. This is case (ii). ⇤
Gauss integers. The ring of Gauss integers, Z[i] = {a + bi : a, b 2 Z}, is an
ED with @(↵) = |↵|2 . We have Z[i]⇥ = {↵ 2 Z[i] : |↵|2 = 1} = {±1, ±i}.
Proof. Let ↵, 2 Z[i] with 6= 0. There exists q 2 Z[i] such that |↵/ q| <
1, hence |↵ q| < | |. ⇤
48 2. RINGS AND MODULES
Primes in Z[i]. Let ↵ 2 Z[i] be neither 0 nor a unit. Then ↵ is a prime, i.e.,
irreducible, if and only if
(i) ↵ ⇠ p for some prime p 2 Z with p ⌘ 1 (mod 4) or
(ii) |↵|2 is a prime in Z.
Proof. (() Assume (i). Suppose to the contrary that p is not a prime in Z[i].
Then p = , where , 2 Z[i], | |2 > 1, | |2 > 1. Since p2 = | |2 | |2 in Z, it
follows that p = | |2 , whence p 6⌘ 1 (mod 4), which is a contradiction.
Assume (ii). If ↵ = , where , 2 Z[i], then |↵|2 = | |2 | |2 in Z, whence
| | = 1 or | | = 1, i.e., or is a unit.
2 2
(ii) ) (iii). We claim that p is not irreducible in Z[i]. Assume the contrary. By
(ii), there exists x 2 Z such that p | x2 +1 = (x+i)(x i), hence p | x+i or p | x i,
say p | x + i. Then x + i = p(a + bi) for some a, b 2 Z, whence 1 = pb, which is
impossible. Therefore, p = ↵ , where ↵, 2 Z[i] are nonunits. Thus p2 = |↵|2 | |2
in Z, and hence p = |↵|2 (= | |2 ). ⇤
Theorem 2.16 (Sum of two squares). Let x 2 Z+ have factorization x =
· · · pemm q1f1 · · · qnfn , where p1 , . . . , pm , q1 , . . . , qn are distinct primes with pj ⌘ 1
pe11
(mod 4) and qk = 2 or qk ⌘ 1 (mod 4). Then x = a2 + b2 for some a, b 2 Z if and
only if e1 , . . . , em are all even.
Proof. (() We have qk = |↵k |2 for some ↵k 2 Z[i]. Hence x = |↵|2 , where
e /2 e /2
↵ = p11 · · · pmm ↵1f1 · · · ↵nfn 2 Z[i].
()) We have x = ↵↵ ¯ for some ↵ 2 Z[i]. Assume to the contrary that ej is
odd for some j and write ej = 2l + 1. Since pj is a prime of Z[i] and p2l+1
j ¯,
| ↵↵
ej 1
we have pl+1
j ¯ , say pl+1
| ↵ or ↵ j | ↵. Then pj x = |↵/pl+1
j | 2 Z, which is a
2
contradiction. ⇤
gcd and lcm. Let R be a commutative ring and X ⇢ R. An element d 2 R is
called a greatest common divisor of X, denoted by gcd(X), if
(i) d | x for all x 2 X and
(ii) if c 2 R is such that c | x for all x 2 X, then c | d.
An element m 2 R is called a least common multiple of X, denoted by lcm(X), if
(i0 ) x | m for all x 2 X and
2.4. FRACTIONS AND LOCALIZATION 49
S 1R
Proof. Existence. Define f¯ : S 1 R ! T , r/s 7! f (r)f (s) 1
.
Uniqueness. Assume that g : S 1 R ! T is another homomorphism such that
g S = f . Then for each r 2 R and s 2 S, g(r/s)f (s) = g(r/s)g( S (s)) =
g((r/s)(s/1)) = g( S (r)) = f (r), hence g(r/s) = f (r)f (s) 1 . ⇤
Local rings. A local ring is a ring R with a unique maximal left ideal M ; this
definition is left-right symmetric by the following proposition.
Proposition 2.19. Let R be a ring.
(i) If R is local, the unique maximal left ideal of R is R \ R⇥ .
(ii) R is local if and only if R \ R⇥ is closed under addition.
Proof. (i) Let M be the unique maximal left ideal of R. Then M = {x 2 R :
x has no left inverse}. (x 2 R has no left inverse , Rx 6= R , Rx is contained in
a maximal left ideal of R , Rx ⇢ M .) Clearly, M ⇢ R \ R⇥ . If, to the contrary,
there exists a 2 R \ R⇥ such that a 2 / M , then a has a left inverse b 2 R but b
does not have a left inverse, i.e., b 2 M . Then 1 ab 2 / M , hence 1 ab has a left
inverse. By Exercise ??, 1 ba = 0 has a left inverse, which is a contradiction.
(ii) (() Clearly, R \ R⇥ is an ideal of R. Let M be any maximal left ideal of
R. Since M ⇢ R \ R⇥ , we have M = R \ R⇥ , which is unique. Hence R is local. ⇤
where a↵ = 0 for almost all ↵ 2 A. Let R[X] be the set of all polynomials in X
with coefficients in R and define + and · in R[X] as follows:
X X X
a↵ X ↵ + b↵ X ↵ = (a↵ + b↵ )X ↵ ,
↵2A ↵2A ↵2A
⇣X ⌘⇣ X ⌘ X⇣ X ⌘
↵
a↵ X b X = a↵ b X .
↵2A 2A 2A ↵+ =
Then (R[X], +, ·) is a ring, which is called the polynomial ring in X over R. For
↵ 2 A, let supp ↵ = {x 2 X : ↵(x) > 0}, which is finite. If supp ↵ = {x1 , . . . , xn },
↵(x ) ↵(x )
we write X ↵ = x1 1 · · · xn n . For each f 2 R[X], there exist x1 , . . . , xn 2 X
such that f 2 R[x1 , . . . , xn ].
Let F be the free abelian group on X, written multiplicatively. (A free abelian
group on X is a free Z-module on X; see §2.6.) Let
X = {xd11 · · · xdnn : n 0, xi 2 X, di 2 Z+ } ⇢ F,
which is closed under multiplication. The subring R[X ] of the group ring R[F ] is
precisely the polynomial ring R[X].
⇤
Proposition 2.21. If X and Y are disjoint sets of indeterminates, then (R[X])[Y ] ⇠
=
R[X [ Y ].
Proof. By Proposition 2.20, there exist homomorphisms g : (R[X])[Y ] !
R[X [Y ] and h : R[X [Y ] ! (R[X])[Y ] such that the following diagrams commute.
⇢ ⇢
R[X] .............................................................. R[X [ Y ] R (R[X])[Y ]
..............................................................
where
n ✓ ◆
X i
@ (k) f = ai xi k
2 R[x].
k
i=k
The polynomial @ (k) f is called the kth order Hasse derivative of f ; we have f (k) =
k! @ (k) f .
Properties of the Hasse derivative. Let f, g 2 R[x] and a, b 2 R.
(i) @ (k) (af + bg) (k)
P = a@ (i) f + b@ (k) g.
(ii) @ (f g) = i+j=k (@ f )(@ (j) g).
(k)
Theorem 2.27. Let D be a UFD. Then D[x] is also a UFD. The irreducible
elements of D[x] are precisely the irreducible elements of D and the primitive poly-
nomials in D[x] which are irreducible in F [x], where F is the fractional field of
D.
Proof. The second claim follows from Proposition 2.26. It remains to show
that D[x] is a UFD.
Existence of factorization. Let f 2 D[x] be nonzero and non-invertible. Since
F [x] is a UFD, f = f1 · · · fn , where fi 2 F [x] is irreducible. Choose 0 6= ai 2 D
such that ai fi 2 D[x] and write ai fi = ci gi , where ci 2 D and gi 2 D[x] is primitive
and is irreducible in F [x]. Then
a1 · · · an f = (a1 f1 ) · · · (an fn ) = (c1 g1 ) · · · (cn gn ) = c1 · · · cn g1 · · · gn .
Comparing the contents of both sides, we have c1 , · · · cn /a1 · · · an 2 D. Now
c1 , · · · cn
f= g1 · · · gn ,
a1 · · · an
where c1 , · · · cn /a1 · · · an is a product of irreducibles in D.
Uniqueness of factorization. Suppose that
(2.3) a 1 · · · a m f 1 · · · f n = b1 · · · b s g 1 · · · g t ,
where a1 , . . . , am , b1 , . . . , bs 2 D are irreducible and f1 , . . . , fn , g1 , . . . , gt 2 D[x] are
irreducible of degree > 0. Comparing the contents of the two sides of (2.3) gives
a1 · · · am ⇠ b1 · · · bs . Hence m = s and, after relabeling indices, ai ⇠ bi .
In F [x], f1 · · · fn ⇠ g1 · · · gt . Thus n = t and, after relabeling indices, fj ⇠ gj
in F [x]. Therefore fj = (u/v)gj for some u, v 2 D \ {0}, i.e., vfj = ugj . Then
v = C(ufj ) ⇠ C(ugj ) = u in D, hence fj ⇠ gj in D[x]. ⇤
Corollary 2.28. If D is a UFD and X is a set of indeterminates, then D[X]
is a UFD.
Proof. If |X| < 1, the conclusion follows from Theorem 2.27. In general,
note that for each f 2 D[X], there exists X 0 ⇢ X with |X 0 | < 1 such that
f 2 D[X 0 ]. Moreover, f 2 D[X 0 ] is irreducible if and only if f is irreducible in
D[X]. ⇤
Eisenstein’s criterion. Let D be a UFD with fractional field F and let f =
a0 + · · · + an xn 2 D[x], n > 0. If there is an irreducible element p 2 D such that
p - an , p | ai for 0 i n 1 and p2 - a0 , then f is irreducible in F [x].
Proof. Assume to the contrary that f = gh, where g, h 2 F [x], deg g > 0,
deg h > 0. Then there exist g1 , h1 2 D[x] such that f = g1 h1 and g1 ⇠ g and
h1 ⇠ h in F [x]; see the proof of Proposition 2.26. Let : D[x] ! (D/(p))[x] be
the homomorphism induced by the canonical homomorphism D ! D/(p). Then
(an )xn = (g1 ) (h1 ). Since D/(p) is an integral domain, we have (g1 ) = ↵xk ,
(h1 ) = xl , ↵, 2 D/(p). Since k deg g1 , l deg h1 , and k + l = n =
deg g1 + deg h1 , we have k = deg g1 and l = deg h1 , hence k, l > 0. Then p | g1 (0)
and p | h1 (0), whence p2 | g1 (0)h1 (0) = a0 , which is a contradiction. ⇤
Example. Let p be a prime. Then p (x) = 1 + x + · · · + xp 1 2 Q[x] is
irreducible.
Pp Applying Eisenstein’s criterion to p (x + 1) = ((x + 1)p 1)/x =
p i 1
i=1 i x yields the assertion.
2.6. MODULES, DEFINITIONS AND BASIC FACTS 55
Isomorphism Theorems.
The first isomorphism theorem. Let f : A ! B be a homomorphism of
R-modules. Then
f¯ : A/ ker f ! im f
a + ker f 7 ! f (a)
is an isomorphism.
The second isomorphism theorem. Let A, B be submodules of an R-
module. Then (A + B)/B ⇠
= A/(A \ B).
The third isomorphism theorem. Let C ⇢ B ⇢ A be R-modules. Then
(A/C)/(B/C) ⇠
= A/B.
Direct product and external direct sum. Let {AQ i : i 2 I} be a family of
R-modules. The direct product of {A Qi : i 2 I}, denoted by i2I Ai , is the cartesian
product of Ai , i 2 I.
Q Elements in i2I iA are of the form (a i )i2I , where ai 2 Ai .
The direct product i2I Ai is an R-module with addition and scalar multiplication
defined componentwise. The external direct sum of {Ai : i 2 I} is
M(ex) n Y o
Ai = (ai )i2I 2 Ai : ai = 0 for almost all i ,
i2I i2I
Q L(ex) Q
which is a submodule of i2I Ai . If |I| < 1, then i2I Ai = i2I Ai .
Sum and internal direct sum. If {Ai : i 2 I} is a family of submodules of
an R-modules A, the submodule
⌦ [ ↵ nX o
Ai = ai : ai 2 Ai , ai = 0 for almost all i
i2I i2I
P P
is called the sum of {Ai : i 2 I} and is denoted by i2I Ai . If Ai \ j2I\{i} Aj =
P
{0} for all i 2 I, then i2I Ai is called an internal direct sum and is denoted by
L(in)
i2I Ai . There is an isomorphism
M(ex) M(in)
Ai ! Ai
i2I i2I
X
(ai )i2I 7 ! ai .
i2I
L(ex) L(in) L
When distinction is unecessary, we write both and as .
Bimodule. Let R and S be rings. An (R, S)-bimodule is an abelian group
A which is a left R-module and a right S-module such that (ra)s = r(as) for all
a 2 A, r 2 R, s 2 S. An (R, S)-bimodule A is denoted by R AS . Homomorphisms
between (R, S)-bimodules are called (R, S)-maps.
Hom. For R-modules R A, R B, let HomR (R A, R B) be the abelian group of all
R-maps from A to B. Let S be anther ring.
(i) If R AS is a bimodule, then HomR (R AS , R B) is a left S-module. For
f 2 HomR (R AS , R B), s 2 S and a 2 A, we define (sf )(a) = f (as).
(ii) If R BS is a bimodule, then HomR (R A, R BS ) is a right S-module. For
f 2 HomR (R A, R BS ), s 2 S and a 2 A, we define (f s)(a) = (f (a))s.
2.6. MODULES, DEFINITIONS AND BASIC FACTS 57
If all bases of A have the same cardinality, this common cardinality is denoted by
rank A. If A is free with a basis X and B is another R-module, then every function
f : X ! B can be uniquely extended to an R-map f¯ : A ! B. Every R-module is
a quotient of a free R-module.
Theorem 2.30. Let D be a division ring. Then every D-module V is free.
Any two bases of V have the same cardinality.
Proof. A maximal linearly independent subset of V , which exists by Zorn’s
lemma, is a basis.
Let X and Y be two bases of V . If |X| = 1 or |Y | = 1, we have |X| = |Y |
by the next lemma. Now assume that X = {x1 , . . . , xn } and Y = {y1 , . . . , ym }.
Assume to the contrary that n > m. We have
2 3 2 3 2 3 2 3
x1 y1 y1 x1
6 . 7 6 7 6 7 6 7
6 . 7 = A 6 .. 7 and 6 .. 7 = B 6 .. 7
4 . 5 4 . 5 4 . 5 4 . 5
xn ym ym xn
for some matrices A 2 Mn⇥m (D) and B 2 Mm⇥n (D). It follows that AB = In .
There exists an invertible C 2 Mn⇥n (D) such that
" #
⇤
CA = .
0 ··· 0
Thus (0, . . . , 0, 1)C = (0, . . . , 0, 1)CAB = 0, which is a contradiction. ⇤
Lemma 2.31. Let R be a ring and F be a free R-module with an infinite basis
X. Then every basis of F has the same cardinality as X.
Proof. Let Y be another basis of F . We claim that |Y | = 1. Otherwise, since
each y 2 Y is a linear combination of finitely many x 2 X, F would be generated
by a finite subset X1 of X. However, any x 2 X \ X1 is not a linear combination
of elements in X1 , which is a contradiction.
For each x 2 X, there exists a finite subset {y1 , . . . , yn } ⇢ Y such S that x =
r1 y1 + · · · + rn yn , ri 2 R. DefineSf (x) = {y1 , . . . , yn }. We claim that x2X f (x) =
Y . Since X is spanned by Y1 := x2X f (x) ⇢ Y , Y is spanned by Y1 , hence Y1 = Y .
Now,
[
|Y | = f (x) |X|@0 = |X|.
x2X
By symmetry, |X| |Y |. Hence |X| = |Y |. ⇤
Let D be a division ring. A D-module V is called a vector space over D; its
dimension is dimD V = |X|, where X is any basis of V .
Fact.
58 2. RINGS AND MODULES
It follows that E ⇠
= E n for every integer n > 0.
Q1
Example (A direct product that is not free). We show that i=1 Z is not a
free Z-modules. Let
n 1
Y o
A = (a1 , a2 , . . . ) 2 Z : for every k > 0, 2k | ai for almost all i .
i=1
Q1
We claim that A is not free. (Then by Theorem 2.36, i=1 Z is not free.) Clearly,
|A| 2@0 > @0 . Assume to the contrary Lthat A is free. Then rank A > @0 . Every
1
coset of 2A in A contains an element in i=1 Z, hence A/2A is countable. Thus
dimZ2 (A/2A) @0 . However, rank A = dimZ2 (A/2A), which is a contradiction.
Pullback. Let
A
?
?
(2.4) yf
B ! C
g
62 2. RINGS AND MODULES
J2 ⇢ I. Write AJ2 = hx21 , x22 , . . . i, x2j = x02j + x002j , x02j 2 B, x002j 2 C. Then
S1
j=1 {x2j , x2j } ⇢ AJ3 for some countable J3 ⇢ I. In general, we have Ji ⇢ I with
0 00
AJ ⇤ ⇢ AJ ⇤ \ B + AJ ⇤ \ C.
Since AJ0 \ B is a direct summand of AJ0 and AJ0 is a direct summand of A,
AJ0 \ B is a direct summand of A. Hence AJ0 \ B is a direct summand of AJ ⇤ \ B
(Exercise ??). Since AJ ⇤ = AJ ⇤ \ B AJ ⇤ \ C and AJ0 = AJ0 \ B AJ0 \ C, we
have
AJ ⇤ ⇠ AJ ⇤ \ B AJ ⇤ \ C
= .
AJ 0 AJ 0 \ B AJ 0 \ C
Thus (AJ ⇤ \ B)/(AJ0 \ B) is a homomorphic image of AJ ⇤ /AJ0 . Since AJ ⇤ is
countably generated, so is (AJ ⇤ \ B)/(AJ0 \ B). We have
AJ ⇤ \ B = (AJ0 \ B) L,
where L ⇠
= (AJ ⇤ \ B)/(AJ0 \ B) is countably generated. Thus (J ⇤ , L0 [ {L}) 2 X ,
which contradicts the maximality of (J0 , L0 ). ⇤
Proof of Theorem 2.39. Let R be a local ring with maximal ideal m (=
R \ R⇥ ). Let P be a projective module over R.
1 We claim that every x 2 P is contained in a free direct summand of P . There
exists an R-module Q such that F := P Q is free. Let U be a basis of F . Assume
x 6= 0 and write x = a1 u1 + · · · + an un , ai 2 R, u1 , . . . , un 2 U distinct. Assume
that U is chosen such that n is as small as possible. Then for each 1 i n,
(2.6) ai 2
/ a1 R + · · · + ai 1R + ai+1 R + · · · + an R.
(If an = a1 b1 + · · · + an 1 bn 1 for some b1 , . . . , bn 1 2 R, then x = a1 (u1 + b1 un ) +
· · · + an 1 (un 1 + bn 1 un ). Note that {u1 + b1 un , . . . , un 1 + bn 1 un , un } [ U 0 is
a basis of F , where U 0 = U \ {u1 , . . . , un }. This contradicts the minimality of n.)
Write ui = yi + zi , yi 2 P , zi 2 Q. Then
(2.7) a 1 u 1 + · · · + a n u n = a 1 y1 + · · · + a n yn .
Write
2 3 2 3
y1 u1
6.7 6 . 7
(2.8) 6 . 7⌘C6 . 7 (mod hU 0 i),
4.5 4 . 5
yn un
where C 2 Mn (R). By (2.7) and (2.8), we have
[a1 , . . . , an ] = [a1 , . . . , an ]C,
i.e., [a1 , . . . , an ](I C) = 0. By (2.6), all entries of I C are in m. Since R is
local, C is invertible in Mn (R). Thus by (2.8), {y1 , . . . , yn } [ U 0 is a basis of F .
Let Y = hy1 , . . . , yn i. Then x 2 Y and Y is free and is a direct summand of F . By
Exercise ??, Y is a direct summand of P .
2 Since P is a direct summand of a free R-module, by Lemma 2.40, P is a
direct sum of countably generated R-modules. Thus we may assume that P is
countably generated.
2.7. PROJECTIVE AND INJECTIVE MODULES 65
E
commutes.
Q
Fact. Let {Ei : i 2 I} be a family of R-modules. Then i2I Ei is injective if
and only if Ei is injective for all i 2 I.
Proof. ())
....................................
◆
....................................
0 A B
... .... ...
...
... gi.... .... .....
. .
f ...... .... ....
.. .... .
...
....... .......
.. ..
... ...
...
..
E i
.
... g gi = ⇡i g.
...
... ... ..
.......... ....
.
.. .
◆i ...... ......⇡i.....
... .. ...
..
............ .........
Q . .. ...
j2I Ej
(()
.....................................
◆
.....................................
0 A B
... .... ....
...
... .... ...
f ...... h... .... .....
. ..
.. .... ...
....... .... ...
Q ... ....... ...
...
j2I j...... hi E .. h(b) = (hi (b))i2I , b 2 B.
... ..
... ...
... ...
⇡i ...... ......
... ...
....... ....... .
. ..
Ei
⇤
Pushout. Let
f
A
? ! B
(2.9) ?
gy
C
be a diagram of R-modules. Let S = (f (a), g(a)) : a 2 A ⇢ B C, D =
(B C)/S, ↵ : B ! D, b 7! (b, 0) + S, and : C ! D, c 7! (0, c) + S. Then
f
A
? ! B
?
? ?
gy y↵
C ! D
66 2. RINGS AND MODULES
E
(ii) ) (i). Use a pushout
...............................................
i
...............................................
0 A B
... .... ...
... ...
... .... ...
... .... ...
. .... ...
f ...... .... ... ↵
... .... ...
.. .... ..
....... .... ........
. ....... .
0 ...............................................
E
.......... .... .... .... .... ....
................................................ D ........................................ coker ........................................
0
E
We may assume that A ⇢ B and i is the inclusion. Let
S = {(C, h) : A ⇢ R C ⇢ B, h : C ! E is an R-map, h|A = f }.
For (C1 , h1 ), (C2 , h2 ) 2 S, define (C1 , h1 ) (C2 , h2 ) if C1 ⇢ C2 and h2 |C1 = h1 .
Then (S, ) is a nonempty poset in which every chain has an upper bound. By
Zorn’s lemma, (S, ) has a maximal element of (C0 , h0 ). It remains to show that
C0 = B.
Assume to the contrary that there exists b 2 B \C0 . Let L = {r 2 R : rb 2 C0 }.
Then L is a left ideal of R, and ↵ : L ! E, r 7! h0 (rb) is an R-map. Extend ↵ to
an R-map : R ! E. Define
h1 : C0 + Rb ! E
c + rb 7 ! h0 (c) + (r).
We claim that h1 is a well-defined R-map. If c + rb = c0 + r0 b, where c, c0 2 C0
and r, r0 2 R, then (r r0 )b = c0 c 2 C0 . Thus h0 (c0 c) = h0 ((r r0 )b) =
↵(r r0 ) = (r r0 ), and hence h1 is well-defined. Note that (C0 + Rb, h1 ) 2 S
and (C0 + Rb, h1 ) ⌫ (C0 , h0 ), which is a contradiction. ⇤
Divisible modules. Let R be an integral domain. An R-module D is called
divisible if for each y 2 D and 0 6= r 2 R, there exists x 2 D such that rx = y. D
is divisible if and only if rD = D for all 0 6= r 2 R.
Fact. Let D, Di (i 2 I) be modules over an integral domain R.
L
(i) Di is divisible for all i 2 I if and only if i2I Di is divisible.
(ii) If D is divisible and E ⇢ D is a submodule, then D/E is divisible.
(iii) If D is injective, then D is divisible.
Proof. (iii) Let y 2 D and 0 6= r 2 R. Consider the diagram
....
0 ....................................
Rr .................................... R
... ....
... ....
...
....
f ...... .... g
.. ....
........ ....
. .......
D
where f (r) = y. Then rg(1) = g(r) = f (r) = y. ⇤
Remark. A divisible module over an integral domain is not necessarily injec-
tive (Exercise ??).
Proposition 2.43. Let D be a module over a PID R. Then D is injective if
and only if D is divisible.
Proof. (() Let I 6= 0 be an ideal of R and f : I ! D be an R-map. We
have I = hai for some 0 6= a 2 R. Since D is divisible, there exists x 2 D such that
ax = f (a). Define g : R ! D, r 7! rx. Then g is an R-map and g|I = f . By Baer’s
criterion, D is injective. ⇤
68 2. RINGS AND MODULES
The proofs of Theorems 2.47 and 2.48 are the same as the proofs in the group
case; see Theorems 1.38 and 1.40.
In general, an infinite sequence (of any objects) A1 , A2 , . . . is said to stabilize
if there exists n such that An = An+1 = · · · .
ACC and DCC. An R-module A is said to have the ascending chain condition
(ACC) if every ascending sequence of submodules of A stabilizes. A is said to have
the descending chain condition (DCC) if every descending sequence of submodules
of A stabilizes.
Examples. Z as a Z-module has ACC but no DCC. Let p be a prime and let
Z(p1 ) be the subgroup of Q/Z defined by
na o
Z(p1 ) = + Z 2 Q/Z : a, b 2 Z, b = pi for some i 0 .
b
Then every proper subgroup of Z(p1 ) is generated by 1/pi + Z for some i 0.
Since D1 E D1 E
0= 0
+Z ( 1
+ Z ( ··· ,
p p
Z(p1 ) as a Z-module has DCC but no ACC.
Proposition 2.49. Let A be an R-module.
(i) A has ACC , every nonempty family of submodules of A contains a
maximal element , every submodule of A is finitely generated.
(ii) A has DCC , every nonempty family of submodules of A contains a
minimal element.
Proof. We only prove that if every submodule of A is finitely generated, then
A has ACC. The other claims in the proposition are obviously true.
S1 Let A0 ⇢ A1 ⇢ · · · be an ascending S sequence of submodules of A. Then
1
A
i=0 i = (a 1 , . . . , a )
Sk1 for some a 1 , . . . , a k 2 i=0 Ai . Choose n such that a0 , . . . , ak
2 An . Then An = i=0 Ai , hence An = An+1 = · · · . ⇤
Proposition 2.50. A module R A has a composition series if and only if A has
both ACC and DCC.
Proof. ()) Assume that A has a composition series with n+1 terms. Assume
to the contrary that A does not have ACC or DCC. Then there is a squence of
submodules of A:
A = A0 ) A1 ) · · · ) An+1 = {0}.
Any refinement of this sequence has at least n + 1 nonzero factors hence cannot be
equivalent to the composition series of A. This is a contradiction to Theorem 2.47.
(() We construct a composition series A = A0 A1 · · · as follows. Let
A0 = A. If A0 6= 0, since A has ACC, among all proper submodules of A0 , there
is a maximal one, say, A1 . Clearly, A0 /A1 is simple. By induction, there are
submodules A0 A1 A2 · · · such that Ai /Ai+1 is simple for all i and Ai+1 is
defined whenever Ai 6= 0. Since A has DCC, the above descending sequence must
stop at An , i.e., An = 0. Now, A = A0 A1 ··· An = 0 is a composition
series of A. ⇤
Definition 2.51. A ring R is called left (right) noetherian if the module R R
(RR ) has ACC; R is called left (right) artinian if the module R R (RR ) has DCC;
R is called noetherian (artinian) if it is both left and right noetherian (artinian).
70 2. RINGS AND MODULES
The integer s t is called the rank of A; d1 , . . . , dt are called the invariant factors
e
of A; pj ij with eij > 0 are called the elementary divisors of A. The list of invariant
factors determines the list of elementary divisors and vice versa. Two finitely gen-
erated modules over a PID are isomorphic if and only if they have the same rank
and the same invariant factors (elementary divisors).
Proof of Theorem 2.57. Existence of the decomposition of (2.12).
1 Let Ator = {a 2 A : ua = 0 for some 0 6= u 2 R}. Then A/Ator is torsion-
free. By the next lemma, A/Ator ⇠
= Rr for some r 2 N. Thus the exact sequence
0 ! Ator ,! A ! A/Ator ! 0 is split, hence
A⇠= Ator (A/Ator ).
where p runs through all irreducibles of R, n(p, i), 1 i ip , are positive integers,
and ip = 0 for almost all p. Then r = rank(A/Ator ). For every irreducible p 2 R
and every n 1,
dimR/(p) pn 1
A/pn A = r + {1 i ip : n(p, i) n} .
Therefore, dimR/(p) (pn 1 A/pn A) dimR/(p) (pn A/pn+1 A) gives the number of times
pn appears in the list of elementary divisors of A. ⇤
Lemma 2.58. Let R be a PID. If A is a finitely generated torsion-free R-
module, then A is free.
2.9. FINITELY GENERATED MODULES OVER A PID 73
Example. Let
2 3
3 1 1 0 1
6 2 0 0 2 47
6 7
C=6 7
4 3 1 11 0 15
2 0 0 2 4
and A = Z /{xC : x 2 Z }. The Smith normal
5 4
form of C is
2 3
1
6 2 7
6 7
6 7,
4 12 5
0 0
2.9. FINITELY GENERATED MODULES OVER A PID 75
whence A ⇠
= Z2 Z12 Z2 . The elementary divisors of A are 2, 22 , 3 and rank A = 2.
V , and 2 3 2 3
z1 z1
6 .. 7 6 .. 7
6 . 7 6 . 7
6 7 2 366 7
6 n1 1 7 7
6x z1 7 M (d1 ) 6 x n 1 1 z1 7
6 7 6 7 6 7
6 .. 7 6 .. 76 .. 7
T6 . 7=4 . 566 . 7.
6 7 7
6 z 7 M (ds ) 6 zs 7
6
6 s 7 7
6 .. 7 6 .. 7
6 7 6 7
4 . 5 4 . 5
x n s 1 zs x ns 1 zs
The invariant factors d1 , . . . , ds of the F [x]-module V can be computed from
the matrix of T . Assume that T is defined by
2 3 2 3
✏1 ✏1
6.7 6.7
T 4 . 5 = A 4 .. 7
6 . 7 6
5,
✏n ✏n
where ✏1 , . . . , ✏n is a basis of V and A 2 Mn (F ). Define
: F [x]n ! V 2 3
✏1
6.7
(f1 , . . . , fn ) 7 ! (f1 , . . . , fn ) 6 .7
4 . 5.
✏n
76 2. RINGS AND MODULES
V ⇠
= F [x]n / ker = F [x]n /{y(xI A) : y 2 F [x]n }.
By the second proof of Theorem 2.57, the invariant factors d1 , . . . , ds of the F [x]-
module V are precisely the nonunit invariant factors of xI A 2 Mn⇥n (F [x]).
The quotient Z-module F/K is called the tensor product of A and B over R and
is denoted by A ⌦R B; for a 2 A and b 2 B, the element P(a, b) + K 2 A ⌦R B is
denoted by a ⌦ b. Each element of A ⌦R B is a finite sum i ai ⌦ bi , ai 2 A, bi 2 B.
If S, R, T are rings and S AR and R BT are (S, R)- and (R, T )-binomdules, re-
spectively, then A⌦R B is an (S, T )-bimodule with the scalar multiplications defined
by
⇣X ⌘ X
s a i ⌦ bi = sai ⌦ bi , s 2 S,
i i
⇣X ⌘ X
a i ⌦ bi t = ai ⌦ bi t, t 2 T.
i i
In the above, the left multiplication by s is well-defined since it is the map A⌦R B !
A ⌦R B induced by the map A ⇥ B ! A ⌦R B, (a, b) 7! sa ⌦ b. In the same way,
the right multiplication by t is well-defined.
Let S AR , R BT , S CT be bimodules. A mapping f : A ⇥ B ! C is called an
(S, R, T )-map if
(i) for each b 2 B, f (·, b) : S A ! S C is an S-map;
(ii) for each a 2 B, f (a, ·) : BT ! CT is a T -map;
(iii) f (ar, b) = f (a, rb) for all a 2 A, b 2 B, r 2 R.
SA ⌦ R BT
A ⌦R B
L
and ◆0k : Ak ⌦R B ! i2I (Ai ⌦R B). Let
X ⇣M ⌘ M
f= ◆0i (⇡i ⌦ idB ) : Ai ⌦ R B ! (Ai ⌦R B),
i2I i2I i2I
and ⇣M ⌘
X M
g= (◆i ⌦ idB ) ⇡i0 : (Ai ⌦R B) ! Ai ⌦R B.
i2I i2I i2I
Clearly, f and g are both (S, T )-maps. We claim that they are inverses of each
other.
Let a 2 Ak and b 2 B. Then
⇣X ⌘
(f g)(◆0k (a ⌦ b)) = f (◆i ⌦ idB ) ⇡i0 ◆0k (a ⌦ b) = f ((◆k ⌦ idB )(a ⌦ b))
i2I
⇣X ⌘
= f (◆k (a) ⌦ b) = ◆0i (⇡i ⌦ idB ) (◆k (a) ⌦ b)
i2I
X
= ◆0i (⇡i ◆k (a) ⌦ b) = ◆0k (a ⌦ b).
i2I
L
Since i2I (Ai ⌦R B) is generated by ◆k (a ⌦ b), k 2 I, a 2 AkL
0
, b 2 B, we have
f g = id. Similarly, (g f )(◆k (a) ⌦ b) = ◆k (a) ⌦ b. Since ( i2I Ai ) ⌦R B is
generated by ◆k (a) ⌦ b, k 2 I, a 2 Ak , b 2 B, we have g f = id.
2 Proof of (2.17). For each c 2 C, define
fc : A⇥B ! A ⌦R (B ⌦T C)
(a, b) 7 ! a ⌦ (b ⌦ c).
g: (A ⌦R B) ⇥ C ! A ⌦R (B ⌦T C)
⇣X ⌘ ⇣X ⌘ X
a i ⌦ bi , c 7 ! f¯c a i ⌦ bi = ai ⌦ (bi ⌦ c).
i i i
Hom(↵, ).
(i) For ↵ 2 Hom(R,S) (A0 , A) and 2 Hom(R,T ) (B, B 0 ), we have an (S, T )-
map
Hom(↵, ) : Hom(R, · ) (A, B) ! Hom(R, · ) (A0 , B 0 )
f 7 ! f ↵.
(ii) For ↵ 2 Hom(S,R) (A0 , A) and 2 Hom(T,R) (B, B 0 ), we have an (T, S)-
map
Hom(↵, ) : Hom(·,R) (A, B) ! Hom( · ,R) (A0 , B 0 )
f 7 ! f ↵.
f
..........................................
A. B.
.. ...
......... ...
... ...
↵ ...... ...
...
..
.... ..........
... ..
A0 ..........................................
f ↵
B0
Q
2 Proof of (2.22). Each (fj )j2J 2 j2J Hom(R, · ) (A, Bj ) can be treated as a
Q
map (fj )j2J : A ! j2J Bj , a 7! (fj (a))j2J . Clearly,
Y ⇣ Y ⌘
Hom(R, · ) (A, Bj ) ! Hom(R, · ) A, Bj
j2J j2J
(fj )j2J 7 ! (fj )j2J
is an (S, T )-isomorphism. ⇤
Remark. The opposite ring of a ring (R, +, ·) is Rop = (R, +, ⇤), where a ⇤ b =
ba for all a, b 2 R. An (S, R)-bimodule is precisely an (Rop , S op )-bimodule. This
is the reason for the left-right symmetry in the statements concerning tensor and
hom. For example, (2.16) can be derived from (2.15) as follows:
⇣M ⌘ ⇣M ⌘
S A ⌦R (Bj )T ⇠ = T op (Bj ) ⌦Rop AS op (Exercise ??)
j2J j2J
M⇣ ⌘
⇠
= T op (Bj ) ⌦Rop AS op ((2.15))
j2J
M⇣ ⌘
⇠
= SA ⌦R (Bj )T (Exercise ??).
j2J
↵: A⇥D ! (A ⌦R C)/im(idA ⌦ f )
(a, d) 7 ! a ⌦ c + im(idA ⌦ f ), c 2 g 1
(d).
82 2. RINGS AND MODULES
. .
A
...... ...
...... ...
......
.
.......... ...
...
.
...... ...
..
......... ...
....
. .
. . .... .........
......... f
........................................................
B ........................................................ im f
f1
2.10. TENSOR AND HOM 83
(ii) We have Hom(f, idA ) Hom(g, idA ) = Hom(g f, idA ) = Hom(0, idA ) = 0. It
remains to show that ker(Hom(g, idA )) = 0 and ker(Hom(f, idA )) ⇢ im(Hom(g, idA )).
Let ↵ 2 ker(Hom(g, idA )). Then ↵ g = 0. Since g is onto, we have ↵ = 0. Let
2 ker(Hom(f, idA )). Then f = 0, i.e., 0 = (im f ) = (ker g). Thus induces
an R-map ¯ : C/ ker g ! A such that the lower triangle in the following diagram
commutes. Moreover, g induces an R-isomorphism ḡ : C/ ker g ! D such that the
upper triangle in the diagram commutes.
g
C. ............................................................. D
. .
... ..... . .
... ..... ........ ....
... ..... ... ...
... ..... ... ....
..... . ..
... ..... .
.....⇡ . .
...
... .....
..... ḡ ...... ...... ḡ 1
... ..... ... ....
... .....
.. ..... .. ..
..... ... ....
.......... ......... ... ........
.. . .... .. ..
A ..................................................
¯
C/ ker g
ḡ : A⇥B ! C
(a, b) 7 ! g(a)(b),
which is an (S, R, T )-map. Hence ḡ induces an (S, T )-map g̃ : A ⌦R B ! C such
that g̃(a ⌦ b) = g(a)(b). Define
: Hom(S,R) (A, Hom( · ,T ) (B, C)) ! Hom(S,T ) (A ⌦R B), C)
g 7 ! g̃.
Then and are both Z-modules and = id and = id. ⇤
1
S A
Fact 2.65. In the above notation, S 1
A⇠
=S 1
R ⌦R A as S 1
R -modules.
Proof. The R-map f : A ! S 1 R ⌦R A, a 7! (1/1) ⌦ a induces an S 1 R -
map f¯ : S 1 A ! S 1 R ⌦R A such that f¯(a/1) = (1/1) ⌦ a. On the other hand,
the (S 1 R, R, Z)-map S 1 R ⇥ A ! S 1 A, (r/s, a) 7! ra/s, induces an S 1 R -map
g : S 1 R ⌦R A ! S 1 A such that g((r/s)⌦a) = ra/s. Clearly, f¯ and g are inverses
of each other. ⇤
P P
all x P
2 X and ax 6= 0 for only finitely many x. For A = x2X ax x, A0 = x2X a0x x,
B = y2X by y 2 ZhXi, define
X
A + A0 = (ax + a0x )x,
x2X
X⇣ X ⌘
AB = ax by z,
z2X xy=z
1 We claim that (A, +) is free abelian. Let F be the free ring with generators
xi , yi , 0 i r. Consider the following subsets of F :
(2.26)
A = {xi1 · · · xim yjn · · · yj1 , n, m 0, 0 ik , jl r, (im , jn ) 6= (r, r)},
n ⇣Xr ⌘ o
B = x i1 · · · x im xi yi 1 yjn · · · yj1 : m, n 0, 0 ik , jl r ,
i=0
C = the set of products of elements of {x0 , . . . , xr , y0 , . . . , yr } containing
86 2. RINGS AND MODULES
3 Recall that A (defined in (2.26)) is a Z-basis of A. For xi1 · · · xim yjn · · · yj1 2
A, define
(
1 if m = n and ik = jk , 1 k m,
T (xi1 · · · xim yjn · · · yj1 ) =
0 otherwise,
and
(2.29) (
T (xi1 · · · xim yjn · · · yj2 ) if i0 = j1 ,
T (ax) = T (xi1 · · · xim yjn · · · yj1 xi0 ) =
0 otherwise.
Comparing (2.28) and (2.29) gives T (xa) = T (ax). It follows that T (xy) = T (yx)
for all x, y 2 A.
4 Assume that Gm ⇠= Gn for some 1 m, n r. Then
⇣m
X1 ⌘ m
X1 n
X1 ⇣nX1 ⌘
!i G = !i G ⇠
= Gm ⇠
= Gn ⇠
= !i G = !i G.
i=0 i=0 i=0 i=0
Pm 1 Pn 1
By Lemma 2.68, there exist x, y 2 A such that i=0 !i = xy and i=0 !i = yx.
Therefore
⇣mX1 ⌘ ⇣nX1 ⌘
m=T !i = T (xy) = T (yx) = T !i = n.
i=0 i=0
⇤
CHAPTER 3
Fields
PN
Proof. For each N 1, let rN = n=1 1/10n! = aN /10N ! 2 Q. Then for
each D > 0,
X1
1 2 1
|rN ↵| = n!
(N +1)! <
10 10 (10 ! )D
N
n=N +1
when N is large enough. By Loiuville’s inequality, ↵ is transcendental. ⇤
Remark. Let unP2 {0, . . . , 9}, n 1, be a sequence with infinitely many
1
nonzero terms. Then n=1 un /10n! is transcendental; this is clear from the proof
of the above theorem. Thus we have exhibited @ transcendental numbers.
hH [ Ji0 = H 0 \ J 0 . ⇤
( )0
K ............................................................................... {id}
.... ....
... ... ( )0
..
...
..
... K ................................................................................ {id}
... ...
.. .. .. ..
... ...
.. ..
() ............................................................................... () ...
....
always Galois ...
....
.. ..
... ... . .
... ...
.. ..
...
...
dgree = index ...
...
() ............................................................................... ()
... ...
.... ....
... ...
() ................................................................................ () ..
... Galois , 4 ..
...
... ...
.. .. .. ..
... ...
.. ..
...
....
...
.... F ............................................................................... Aut(K/F )
.. ..
. .
F ............................................................................... Aut(K/F )
Proof. The proof relies on two key lemmas (Lemmas 3.14 and 3.15) which
will be proved afterwards.
Since K/F is Galois, F 00 = F . For each L 2 F(K/F ), we have L ⇢ L00 and, by
Lemmas 3.14 and 3.15, [L00 : F ] = [L00 : F 00 ] [F 0 : L0 ] [L : F ], whence L00 = L.
For each H 2 G(K/F ), we have |H| |Aut(K/F )| < 1 since [K : F ] < 1. By
Proposition 3.10 (iv), H 00 = H. (Note: In the proof of H 00 = H, we only used the
fact that [K : F ] < 1.)
(i) Since [L0 : M 0 ] [M : L] = [M 00 : L00 ] [L0 : M 0 ], we have [M : L] = [L0 :
0
M ].
(ii) Obviously, (L \ M )0 L0 [ M 0 , so (L \ M )0 hL0 [ M 0 i. Also, hL0 [ M 0 i0 ⇢
L \ M 00 = L \ M , so hL0 [ M 0 i (L \ M )0 . Hence (L \ M )0 = hL0 [ M 0 i.
00
(iii) K/L is Galois since L00 = L. Now we prove that L/F is Galois if and only
if L0 C F 0 .
()) Let 2 L0 and ⌧ 2 F 0 . We want to show that ⌧ 1 ⌧ 2 L0 . It suffices to
show that ⌧ (L) ⇢ L. Let u 2 L and let f 2 F [x] be the minimal polynomial of u
over F . Let u1 (= u), u2 , . . . , ur be all the distinct roots of f in L. Then every ↵ 2
Aut(L/F ) permutes u1 , . . . , ur , hence ↵((x u1 ) · · · (x ur )) = (x u1 ) · · · (x ur ).
Since L/F is Galois, (x u1 ) · · · (x ur ) 2 F [x]. Then ⌧ permutes the roots of
(x u1 ) · · · (x ur ). Therefore, ⌧ (u) = ⌧ (u1 ) = ui 2 L for some i.
(() For each ⌧ 2 F 0 = Aut(K/F ), we have ⌧ (L) ⇢ L. (For each 2 L0 ,
⌧ ⌧ 2 L , i.e., ⌧ (v) = ⌧ (v) for all v 2 L. Hence ⌧ (v) 2 L for all v 2 L.) We
1 0
also have ⌧ 1 (L) ⇢ L, whence ⌧ (L) = L. Thus ⌧ |L 2 Aut(L/F ). Now assume that
u 2 L \ F . Since K/F is Galois, there exists ⌧ 2 Aut(K/F ) such that ⌧ (u) 6= u.
Then ⌧ |L 2 Aut(L/F ) and ⌧ |L (u) 6= u. Hence L/F is Galois.
The map : F 0 ! Aut(L/F ), ⌧ 7! ⌧ |L , is a homomorphism with ker = L0 ;
it induces an embedding ¯ : F 0 /L0 ,! Aut(L/F ). Since |F 0 /L0 | = [L : F ] =
|Aut(L/F )| < 1, ¯ is an isomorphism. ⇤
Proposition 3.13 (Linear independence of characters). Let G be a group and
E be a field. Let 1 , . . . , n be distinct homomorphisms from G to E ⇥ . Then
1 , . . . , n are linearly independent over E as functions from G to E. (A homo-
morphism : G ! E ⇥ is called an E-character of G.)
96 3. FIELDS
Let 0 6= c 2 K n+1 have the fewest nonzero components such that Ac = 0. We may
assume that 2 3
1
6 7
6c 2 7
6.7
6.7
6.7
6 7
c=6 7
6 cr 7 , ci 6= 0.
6 7
607
6.7
6.7
4.5
0
The first equation in Ac = 0 is ✏1 + ✏2 c2 + · · · + ✏r cr = 0. Hence not all c2 , . . . , cr
are in J 0 . (Otherwise, ✏1 , . . . , ✏r would be linearly dependent over J 0 .) Assume that
/ J 0 . Choose 2 J such that (c2 ) 6= c2 . Applying to Ac = 0 gives (A) (c) =
c2 2
0. Since 1 H, . . . , n H is a permutation of 1 H, . . . , n H, 1, . . . , n is a
permutation of 1 h1 , . . . , n hn for some h1 , . . . , hn 2 H. Hence 1 |H 0 , . . . , n |H 0
is a permutation of 1 |H 0 , . . . , n |H 0 . Thus (A) = [ i (✏j )] is a row permutation
of A. Therefore, (A) (c) = 0 implies that A (c) = 0. Now, A(c (c)) = 0,
where 2 3
0
6 7
6c2 (c2 )7
6 .. 7
6 7
6 . 7
6 7
c (c) = 6 c
6 r (c ) 7
r 7 6= 0
6 7
6 0 7
6 .. 7
6 7
4 . 5
0
has fewer nonzero components than c, which is a contradiction. ⇤
Corollary 3.16. Let K/F be a finite extension. Then |Aut(K/F )| [K : F ].
The equality holds if and only if K/F is Galois.
Proof. By Lemma 3.14, |Aut(K/F )| = [F 0 : K 0 ] [K : F ]. By Proposi-
tion 3.10 (iii) and Lemmas 3.14 and 3.15, [K 00 : F 00 ] [F 0 : K 0 ] = [F 000 : K 000 ]
[K 00 : F 00 ]. Hence [F 0 : K 0 ] = [K 00 : F 00 ] = [K : F 00 ]. Thus [F 0 : K 0 ] = [K : F ] ,
[K : F 00 ] = [K : F ] , F 00 = F . ⇤
Theorem 3.17 (Artin). Let K be a field and H < Aut(K). Then K/H 0 is
Galois. If |H| < 1, then Aut(K/H 0 ) = H.
98 3. FIELDS
Proof. Let F be the prime field of K and consider the extension K/F . Since
H 000 = H 0 , K/H 0 is Galois. If |H| < 1, by Proposition 3.10 (iv), Aut(K/H 0 ) =
H 00 = H. ⇤
L
..
...
..
....
..
K
.....
...
..
...
.
F
Proof. Let B be a basis of K over F . For each b 2 B, let fb be the minimal
polynomial of b over F . Let L be a splitting field of {fb : b 2 B} over K. Then (i)
– (iv) are satisfied.
Assume that L1 is another extension of K satisfying (i) and (ii). Then L1 is
also a splitting field of {fb : b 2 B} over K. By Theorem 3.20, L and L1 are
K-isomorphic. ⇤
We claim that D(f ) 2 F . To see this, let D = D(f ) and assume that u1 , . . . , un
are all distinct. (Otherwise, D = 0.) Thus K/F is Galois. For each 2 Aut(K/F ),
( ) = (sign ) , so (D) = D. Thus D 2 F . The element D(f ) is called the
discriminant of f .
3.4. THE GALOIS GROUP OF A POLYNOMIAL 103
.........
... K ............................................................................... {id}
....
.. ... ...
... ... ...
... .. ..
... .... ....
... .. ..
... ... ...
...
...
Galois F ( ) ................................................................................ F ( )0 = Aut(K/F ) \ An
...
...
...
... . .
... .... ....
... ... ...
... .. ..
... ... ...
... ... ...
... . .
...
....
.......
F ............................................................................... Aut(K/F )
Corollary 3.32. Let f, g 2 F [x] \ F . Suppose that f and g split (in a splitting
field of f g) as
f = a0 (x u1 ) · · · (x un ), a0 2 F ⇥ ,
g = b0 (x v1 ) · · · (x vm ), b0 2 F ⇥ .
Then
n Y
Y m
(3.7) R(f, g) = am n
0 b0 (ui vj ).
i=1 j=1
m
Y
(3.10) R(c, b) = ( 1)mk bk0 h(vj ).
j=1
⇤
Examples. For the quadratic f = x2 + bx + c, D(f ) = b2 4c. For the cubic
f = x3 + bx2 + cx + d, D(f ) = b2 c2 4c3 4b3 d 27d2 + 18bcd. If char F 6= 3, we
may write f = y 3 + qy + r, where y = x + b/3, and we have D(f ) = 4q 3 27r2 .
Galois groups of separable irreducible polynomials of degree 4. If
f 2 F [x] is a separable irreducible quadratic, clearly, Aut(f /F ) ⇠
= Z2 .
106 3. FIELDS
K ................................................................................ {id}
... ...
... ...
.. ..
... ...
... ...
... ...
F (↵, ) ................................................................................ G \ A3
.. ..
... ...
.. ..
... ...
... ...
... ...
. .
...............................................................................
F G
K {id}
..... .....
... ...
.. ..
... ...
. .
...................................................
E G\V
... ...
... ...
.. ..
... ...
.. ..
F G
Theorem 3.41. Given a prime p and an integer n > 0, all finite fields of order
pn are isomorphic.
Proof. Let F be a finite field with |F | = pn . Then Zp ⇢ F . Since F \ {0}
n
is a multiplicative group of order pn 1, we have ap 1 = 1 for all a 2 F \ {0}.
n n
Thus ap = a for all a 2 F , i.e., all elements of F are roots of f = xp x 2 Zp [x].
Therefore, F is a splitting field of f over Zp . Since all splitting fields of f over Zp
are isomorphic, the conclusion of the theorem follows. ⇤
⇠
=
S{v1 ,...,vn } ............................................... S{u1 ,...,un }
. .
......... .........
.... ....
... ...
... ...
... ...
... ...
. .
.... ...... .... ......
.. ..
..
.....
Aut(E/Fp ) = Aut(f¯/Fp ) ............................................. Aut(f /Q) = Aut(K/Q)
Equivalently, when S{u1 ,...,un } is identified with S{ū1 ,...,ūn } through the correspon-
dence ui $ ūi , then Aut(f¯/Fp ) = D(P|p) < Aut(f /Q).
Qn
Proof.Q1 Write f = i=1 (x ui ), ui 2 C, and let K = Q(u1 , . . . , un ).
n
Then f¯ = i=1 (x ūi ). Since ū1 , . . . , ūn are distinct, so are u1 , . . . , un . Let
G = Aut(K/Q), D = D(P|p), and Ḡ = Aut((oK /P)/Fp ). For 2 D, permutes
u1 , . . . , un the same way ( ) permutes ū1 , . . . , ūn . Hence : D ! Ḡ is one-to-one.
2 Let D0 = {z 2 K : (z) = z for all 2 D}. We claim that for each
a 2 oD0 (= oK \ D0 ), there exists l 2 Z such that a ⌘ l (mod P). Let p = P \ D0
and let 1 (= id), 2 , . . . , m be the representatives of the left cosets of D in G.
Since D acts transitively on the prime ideals of oK lying above p, the only prime
ideal of oK lying above p is P. For 2 i m, i 1 (P) 6= P and hence i 1 (P) 6 p.
Let pi = i 1 (P) \ oD0 , 2 i m. Then pi 6= p. Thus there exists b 2 oD0
such that b ⌘ a (mod p) and b ⌘ 1 (mod pi ), 2 i m, i.e., i (b) ⌘ 1 (mod P),
2 i m. Then
m
Y
a ⌘ i (b) (mod P)
i=1
= ND0 /Q (b) 2 Z,
where ND0 /Q is the norm from D0 to Q.
3 We claim that : D ! Ḡ is onto. It suffices to show that |Ḡ| |D|, i.e.,
[oK /P : Fp ] [K : D0 ]. Let ✏1 , . . . , ✏t 2 oK be such that ✏¯1 , . . . , ✏¯t form a basis
of oK /P over Fp . We claim that ✏1 , . . . , ✏t are linearly independent over D0 . If,
to the contrary, a1 ✏1 + · · · + at ✏t = 0 for some a1 , . . . , at 2 D0 which are not all
zero, replacing a1 , . . . , at by ra1 , . . . , rat for a suitable 0 6= r 2 D0 , we may assume
that ai 2 oD0 for all i and ai 6⌘ 0 (mod p) for at least one i. By 2 , there exists
li 2 Z such that ai ⌘ li (mod P). Then li 6⌘ 0 (mod p) for at least one i and
l1 ✏¯1 + · · · + lt ✏¯t = 0, which is a contradiction.
4 Let E = Fp (ū1 , . . . , ūn ). Then the map
D ! Aut(E/Fp )
7 ! ( )|E
is one-to-one since permutes u1 , . . . , un the same way ( ) permutes ū1 , . . . , ūn .
Hence [E : Fp ] = |Aut(E/Fp )| |D| = [oK /P : Fp ]. Thus E = oK /P. ⇤
3.6. Separability
Definition 3.51. An algebraic element u over a field F is called purely insep-
arable over F if the minimal polynomial of u over F is (x u)n for some n > 0. An
extension K/F is called a purely inseparable if every u 2 K is purely inseparable
over F .
Example. Let char F = p and consider the fields F (x) F (xp ). The minimal
polynomial of x over F (xp ) is f (y) = y p xp 2 F (xp )[y]. Since f (y) = (y x)p , x
is purely inseparable over F (xp ).
Fact. If u is both separable and purely inseparable over F , then u 2 F .
Proposition 3.52. Let K/F be an extension with char F = p > 0 and let
n
u 2 K be algebraic over F . Then up is separable over F for some n 0.
114 3. FIELDS
over F . ⇤
Corollary 3.54. Let K/F be a finite purely inseparable extension, where char F =
p > 0. Then [K : F ] is a power of p.
Proof. Use induction on [K : F ]. Assume that [K : F ] > 1. Choose u 2 K \F .
By Proposition 3.53 (iii), [F (u) : F ] = pn for some n > 0. Since K/F (u) is purely
inseparable and [K : F (u)] < [K : F ], by the induction hypothesis, [K : F (u)] is a
power of p. So [K : F ] is a power of p. ⇤
Fact. Let F ⇢ E ⇢ K be fields such that both E/F and K/E are purely
inseparable. Then K/E is purely inseparable.
Proposition 3.55. Let K/F be an algebraic extension where char F = p > 0.
Then the following statements are equivalent.
(i) K is purely inseparable over F .
(ii) If u 2 K is separable over F , then u 2 F .
(iii) K is generated over F by a set of purely inseparable elements over F .
Proof. (i) ) (ii). Since u is separable and purely inseparable over F , we have
u 2 F.
n
(ii) ) (i). Let u 2 K. By Proposition 3.52, up is separable over F for some
n
n 0. By (ii), up 2 F . By Proposition 3.53, u is purely inseparable over F .
(i) ) (iii). Obvious.
(iii) ) (i). Assume that K = F (X), where X ⇢ K is a set of purely insep-
arable elements over F . Let P = {u 2 K : u is purely inseparable over F }. By
Proposition 3.53,
n
(3.18) P = {u 2 K : up 2 F for some n 0}.
3.6. SEPARABILITY 115
K
. .....
.... .....
in............. ..... ?
.....
... .....
.... .....
..... .
S P
..... ...
..... .....
..... .....
.. .....
sep ............ ..
...... in
.
.. ....
F
Proof. Assume char F = p > 0 since if char F = 0, all the conclusions are
obvious.
(i) By Propositions 3.56 and 3.55, F (S) ⇢ S and F (P ) ⇢ P , hence S and P
are subfields of K.
n
(ii) For each u 2 K, by Proposition 3.52, there exists n 0 such that up is
n
separable over F , i.e., up 2 S. By Proposition 3.53, u is purely inseparable over
S.
(iii) Obvious.
(iv) ()) Since K is both separable and purely inseparable over SP , we have
K = SP .
(() Every u 2 S is separable over F and hence separable over P . Thus
K = P (S) is separable over P .
(v) 1 Aut(K/F ) = Aut(K/P ). Let 2 Aut(K/F ) and u 2 P . Let f =
(x u)m be the minimal polynomial of u over F . Since (u) is a root of f , we have
(u) = u. Thus 2 Aut(K/P ). (Note: Here we do not need K/F to be normal.)
2 K/P is Galois. Let u 2 K \ P and let f be the minimal polynomial of
u over F . Since u is not purely inseparable over F , f has a root v 2 K such
that v 6= u. There is an F -isomorphism ⌧ : F (u) ! F (v) such that ⌧ (u) = v.
116 3. FIELDS
✓: Aut(K/F ) ! Aut(S/F )
7 ! |S
is onto. (Since K/F is normal, every ⌧ 2 Aut(S/F ) extends to some 2 Aut(K/F ).)
To prove that ✓ is one-to-one, let 2 ker ✓. Then |S = id. By 1 , |P = id. Thus
|SP = id. However, by 2 , K/P is separable. By (iv), SP = K. Hence = id.
4 S/F is Galois. For each u 2 S \ F , we have u 2 K \ P (since S \ P = F ).
By 2 , there exists 2 Aut(K/P ) such that (u) 6= u. We have |S 2 Aut(S/F )
and |S (u) 6= u. ⇤
Corollary 3.58. Let F ⇢ E ⇢ K be fields such that both E/F and K/E are
separable. Then K/F is separable.
Proof. Let S = {u 2 K : u is separable over F }. Since K is separable over
E, K is separable over S. By Theorem 3.57 (ii), K is purely inseparable over S.
So K = S. ⇤
K .. ..
.... . ........
..... .. .....
..... .. .....
..
...... ....
. .....
...
. .
. .....
..
. . .....
.
.....
. .
.. .....
...
.... ..
. .....
.....
.. ..
..... . ...
...
S ..... .
.
..
.
.. P
.....
..... ...
. ...
.
.
.....
... .....
..
.......
E .....
...
.....
.....
..... .....
..... ....
... .....
F
Corollary 3.59. Let K/F be an algebraic extension with char F = p > 0.
(i) If K/F is separable, then K = F K p , where K p = {ap : a 2 K}.
(ii) If K = F K p and [K : F ] < 1, then K/F is separable.
(iii) u 2 K is separable over F if and only if F (up ) = F (u).
Proof. (i) Since K is separable over F , K is separable over F K p . Since K is
purely inseparable over K p , K is purely inseparable over F K p . Thus K = F K p .
K
...
...
..
...
.
F K .p..
..
..... .....
..... .....
..... .....
..... ....
F Kp
n
(ii) We have K = F K p for all n 1; see the remark below. Since [K : F ] < 1,
we can write K = F (u1 , . . . , um ) for some u1 , . . . , um 2 K. There exists n > 0 such
n n n n n
that upi is separable over F for all 1 i m. Then K p = F p (up1 , . . . , upn ) is
n
separable over F . Thus K = F K p is separable over F .
3.6. SEPARABILITY 117
(iii) In fact,
u is separable over F , F (u)/F is separable
, F (u) = F (F (u)p ) = F (up ) (by (i) and (ii)).
⇤
K
....
...
.. [K:F ]i
....
S
..
...
.. [K:F ]s
...
..
Let F ⇢ L ⇢ K be fields such that K/F is normal. Let Emb(L/F ) be the set
of all F -embeddings L ! K, i.e., embeddings L ! K which are identity on F . The
set Emb(L/F ) does not depend on K as long as we consider the fields in a fixed
algebraic closure of F .
K
...
....
M
..
...
.
L
....
...
Now ¯1 |⌧1 (M ) ⌧1 = ¯1 |⌧2 (M ) ⌧2 implies that ¯1 (⌧1 (a)) = ¯1 (⌧2 (a)) for all a 2 M .
So, ⌧1 (a) = ⌧2 (a) for all a 2 M , i.e., ⌧1 = ⌧2 .
K
....
...
L
....
..
.
S
..
...
.
F
Proof. Let S ⇢ L be the largest separable extension over F . Since L/S is
purely inseparable, it is easy to see that Emb(L/S) = {id}. (Let 2 Emb(L/S) and
let u 2 L. Since u is purely inseparable over S, the minimal polynomial of u over
S is f (x) = (x u)m for some m > 0. Since (u) is a root of f , we have (u) = u.)
By Lemma 3.62, |Emb(L/F )| = |Emb(L/S)||Emb(S/F )| = |Emb(S/F )|. Thus it
suffices to show that [S : F ] = |Emb(S/F )|.
By Corollary 3.61, S = F (u) for some u 2 S. Let f be the minimal poly-
nomial of u over F . Then f has n = deg f distinct roots u1 , . . . , un 2 K. Thus
Emb(F (u)/F ) = { 1 , . . . , n }, where i : F (u) ! F (ui ) is the F -isomorphism such
that i (u) = ui . Hence |Emb(F (u)/F )| = n = [F (u) : F ]. ⇤
Proposition 3.63 is false when [L : F ]s = 1.
Proposition 3.64. Let F ⇢ L ⇢ K be fields such that K/F is normal and
[L : F ]s = 1. Then |Emb(L/F )| = 2[L:F ]s .
Proof. For each Y ⇢ L, let C(Y ) ⇢ K be the set of all conjugates of the
elements in Y over F . (Two algebraic elements over F are called conjugates if they
have the same minimal polynomial over F .)
1 Let S be the largest separable extension of F in L and let X be a basis of
S over F . Define Q
✓ : Emb(S/F ) ! ✏2X C(✏)
7 ! (✏) ✏2X .
Clearly, ✓ is one-to-one, so
Y |X|
|Emb(L/F )| = |Emb(S/F )| C(✏) @0 (2@0 )|X| = 2@0 |X| = 2|X| = 2[L:F ]s .
✏2X
(3.19) [K : F ]s = [K : L]s [L : F ]s ,
(3.20) [K : F ]i = [K : L]i [L : F ]i .
Proof. 1 We first prove (3.19). Let SK/F be the largest separable extension
of F in K.
K
in......... ...
.... ...
..... ..
...
...
SK/L ...
...
in.......... ..... ...
..... ...
.... .
..... sep ....... ....
(3.21) SK/F L
.....
..... in.......... ....
. ... ...
sep ....... ..... ..
...
...
SL/F ...
...
..... ...
..... ....
.
sep ....... ..
(3.22) SK/F L
..... .
..... .....
... ....
sep ........ .....
..... in
SL/F
Let X ⇢ SK/F be linearly independent over SL/F with |X| < 1. We claim
that X is also linearly independent over L. (This means that SK/F and L are
linearly disjoint over SL/F . Also, this implies that [SK/L : L] = [SK/F : SL/F ]; see
Exercise 3.3 (i).) We have the following diagram.
3.6. SEPARABILITY 121
L(X)
in.......... ..... sep
.....
. .....
..... .....
..... .
SL/F (X) L
.....
..... .....
... .....
sep ........ .....
..... in
SL/F
Extend X to a basis Y of SL/F (X)/SL/F . Since [SL/F (X) : SL/F ] and [L(X) : L]
are finite, by Proposition 3.63 and Lemma 3.62,
(3.23) [L(Y ) : L] = [L(X) : L] = |Emb(L(X)/L)| = |Emb(L(X)/SL/F )|
= |Emb(SL/F (X)/SL/F )| = [SL/F (X) : SL/F ] = |Y |.
Since a product of elements in Y is a linear combination of elements in Y with
coefficients in SL/F , the L-module hY i generated by Y is a ring. By Exercise 3.1
(i), hY i = L(Y ). Then by (3.23), Y is linearly independent over L. So X is linearly
independent over L.
2 We now prove (3.20). It suffices to show that in diagram (3.21), [SK/L :
SK/F ] = [L : SL/F ]. Since we have proved that in diagram (3.22), SK/F and L are
linearly disjoint over SL/F , it follows that L and SK/F are linearly disjoint over
SL/F (Theorem 3.67). So, [SK/L : SK/F ] = [SK/F L : SK/F ] = [L : SL/F ]. ⇤
Corollary 3.66. Let f 2 F [x] be monic and irreducible and let K be a splitting
field of f over F . Let u1 2 K be any root of f . Then
(i) f = [(x u1 ) · · · (x un )][F (u1 ):F ]i , where u1 , . . . , un 2 K are the distinct
roots of f and n = [F (u1 ) : F ]s ;
[F (u ):F ]
(ii) u1 1 i is separable over F .
Proof. We may assume that char F = p > 0.
(i) Let u1 , . . . , un 2 K be all the distinct roots of f . Then
[F (u1 ) : F ]s = |Emb(F (u1 )/F )| = n.
Write f = (x u1 )r1 · · · (x un )rn . For each 1 i n, there exists an F -
isomorphism i : F (u1 ) ! F (ui ) such that i (u1 ) = ui . Extend i to ¯i 2
Aut(K/F ). Then
(x u1 )r1 · · · (x un )rn = f = ¯i f = (x ¯i (u1 ))r1 · · · (x ¯i (un ))rn .
It follow that ri = r1 . So f = [(x u1 ) · · · (x un )]r1 . Thus nr1 = deg f = [F (u1 ) :
F ] = [F (u1 ) : F ]s [F (u1 ) : F ]i , whence r1 = [F (u1 ) : F ]i .
(ii) In the notation of (i), we have f = (xr1 ur11 ) · · · (xr1 urn1 ) since r1 is a
power of p. Let g = (x ur11 ) · · · (x urn1 ). Then g 2 F [x] and its roots are all
distinct. Since ur11 is a root of g, ur11 is separable over F . ⇤
L .. ..
M
..... ....
..... .....
..... .....
..... ....
.... .....
F
Theorem 3.67. Let F ⇢ K be fields and let L and M be intermediate fields.
Recall that L[M ] denotes the ring generated by M over L.
(i) M and L are linearly disjoint over F if and only if the L-map ↵ : L ⌦F
M ! L[M ], a ⌦ b 7! ab (a 2 L, b 2 M ), is an isomorphism.
(ii) If M and L are linearly disjoint over F , then so are L and M .
P
Proof. (i) Let X be a basis of M over F . Then L[M ] = x2X Lx and
⇣M ⌘ M M
L ⌦F M = L ⌦F Fx ⇠ = (L ⌦F F x) ⇠= Lx.
x2X x2X x2X
L
Moreover, when L ⌦F M is identified with x2X Lx through the above isomor-
phism, we have
M X
↵: Lx ! Lx
x2X x2X
✏x 7 ! x, x 2 X,
where ✏x = (ay y)y2X , ay = 1 if y = x and ay = 0 if y 6= x. Thus ↵ is an L-
isomorphism if and only if X is linearly independent over L. Since ↵ does not
depend on X, we have
↵ is an L-isomorphism
, X is linearly independent over L for all bases X of M over F
, M and L are linearly disjoint over F .
(ii) Consider the M -map : M ⌦F L ! M [L], b ⌦ a 7! ba (b 2 M, a 2 L),
and the F -isomorphism : L ⌦F M ! M ⌦F L, a ⌦ b 7! b ⌦ a (a 2 L, b 2 M ).
Since the following diagram commutes, ↵ is an isomorphism if and only if is an
isomorphism.
L ⌦F M .............↵..................... L[M ]
... ... ...
... ... ...
... ... ...
... ⇠ ... ...
.= ..... .....
..........
.. .. ..
M ⌦F L ................................... M [L]
⇤
Q(⇣) F
... ..... ....
... ...... .....
... ..... .....
... ...... .....
... .....
..... ..
......
... ...
... .... .....
...
...
(n) ......
...
.. Q(⇣) \ F
...
... ....
... ...
... ..
...
... ...
..
Q
Proof. It suffices to show that [F (⇣) : F ] [Q(⇣) : Q(⇣) \ F ]. Let f 2 F [x] be
Qn 1
the minimal polynomial of ⇣ over F . Since f is a factor of xn 1 = i=0 (x ⇣ i ),
we have f 2 Q(⇣)[x], so f 2 Q(⇣) \ F [x]. Thus [Q(⇣) : Q(⇣) \ F ] deg f =
[F (⇣) : F ]. ⇤
p p
Example. Let ⇣8 = e2⇡i/8 = (1+i)/ 2 and F = Q( 2). Then Q(⇣8 )\F = F .
So [F (⇣8 ) : F ] = (8)/[F : Q] = 2.
Cyclotomic extensions in characteristic p.
Fact. Assume that p - n and let ⇣n be a primitive nth root of unity in some
extension of Fp . Let on (p) be the order of p in Z⇥
n . Then Fp (⇣n ) = Fpon (p) . More
generally, Fpm (⇣n ) = Fplcm(m,on (p)) .
Proof. ⇣n 2 Fpk , n | pk 1 , on (p) | k. ⇤
Corollary 3.71. Let char F = p > 0. Let ⇣ be a primitive nth root of unity
in some extension of F , where p - n. Assume that Fpon (p) \ F = Fpm . Then
[F (⇣) : F ] = on (p)/m.
3.7. CYCLOTOMIC EXTENSIONS 125
F (⇣)
.... .....
..... .....
..... .....
..... .....
..
...... .....
.....
.... .....
.... .
Fp (⇣) \ F = Fpm
⇥ ⇤[K:F (u)]
(3.25) NK/F (u) = ( 1)n a0 .
Proof. Let r = [F (u) : F ]s and let Emb(F (u)/F ) = { 1 , . . . , r }. By Corol-
lary 3.66 (i),
⇥ ⇤[F (u):F ]i
f = (x 1 (u)) · · · (x r (u)) .
So,
r
X h Yr i[F (u):F ]i
an 1 = [F (u) : F ]i j (u), a0 = ( 1)r j (u) .
j=1 j=1
K
....
...
.
F (u)
..
...
..
F
Then
X X
TrK/F (u) = [K : F ]i ↵(u) = [K : F ]i ¯j (⌧k (u))
↵2Emb(K/F ) 1jr
1kt
X X
= [K : F ]i · t j (u) = t [K : F (u)]i [F (u) : F ]i j (u)
1jr 1jr
= [K : F (u)]an 1.
L
..
...
...
K
.....
...
.
F
Therefore
X X
TrK/F TrL/K (u) = [K : F ]i j (TrL/K (u)) = [K : F ]i ¯j (TrL/K (u))
1jr 1jr
X ⇣ X ⌘
= [K : F ]i ¯j [L : K]i ⌧k (u)
1jr 1kt
X
= [L : F ]i ¯j (⌧k (u)) = TrL/F (u).
1jr
1kt
Theorem 3.80 (Galois). Let K/F be a finite extension and K 0 be the normal
closure of K over F . Then K/F is solvable by radicals if and only if Aut(K 0 /F )
is solvable.
may assume that L/F is radical and normal. We may assume that K 0 ⇢ L.
.........
...
L
.. ..
... ...
... ...
...
...
normal ...
...
...
K0
... ...
...
...
...
. normal
...
.........
F
L(⇣)
.. .....
..... .....
..... .....
..... .....
..
......
. .....
.....
.... .
L F (⇣)
..... .....
..... .....
..... .....
..... ....
..... ..
..
..... ..
. .....
S(⇣) .................................................. 1
... ...
... ...
.. ..
.... ....
S(⇣) . .
...
.....
.....
..... Hi0 1
.................................................. Hi 1
..... .....
..
......
. .....
.....
.
....
.
....
.... ..... .. ..
.... .
F F (⇣) .................................................. Hn
F (Ts ). So s is algebraic
S over F (Ts ). S
We claim that s2S Ts is a transcendence basis of K/F . First, s2S Ts is alge-
braically independent over F since it is contained S in T . SinceSK/F (S) is algebraic
and everyS element of S is algebraic over F ( ( s2S Ts ) is algebraic.
s2S s ), K/F S
T
Hence s2S Ts is a transcendence basis of K/F . Thus T = s2S Ts . Now we have
X
|T | |Ts | |S|@0 = |S|.
s2S
By symmetry, |S| |T |. ⇤
Transcendence degree. The transcendence degree of K/F , denoted by tr.d. K/F ,
is the cardinality of any transcendence basis of K/F .
Theorem 3.86. Let F ⇢ K ⇢ L be fields. Then
tr.d. L/F = tr.d. L/K + tr.d. K/F.
Proof. Let S be a transcendence basis of K/F and T be a transcendence basis
of L/K. Then clearly S \ T = ;. We claim that S [ T is a transcendence basis
of L/F . Since L is algebraic over K(T ) and K(T ) is algebraic over F (S [ T ), L is
algebraic over F (S [ T ). It remains to show that S [ T is algebraically independent
over F . Assume to the contrary that there are s1 , . . . , sm 2 S (distinct) and
t1 , . . . , tn 2 T (distinct) such that s1 , . . . , sm , t1 , . . . , tn are algebraically dependent
over F . Then there exists
X
0 6= f (x1 , . . . , xm , y1 , . . . , yn ) = fi1 ,...,in (x1 , . . . , xm )y1i1 · · · ynin
i1 ,...,in
2 F [x1 , . . . , xm , y1 , . . . , yn ],
where fi1 ,...,in (x1 , . . . , xm ) 2 F [x1 , . . . , xm ], such that f (s1 , . . . , sm , t1 , . . . , tn ) = 0.
Since t1 , . . . , tn are algebraically independent over K, we have fi1 ,...,in (s1 , . . . , sm ) =
0 for all i1 , . . . , in . Since s1 , . . . , sm are algebraically independent over F , we have
fi1 ,...,in (x1 , . . . , xm ) = 0. Then f = 0, which is a contradiction. ⇤
Example 3.87. tr.d. C/Q = @ and |Aut(C/Q)| = |SC | = 2@ , where SC is the
symmetric group on C.
Proof. Let T be a transcendence basis of C/Q. Clearly, |T | = 1. Since
C/Q(T ) is algebraic, |C| |Q(T )|@0 = |Q(T )|. Let P0 (T ) be the set of all finite
subsets of T . Then
[ X
|Q(T )| = Q(T 0 ) |Q(T 0 )| |P0 (T )|@0 = |T |@0 = |T |.
T 0 2P0 (T ) T 0 2P0 (T )
Then we have
⇣X ⌘⇣X
m ⌘ m X
X
(3.35) J = e↵(✏) f (j) (0) f (j) (↵(✏)) (by (3.28))
✏2E j=0 j=0 ✏2E
136 3. FIELDS
m
X m X
X
= (|E| 2d ) f (j) (0) f (j) (↵(✏)) (by (3.33)).
j 0 j=0 ✏2E
Note that
(
0 if j 6= p 1,
(3.36) f (j)
(0) =
(p 1)!( 1) |E|p
P p
if j = p 1,
Q
where P = ✏2E ↵(✏), and
(
X 0 if j 6= p,
(3.37) f (j)
(↵(✏)) =
✏2E
p!Q if j = p,
P Q
where Q = ↵2E ↵(✏) p 1
2E\{✏} (↵(✏) ↵( ))p . Both P and Q are symmetric
polynomials with integer coefficients in ↵(✏), ✏ 2 E, and hence are symmetric
polynomials with integer coefficients in ↵(✏), ✏ 2 {0, 1}d . Therefore, P and Q are
symmetric polynomials with integer coefficients in ✓1 , . . . , ✓d , and hence P, Q 2 Q.
Choose l 2 Z+ (independent of p) such that l✓1 is integral over Z, i.e., the minimal
polynomial of l✓1 over Q is a monic polynomial in Z[x]. Then l|E|p P p and l|E|p Q are
integral over Z. Thus l|E|p P p , l|E|p Q 2 Z. When p is sufficiently large, it follows
from (3.36) that the integer l|E|p f (p 1)P(0) is divisible by (p 1)! but not by p!,
and from (3.37) that the integer l|E|p ✏2E f (j) (↵(✏)) is divisible by p! for all j.
Then by (3.35), the integer l|E|p J is divisible by (p 1)! but not by p!, whence
l|E|p |J| (p 1)!, i.e.,
|E|p
(3.38) |J| l (p 1)!.
On the other hand, it is clear from (3.27) and (3.34) that
X
|J| |I(f, ↵(✏))| Acp ,
✏2E
and hence
(3.41) ||Dk (f1u f2v )(wj )||
(u + v)k max ||Dk1 h1 (wj )|| · · · ||Dku+v hu+v (wj )|| : k1 + · · · + ku+v = k .
Let 2 3 2 3
f1 P1 (f1 , . . . , fN )
6 . 7 6 .. 7
D6 . 7 6 7, P↵ 2 K[X1 , . . . , XN ].
4 . 5=4 . 5
fN PN (f1 , . . . , fN )
By Theorem 3.92, for each l > 0, (Dl f↵ )(wj ) is a sum of (l 1)!N l 1 terms of the
form
(3.42)
h @ i 1 P↵ 1 @ i l 1 P↵ l 1 i
··· P↵l (f1 (wj ), . . . , fN (wj )),
@X (1,1) · · · @X (1,i1 ) @X (l 1,1) · · · @X (l 1,il 1 )
where i1 + · · · + il = l 1 and 1 ↵⇤ , (⇤, ⇤) N . Put
1
n @ i P↵
C = max (f1 (wj ), . . . , fN (wj )) :
@X 1 · · · @X i
o
i 0, 1 ↵, 1 , . . . , i N, 1 j m .
Then
||Dl f↵ (wj )|| (l 1)!N l 1
C l, l > 0, 1 ↵ N, 1 j m.
Including the case l = 0, we have
(3.43) ||Dl f↵ (wj )|| l!N l (C + C 0 )l+1 , l 0, 1 ↵ N, 1 j m,
where
C 0 = max{||f↵ (wj )|| : 1 ↵ N, 1 j m}.
By (3.41) and (3.43),
||Dk (f1u f2v )(wj )||
(2r)k max{k1 ! · · · ku+v !N k (C + C 0 )k+u+v : k1 + · · · + ku+v = k}
138 3. FIELDS
k!rk C1k+r .
and
(3.48) max{||buv || : 1 u, v r} = O(n2n ).
Write uv,kj = k
Dk (f1u f2v )(wj ) 2 oK . Then (3.47) is equivalent to
r
X
(3.49) uv,kj buv = 0, 0 k < n, 1 j m.
u,v=1
M
X
(3.50) buv = cuv,l ✏l , cuv,l 2 Z.
l=1
Let ✏01 , . . . , ✏0M be the dual basis of ✏1 , . . . , ✏M of K/Q with respect TrK/Q . Then
⇠uv,kj,l = TrK/Q ( uv,kj ✏0l ). So, by (3.46),
|⇠uv,kj,l | C3 || uv,kj || k!rk C4k+r n!rn C4n+r ,
0 k < n, 1 u, v r, 1 j m.
Thus all the entries of A have | | n!rn C5n+r . Let L 2 Z+ to be chosen. Note that
2 2
A : Zr M ! ZnmM maps [ L, L]r M to [ n!rn C5n+r r2 M L, n!rn C5n+r r2 M L]nmM ⇢
[ Ln!rn+2 C6n+r , Ln!rn+2 C6n+r ]nmM . Therefore, if
2
(3.52) (2L + 1)r M
> (2Ln!rn+2 C6n+r + 1)nmM ,
2
(3.51) has a nonzero integer solution [cuv,l ] 2 [ L, L]r M . Inequality (3.52) holds
when
2
(2L)r M > (3Ln!rn+2 C6n+r )nmM ,
i.e.,
2 2
(3.53) 2r M
L(r nm)M
> (3n!rn+2 C6n+r )nmM .
Since r2 nm = nm, (3.53) holds when we choose
1
L = 3n!rn+2 C6n+r = 3n!(2nm) 2 (n+2) C6n+r = O(n2n ).
Then by (3.50),
max{||buv || : 1 u, v r} = O(n2n ).
6 There exist entire functions p(z) and q(z) of order ⇢ with p(w1 ) 6= 0 and
q(w1 ) 6= 0 such that pf1 and qf2 are entire functions. Let ✓ = pq. Then ✓ is an
entire function of order ⇢ and ✓f1 , ✓f2 are both entire. Clearly,
✓(z)2r F (z)
(3.57) H(z) := Qm
j=1 (z wj )s
is an entire function. Let R > 0 be large. When |z| = R,
r
X
2r
⇥ ⇤u ⇥ ⇤v ⇥ ⇤2r (u+v)
|✓(z) F (z)| = buv (✓f1 )(z) (✓f2 )(z) ✓(z)
u,v=1
⇢ ⇢
r2 O(n2n )C72rR O(s2s C8rR ).
By the maximum modulus principle,
⇣ s2s C rR⇢ ⌘
8
max{|H(z)| : |z| R} O .
Rms
Let R = s1/2⇢ and z = w1 . We have
p
⇣ s2s C rs1/2 ⌘ ⇣ s2s C 2mns ⌘ ⇣ s2s C s ⌘
8 8 9
|H(w1 )| O =O O .
sms/2⇢ sms/2⇢ sms/2⇢
Since F (z)/(z w1 )s |z=w1 = Ds F (w1 )/s! = /s!, setting z = w1 in (3.57) gives
⇣ s3s C s ⌘
11
(3.58) s
| | = O(s!C10 )|H(w1 )| O ms/2⇢ .
s
Now we combine (3.56) and (3.58) to have
⇣ 5s([K:Q] 1)+3s ⌘
s s s s(5[K:Q] m/2⇢)
1 O C12 O(C12 s ).
sms/2⇢
So, 5[K : Q] m/2⇢ 0, i.e., m 10⇢[K : Q]. ⇤
where
(i) 2 3
P1 (y1 , . . . , yn )
6 .. 7
P =6
4 .
7;
5
Pn (y1 , . . . , yn )
(ii) @ i P /@y i is an n ⇥ ni matrix whose rows are indexed by ↵ 2 {1, . . . , n},
whose columns are indexed by ( 1 , . . . i ) 2 {1, . . . , n}i lexicographically,
and whose (↵, ( 1 , . . . , i ))-entry is
@ i P↵
;
@y 1 · · · @y i
(iii) a(i1 , . . . , ik ) 2 Z+ , (i1 , . . . , ik ) 2 Ik , are defined inductively by
( P
a(i1 , . . . , ik ) = (j1 ,...,jk 1 ) (i1 ,...,ik ) a(j1 , . . . , jk 1 ),
a(;) = 1.
Moreover, X
a(i1 , . . . , ik ) = k!.
(i1 ,...,ik )2Ik
where X
a(j1 , . . . , jk+1 ) = a(i1 , . . . , ik ).
(i1 ,...,ik ) (j1 ,...,jk+1 )
So the induction is complete.
The integer a(i1 , . . . , ik ) is the number of chains ; = ↵0 ↵1 ··· ↵k =
(i1 , . . . , ik ), where ↵l 2 Il , 0 l k. For each ↵l 2 Il , the number of ↵l+1 2 Il+1
such that ↵l ↵l+1 is l + 1. Hence
X
a(i1 , . . . , ik ) = k!.
(i1 ,...,ik )2Ik
⇤
Note. For a formula for a(i1 , . . . , ik ), see [14].
CHAPTER 4
Noncommutative Rings
It will be shown that J(R) is a two-sided ideal (Corollary 4.3). A ring R is called
J-semisimple if J(R) = 0.
Fact. J(R/J(R)) = 0, i.e., R/J(R) is always J-semisimple.
Proof. Let I be the set of all maximal left ideals of R. Then {I/J(R) : I 2 I}
is the set of all maximal left ideals of R/J(R). Therefore
\ ⇣\ ⌘
J R/J(R)) = I/J(R) = I /J(R) = 0.
I2I I2I
⇤
Example. Let R = Mn (D) be the ring of n ⇥ n matrices over a division ring
D. For each 1 j n, let
Jj = {A 2 Mn (D) : the jth column of A is 0}.
Then Jj is a left ideal of R and R/Jj ⇠ = Dn . We claim that R/Jj is a simple
R-module. Let 0 6= ↵ 2 R/Jj . Then ↵ = [0 . . . a . . . 0] + Jj , where 0 6= a 2 Dn .
j
For each x 2 Dn , there exists A 2 R such that Aa = x. Then [0 . . . x . . . 0] + Jj =
j
A↵ 2 R↵. So R↵ T
= R/Jj , hence the claim. Therefore, Jj is a maximal left ideal of
n
R. Thus J(R) ⇢ j=1 Jj = 0.
Proposition 4.2. Let R be a ring and let x 2 R. Then the following statements
are equivalent.
(i) x 2 J(R).
(ii) For every r 2 R, 1 rx has a left inverse in R.
(iii) For each simple module R M , xM = 0.
Proof. (i) ) (ii) Suppose to the contrary that 1 rx does not have a left
inverse. Then R(1 rx) is a proper left ideal of R. So R(1 rx) is contained in
a maximal left ideal I of R. Then 1 = (1 rx) + rx 2 I + J(R) ⇢ I, which is a
contradiction.
(ii) ) (iii) Assume to the contrary that xM 6= 0. Choose m 2 M such that
xm 6= 0. Since M is simple, we have Rxm = M . Thus there exists r 2 R such that
rxm = m, i.e., (1 rx)m = 0. This is not possible since 1 rx is left invertible.
143
144 4. NONCOMMUTATIVE RINGS
Nil radical. The nil radical of a ring R, denoted by N (R), is the sum of all
nil ideals of R. If R is commutative, N (R) is the set all nilpotent elements of R.
Proposition 4.7.
(i) J(R) contains all nil left (right) ideals of R, in particular, N (R) ⇢ J(R).
(ii) Assume that R is left artinian. Then J(R) is nilpotent and J(R) = N (R).
Moreover, J(R) = N (R) is the largest nil left (right) ideal of R.
Proof. (i) Let I be a nil left ideal of R. For x 2 I and r 2 R, rx 2 I, so
(rx)n = 0 for some n > 0. Then 1 rx has a left inverse since 1 + rx + · · · +
(rx)n 1 (1 rx) = 1. Hence x 2 J(R). Thus I ⇢ J(R).
(ii) We first show that J(R) is a nilpotent ideal. Let J = J(R). Applying DCC
to J J 2 · · · , we have J m = J m+1 for some m > 0. Let I = J m . Then I 2 = I.
It suffices to show that I = 0. Assume to the contrary that I 6= 0. Let A be the
set of all left ideals A of R such that IA 6= 0. Then A 6= ; since I 2 A. Since R is
left artinian, A has a minimal element A0 . Choose a 2 A0 such that Ia 6= 0. Then
I(Ia) 6= 0, i.e., Ia 2 A. By the minimality of A0 , we have Ia = A0 . So there exists
r 2 I such that ra = a. Then (1 r)a = 0, whence 1 r is not left invertible. This
is a contradiction since r 2 I ⇢ J(R).
Since J(R) is nilpotent, J(R) ⇢ N (R). By (i), J(R) = N (R). Since J(R) is
nil and contains all nil left (right) ideals of R, it is the largest nil left (right) ideal
of R. ⇤
Proof. Since (p1 · · · pn )/(a) is the set of all nilpotent elements of R/(a), we
have N (R/(a)) = (p1 · · · pn )/(a). Since R/(a) has DCC, J(R/(a)) = N (R/(a)). ⇤
Proposition 4.11.
(i) Submodules and quotient modules of a semisimple module are semisimple.
(ii) If R is a left semisimple ring, then every left R-module is semisimple.
L
Proof. We have R = i2I Li , where each Li is a minimal left ideal of R.
Write X
1= ei ,
i2I
where ei 2 Li and only finitely many ei 6= 0. For each j 2 I, choose 0 6= r 2 Lj .
We have X X
r=r ei = rei .
i2I i2I
L
Since i2I Li is a direct sum, we have r = rej . So ej 6= 0. Therefore |I| < 1, i.e.,
R = L1 · · · Ln , where each Li is a minimal left ideal of R. Then
{0} ⇢ L1 ⇢ L1 L2 ⇢ · · · ⇢ L1 ··· Ln = R
is a composition series of R R. ⇤
Note. If M is a semisimple R-modules, M may not have a composition series.
A vector space over a division ring D is a semisimple D-module. However, if
dimD V = 1, then D V does not have ACC or DCC.
Theorem 4.13. A ring R is left semisimple if and only if R is left artinian
and J(R) = 0.
Proof. ()) By Proposition 4.12, R is left artinian. By Proposition 4.10,
R = J(R) I, where I is a left ideal of R. Write 1 = e + f , where e 2 J(R) and
f 2 I. Then f = 1 e has a left inverse. So I = R, and hence J(R) = 0.
(() Since R has DCC, R has a minimal left ideal I1 . Since I1 6⇢ {0} = J(R),
there exists a maximal left ideal B1 such that I1 6⇢ B1 . Then R = I1 +B1 = I1 B1 .
If B1 6= 0, B1 contains a minimal left ideal I2 of R. By the same argument, there
exists a maximal left ideal M of R such that R = I2 M . Then it is easy to see
that B1 = I2 (B1 \ M ). Let B2 = B1 \ M . Then R = I1 I2 B2 . Continuing
this way, we have
R = I1 B1 = I1 I2 B2 = · · · ,
where Ii ’s are minimal left ideals of R and R ) B1 ) B2 ) · · · unless Bn = 0 for
some n. Since R has DCC, Bn = 0 for some n. So R = I1 · · · In . ⇤
Simple rings. A ring R is called simple if 1R 6= 0 and R does not have any
nontrivial ideal. If D is a division ring, then Mn (D) is a simple ring.
Example. A simple ring is not necessarily left artinian and hence is not neces-
sarily left semisimple. Let V be a vector space over a field F with a countable basis
x1 , x2 , . . . . Let R = EndF (V ) and I = {f 2 R : dimF f (V ) < 1}. Clearly, I is an
ideal of R. If h 2 R \ I, then dimF h(V ) = 1, and hence there exist u1 , u2 , · · · 2 V
such that h(u1 ), h(u2 ), . . . are linearly independent. Let f, g 2 R be such that
f (xi ) = ui and g(h(ui )) = xi . Then g h f = idV . Thus I is a maximal ideal of R,
whence R/I is aF simple ring. (In fact, I is the only nontrivial ideal of R.) S
Partition
1
{x1 , x2 , . . . } as i=1 Si with |Si | = 1, and let Ji = {f 2 R : ker f j i Sj }.
Each Ji is a left ideal of R and Ji + I ( Ji+1 + I. (Choose f 2 Ji+1 such that
dimF f (hSi i) = 1. Then f 2 / Ji + I.) Hence (Ji + I)/I ( (Ji+1 + I)/I, whence
R/I is not left noetherian. By Theorem 4.26, R/I is not left artinian.
Fact. If R is a simple ring and is left artinian, then R is left semisimple.
Proof. J(R) is a proper ideal of R, so J(R) = 0. ⇤
148 4. NONCOMMUTATIVE RINGS
The opposite ring. Let (R, +, ·) be a ring. The opposite ring R is Rop =
(R, +, ⇤), where a ⇤ b = ba for all a, b 2 R.
Proposition 4.16. Let R be a ring. Then EndR (R R) ⇠
= Rop .
Proof. Define
: EndR (R R) ! Rop
f 7 ! f (1).
1 We claim that is a ring homomorphism. Let f, g 2 EndR (R R). Clearly,
(f + g) = (f ) + (g). Also,
(f g) = (f g)(1) = f (g(1)) = f (g(1)1R ) = g(1)f (1) = (f ) ⇤ (g).
Clearly, (idR ) = 1Rop .
2 We claim that is onto. For each r 2 Rop , let f : R R ! R R, x 7! xr. Then
f 2 EndR (R R) and f (1) = r.
3 We claim that ker = {0}. Let f 2 ker . Then f (1) = 0. For each r 2 R,
we have f (r) = f (r1R ) = rf (1) = 0. So f = 0. ⇤
Proof. Let ⇤ denote the multiplication in ( )op and let ⇧ denote the multipli-
cation in Mn (Rop ). Define
f: Mn (R)op ! Mn (Rop )
A 7 ! AT .
Clearly, f is an abelian group isomorphism. It remains to show that f (A ⇤ B) =
f (A) ⇧ f (B) for all A, B 2 Mn (R)op . Let A = [aij ] and B = [bij ]. Then
⇥ ⇤ X
f (A ⇤ B)ij = f (BA)ij = (BA)T ij = (BA)ji = bjk aki ,
k
⇥ ⇤ X X
T T
f (A) ⇧ f (B) ij
= [A ⇧ B ]ij = aki ⇤ bjk = bjk aki .
k k
So by Proposition 4.17,
⇠ Mn ( 1 )op ⇥ · · · ⇥ Mn ( op ⇠ op op
R= 1 k k) = M n1 ( 1 ) ⇥ · · · ⇥ M nk ( k ),
op
where i is also a division ring.
Uniqueness of (n1 , D1 ), . . . , (nk , Dk ). Assume that
R⇠= Mn1 (D1 ) ⇥ · · · ⇥ Mnk (Dk ) ⇠ = Mm1 (D10 ) ⇥ · · · ⇥ Mml (Dl0 ),
4.3. THEOREMS OF WEDDERBURN, HOPKINS-LEVITZKI AND MASCHKE 151
where mi > 0 and Di0 is a division ring. Let Ri and Ri0 denote the image of Mni (Di )
and Mmi (Di0 ) in R respectively. Then Ri and Ri0 are ideals of R and are simple
rings themselves. We claim that for every 1 i k, there exists 1 j l such
that Ri = Rj0 . (Then it follows that k = l and, after a permutation of the indices,
Ri = Ri0 , 1 i k.) Write 1Ri = a1 + · · · + al , where aj 2 Rj0 . There exists
1 j l such that aj 6= 0. Then aj = 1Ri 1Rj0 2 Ri \ Rj0 , so Ri \ Rj0 is a nonzero
ideal of Ri and of Rj0 . Thus Ri = Ri \ Rj0 = Rj0 .
Therefore, we have k = l and Mni (Di ) ⇠ = Mmi (Di0 ), 1 i k. It remains to
⇠
show that if Mn (D) = Mm (D ), where m, n > 0 and D, D0 are division rings, then
0
n = m and D ⇠ = D0 .
Let Li = {[0, . . . , 0, a, 0, . . . , 0] 2 Mn (D) : a 2 Dn }, 1 i n. Each Li is
i
a minimal left ideal of Mn (D) and Mn (D) = L1 · · · Ln . Using composition
series, it is clear that all minimal left ideals of Mn (D) are ⇠
= L1 ⇠
= Dn . By Propo-
sition 4.18, D = EndMn (D) (L1 ). Under the isomorphism Mn (D) ⇠
op ⇠
= Mm (D0 ),
L1 is isomorphic to a minimal left ideal L of Mm (D ) and by Proposition 4.18,
0 0
Proof. Recall that Z(A) denotes the center of a group or a ring A and CA (a)
denotes the centralizer of a in A.
Let Z = Z(D) = Fq . Assume to the contrary that D is not a field. Then
dimZ D = n > 1. For each a 2 D⇥ \ Z ⇥ , CD (a) is a proper sub division ring of D.
Let d(a) = dimZ CD (a). Then d(a) | n and d(a) < n. We have
|CD⇥ (a)| = |CD (a)| 1 = q d(a) 1.
Let [a1 ], . . . , [ak ] be the conjugacy classes of D not contained in Z(D⇥ ) = Z ⇥ . By
⇥
which is called the augmentation map. Since k[G] is semisimple, we have k[G] =
ker ✏ L for some left ideal L of k[G].
P Since dimk L = |G| dimk ker ✏ = 1, we have
L = kv = k[G]v for some 0 6= v = g2G ag g 2 k[G]. Since v 2 / ker ✏, ✏(v) 6= 0. For
each h 2 G, there exists 2 k such that hv = v. So ✏(v) = ✏(hv) = ✏(v), which
implies that = 1. Then
X X
h ag g = hv = v = ag g for all h 2 G.
g2G g2G
This menas that all the coefficients ag , g 2 G, are the same. Thus |G|a1 = ✏(v) 6= 0,
whence char k - |G|. ⇤