DOCSLIB.ORG

Basic Concepts in Algebra §1. Notations and Terminologies

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Basic Concepts in Algebra §1. Notations and Terminologies Basic Concepts in Algebra x1. Notations and terminologies (1.1) Some symbols • 8: \for all" • 9: \there exists" • 7!: maps to (under a map/function) • lhs := rhs (\rhs" is the definition of \lhs") • X r S: the complement in S of a subset S ⊆ X • 2S, where S is a set: the set of all subsets of S • Z: the set of all integers • N: the set of all natural numbers (including 0) • Q: the set of all rational numbers • R: the set of all real numbers • C: the set of all complex numbers • N>0: the set of all positive integers • M2(R): the set of all 2 × 2 matrices with entries in R • GL3(Q): the set of all invertible 3 × 3 matrices A with entries in Q, i.e. there exists a 3 × 3 matrix B with entries in Q such that A · B = B · A = I3, where I3 is the 3 × 3 matrix whose diagonal entries are 1 and off-diagonal entries are 0. • GL2(Z): the set of all invertible 2 × 2 matrices A with entries in Z such that there exists a 2 × 2 matrix B with entries in Q satisfying A · B = B · A = I3 ; this amounts to the condition that the determinant of A is ±1. • R[x]: the set of all polynomials with coefficients in R • Q[x; y]: the set of all polynomials in two variables x and y with all coefficients in Q • Z[x; y; z]: the set of all polynomials in three variables x; y; z with all coefficients in Z. (1.2) Definition Let f : S ! T be a map from a set S to a set T . 1 (a) The map f is said to be injective (or, f is an injection) if for any two elements s1; s2 2 S, f(s1) = f(s2) only if s1 = s2. Another standard terminology for the same concept: f is one-to-one. (b) The map f is said to be surjective (or, f is a surjection) if for every element t 2 T , there exists an element s 2 S such that f(s) = t. In other words the image f(S) of f is equal to the target T of the map f. Another standard terminology for the same concept: f is onto. (c) The map f is said to be bijective (or, f is a bijection) if f is both injective and surjective. Another standard terminology for the same concept: f is a one-to-one and onto correspondence. (1.3) Definition Let S1;:::;Sn be sets. The product S1 × · · · Sn of S1;:::;Sn is the set consisting of all n-tuples (x1; : : : ; xn) such that xi 2 Si for all i = 1; : : : ; n. Such a product Qn Q is also denoted i=1 Si, where \ " is the symbol for a product. The above definition in words can also be expressed by the following formula n Y Si = S1 × · · · Sn := f(x1; : : : ; xn) j xi 2 Si 8 i = 1; : : : ; ng i=1 (1.4) Remark We will not need to use the product of an infinite family of sets. In case you wonder what such an infinite product is, suppose that I is an indexing set, and Si is a family of sets indexed by I. (a) The disjoint union ti2I Si of the sets Si. is the set of all pairs (i; x) where i is an element of the indexing set I and x is an element of the set Si indexed by i. For each j 2 I, the set Sj is naturally identified with the subset of all elements in ti2I Si of the form (j; x) such that x 2 Sj. (Another notation form the disjoint union is \`" because \coproduct" of sets are ` nothing but disjoint union, so ti2I Si can also be written as i2I Si. However we want to avoid such notation because the coproduct of a finite family of groups is the same as their products, but the coproduct of an infinite family of groups is a proper subgroup of the product group.) Q (b) The product i2I Si is the set of all functions f : I ! ti2I Si from I to the disjoint union ti2I Si of the sets Si such that (1.5) Definition Let f : X ! S and g : Y ! S be maps of sets. The fiber product of f : X ! S and g : Y ! S, denoted by X ×f;S;g Y or X ×S Y for short, is the subset of X ×Y 2 consisting of all pairs (x; y) 2 X × Y such that f(x) = g(y). Denote by π1 : X ×S Y ! X and π2 : X ×S Y ! Y the two \projections", defined by π1(x; y) = x ; π2(x; y) = y 8(x; y) 2 X ×S Y: Clear f ◦ π1 = g ◦ π2 by construction. The triple (X ×S Y; π1; π2) satisfies the following universal property: For any maps of sets u: T ! X, v : T ! Y such that f ◦ u = g ◦ v, there exists a unique map h: T ! X ×S Y such that u = π1 ◦ h and v = π2 ◦ h. (1.6) Definition An equivalence relation on a set S is a subset R ⊆ S × S satisfying the following properties. • (R is reflexive) (x; x) 2 R for all x 2 S. In word, every element of S is equivalent to itself under the equivalence relation R. • (R is symmetric) If (x; y) 2 R then (y; x) 2 R. In words, if x is equivalent to y then y is equivalent to x. • (R is transitive) If x; y; z are elements in S such that (x; y) 2 R and (y; z) 2 R, then (x; z) in R. In words, if x is equivalent to y and y is equivalent to z, then x is equivalent to z. (1.7) Definition Let R be an equivalence relation on a set S. (a) The equivalence class under R containing an element x 2 R is the set of all elements y 2 S such that (x; y) 2 R. (So an equivalence class is a subset of S. Note that any two equivalence classes are either identical or disjoint. So the equivalence relation R partitions the set S into a disjoint union of equivalence classes.) (b) The set S=R is the set of all equivalence classes in S with respect to R. (So each element of the set S=R is a subset of S, i.e. S=R is a set of subsets of S.) Example: Two integers a; b are said to be congruent modulo 37 (notation: a ≡ b (mod 37)) if their difference is divisible by 37. Being congruent modulo 37 is an equivalence relation on Z. The set of all equivalence classes for this equivalence relation denoted by Z=37Z. Note that each element of Z=37Z is a subset of Z; one such element is 1 + 37Z, consisting of all integers n such that get 1 as the remainder if you divide n by 37. Of course you can replace 37 by any integer N and define an equivalence relation in a similar way. (1.8) Definition A partial ordering on a set S is a relation on S, written a b if this relation holds for the ordered pair (a; b), and the following properties hold. 3 (i) a a for all a 2 S. (ii) If a b and b c, a; b; c 2 S, then a c. (iii) If a; b 2 S, a b and b a, then a = b. A partial ordering on S is said to be a total ordering if property (iv) below holds. (iv) For any two elements a; b 2 S, either a b or b a. (1.9) Definition Let be a partial ordering on a set S. (a) An upper bound of a subset T is an element b 2 S such that t b for all t 2 T . (b) A maximal element of a subset T is an element m 2 T such that there is no element in T which is bigger than m. In other words, if t 2 T and m t, then t = m. (1.10) Zorn's Lemma. Let S be a non-empty partially ordered set such that every totally ordered subset T ⊂ S has an upper bound in S. Then there exists a maximal element in S. Zorn's Lemma is an equivalent form of the axiom of choice in set theory, which is known to be independent of the basic axioms in standard set theory and is consistent if the standard set theory is, i.e. assuming it will not lead to contradiction unless the standard set theory already does (an inconceivable scenario|then almost all of the known mathematics will have to be abandoned). Most mathematicians use Zorn's lemma freely. (1.11) Definition (a) Two sets S1 and S2 are said to have the same cardinality if there exists a bijection between S1 and S2; we write Card(S1) = Card(S2) if this is the case. (b) We say that the cardinality of a set S1 is less than or equal to a set S2 if there exists an injection from S1 ! S2. This property is equivalent (under the axiom of choice) to the existence of a surjection from S2 to S1. Notation: Card(S1) ≤ Card(S2). (1.12) Basic facts about cardinality, assuming the axiom of choice. (i) If Card(S1) ≤ Card(S2); and Card(S2) ≤ Card(S3), then Card(S1) ≤ Card(S3).
Load more

Recommended publications
  • Ring Homomorphisms Definition
    4-8-2018 Ring Homomorphisms Definition. Let R and S be rings. A ring homomorphism (or a ring map for short) is a function f : R → S such that: (a) For all x,y ∈ R, f(x + y)= f(x)+ f(y). (b) For all x,y ∈ R, f(xy)= f(x)f(y). Usually, we require that if R and S are rings with 1, then (c) f(1R) = 1S. This is automatic in some cases; if there is any question, you should read carefully to find out what convention is being used. The first two properties stipulate that f should “preserve” the ring structure — addition and multipli- cation. Example. (A ring map on the integers mod 2) Show that the following function f : Z2 → Z2 is a ring map: f(x)= x2. First, f(x + y)=(x + y)2 = x2 + 2xy + y2 = x2 + y2 = f(x)+ f(y). 2xy = 0 because 2 times anything is 0 in Z2. Next, f(xy)=(xy)2 = x2y2 = f(x)f(y). The second equality follows from the fact that Z2 is commutative. Note also that f(1) = 12 = 1. Thus, f is a ring homomorphism. Example. (An additive function which is not a ring map) Show that the following function g : Z → Z is not a ring map: g(x) = 2x. Note that g(x + y)=2(x + y) = 2x + 2y = g(x)+ g(y). Therefore, g is additive — that is, g is a homomorphism of abelian groups. But g(1 · 3) = g(3) = 2 · 3 = 6, while g(1)g(3) = (2 · 1)(2 · 3) = 12.
    [Show full text]
  • Embedding Two Ordered Rings in One Ordered Ring. Part I1
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 2, 341-364 (1966) Embedding Two Ordered Rings in One Ordered Ring. Part I1 J. R. ISBELL Department of Mathematics, Case Institute of Technology, Cleveland, Ohio Communicated by R. H. Bruck Received July 8, 1965 INTRODUCTION Two (totally) ordered rings will be called compatible if there exists an ordered ring in which both of them can be embedded. This paper concerns characterizations of the ordered rings compatible with a given ordered division ring K. Compatibility with K is equivalent to compatibility with the center of K; the proof of this depends heavily on Neumann’s theorem [S] that every ordered division ring is compatible with the real numbers. Moreover, only the subfield K, of real algebraic numbers in the center of K matters. For each Ks , the compatible ordered rings are characterized by a set of elementary conditions which can be expressed as polynomial identities in terms of ring and lattice operations. A finite set of identities, or even iden- tities in a finite number of variables, do not suffice, even in the commutative case. Explicit rules will be given for writing out identities which are necessary and sufficient for a commutative ordered ring E to be compatible with a given K (i.e., with K,). Probably the methods of this paper suffice for deriving corresponding rules for noncommutative E, but only the case K,, = Q is done here. If E is compatible with K,, , then E is embeddable in an ordered algebra over Ks and (obviously) E is compatible with the rational field Q.
    [Show full text]
  • Math 250A: Groups, Rings, and Fields. H. W. Lenstra Jr. 1. Prerequisites
    Math 250A: Groups, rings, and fields. H. W. Lenstra jr. 1. Prerequisites This section consists of an enumeration of terms from elementary set theory and algebra. You are supposed to be familiar with their definitions and basic properties. Set theory. Sets, subsets, the empty set , operations on sets (union, intersection, ; product), maps, composition of maps, injective maps, surjective maps, bijective maps, the identity map 1X of a set X, inverses of maps. Relations, equivalence relations, equivalence classes, partial and total orderings, the cardinality #X of a set X. The principle of math- ematical induction. Zorn's lemma will be assumed in a number of exercises. Later in the course the terminology and a few basic results from point set topology may come in useful. Group theory. Groups, multiplicative and additive notation, the unit element 1 (or the zero element 0), abelian groups, cyclic groups, the order of a group or of an element, Fermat's little theorem, products of groups, subgroups, generators for subgroups, left cosets aH, right cosets, the coset spaces G=H and H G, the index (G : H), the theorem of n Lagrange, group homomorphisms, isomorphisms, automorphisms, normal subgroups, the factor group G=N and the canonical map G G=N, homomorphism theorems, the Jordan- ! H¨older theorem (see Exercise 1.4), the commutator subgroup [G; G], the center Z(G) (see Exercise 1.12), the group Aut G of automorphisms of G, inner automorphisms. Examples of groups: the group Sym X of permutations of a set X, the symmetric group S = Sym 1; 2; : : : ; n , cycles of permutations, even and odd permutations, the alternating n f g group A , the dihedral group D = (1 2 : : : n); (1 n 1)(2 n 2) : : : , the Klein four group n n h − − i V , the quaternion group Q = 1; i; j; ij (with ii = jj = 1, ji = ij) of order 4 8 { g − − 8, additive groups of rings, the group Gl(n; R) of invertible n n-matrices over a ring R.
    [Show full text]
  • 5 Lecture 5: Huber Rings and Continuous Valuations
    5 Lecture 5: Huber rings and continuous valuations 5.1 Introduction The aim of this lecture is to introduce a special class of topological commutative rings, which we shall call Huber rings. These have associated spaces of valuations satisfying suitable continuity assumptions that will lead us to adic spaces later. We start by discussing some basic facts about Huber rings. Notation: If S; S0 are subsets of ring, we write S · S0 to denote the set of finite sums of products ss0 0 0 n for s 2 S and s 2 S . We define S1 ··· Sn similarly for subsets S1;:::;Sn, and likewise for S (with Si = S for 1 ≤ i ≤ n). For ideals in a ring this agrees with the usual notion of product among finitely many such. 5.2 Huber rings: preliminaries We begin with a definition: Definition 5.2.1 Let A be a topological ring. We say A is non-archimedean if it admits a base of neighbourhoods of 0 consisting of subgroups of the additive group (A; +) underlying A. Typical examples of non-archimedean rings are non-archimedean fields k and more generally k-affinoid algebras for such k. Example 5.2.2 As another example, let A := W (OF ), where OF is the valuation ring of a non- archimedean field of characteristic p > 0. A base of open neighbourhoods of 0 required in Definition 5.2.1 is given by n p A = f(0; ··· ; 0; OF ; OF ; ··· ); zeros in the first n slotsg; Q the p-adic topology on A is given by equipping A = n≥0 OF with the product topology in which each factor is discrete.
    [Show full text]
  • MATH 615 LECTURE NOTES, WINTER, 2010 by Mel Hochster
    MATH 615 LECTURE NOTES, WINTER, 2010 by Mel Hochster ZARISKI'S MAIN THEOREM, STRUCTURE OF SMOOTH, UNRAMIFIED, AND ETALE´ HOMOMORPHISMS, HENSELIAN RINGS AND HENSELIZATION, ARTIN APPROXIMATION, AND REDUCTION TO CHARACTERISTIC p Lecture of January 6, 2010 Throughout these lectures, unless otherwise indicated, all rings are commutative, asso- ciative rings with multiplicative identity and ring homomorphisms are unital, i.e., they are assumed to preserve the identity. If R is a ring, a given R-module M is also assumed to be unital, i.e., 1 · m = m for all m 2 M. We shall use N, Z, Q, and R and C to denote the nonnegative integers, the integers, the rational numbers, the real numbers, and the complex numbers, respectively. Our focus is very strongly on Noetherian rings, i.e., rings in which every ideal is finitely generated. Our objective will be to prove results, many of them very deep, that imply that many questions about arbitrary Noetherian rings can be reduced to the case of finitely generated algebras over a field (if the original ring contains a field) or over a discrete valuation ring (DVR), by which we shall always mean a Noetherian discrete valuation domain. Such a domain V is characterized by having just one maximal ideal, which is principal, say pV , and is such that every nonzero element can be written uniquely in the form upn where u is a unit and n 2 N. The formal power series ring K[[x]] in one variable over a field K is an example in which p = x. Another is the ring of p-adic integers for some prime p > 0, in which case the prime used does, in fact, generate the maximal ideal.
    [Show full text]
  • RING THEORY 1. Ring Theory a Ring Is a Set a with Two Binary Operations
    CHAPTER IV RING THEORY 1. Ring Theory A ring is a set A with two binary operations satisfying the rules given below. Usually one binary operation is denoted `+' and called \addition," and the other is denoted by juxtaposition and is called \multiplication." The rules required of these operations are: 1) A is an abelian group under the operation + (identity denoted 0 and inverse of x denoted x); 2) A is a monoid under the operation of multiplication (i.e., multiplication is associative and there− is a two-sided identity usually denoted 1); 3) the distributive laws (x + y)z = xy + xz x(y + z)=xy + xz hold for all x, y,andz A. Sometimes one does∈ not require that a ring have a multiplicative identity. The word ring may also be used for a system satisfying just conditions (1) and (3) (i.e., where the associative law for multiplication may fail and for which there is no multiplicative identity.) Lie rings are examples of non-associative rings without identities. Almost all interesting associative rings do have identities. If 1 = 0, then the ring consists of one element 0; otherwise 1 = 0. In many theorems, it is necessary to specify that rings under consideration are not trivial, i.e. that 1 6= 0, but often that hypothesis will not be stated explicitly. 6 If the multiplicative operation is commutative, we call the ring commutative. Commutative Algebra is the study of commutative rings and related structures. It is closely related to algebraic number theory and algebraic geometry. If A is a ring, an element x A is called a unit if it has a two-sided inverse y, i.e.
    [Show full text]
  • Math 331-2 Lecture Notes
    Math 331-2: Abstract Algebra Northwestern University, Lecture Notes Written by Santiago Ca~nez These are notes which provide a basic summary of each lecture for Math 331-2, the second quarter of \MENU: Abstract Algebra", taught by the author at Northwestern University. The book used as a reference is the 3rd edition of Abstract Algebra by Dummit and Foote. Watch out for typos! Comments and suggestions are welcome. Contents Lecture 1: Introduction to Rings 2 Lecture 2: Matrix and Polynomial Rings 6 Lecture 3: More Ring Constructions 8 Lecture 4: Quotient Rings 14 Lecture 5: More on Quotients and Ideals 18 Lecture 6: Maximal Ideals 21 Lecture 7: Prime Ideals 25 Lecture 8: Geometry via Algebra 28 Lecture 9: Rings of Fractions 32 Lecture 10: More on Fractions 37 Lecture 11: Chinese Remainder Theorem 43 Lecture 12: Euclidean Domains 47 Lecture 13: More on Euclidean 51 Lecture 14: Principal Ideal Domains 54 Lecture 15: Unique Factorization 57 Lecture 16: More on UFDs 60 Lecture 17: Polynomials Revisited 63 Lecture 18: Gauss's Lemma 66 Lecture 19: Eisenstein's Criterion 69 Lecture 20: Modules over Rings 72 Lecture 21: Module Homomorphisms 77 Lecture 22: Sums and Free Modules 80 Lecture 23: Modules over PIDs 85 Lecture 24: Structure Theorems 89 Lecture 25: More on Structure Theorems 92 Lecture 26: Jordan Normal Form 97 Lecture 27: More on Normal Forms 103 Lecture 1: Introduction to Rings We continue our study of abstract algebra, this quarter focusing on rings and (to a lesser extent) modules. Rings provide a general setting in which \arithmetic" and the notion of \number" makes sense, and indeed the development of ring theory was borne out of attempts to understand general properties analogous to those of integers.
    [Show full text]
  • 0. Introduction to Categories
    0. Introduction to categories September 21, 2014 These are notes for Algebra 504-5-6. Basic category theory is very simple, and in principle one could read these notes right away|but only at the risk of being buried in an avalanche of abstraction. To get started, it's enough to understand the definition of \category" and \functor". Then return to the notes as necessary over the course of the year. The more examples you know, the easier it gets. Since this is an algebra course, the vast majority of the examples will be algebraic in nature. Occasionally I'll throw in some topological examples, but for the purposes of the course these can be omitted. 1 Definition and examples of a category A category C consists first of all of a class of objects Ob C and for each pair of objects X; Y a set of morphisms MorC(X; Y ). The elements of MorC(X; Y ) are denoted f : X−!Y , where f is the morphism, X is the source and Y is the target. For each triple of objects X; Y; Z there is a composition law MorC(X; Y ) × MorC(Y; Z)−!MorC(X; Z); denoted by (φ, ) 7! ◦ φ and subject to the following two conditions: (i) (associativity) h ◦ (g ◦ f) = (h ◦ g) ◦ f (ii) (identity) for every object X there is given an identity morphism IdX satisfying IdX ◦ f = f for all f : Y −!X and g ◦ IdX = g for all g : X−!Y . Note that the identity morphism IdX is the unique morphism satisfying (ii).
    [Show full text]
  • Modules and Categories∗ Lenny Taelman
    Modules and Categories∗ Lenny Taelman ∗Preliminary version, May 22, 2018 Contents Foreword 7 Prerequisites 7 Other sources 7 Acknowledgements 7 Chapter 1. Modules over a ring 9 1. Left and right modules 9 2. First examples 10 3. Homomorphisms, submodules and quotient modules 12 4. Products, direct sums and free modules 13 Exercises 17 Chapter 2. Exact sequences 21 1. Exact sequences 21 2. The Five Lemma and the Snake Lemma 22 3. Split short exact sequences 24 Exercises 26 Chapter 3. Finitely generated modules over a PID 31 1. Introduction 31 2. Review of principal ideal domains 31 3. Free modules of finite rank over a PID 32 4. Structure of finitely generated modules over a PID 33 5. Application to Jordan normal form 35 Exercises 38 Chapter 4. Categories 41 1. Definition 41 2. Big examples 42 3. Small examples 42 4. Isomorphisms, monomorphisms, epimorphisms 44 3 4 CONTENTS 5. Initial and final objects 45 Exercises 47 Chapter 5. Functors 51 1. Definition of a functor 51 2. Many examples 51 3. Contravariant functors 54 4. Functors with multiple arguments 55 5. Morphisms of functors 56 6. Equivalences of categories 57 Exercises 61 Chapter 6. Tensor product 65 1. Tensor product of a right and a left module 65 2. Tensor products and bimodules 68 3. Tensor product as a functor 70 4. The adjunction 72 5. Restriction and extension of scalars 73 Exercises 75 Chapter 7. Adjoint functors 79 1. Adjoint pairs of functors 79 2. Many examples 80 3. Yoneda and uniqueness of adjoints 83 Exercises 86 Chapter 8.
    [Show full text]
  • Math 120 Homework 7 Solutions
    Math 120 Homework 7 Solutions May 18, 2018 Question 0* Let X be any nonempty set, and let P(X) be the set of all subsets of X (the power set of X). Define operations of addition and multiplication on P(X) by A + B = (A − B) [ (B − A) A × B = A \ B i.e. addition is the symmetric difference of subsets and multiplication is intersection of subsets. Prove that P(X) is a commutative ring under these operations. The additive identity is the empty set ; and the multiplicative identity is the whole set X. The things to check are: 1. P(X) is closed under addition and multiplication. 2. (P(X); +) is an abelian group. 3. Multiplication is associative, commutative, and has X as the identity. 4. The distributive property A × (B + C) = A × B + A × C: [TC: One way to understand this in terms of things we discussed in class is to note that P(X) can be identified with Functions(X; Z=2Z), where a function f : X ! Z=2Z corresponds to the set Sf := fx 2 X j f(x) = 1g. One should check that the definitions of addition and multiplication above match up (i.e. Sf+g = (Sf n Sg) [ (Sg n Sf ) and Sf·g = Sf \ Sg), so this is a ring isomorphism.] Question 1 Let F be a field, and let R ⊂ F be a subring of F . Prove that R is a domain. We only need to check that R has no nontrivial zero divisors. Suppose otherwise; then a · b = 0 for some a; b 2 R both nonzero.
    [Show full text]
  • Exact Sequences for Mixed Coproduct/Tensor-Product Ring Construction S
    Publicacions Matemàtiques, Vol 38 (1994), 89-126 . EXACT SEQUENCES FOR MIXED COPRODUCT/TENSOR-PRODUCT RING CONSTRUCTION S WARREN DICKS AND I . J . LEARY Abstract To a commutative ring K, and a family of K-algebras indexed by the vertex set of a graph, we associate a K-algebra obtained by a mixture of coproduct and tensor product constructions . For this, and related constructions, we give exact sequences and deduc e homological properties. 1 . Int roduct ion 1 .1. Notation . Throughout, let K be a ring (associative, with 1). The symbols ~ and ~ with no subscript are understood to mean ~K and respectively. Throughout, let X be a set, and A Ç X x X a symmetric antireflexive relation on X, that is, (x, y) E A implies (y, x) E A, and no (x, x) lies in A . This corresponds to a (nonoriented) graph XA with vertex set X : we define XA to have an edge connecting two elements x and y if and only if (x, y) E A. If Y is any subset of X, the full subgraph YAn(Y x Y) of XA will be abbreviated YA. Recall that a graph is complete if each pair of vertices is connected by an edge . Thus the complete subgraphs of XA correspond to the subset s Y of X such that any two elements of Y are connected by an edge in XA . In this article we shall be studying a general situation described in Hypothesis 3.1, below ; it is well-illustrated by the following special case. 90 WARREN DICKS, 1 .
    [Show full text]
  • MATH 228: COMMUTATIVE RING THEORY James D. Lewis TABLE
    MATH 228: COMMUTATIVE RING THEORY James D. Lewis TABLE OF CONTENTS Properties of the real numbers. • Definition of commutative rings and fields. • Examples: includes finite fields, Gaussian integers and complex numbers. • Mathematical induction: direct and indirect approaches. • Division and factoring: Euclid's algorithm for the integers. • Greatest common divisors (GCD) and the integers as an example of a Principal Ideal • Domain (PID). Primes and irreducibles, and the Fundamental Theorem of Arithmetic. • Least common multiples (LCM). • Equivalence relations and examples. • The ring of integers mod n, Zn, zero-divisors, units, integral domains, the Euler-Phi • function, Chinese remainder theorem. Solutions of equations over rings and fields, the characteristic of a field, quadratic • extensions of fields. Polynomial rings, factorization and Euclid's algorithm, Q roots of polynomials in Z[x], • Fundamental Theorem of Algebra, polynomial rings over a field as an example of a PID and a UFD (Unique Factorization Domain); the Noetherian property and A a PID A a UFD. Appendix:) Gauss's Lemma and applications: Z[x] a UFD, Polynomial rings are • UFD's. Ring homomorphisms, ideals and quotient rings, prime and maximal ideals. • Geometric applications: Ruler and compass constructions; impossibility of trisection • of an angle and duplication of the cube. Appendix: Some set theory with regard to countability/uncountability results. • Appendix: Ordered fields. • Sample assignments, exams, and solutions. • c James Dominic Lewis, December, 2000. Cover page computer artistic work courtesy of Dale R. Lewis. 1 MATH 228 A Course on Commutative Rings James D. Lewis + R = Real numbers: Picture : − − ◦ −! Z = Integers = 0; 1; 2; : : : f g a a a Q = Rational numbers = a; b Z; b = 0 & 1 = 2 a b = b a b 2 6 b b , 1 2 1 2 1 2 There are inclusions Z Q R; ⊂ ⊂ where the inclusion Z Q is given by n Z n Q.
    [Show full text]