408 INDEX
Equivalence relation, 14
Euclidean algorithm, 30
Euclidean domain, 286
Euclidean group, 179
Euclidean inner product, 176
Euclidean valuation, 286
Euler-function, 95
Euler, Leonhard, 95, 342
Extension
algebraic, 325
eld, 322
nite, 329
normal, 372
radical, 378
separable, 347, 369
simple, 325
External direct product, 145
Faltings, Gerd, 342
Feit, W., 163, 218
Fermat's factorization algorithm, 106
Fermat's Little Theorem, 95
Fermat, Pierre de, 95, 342
Ferrari, Ludovico, 272
Ferro, Scipione del, 271
Field, 234
algebraically closed, 332
base, 322
conjugate, 384
extension, 322
xed, 371
Galois, 349
of fractions, 280
of quotients, 280
prime, 292
splitting, 334
Finitely generated group, 192
Fior, Antonio, 271
First Isomorphism Theorem
for groups, 163
for rings, 243
Fixed point set, 206
Freshman's Dream, 347
Frobenius map, 361
Function
bijective, 10
Boolean, 215, 311
composition of, 10
denition of, 9
domain of, 9
identity, 12
injective, 10
invertible, 12
one-to-one, 10
onto, 10
order-preserving, 310
range of, 9
surjective, 10
switching, 215, 311
Fundamental Theorem
of Algebra, 333, 382
of Arithmetic, 31
of Finite Abelian Groups, 194
of Galois Theory, 373
Godel, Kurt, 308
Galois eld, 349
Galois group, 365
Galois,
Evariste, 47, 377
Gauss's Lemma, 288
Gauss, Karl Friedrich, 290
Gaussian integers, 238
Generator of a cyclic subgroup, 58
Generators for a group, 192
Glide reection, 180
Gorenstein, Daniel, 163
Greatest common divisor
of elements in a UFD, 292
of two integers, 28
of two polynomials, 264
Greatest lower bound, 296
Greiss, R., 163
Grothendieck, A., 342
Group
p-group, 193, 221
abelian, 42
action, 204
alternating, 80
automorphism of, 151
center of, 88, 169, 208