Professional Documents
Culture Documents
Elementary abstract algebra: examples and applications Hill full chapter instant download
Elementary abstract algebra: examples and applications Hill full chapter instant download
https://ebookmass.com/product/contemporary-abstract-algebra-9th-
edition-joseph-a-gallian/
https://ebookmass.com/product/instructors-solutions-manual-for-
elementary-linear-algebra-with-applications-9th-edition-bernard-
kolman/
https://ebookmass.com/product/a-first-course-in-abstract-
algebra-7th-edition-fraleigh/
https://ebookmass.com/product/how-to-think-about-abstract-
algebra-1st-edition-lara-alcock/
Elementary Linear Algebra 8th Edition Ron Larson
https://ebookmass.com/product/elementary-linear-algebra-8th-
edition-ron-larson/
https://ebookmass.com/product/elementary-linear-algebra-metric-
version-eighth-edition-ron-larson/
https://ebookmass.com/product/jungs-reception-of-picasso-and-
abstract-art-1st-edition-lucinda-hill/
https://ebookmass.com/product/basic-mathematics-college-
trigonometry-elementary-intermediate-and-pre-algebra-charles-
mckeague/
https://ebookmass.com/product/elementary-linear-algebra-5th-
student-solutions-manual-5th-edition-andrilli-hecker/
Elementary Abstract Algebra:
Examples and Applications
Contributing editors:
Additional contributions by
January 6, 2016
abstract.ups.edu.
The Set Theory and Functions chapters are largely based on material from
”Proofs and Concepts”(version 0.78, May 2009) by Dave Witte Morris and
Joy Morris, which may be found online at:
https://archive.org/details/flooved3499, or
http://people.uleth.ca/~dave.morris/books/proofs+concepts.html
Justin and Chris would like to express their deepest gratitude to Tom, Dave
and Joy, and A. J. for generously sharing their original material. They were
not involved in the preparation of this manuscript, and are not responsible
for any errors or other shortcomings.
Please send comments and corrections to: thron@tamuct.edu. You may also
request the LATEXsource code from this same email address.
YouTube videos are available: search on YouTube for the title of this book.
c 2013,2014, 2015 by Justin Hill and Chris Thron. Some rights reserved.
Portions c 1997 by Thomas Judson. Some rights reserved.
Portions c 2006-2009 by Dave Witte Morris and Joy Morris. Some rights
reserved.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.2 or
any later version published by the Free Software Foundation; with no In-
variant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of
the license is included in the appendix entitled “GNU Free Documentation
License”.
ISBN: 978-1-312-85635-6
Contents
1 Forward 1
2 In the Beginning 5
2.1 Prologue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Integers, rational numbers, real numbers . . . . . . . . . . . . 6
2.2.1 Operations and relations . . . . . . . . . . . . . . . . 7
2.2.2 Manipulating equations and inequalities . . . . . . . . 10
2.2.3 Exponentiation (VERY important) . . . . . . . . . . . 10
2.3 Test yourself . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 Complex Numbers 13
3.1 The origin of complex numbers . . . . . . . . . . . . . . . . . 13
3.1.1 A number that can’t be real (and we can prove it!) . . 13
3.1.2 Unreal, but unavoidable . . . . . . . . . . . . . . . . . 16
3.1.3 A mathematical revolution . . . . . . . . . . . . . . . 18
3.2 Arithmetic with complex numbers . . . . . . . . . . . . . . . 22
3.2.1 Complex arithmetic . . . . . . . . . . . . . . . . . . . 22
3.2.2 Comparison of integer, rational, real and complex ad-
dition properties . . . . . . . . . . . . . . . . . . . . . 27
3.2.3 Comparison of integer, rational, real and complex mul-
tiplication properties . . . . . . . . . . . . . . . . . . . 28
3
4 CONTENTS
4 Modular Arithmetic 64
4.1 Introductory examples . . . . . . . . . . . . . . . . . . . . . . 64
4.2 Modular equivalence and modular arithmetic . . . . . . . . . 66
4.3 Modular equations . . . . . . . . . . . . . . . . . . . . . . . . 74
4.3.1 More uses of modular arithmetic . . . . . . . . . . . . 74
4.3.2 Solving modular equations . . . . . . . . . . . . . . . . 77
4.4 The integers mod n (also known as Zn ) . . . . . . . . . . . . 84
4.4.1 Arithmetic with remainders . . . . . . . . . . . . . . . 84
4.4.2 Cayley tables for Zn . . . . . . . . . . . . . . . . . . . 87
4.4.3 Closure properties of Zn . . . . . . . . . . . . . . . . . 89
4.4.4 Identities and inverses in Zn . . . . . . . . . . . . . . . 91
4.4.5 Inverses in Zn . . . . . . . . . . . . . . . . . . . . . . . 92
4.4.6 Other arithmetic properties of ⊕ and . . . . . . . . 94
4.4.7 Definition of a group . . . . . . . . . . . . . . . . . . . 95
4.5 Modular division . . . . . . . . . . . . . . . . . . . . . . . . . 96
CONTENTS 5
10 Permutations 274
10.1 Introduction to permutations . . . . . . . . . . . . . . . . . . 275
10.2 Permutation groups and other generalizations . . . . . . . . . 276
10.2.1 The symmetric group of n letters . . . . . . . . . . . . 277
10.2.2 Isomorphic groups . . . . . . . . . . . . . . . . . . . . 279
10.2.3 Subgroups and permutation groups . . . . . . . . . . . 280
10.3 Cycle notation . . . . . . . . . . . . . . . . . . . . . . . . . . 282
10.3.1 Tableaus and cycles . . . . . . . . . . . . . . . . . . . 282
10.3.2 Composition (a.k.a. product) of cycles . . . . . . . . . 286
10.3.3 Product of disjoint cycles . . . . . . . . . . . . . . . . 289
10.3.4 Products of permutations using cycle notation . . . . 293
10.3.5 Cycle structure of permutations . . . . . . . . . . . . . 295
10.4 Algebraic properties of cycles . . . . . . . . . . . . . . . . . . 298
10.4.1 Powers of cycles: definition of order . . . . . . . . . . 298
10.4.2 Powers and orders of permutations in general . . . . . 302
10.4.3 Transpositions and inverses . . . . . . . . . . . . . . . 306
10.5 “Switchyard” and generators of the permutation group . . . . 309
10.6 Other groups of permutations . . . . . . . . . . . . . . . . . . 315
10.6.1 Even and odd permutations . . . . . . . . . . . . . . . 315
10.6.2 The alternating group . . . . . . . . . . . . . . . . . . 319
10.7 Additional exercises . . . . . . . . . . . . . . . . . . . . . . . 322
8 CONTENTS
18 Polynomials 544
18.1 Polynomials of various stripes . . . . . . . . . . . . . . . . . . 544
18.2 Polynomial rings . . . . . . . . . . . . . . . . . . . . . . . . . 547
18.3 The Division Algorithm for Polynomials . . . . . . . . . . . . 557
18.4 Polynomial roots . . . . . . . . . . . . . . . . . . . . . . . . . 559
18.5 Proof that U (p) is cyclic . . . . . . . . . . . . . . . . . . . . . 562
20 Hints 582
20.1 Hints for “Complex Numbers” exercises . . . . . . . . . . . . 582
20.2 Hints for “Modular Arithmetic” exercises . . . . . . . . . . . 583
20.3 Hints for “Introducction to Cryptography” exercises . . . . . 584
20.4 Hints for “Set Theory” exercises . . . . . . . . . . . . . . . . 585
20.5 Hints for “Functions: basic concepts” exercises . . . . . . . . 585
20.6 Hints for “Equivalence Relations and Equivalence Classes”
exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 585
20.7 Hints for “Symmetries of Plane Figures” exercises . . . . . . 586
20.8 Hints for “Permutations” exercises . . . . . . . . . . . . . . . 586
20.9 Hints for “Abstract Groups: Definitions and Basic Proper-
ties” exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . 587
12 CONTENTS
Index 591
1
Forward
To the student:
Many students start out liking math. Some like it well enough that they
even want to teach it. However, when they reach advanced math classes
(such as abstract algebra), they feel bewildered and frustrated. Their text-
books talk about mathematical concepts they’ve never heard of before, which
have various properties which come from who knows where. In lectures, the
prof. pronounces oracles (a.k.a theorems) and utters long incantations called
“proofs” , but it’s hard to see the point of either.
If the above paragraph describes you, then this book is meant for you!
There’s a good reason why higher math classes are bewildering for most
students. I believe that we math instructors tend to take too much for
granted.1 We’ve forgotten that we are able to understand abstractions be-
cause we have concrete examples in the back of our minds that we keep
referring back to, consciously or subconsciously. These examples enable us
to fit abstract ideas in with specific behaviors and patterns that we’re very
familiar with. But students who don’t have a firm hold on the examples
have nothing to hold on to, and are left grasping (and gasping) for air.
To be sure, most students have previously been exposed to various im-
portant examples that (historically) gave rise to abstract algebra. These
examples include the complex numbers, integers mod n, symmetries, and so
on. They can give definitions and do some computations according to the
1
My dad always says that math is excruciatingly difficult to learn, but once you get it
it’s excruciatingly difficult to see why others can’t understand it like you do.
1
2 CHAPTER 1 FORWARD
rules. But they haven’t been given a chance to internalize these examples.
They can kind of follow along, but they don’t really “speak the language”.
Our hope is that after reading this book students will be able to say,
“I’ve seen complex numbers, permutations and other such things before,
but now I understand what makes them tick. I also see they have some very
deep similarities with each other, and with other mathematical objects that
I’m familiar with.”
This is actually a very good time to be learning abstract algebra. Long
the province of specialists and puzzle enthusiasts, abstract algebra has re-
cently made impressive showings on the center stage of modern science and
technology. Two areas where abstract algebra has made strong contribu-
tions stand out particularly: information processing and physics. Coding of
information is at the heart of information technology, and abstract algebra
provides all of the methods of choice for information coding that is both
reliable (impervious to errors) and private. On the other hand, many of the
recent advances in physics is due to understanding of physical symmetries
and the groups that produce them. We try as much as possible to make
connections with these two areas, and hope to do so increasingly in future
editions.
Enjoy the book, and send us your comments!
To the instructor
This book is not intended for budding mathematicians. It was created
for a math program in which most of the students in upper-level math classes
are planning to become secondary school teachers. For such students, most
if not all published abstract algebra texts are totally incomprehensible, both
in style and in content. Faced with this situation, we decided to create a
book that our students could actually read for themselves. In this way
we have been able to dedicate class time to problem-solving and two-way
interaction rather than rehashing the same material in lecture format.
Some instructors may feel that this book doesnt cover enough, and ad-
mittedly it falls short of the typical syllabus. But in far too many abstract
algebra classes, the syllabus is covered and the students retain nothing. We
feel it is much better to cover less but have the material stick. We have also
avoided an “abstract” treatment and instead used specific examples (com-
plex numbers, modular arithmetic, permutations, and so on) as stepping
stones to general principles. The unhappy fact is that many students at this
level have not yet mastered these important basic examples, and it is useless
3
• The latest version of the book (and any accessory materials) may be
found at the TAMU-CT Mathematics Department web page (go to
www.tamuct.edu and search for “Mathematics Resources”).
Acknowledgements
In our preparation of this text, we were fortunate to find via the web
some extraordinarily generous authors (Tom Judson, Dave Witte Morris
and Joy Morris, A. J. Hildebrand) who freely shared their material with
us. Thanks to them, we were able to put the first version of this textbook
together within the span of a single semester (not that we’re finished – this
is a living book, not a dead volume). We hope that other instructors will
similarly benefit from the material offered here.
Several Master’s students at Texas A&M-Central Texas have made con-
tributions to the book as part of a projects course or thesis. The original
version was Justin Hill’s Master’s thesis. Holly Webb wrote the Group
Actions chapter and David Weathers wrote parts of “In the Beginning”,
“A Sticky Problem”, ”Sigma Notation” and “Polynomials“ as part of their
coursework.
Others have made contributions to both content and format. Johnny
Watts our “math technician” helped with technical details. Khoi Tran con-
tributed his excellent exercise solutions.
Above all we want to acknowledge the One to whom all credit is ulti-
mately due. “Unless the LORD builds the house, the builders labor in vain.
Unless the LORD keeps the city, the watchman is wakeful in vain. It is
vanity to rise up early, stay up late, and eat the bread of sorrows, for He
gives sleep to those He loves.” (Psalm 127:1-2)
2
In the Beginning
2.1 Prologue
If Maria had been the Trapp children’s math tutor, she might have con-
tinued: “When you count, you begin with 1 2 3”. Ordinarily we think of
the “counting numbers” (which mathematicians call the natural numbers or
positive integers) as the “very beginning” of math.1
It’s true that when we learn math in school, we begin with the counting
numbers. But do we really start at the “very beginning”? How do we know
that 1 + 1 = 2? How do we know that the methods we learned to add,
multiply, divide, and subtract will always work? We’ve been taught how to
factor integers into prime factors. But how do we know this always works?
Mathematicians are the ultimate skeptics: they won’t take “Everyone
knows” or “It’s obvious” as valid reasons. They keep asking “why”, break-
ing things down into the most basic assumptions possible. The very basic
assumptions they end up with are called axioms. They then take these
1
A famous mathematician once said, “God made the integers; all else is the work of
man.” (Leopold Kronecker, German mathematician, 1886)
5
6 CHAPTER 2 IN THE BEGINNING
axioms and play with them like building blocks. The arguments that they
build with these axioms are called proofs, and the conclusions of these
proofs are called propositions or theorems.
The mathematician’s path is not an easy one. It is exceedingly difficult
to push things back to their foundations. For example, arithmetic was used
for thousands of years before a set of simple axioms was finally developed
(you may look up “Peano axioms” on the web).2 Since this is an elementary
book, we are not going to try to meet rigorous mathematical standards.
Instead, we’ll lean heavily on examples, including the integers, rationals,
and real numbers. Once you are really proficient with different examples,
then it will be easier to follow more advanced ideas.3
This text is loaded with proofs, which are as unavoidable in abstract
mathematics as they are intimidating to many students. We try to “tone
things down” as much as possible. For example, we will take as “fact” many
of the things that you learned in high school and college algebra–even though
you’ve never seen proofs of these “facts”. In the next section we remind you
of some of these “facts”. When writing proofs or doing exercise feel free to
use any of these facts. If you have to give a reason, you can just say “basic
algebra”.
We close this prologue with the assurance that abstract algebra is a
beautiful subject that brings amazing insights into the nature of numbers,
and the nature of Nature itself. Furthermore, engineers and technologists
are finding more and more practical applications, as we shall see in the
coming chapters.
We assume that you have already been introduced to the following number
systems: integers, rational numbers, and real numbers.4 These number sys-
tems possess the well-known arithmetic operations of addition, subtraction,
multiplication, and division. The following statements hold for all of these
number systems.
2
The same is true for calculus. Newton and Leibniz first developed calculus around
1670, but it was not made rigorous until 150 years later.
3
Historically, mathematics has usually progressed this way: examples first, and axioms
later after the examples are well-understood.
4
This section and the following were written by David Weathers (edited and expanded
by C.T.)
2.2 INTEGERS, RATIONAL NUMBERS, REAL NUMBERS 7
Warning There are number systems for which the following properties do
NOT hold (as we shall see later). So they may be safely assumed ONLY for
integers, rational numbers, and real numbers. ♦
(a) Commutative: When two numbers are added together, the two numbers
can be exchanged without changing the value of the result. The same
thing is true for two numbers being mulitiplied together.
(b) Associative: When three or more numbers are added together, chang-
ing the grouping of the numbers being added does not change the value
of the result. The same goes for three or more numbers multiplied to-
gether. (Note that in arithmetic expressions, the “grouping” of numbers
is indicated by parentheses.)
(d) Order : Given two numbers, exactly one of these three are true: either
the first number is greater than the second, or the second number is
greater than the first, or the two numbers are equal.
(f) The sum of two positive numbers is positive. The sum of two negative
numbers is negative.
(g) The product of two nonzero numbers with the same sign is positive. The
product of two numbers with different signs is negative.
(h) If the product of two numbers is zero, then one or the other number
must be zero.
Exercise 1.
8 CHAPTER 2 IN THE BEGINNING
(a) For the properties a,b,c,e above, give (i) a specific example for addition,
using numbers, and (ii) a general statement for multiplication, using
variables. For example, for property (a) (the commutative property) a
specific example would be 3 + 5 = 5 + 3, and a general statement would
be x · y = y · x.
(b) For properties d,f,g,h above, give a specific example which illustrates
the property using numbers.
Exercise 2.
(a) Give an example (using numbers) that shows that subtraction is not
commutative .
(b) Give an example (using numbers) that shows that division is not asso-
ciative.
(a) (x + y) + (z + w) = (z + w) + (x + y)
(b) (x · y) · z = (z · x) · y)
(c) (a · x + a · y) + a · z = a · ((x + y) + z)
IN ROUMANIA