Algebra: Abstract and Concrete, Frederick M. Goodman

585 Pages·2008·5.91 MB·English

i

ALGEBRA
ABSTRACT AND CONCRETE
EDITION 2.5
FREDERICK M. GOODMAN
UNIVERSITY OF IOWA
Semisimple Press
Iowa City, IA
LibraryofCongressCataloging-in-PublicationData
Goodman,FrederickM.
Algebra:abstractandconcrete /FrederickM.Goodman—ed.2.5
p. cm.
Includesindex.
ISBN 978-0-9799142-0-1
1.Algebra. I.Title
QA155.R642006
512–dc21
(cid:13)c2006,2003,1998byFrederickM.Goodman
SemisimplePress
IowaCity,IA
Allrightsreserved.Nopartofthisbookmaybereproduced,inanyformorby
anymeans,withoutpermissioninwritingfromthepublisher.
ThefirstandsecondeditionsofthisbookwerepublishedbyPearsonEducation,Inc.
ISBN
Contents
Preface ix
A Note to the Reader xi
Chapter 1. Algebraic Themes 1
1.1. WhatIsSymmetry? 1
1.2. SymmetriesoftheRectangleandtheSquare 3
1.3. MultiplicationTables 7
1.4. SymmetriesandMatrices 11
1.5. Permutations 16
1.6. DivisibilityintheIntegers 24
1.7. ModularArithmetic 37
1.8. Polynomials 44
1.9. Counting 55
1.10. Groups 68
1.11. RingsandFields 74
1.12. AnApplicationtoCryptography 78
Chapter 2. Basic Theory of Groups 83
2.1. FirstResults 83
2.2. SubgroupsandCyclicGroups 92
2.3. TheDihedralGroups 105
2.4. HomomorphismsandIsomorphisms 109
2.5. CosetsandLagrange’sTheorem 119
2.6. EquivalenceRelationsandSetPartitions 125
2.7. QuotientGroupsandHomomorphismTheorems 132
Chapter 3. Products of Groups 147
3.1. DirectProducts 147
3.2. SemidirectProducts 155
3.3. VectorSpaces 158
3.4. Thedualofavectorspaceandmatrices 173
3.5. LinearalgebraoverZ 185
3.6. Finitelygeneratedabeliangroups 194
Chapter 4. Symmetries of Polyhedra 211
v
vi CONTENTS
4.1. RotationsofRegularPolyhedra 211
4.2. RotationsoftheDodecahedronandIcosahedron 220
4.3. WhataboutReflections? 224
4.4. LinearIsometries 229
4.5. TheFullSymmetryGroupandChirality 234
Chapter 5. Actions of Groups 237
5.1. GroupActionsonSets 237
5.2. GroupActions—CountingOrbits 244
5.3. SymmetriesofGroups 247
5.4. GroupActionsandGroupStructure 250
5.5. Application: TransitiveSubgroupsofS 259
5
5.6. AdditionalExercisesforChapter5 261
Chapter 6. Rings 264
6.1. ARecollectionofRings 264
6.2. HomomorphismsandIdeals 270
6.3. QuotientRings 283
6.4. IntegralDomains 289
6.5. EuclideanDomains,PrincipalIdeal
Domains,andUniqueFactorization 294
6.6. UniqueFactorizationDomains 303
6.7. NoetherianRings 310
6.8. IrreducibilityCriteria 313
Chapter 7. Field Extensions – First Look 317
7.1. ABriefHistory 317
7.2. SolvingtheCubicEquation 318
7.3. AdjoiningAlgebraicElementstoaField 322
7.4. SplittingFieldofaCubicPolynomial 328
7.5. SplittingFieldsofPolynomialsinCŒx(cid:141) 336
Chapter 8. Modules 345
8.1. Theideaofamodule 345
8.2. Homomorphismsandquotientmodules 353
8.3. Multilinearmapsanddeterminants 357
8.4. FinitelygeneratedModulesoveraPID,partI 368
8.5. FinitelygeneratedModulesoveraPID,partII. 379
8.6. Rationalcanonicalform 392
8.7. JordanCanonicalForm 406
Chapter 9. Field Extensions – Second Look 420
9.1. FiniteandAlgebraicExtensions 420
9.2. SplittingFields 422
9.3. TheDerivativeandMultipleRoots 425
CONTENTS vii
9.4. SplittingFieldsandAutomorphisms 427
9.5. TheGaloisCorrespondence 434
9.6. SymmetricFunctions 440
9.7. TheGeneralEquationofDegreen 447
9.8. QuarticPolynomials 455
9.9. GaloisGroupsofHigherDegreePolynomials 462
Chapter 10. Solvability 468
10.1. CompositionSeriesandSolvableGroups 468
10.2. CommutatorsandSolvability 470
10.3. SimplicityoftheAlternatingGroups 472
10.4. CyclotomicPolynomials 476
10.5. TheEquationxn(cid:0)b D 0 479
10.6. SolvabilitybyRadicals 480
10.7. RadicalExtensions 483
Chapter 11. Isometry Groups 487
11.1. MoreonIsometriesofEuclideanSpace 487
11.2. Euler’sTheorem 494
11.3. FiniteRotationGroups 497
11.4. Crystals 501
Appendices
521
Appendix A. Almost Enough about Logic 522
A.1. Statements 522
A.2. LogicalConnectives 523
A.3. Quantifiers 527
A.4. Deductions 529
Appendix B. Almost Enough about Sets 530
B.1. FamiliesofSets;UnionsandIntersections 534
B.2. FiniteandInfiniteSets 535
Appendix C. Induction 537
C.1. ProofbyInduction 537
C.2. DefinitionsbyInduction 538
C.3. MultipleInduction 539
Appendix D. Complex Numbers 542
Appendix E. Review of Linear Algebra 544
E.1. LinearalgebrainKn 544
E.2. BasesandDimension 549
E.3. InnerProductandOrthonormalBases 554
viii CONTENTS
Appendix F. Models of Regular Polyhedra 556
Appendix G. Suggestions for Further Study 564
Index 566
Preface
Thistextprovidesathoroughintroductionto“modern”or“abstract”alge-
bra at a level suitable for upper-level undergraduates and beginning grad-
uatestudents.
Thebookaddressestheconventionaltopics: groups,rings,fields,and
linear algebra, with symmetry as a unifying theme. This subject matter is
centralandubiquitousinmodernmathematicsandinapplicationsranging
fromquantumphysicstodigitalcommunications.
The most important goal of this book is to engage students in the ac-
tivepracticeofmathematics. Studentsaregiventheopportunitytopartici-
pateandinvestigate,startingonthefirstpage. Exercisesareplentiful,and
workingexercisesshouldbetheheartofthecourse.
The required background for using this text is a standard first course
in linear algebra. I have included a brief summary of linear algebra in an
appendixtohelpstudentsreview. Ihavealsoprovidedappendicesonsets,
logic, mathematical induction, and complex numbers. It might also be
useful to recommend a short supplementary text on set theory, logic, and
proofs to be used as a reference and aid; several such texts are currently
available.
Acknowledgements.
The first and second editions of this text were published by Prentice
Hall. I would like to thank George Lobell, the staff at Prentice Hall, and
reviewersofthepreviouseditionsfortheirhelpandadvice.
Supplements.
I maintain a World Wide Web site with electronic supplements to the
text, at http://www.math.uiowa.edu/~goodman. Materials available
atthissitemayinclude
(cid:15) Color versions of graphics from the text and manipulable three-
dimensionalgraphics
(cid:15) Programsforalgebraiccomputations
(cid:15) Errata
ix
x PREFACE
I would be grateful for any comments on the text, reports of errors, and
suggestions for improvements. I am currently distributing this text elec-
tronically, and this means that I can provide frequent updates and correc-
tions. Please write if you would like a better text next semester! I thank
thosestudentsandinstructorswhohavewrittenmeinthepast.
FrederickM.Goodman
[email protected]