Algebra 1: Groups, Rings, Fields and Arithmetic

439 Pages·2017·3.84 MB·English

by  Ramji Lal (auth.)

Infosys Science Foundation Series in Mathematical Sciences
Ramji Lal
Algebra 1
Groups, Rings, Fields and Arithmetic
Infosys Science Foundation Series
Infosys Science Foundation Series in Mathematical
Sciences
Series editors
Gopal Prasad, University of Michigan, USA
Irene Fonseca, Mellon College of Science, USA
Editorial Board
Chandrasekhar Khare, University of California, USA
Mahan Mj, Tata Institute of Fundamental Research, Mumbai, India
Manindra Agrawal, Indian Institute of Technology Kanpur, India
S.R.S. Varadhan, Courant Institute of Mathematical Sciences, USA
Weinan E, Princeton University, USA
The Infosys ScienceFoundationSeriesinMathematical Sciencesisasub-seriesof
The Infosys Science Foundation Series. This sub-series focuses on high quality
content in the domain of mathematical sciences and various disciplines of
mathematics,statistics,bio-mathematics,financialmathematics,appliedmathematics,
operations research, applies statistics and computer science. All content published
inthesub-seriesarewritten,edited,orvettedbythelaureatesorjurymembersofthe
InfosysPrize.WiththeSeries,SpringerandtheInfosysScienceFoundationhopeto
provide readers with monographs, handbooks, professional books and textbooks
ofthehighestacademicqualityoncurrenttopicsinrelevantdisciplines.Literaturein
thissub-serieswillappealtoawideaudienceofresearchers,students,educators,and
professionals across mathematics, applied mathematics, statistics and computer
science disciplines.
More information about this series at http://www.springer.com/series/13817
Ramji Lal
Algebra 1
Groups, Rings, Fields and Arithmetic
123
Ramji Lal
HarishChandra Research Institute (HRI)
Allahabad, Uttar Pradesh
India
ISSN 2363-6149 ISSN 2363-6157 (electronic)
Infosys Science FoundationSeries
ISSN 2364-4036 ISSN 2364-4044 (electronic)
Infosys Science FoundationSeries in MathematicalSciences
ISBN978-981-10-4252-2 ISBN978-981-10-4253-9 (eBook)
DOI 10.1007/978-981-10-4253-9
LibraryofCongressControlNumber:2017935548
©SpringerNatureSingaporePteLtd.2017
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart
of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission
orinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar
methodologynowknownorhereafterdeveloped.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfrom
therelevantprotectivelawsandregulationsandthereforefreeforgeneraluse.
The publisher, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publisher nor the
authorsortheeditorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinor
for any errors or omissions that may have been made. The publisher remains neutral with regard to
jurisdictionalclaimsinpublishedmapsandinstitutionalaffiliations.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerNatureSingaporePteLtd.
Theregisteredcompanyaddressis:152BeachRoad,#21-01/04GatewayEast,Singapore189721,Singapore
Dedicated to the memory of
my mother
(Late) Smt Murti Devi,
my father
(Late) Sri Sankatha Prasad Lal, and
my father-like brother
(Late) Sri Gopal Lal
Preface
Algebra has played a central and decisive role in all branches of mathematics and,
inturn,inallbranchesofscienceandengineering.Itisnotpossibleforalecturerto
cover, physically in a classroom, the amount of algebra which a graduate student
(irrespective of the branch of science, engineering, or mathematics in which he
preferstospecialize)needstomaster.Inaddition,thereareavarietyofstudentsina
class. Some of them grasp the material very fast and do not need much of assis-
tance. At the same time, there are serious students who can do equally well by
putting a little more effort. They need some more illustrations and also more
exercisestodeveloptheirskillandconfidenceinthesubjectbysolvingproblemson
theirown.Again,itisnotpossibleforalecturertodosufficientlymanyillustrations
and exercises in the classroom for the purpose. This is one of the considerations
which prompted me to write a series of three volumes on the subject starting from
the undergraduate level to the advance postgraduate level. Each volume is suffi-
ciently rich with illustrations and examples together with numerous exercises.
These volumes also cater for the need of the talented students with difficult,
challenging, and motivating exercises which were responsible for the further
developments in mathematics. Occasionally, the exercises demonstrating the
applications in different disciplines are also included. The books may also act as a
guidetoteachersgivingthecourses.Theresearchers workinginthefieldmayalso
find it useful.
The present (first) volume consists of11chapterswhich starts with languageof
mathematics (logic and set theory) and centers around the introduction to basic
algebraic structures, viz. group, rings, polynomial rings, and fields, together with
fundamentals in arithmetic. At the end of this volume, there is an appendix on the
basicsofcategorytheory.Thisvolumeservesasabasictextforthefirst-yearcourse
in algebra at the undergraduate level. Since this is the first introduction to the
abstract-algebraic structures, we proceed rather leisurely in this volume as com-
pared with the other volumes.
The second volume contains ten chapters which includes the fundamentals of
linearalgebra,structuretheoryoffieldsandGaloistheory,representationtheoryof
finite groups, and the theory of group extensions. It is needless to say that linear
vii
viii Preface
algebraisthemostapplicablebranchofmathematicsanditisessentialforstudents
of any discipline to develop expertise in the same. As such, linear algebra is an
integral part of the syllabus at the undergraduate level. General linear algebra,
Galois theory, representation theory of groups, and the theory of group extensions
followlinearalgebrawhichisapart,andindeed,thesearepartsofsyllabusforthe
second- and third-year students of most of the universities. As such, this volume
may serve as a basic text for second- and third-year courses in algebra.
The third volume of the book also contains 10 chapters, and it can act as a text
for graduate andadvanced postgraduate students specializinginmathematics. This
includescommutativealgebra,basicsinalgebraicgeometry,homologicalmethods,
semisimple Liealgebra, andChevalley groups.The tableof contents gives anidea
of the subject matter covered in the book.
There is no prerequisite essential for the book except, occasionally, in some
illustrationsandstarredexercises,someamountofcalculus,geometry,ortopology
maybeneeded.Anattempttofollowthelogicalorderinghasbeenmadethroughout
the book.
My teacher (Late) Prof. B.L. Sharma, my colleague at the University of
Allahabad, my friend Dr. H.S. Tripathi, my students Prof. R.P. Shukla, Prof.
Shivdatt,Dr.BrajeshKumarSharma,Mr.SwapnilSrivastava,Dr.AkhileshYadav,
Dr. Vivek Jain, Dr. Vipul Kakkar, and above all the mathematics students of the
University of Allahabad had always been the motivating force for me to write a
book. Without their continuous insistence, it would have not come in the present
form. I wish to express my warmest thanks to all of them.
Harish-Chandra Research Institute (HRI), Allahabad, has always been a great
sourceformetolearnmoreandmoremathematics.Iwishtoexpressmydeepsense
of appreciation and thanks to HRI for providing me all the infrastructural facilities
to write these volumes.
Lastbutnotleast,IwishtoexpressmythankstomywifeVeenaSrivastavawho
had always been helpful in this endeavor.
Inspiteofallcare,somemistakesandmisprintmighthavecreptinandescaped
myattention.Ishallbegratefultoanysuchattention.Criticismsandsuggestionsfor
the improvement of the book will be appreciated and gratefully acknowledged.
Allahabad, India Ramji Lal
April 2017
Contents
1 Language of Mathematics 1 (Logic) .. .... .... .... .... ..... .. 1
1.1 Statements, Propositional Connectives. .... .... .... ..... .. 1
1.2 Statement Formula and Truth Functional Rules.. .... ..... .. 3
1.3 Quantifiers. .... .... ..... .... .... .... .... .... ..... .. 7
1.4 Tautology and Logical Equivalences .. .... .... .... ..... .. 8
1.5 Theory of Logical Inference. .... .... .... .... .... ..... .. 9
2 Language of Mathematics 2 (Set Theory).. .... .... .... ..... .. 13
2.1 Set, Zermelo–Fraenkel Axiomatic System .. .... .... ..... .. 13
2.2 Cartesian Product and Relations.. .... .... .... .... ..... .. 22
2.3 Equivalence Relation. ..... .... .... .... .... .... ..... .. 26
2.4 Functions.. .... .... ..... .... .... .... .... .... ..... .. 29
2.5 Partial Order.... .... ..... .... .... .... .... .... ..... .. 38
2.6 Ordinal Numbers .... ..... .... .... .... .... .... ..... .. 43
2.7 Cardinal Numbers ... ..... .... .... .... .... .... ..... .. 48
3 Number System.. .... .... ..... .... .... .... .... .... ..... .. 55
3.1 Natural Numbers .... ..... .... .... .... .... .... ..... .. 55
3.2 Ordering in N .. .... ..... .... .... .... .... .... ..... .. 59
3.3 Integers ... .... .... ..... .... .... .... .... .... ..... .. 62
3.4 Greatest Common Divisor, Least Common Multiple .. ..... .. 71
3.5 Linear Congruence, Residue Classes .. .... .... .... ..... .. 79
3.6 Rational Numbers ... ..... .... .... .... .... .... ..... .. 86
3.7 Real Numbers .. .... ..... .... .... .... .... .... ..... .. 88
3.8 Complex Numbers... ..... .... .... .... .... .... ..... .. 91
4 Group Theory... .... .... ..... .... .... .... .... .... ..... .. 93
4.1 Definition and Examples ... .... .... .... .... .... ..... .. 94
4.2 Properties of Groups . ..... .... .... .... .... .... ..... .. 106
ix
x Contents
4.3 Homomorphisms and Isomorphisms... .... .... .... ..... .. 113
4.4 Generation of Groups. ..... .... .... .... .... .... ..... .. 122
4.5 Cyclic Groups .. .... ..... .... .... .... .... .... ..... .. 134
5 Fundamental Theorems ... ..... .... .... .... .... .... ..... .. 145
5.1 Coset Decomposition, Lagrange Theorem .. .... .... ..... .. 145
5.2 Product of Groups and Quotient Groups ... .... .... ..... .. 155
5.3 Fundamental Theorem of Homomorphism.. .... .... ..... .. 173
6 Permutation Groups and Classical Groups. .... .... .... ..... .. 179
6.1 Permutation Groups.. ..... .... .... .... .... .... ..... .. 179
6.2 Alternating Maps and Alternating Groups .. .... .... ..... .. 187
6.3 General Linear Groups..... .... .... .... .... .... ..... .. 199
6.4 Classical Groups .... ..... .... .... .... .... .... ..... .. 209
7 Elementary Theory of Rings and Fields ... .... .... .... ..... .. 219
7.1 Definition and Examples ... .... .... .... .... .... ..... .. 219
7.2 Properties of Rings... ..... .... .... .... .... .... ..... .. 221
7.3 Integral Domain, Division Ring, and Fields. .... .... ..... .. 224
7.4 Homomorphisms and Isomorphisms... .... .... .... ..... .. 233
7.5 Subrings, Ideals, and Isomorphism Theorems ... .... ..... .. 238
7.6 Polynomial Ring .... ..... .... .... .... .... .... ..... .. 250
7.7 Polynomial Ring in Several Variable.. .... .... .... ..... .. 261
8 Number Theory 2.... .... ..... .... .... .... .... .... ..... .. 269
8.1 Arithmetic Functions . ..... .... .... .... .... .... ..... .. 269
8.2 Higher Degree Congruences. .... .... .... .... .... ..... .. 279
8.3 Quadratic Residues and Quadratic Reciprocity... .... ..... .. 289
9 Structure Theory of Groups .... .... .... .... .... .... ..... .. 311
9.1 Group Actions, Permutation Representations.... .... ..... .. 311
9.2 Sylow Theorems .... ..... .... .... .... .... .... ..... .. 321
9.3 Finite Abelian Groups ..... .... .... .... .... .... ..... .. 335
9.4 Normal Series and Composition Series .... .... .... ..... .. 338
10 Structure Theory Continued .... .... .... .... .... .... ..... .. 353
10.1 Decompositions of Groups.. .... .... .... .... .... ..... .. 353
10.2 Solvable Groups. .... ..... .... .... .... .... .... ..... .. 358
10.3 Nilpotent Groups.... ..... .... .... .... .... .... ..... .. 365
10.4 Free Groups and Presentations of Groups .. .... .... ..... .. 377
11 Arithmetic in Rings .. .... ..... .... .... .... .... .... ..... .. 387
11.1 Division in Rings.... ..... .... .... .... .... .... ..... .. 387
11.2 Principal Ideal Domains.... .... .... .... .... .... ..... .. 393
11.3 Euclidean Domains .. ..... .... .... .... .... .... ..... .. 399