Book:Artin

Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632

General information
Algebra is written by Michael Artin, Professor of Mathematics at Massachussetts Institute of Technology. It is an outgrowth of supplementary notes prepared by Artin for algebra classes he taught at MIT. According to Artin (Preface, written in December 1990), the main novel feature of the book is its increased emphasis on special topics. Artin enunciates three general guiding principles he tried to follow in his book:


 * 1) The main examples should precede the abstract definitions
 * 2) The book is not intended for a "service course", so technical points should be presented only if they are needed in the book.
 * 3) All topics should be important for the average mathematician

Some topics that Artin's book lays more emphasis on than other books:


 * The role of matrix groups
 * Lattices, and groups acting on the plane and in Euclidean space

Relevant contents in group theory
Chapter 2: Groups has the following subsections:


 * 1) The definition of a group (pages 38-44; exercises on page 69) includes the following:
 * 2) * General notion of law of composition, called here a binary operation
 * 3) * Definition of associative binary operation
 * 4) * Definition of commutative binary operation
 * 5) * Definition of identity element for a binary operation (called here a neutral element)
 * 6) * Definition of inverse element, invertible element
 * 7) * Definition of group
 * 8) * Definition of Abelian group
 * 9) * Cancellation law for groups (related material on the wiki is at invertible implies cancellative in monoid)
 * 10) * Example: general linear group
 * 11) * Example: symmetric group
 * 12) * Peek preview: generators and relations
 * 13) Subgroups (pages 44-48, exercises on pages 70-71) includes the following:
 * 14) * Definition of subgroup
 * 15) * Proof that every nontrivial subgroup of the group of integers is cyclic on its smallest element
 * 16) * Definition of greatest common divisor of two integers
 * 17) * Proof that the set of $$n$$ such that $$x^n$$ is the identity, is a subgroup of $$\mathbb{Z}$$
 * 18) * Definition of order of a group
 * 19) * Definition of cyclic group
 * 20) * Definition of order of an element
 * 21) * Definition of subgroup generated by a subset
 * 22) * Example of the quaternion group as a non-cyclic small subgroup of $$GL(2,\mathbb{C})$$
 * 23) Isomorphisms (pages 48-51, exercises on pages 71-72) includes the following:
 * 24) * Definition of isomorphic groups
 * 25) * Definition of isomorphism of groups
 * 26) * Definition of isomorphism class of groups
 * 27) * Definition of automorphism of a group
 * 28) * Definition of conjugation by an element of the group, and a proof that every conjugation is an automorphism (related material on the wiki is at: group acts on itself as automorphisms by conjugation)
 * 29) Homomorphisms (pages 51-52, exercises on pages 72-73) includes the following:
 * 30) * Definition of homomorphism of groups
 * 31) * Proof of equivalence of definitions of homomorphism
 * 32) * Definition of normal subgroup
 * 33) Equivalence relations and partitions (pages 53-56, exercises on pages 73-74)
 * 34) Cosets (pages 57-59, exercises on page 74) includes the following:
 * 35) * Definition of left coset
 * 36) * Proof that left cosets partition a group
 * 37) * Proof that left cosets are in bijection via left multiplication
 * 38) * Definition of index of a subgroup
 * 39) * Proof of Lagrange's theorem
 * 40) * New definition of normal subgroups in terms of left and right cosets (related material on the wiki is at: equivalence of definitions of normal subgroup)
 * 41) Restriction of a homomorphism to a subgroup (pages 59-61, exercises on pages 74-75):
 * 42) * Proof that intersection of subgroups is subgroup
 * 43) * Proof that normality satisfies transfer condition
 * 44) * Proof that a homomorphic image of a subgroup is a subgroup
 * 45) * Proof that the inverse image of a subgroup under a homomorphism is a subgroup
 * 46) Products of groups (pages 61-64, exercises on page 75)
 * 47) Modular arithmetic (pages 64-66, exercises on page 76)
 * 48) Quotient groups (ages 66-69, exercises on page 76)

Chapter 5: Symmetry has the following subsections:


 * 1) Symmetry of plane figures
 * 2) The group of motions of the plane
 * 3) Finite groups of motions
 * 4) Discrete groups of motions
 * 5) Abstract symmetry: group operations
 * 6) The operation on cosets
 * 7) The counting formula
 * 8) Permutation representations
 * 9) Finite subgroups of the rotation group

Chapter 6: More group theory has the following subsections:


 * 1) The operations of a group on itself
 * 2) The class equation of the icosahedral group
 * 3) Operations on subsets
 * 4) The Sylow theorems
 * 5) The groups of order 12
 * 6) Computation in the symmetric group
 * 7) The free group
 * 8) Generators and relations
 * 9) The Todd-Coxeter algorithm

Chapter 8: Linear groups has the following subsections:


 * 1) The classical linear groups
 * 2) The special unitary group $$SU_2$$
 * 3) The orthogonal representations of $$SU_2$$
 * 4) The special linear group $$SL_2(\R)$$
 * 5) One-parameter subgroups
 * 6) The Lie algebra
 * 7) Translation in a group
 * 8) Simple groups

Chapter 9: Group representations has the following subsections:


 * 1) Definition of a group representation
 * 2) $$G$$-invariant forms and unitary representations
 * 3) Compact groups
 * 4) $$G$$-invariant subspaces and irreducible representations
 * 5) Characters
 * 6) Permutation representations and the regular representation
 * 7) The representations of the icosahedral group
 * 8) One-dimensional representations
 * 9) Schur's lemma, and proof of the orthogonality relations
 * 10) Representations of the group $$SU_2$$

Style of definitions
Most definitions are given in paragraphs, rather than under explicit definition headers. Usually the main symbols/equations used in the definition are labeled as a point.

As indicated by the guiding principle, definitions are typically introduced after some examples, motivation or general idea, and the definition may be buried within the example.

Style of proofs
While there are some instances of a proposition followed by a proof, a large number of propositions are stated after the reasoning used in their proof is already given. Sometimes, full details from the proof are omitted, and clarification is left to the exercises. Some important (but easy) statements are left to the exercises.

Style of exercises
Exercises are found at the end of each chapter, and are subdivided by sections in the chapter. There are also Miscellaneous problems at the end of the chapter. The exercises vary from general important facts to computations in specific examples.

Use of the book
Artin's book is used as a textbook/reference book for advanced undergraduate algebra and is also recommended as background reading for certain graduate programs/qualifying examinations in some universities.

Comparison with other books

 * Book:DummitFoote: The book by Dummit and Foote has clearer definitions, a more rigorous presentation, and focuses more on finite groups and permutation groups as opposed to matrix groups.
 * Book:Herstein