<<

Algebraic structures A is a G with a satisfying associativity, and the ˚ ‹ existence of an identity and inverses. A is a set M with a binary operation satisfying associativity and ˚ ‹ the existence of an identity. (e.g. Z, ) p ˆq A is a set S with a binary operation satisfying associativity (e.g. ˚ ‹ Z 0, ). p ° `q A field is a set F with two binary operations, and ,suchthat F, and ˚ ` ˆ p `q F 0 , are abelian groups, and the holds between p ´t u ˆq and .(e.g.R or Z pZ) ` ˆ { A (over a field F )isaanabeliangroup V, that has a ˚ p `q faithful action on it by F that satisfies the distributive properties. (i.e. for n f F , u, v V , f u v f u f v). (e.g. F R, V R ) P P ¨p ` q“ ¨ ` ¨ “ “ A (with identity) is a set R with two binary operations, and ,such ˚ ` ˆ that R, is an , and R, is a monoid, and the distributive p `q p ˆq property holds. (e.g. Z or Z x ) r s An (over a field F )isaringA such that A, forms a vector space ˚ p `q over F and the distributive properties hold. (e.g. F R, A R x ) “ “ r s A (over a ring R)isanabeliangroup M, with an action from R ˚ p `q that satisfies the distributive properties. (e.g. R Z acts on M Z nZ by “ “ { multiplication) ...and many many others.

Relating di↵erent algebraic structures: one binary operation

A semigroup is a set S with a binary operation satisfying ‹ associativity. A monoid is a semigroup M, that has an . p ‹q A group is a monoid G, that has an inverse for every element. p ‹q

groups t u Ä t u Ä t u Relating di↵erent algebraic structures: two binary operations

A ring (with identity) is a set R with two binary operations, ` and ,suchthat R, is an abelian group, and R, is a ˆ p `q p ˆq monoid, and the distributive property holds. A field is a ring R where R 0 , is an abelian group. p ´t u ˆq An algebra (over a field F )isaringA such that A, forms a p `q vector space over F and the distributive properties hold.

fields rings w/ 1 groups t u Ä t u Ä t u

rings w/ 1 groups t u Ä t u Ä t u

Relating di↵erent algebraic structures: actions

A vector space (over a field F ) is a an abelian group V, that has a faithful action on it by F that satisfies the distributivep properties.`q An algebra (over a field F )isaringA such that A, forms a vector space over F and the distributive properties hold.p `q A module (over a ring R) is an abelian group M, with an action from R that satisfies the distributive properties.p `q

algebras vector spaces modules groups t u Ä t u Ä t u Ä t u PART II: A ring R is a set together with two binary operations and such that ` ˆ (a) R, is an abelian group, (b) p is`q associative: a b c a b c , ˆ p ˆ qˆ “ ˆp ˆ q (i.e. R, is a semigroup) p ˆq (c) the distributive laws hold for R

a b c a c b c and a b c a b a c . p ` qˆ “p ˆ q`p ˆ q ˆp ` q“p ˆ q`p ˆ q The ring R is said to have an identity (R is a ring with identity)if there is an element 1 R with P 1 a a 1 a for all a R. ˆ “ ˆ “ P (i.e. R, is a monoid) p ˆq AringR is a if R 0 , is a group. p ´t u ˆq (i.e. R has 1 and multiplicative inverses) AringR is commutative if R, is commutative. p ˆq A commutative division ring is a field. We usually write ab instead of a b. ˆ

Some favorite examples 1. Since Z pZ, Q, R,andC are all fields, they hare also rings, { rings with 1, commutative rings, and division rings. 2. Z and Z nZ are commutative rings with 1, but not a division { rings. 3. Mn F n n matrices with entries in the field F is a p q“t ˆ u ring with 1. It is not commutative, nor is it a division ring. In fact, Mn R is a ring for R aringaswell. p q 4. If R is a , then so are n : R x r0 r1x rnx ri R, n Z 0 , r s“t ` `¨¨¨` | P P • u power series: R x r r x r R , rr ss “ t 0 ` 1 `¨¨¨ | i P u Laurent polynomials: 1 m m 1 n R x, x´ rmx rm 1x ` rnx ri R, m n Z , r s“t ` ` `¨¨¨` | P § P u m m 1 Laurent series: R x rmx rm 1x ` ri R, m Z . pp qq “ t ` ` `¨¨¨ | P P u Tip: For every new definition or theorem, ask yourself what it means for

R, Z, Z 3Z, Z 6Z,M2 R , R x , Z x , and Z 6Z x . { { p q r s r s { r s Some favorite examples

3. For a field F , M F n n matrices with entries in F . np q“t ˆ u 4. For a commutative ring R, n R x r0 r1x rnx ri R, n Z 0 . r s“t ` `¨¨¨` | P P • u

Note that Mn F and R x are both rings whose elements are functions. In both examples,p q the binaryr s operation is addition: ` M1 M2 v M1 v M2 v and f g x f x g x . (Okp because` theqp imagesq“ ofp q` the functionsp q arep additive` qp q“ groups.)p q` p q However, the binary operation playing the role of is fundamentally di↵erent between the two examples! ˆ In M F , “multiplication” is : np q multiplication is the same as linear function composition, i.e. M M v M M v . p 1 2qp q“ 1p 2p qq But in R x , “multiplication” is function multiplication: r s the image of the is the product of the images, i.e. fg x f x g x . (Can’t do this unless the imagep qp of theq“ functionsp q p q is a ring!)

Rings of functions In general, let A be a ring, and let X be a set. Then the set of functions R f : X A is a ring under the binary operations “t Ñ u f g x f x g x and fg x f x g x . ( ) p ` qp q“ p q` p q p qp q“ p q p q ˚ Putting restrictions on the kinds of functions in your set can sometimes also produce rings (e.g. functions). Example: Which of the following form rings under the binomial operations given in ( )? Why or why not? ˚ (a) di↵erentiable functions R R (f 1 x is defined x R) t Ñ u p q @ P (b) even functions R R (f x f x x R) t Ñ u p´ q“ p q@ P (c) odd functions R R (f x f x x R) t Ñ u p´ q“´ p q@ P (d) strictly positive functions R R (f x 0 x R) t Ñ u p q ° @ P (e) non-zero functions R R (f x 0 x R) t Ñ u p q‰ @ P A subring of the a R is a subgroup of R that is closed under multiplication. Think: what are some subrings of our fav examples? Subring criterion: S R is a subring i↵ S ,andS is closed Ñ ‰H under subtraction and multiplication. Mixing the two binary operations

As usual, we denote 0 is the additive identity, 1 is the multiplicative identity (if it exists), a is the additive inverse to a,and ´ 1 a´ is the to a (if it exists). Proposition Let R be a ring. 1. 0a a0 0 for all a R. “ “ P 2. a b a b ab for all a, b R. p´ q “ p´ q“´p q P 3. a b ab for all a, b R. p´ qp´ q“ P 4. If R has an identity 1, the identity is unique and a 1 a. ´ “p´ q Definition Let R be a ring. 1. A nonzero element a R is called a zero divisor if there is a P nonzero element b R such that ab 0 or ba 0. P “ “ Think: what are some zero divisors of our fav examples? 2. Assume R has identity 1 0.Anelementu R is called a ‰ P in R if there is some v R such that uv vu 1. P “ “ The set of units R is a group (under )calledgroup of ˆ ˆ units of R. Think: what are the groups of units in our fav examples? 3. A commutative ring with identity 1 0 is called an integral ‰ if it has no zero divisors. Think: which our fav examples are integral domains?

Proposition Let R be a ring and a, b, c R such that a is not a zero divisor. P If ab ac,thena 0 or b c. (“zero divisors are bad for cancellation”) “ “ “ If particular, if R is an and ab ac, “ then a 0 or b c. (“cancellation always works in integral domains”) “ “ Corollary Any finite integral domain is a field. More on polynomial rings

Definition Let R be a commutative ring with identity. The formal sum

n n 1 anx an 1x ´ a1x a0 ` ´ `¨¨¨` `

with n 0 and each ai R is called a polynomial in x with • P coecients ai in R. n If an 0, the polynomial is of degree n, anx is the leading term ‰ and an is the leading coecient. The polynomial is monic if an 1. “ The set of all such polynomials is the ring of polynomials in the x with coecients in R, denoted R x .TheringR appears in R x r s r s as the constant polynomials.

More on polynomial rings

If R is not an integral domain, then neither is R x . r s If S R is a subring, then S x R x is a subring. § r s § r s

Proposition Let R be an integral domain and let p x ,q x R x 0 . p q p qP r s´t u Then 1. degree p x q x degree p x degree q x , p q p q“ p q` p q 2. the units of R x are the units of R, r s 3. R x is an integral domain. r s Rational functions Let R be an integral domain. The field of fractions of R x is r s p x q x p x ,q x R x ,q x 0 . t p q{ p q| p q p qP r s p q‰ u The field of fractions over a field F is written F x . p q The ring of fractions of Z x is Q x (which is Q x ). r s p q à pp qq The ring of formal power series over R is

8 n R x anx an R . rr ss “ #n 0 | P + ÿ“ (“Formal” means we need not deal with convergence.) If F is a field, the ring of fractions over F x is the set of rr ss (formal) Laurent series

n F x anx an F, N Z . pp qq “ | P P #n N + ÿ•