Robert Krzyzanowski Algebra (Dummit and Foote) Chapter 1.1. These problems implicitly make use of the following lemma (stated casually in the book).

Size: px
Start display at page:

Download "Robert Krzyzanowski Algebra (Dummit and Foote) Chapter 1.1. These problems implicitly make use of the following lemma (stated casually in the book)."

Transcription

1 Chapter 11 These problems implicitly make use of the following lemma (stated casually in the book) Lemma If akß æb is a group and L K is closed under æ then æ is associative in L Proof We know æ is associative in K by definition of a group Now let +ßß- L Since L is closed + æ a æ-bß a+ æ b æ - L However since +ßß- L implies +ßß- K we also know + æa æ-b a+ æ b æ - Hence æ is associative in L Problem 111 Determine which of the following binary operations are associative: (a) the operation æ on defined + æ + (b) the operation æ on defined by + æ ++ (c) the operation æ on defind by + æ + (d) the operation æ on defined by a+ß bæa-ß b a+ -ß b + (e) the operation æ on e! f defined by a æ b Solution (a) Not associative For example a æ bæ! Á æa æ b (b) Associative because a+ æ bæ- a++ bæ- a++ b- a++ b- & 1 + a- -b+ a- -b + a æ-b+ a æ-b + æa æ-b The intermediate steps follow because usual addition and multiplication is associative and commutative in (c) Not associative For example a! æ! bæ& & Á! æa! æ& b (d) Associative because aa+ß bæa-ß bbæa/ß0b a+ -ß bæa/ß0b aa+ -b0 a b/ß a b0b a+ a0b a-0 / bß a0bb a+ß bæa-0 /ß0b a+ß bæaa-ß bæa/ß0bb Notice we could not say a ß æb is isomorphic to aß b even though intuitively because this would exclude or equal to! (which is encompassed by the former) (e) Not associative For example a æ bæ Á æa æ b Problem 112 Decide which of the binary operations in the preceding exercise are commutative Solution (a) Not commutative For example 1 æ! Á! æ (b) Commutative because + æ æ + due to addition and multiplication being commutative in (c) Commutative because + & + & + æ æ +

2 due to addition being commutative in (d) Commutative because a+ß bæa-ß b a+ -ß b a-+ß b a-ß bæ a+ß b due to addition and multiplicaiton being commutative in (e) Not commutative For example æ Á æ Problem 113 Prove that the addition of residue classes in defined) Î is associative (you may assume it is well Proof Let +ßß- Î Then + ˆ - +- (by definition--see page 9 in the book) which equals + a-b +- (again by definition) However +- a+ b- +- ˆ + - Problem 114 Prove that the multiplication of residue classes in well defined) Î is associative (you may assume it is Proof Let +ßß- Î Then + ˆ (by definition--see page 9 in the book) which equals + a-b +- (again by definition) However +- a+ b- + - ˆ + - Problem 115 Prove for all that Î is not a group under multiplication of residue classes Proof In the book we've seen a Î b is a group Hence! must be the guilty element of breaking this structure Indeed! has no inverse since! +! +! +! +! for any + Î and we know is the identity since for any + Î Since there is no element + such that! +! has no inverse and by definition Î is not a group under multiplication of residue classes Problem 116 Determine which of the following sets are groups under addition: (a) the set of rational numbers (including (b) the set of rational numbers (inculding (c) the set of rational numbers of absolute value (d) the set of rational numbers of absolute value (e) the set of rational numbers with denominators equal to!!î) in lowest terms whose denominators are odd!!î) in lowest terms whose denominators are even together with! or (f) the set of rational numbers with denominators equal to or $ Solution For each respective problem call the group K + - (a) This is a group First if ß K with l Î and l Î (ie both are odd) and a+ß b a-ß b then K 2

3 since l Î ; hence we have closure We know it is associative since is on addition and K The! + + +! + identity is!î since for all K Finally each element has an inverse since + +! + for any K (b) This is not a group because it does not have closure For example K but  K since is in lowest terms and the denominator is odd (not even) (c) This is not a group because it does not have closure For example since K Ÿ but  K since k k Î $ $ $ (d) This is not a group since it fails closure For example ß K since k k but a b  K since Î and Á! (e) Assume each rational number is in lowest form This is a group First take ß K with the greatest + - +common divisor of + and and - and equal to 1 Consider Then K Otherwise K since or since gcd aß+ -b or (if and + - is even the gcd becomes ) Hence K is closed We know it is associative since is on addition and K The! + + +! + identity is!î since for all K Finally each element has an inverse since + +! + for any K By definition K is a group (f) This is not a group because it is not closed For example ß K but  K + - $ $ ' Problem 117 Let K eb l! Ÿ B f and for BßC K let BæC be the fractional part 90 BC ( ie B æc BCcBCd where c+ d is the greatest integer less than or equal to + ) Prove that æ is a well-defined binary operation on K and that K is an abelian group under æ ( called the real numbers mod ) Proof To show the operation is well-defined notice either! Ÿ BC 1 or Ÿ BC In the former case cbcd! so that BæC BCcBCd BC Otherwise cbcd so that BæC BC Hence æ is a well-defined binary operation on K To show closure again consider the two cases mentioned earlier In the former BæC BC and since! Ÿ BC BæC 1 by assumption BæC K In the latter case BæC BC and since Ÿ BC we have! Ÿ BC BæC so again BæC K Therefore K is closed To show it is associative notice for BßCßD K ac Db æ a Cb D abccbcdb D abccbcdbd cbccbcddd Bæ æ æ BCD ccddcbcd ccddd BaC DbcBaC Dbd B æ æ æ The middle equality holds because cbcdcbccbcddd ccddcbcd ccddd which needs to be explicitly justified case-by-case Assume! Ÿ BC Ÿ and! Ÿ CD Ÿ or Ÿ BC and Ÿ CD Then cbcd ccdd so the equation holds Otherwise assume without loss of generality! Ÿ BC Ÿ and Ÿ CD Then cbcd! and ccdd so that cbcdcbccbcddd cbcdd cbcd d ccddcbcdccd dd Hence the operation is associative Furthermore! is the identity since!b c!bd B!cB! d BcBd for any B K Finally each element has an inverse since BaBbcBaBbd abbbcabb Bd! c! d! for each B K Therefore K is a group Finally K is abelian since for any BßC K we have that BCcBCd CBcCBd since addition is commutative in Hence K is an abelian group 3

4 Problem 11 Let K ed ld for some f (a) Prove that K is a group under multiplication ( called the group of roots of unity of ) (b) Prove that K is not a group under addition Proof (a) To prove closure let AßD K Then bß7 such that A D Then aadb 7 aa b 7 7 ad b 7 and since 7 (the positive integers are closed under multiplication) by definition AD K Hence K is closed Associativity is guaranteed since Ï e! f is a group under multiplication and K Ï e! f (notice!  K since there is no such that! ) The identity is since for we have so that K and furthermore for all D K D D D Finally each element has an inverse since for each D K there is an such that D so that D D D D D Therefore akß b is a group 7 (b) Since K it can not be a group under multiplication since  K as there is no such that (and hence K is not closed) Problem 119 Let K š + È l+ß (a) Prove that K is a group under addition (b) Prove that the nonzero elements of K are a group under multiplication Proof (a) Let + Èß- È K Then Š + È Š - È a+-b a bè is in the group because +-ß (since aß b is a group) Associativity is guaranteed since K and a ß b is a group The identity is!! È since Š!! È Š + È Š + È Š!! È + È for any + È K Finally each element has an inverse since for + È K Š + È Š +a b È Š +a b È Š + È!! È Therefore K is a group under addition (b) Let + Èß- È K Then Š + È Š- È a+- b a+ - bè is in the group because +- ß+ - (since a ß b is a group) Associativity is guaranteed since K and a ß b is a group The identity is! È since Š! È Š + È Š + È Š! È + È for any + È K Finally each element has an inverse since for + È K + È + È + Š Š Š È Š + È! È (this È was obtained by solving for - and in +- ß+ -!) We know + + K since + + ß + K (notice the denominator can never be! or that would contradict +ß and neither can both the terms be! since!  KÏ e! f) Therefore KÏ e! f is a group under multiplication Problem 1110 Prove that a finite group is abelian if and only if its group table is a symmetric matrix Proof Assume K e1 ßÞÞÞß1f is a finite abelian group Then the 3 4 entry in its group table is the group element The 4ß3 entry in its group table is the group element Hence by definition the group table is a symmetric matrix Now assume K e1 ßÞÞÞß1f is a finite group with a symmetric matrix Then the 3 4 entry is the same as the 4ß3 entry that is However this holds for

5 any two elements 13ß14 K so that for all elements of K This is precisely the definition of an abelian group Problem 1111 Find the orders of each element of the additive group Î Solution The group is Î!ßßßÞÞÞß Then the orders respectively are ' % $ $ß%ß 'ß and Notice these are kkkîgcd abßkkkb Indeed this will be proven later Problem 1112 Find the orders of the following elements of the multiplicative group a Î b : ß & ( ( $ Solution The identity is so the order for B is the smallest e_ f such that B (with _ B ) Respectively these are ßß ß ß % and (since $ ) Problem 1113 Find the orders of the following elements of the additive group Î$' : ß ' *!ß ß ß!ß ) Solution The identity is! so the order for B is the smallest e_ f such that B! (with _B!) Respectively these are $'ß)ß'ß%ß)ß $ß $'ß )ß Problem 1114 Find the orders of the following elements of the multiplicative group a Î$' b : ß ß &ß $ß $ß ( Solution The identity is so the order for B is the smallest e_ f such that B (with _ B ) Respectively these are ß ß 'ß$ß'ß Problem 1115 Prove that a+ + ÞÞÞ+ b + + ÞÞÞ+ Proof Assume a+ + ÞÞÞ+ bb so that B a+ + ÞÞÞ+ b Then + a+ + ÞÞÞ+ bb + so that a+ + ba+ + $ ÞÞÞ+ bb a+ + $ ÞÞÞ+ bb + Similarly a+ $ + % ÞÞÞ+ bb + + Applying this times results in B + + ÞÞÞ+ as desired Problem 1116 Let B be an element of K Prove that B if and only if kb k is either or Proof Assume B If B then k B k Otherwise k B k Á (only the identity has order ) so that kbk by definition since would be the smallest power B need be raised to in order to obtain the identity On the other hand assume kb k is either or If kbk then B as only the identity has order Otherwise kbk so by definition of order B Problem 1117 Let B be an element of K Prove that if kbk for some positive integer then B B Proof Let kbk By definition B Hence B B B B This is precisely the definition of B B Problem 111 Let B and C be elements of K Prove that BC CB if and only if C BC B if and only if B C BC Proof Assume BßC K and BC CB Multiplying by C on the left C BC C CB B Now assume C BC B Multiplying by B on the left B C BC B B Finally assume B C BC 5

6 Multipling by CB on the left acbbb C BC CaB B bc BC [generalized associativity] ac C bbc BC acbb CB Problem 1119 Let B K and let +ß (a) Prove that B + B + B and ab + b B (b) Prove that ab b B (c) Establish part (a) for arbitrary integers + and ( positive negative or zero) Proof Notice it is obvious B + B + B for all + This is because we can recursively define B If +! then B Otherwise B B B + + Similarly B B B (a) We will induct on + and using strong induction First notice B B B B [definition] B B 7 7 Now assume B B B for all 7 Ÿ and Ÿ 5 for some 5 Then inductively we show a5 b B B B for all 7 Ÿ 5 First B B B so that B B ˆ B B B B abbb B B 5 $ [definition] B The last step follows because if 5 B B BBB B B Otherwise we use our inductive assumption Since B 5 a B 5 b a we have shown B 5 b B 5 B Now assume a B 5 b ; B 5 B ; a b for some ; Ÿ 5 Then B 5 B ; B 5 B ; B B 5 ; B [inductive a assumption] B 5 b ; a b a b B B 5 ; Similarly we can show ab b B First notice ab b B Now assume ab b B for all 7 Ÿ and Ÿ 5 for some 5 Then inductively we show B 7 a b7 a b B for all 7 Ÿ First ab b a B b B 5 a B b 5 5 Ÿ B 5 B 5 Now assume a b for some Then a b a b ab b [part (a)] B a b 5B a b B a b 5 a b B a ba 5 [part (a)] b (b) As in part (a) we can show this inductively First ab b Assume ˆ 5 B B 5 B Then a5 b a5 b B B B B B ˆ B B ˆ B B [Proposition 5 111(4)] ˆ B + + Hence ab b B in general (c) Let + be any integer Then B +! B!+ B + B! B + B + B! and B! + B +! + ab! b! + ab b! Hence part (a) is valid when + or is zero Otherwise consider when + and are negative Then we a+ b know B B B B B by part (a) Then ˆ a b B ˆ B B and using part (b) and Proposition 111(4) this yields B a a + bb B + B B a + bb a b a b ˆ so that B + B + B Now without loss of generality assume + is positive and is negative Consider k+ k k k Then + a+ b + a+ b + + with both parts positive Hence B B B B B B B B Now assume k+ k k k Then + a+ b with + negative and k k k+ k so by what we have just proved B B B Therefore B B B B B B Problem 1120 For B an element in K show that B and B have the same order Proof Assume kbk By part (b) of the previous exercise ab b B ab b All that remains to be shown is that this is the least Assume there is a 7 such that and a b Then a b so that ˆ 7 B B ab b 7 B However this would contradict the assumption kbk 7 Hence kb k Now assume kbk _ Suppose B has finite order Then This is justified because B + B Œ B B B B 3 3 6

7 a b a b ˆ B B ab b so again B a b However this would mean B has finite order a contradiction Therefore kb k _ Problem 1121 Let K be a finite group and let B be an element of order Prove that if is odd then B ab b 5 for some 5 Proof If B is the identity so the problem is trivial Otherwise let 7 be such that Then by the previous exercise ab b so that ab b ab b ab b B Multiplying by B on the right hand side ab b B B ab b ab b B Then Š ab b B B But by the previous exercise B ab b Hence B ab b so that ab b B ˆ 7 a b 7 5 B ab b ab b for 5 7 If we wish to have a positive 5 let < be the least positive 5 5 < 5 < 5< < integer such that < 7 Then B ab b ab b ab b ab b ab b ab b Problem 1122 If B and 1 are elements of the group K prove that kbk k1 B1 k Deduce that k+ k k+ k for all +ß K Proof First we will show a1 B1b 1 B 1 Inductively when we have a1 B1b 1 B B1 1 B B1 1 5 Otherwise assume a b Then a b a B1b a1 B1b ˆ 1 B a1 B1b 1 B a11 bb1 1 B B1 1 B 1 Hence a1 B1b 1 B 1 Then if kbk we see a1 B1b 1 B Now assume there is a 7 such that 7 and a1 7 B1b 7 7 Then 1 B 1 so left and right multiplication by 1 and 1 respectively yields 11 B so that B 7 However this contradicts the assumption kbk Hence k1 B1k kbk Let B + and 1 + Then k+ k ka+ ba+ ba + bk k+ k Problem 1123 Suppose B K and kbk _ If => for some positive integers = and > prove that kb k > = > Proof First it is clear ab = b B => B Assume there is a 7 such that 7 > and = 7 =7 ab b Then B but =7 => so this contradicts the fact kbk Problem 1124 If + and are commuting elements of K prove that a+ b + for all Proof Inductively a+ b + Assume a+ b + Then a+ b a+ b a+ b + + ˆ Notice the penultimate step is justified by commutativity of + and Hence a+ b!!! + for all When! a+ b + Finally when we know a+ b + by what we have just shown but + and commute so a+ b a+ b + Then aa+ b b a+ b a + b a+ b a b + Problem 1125 Prove that if B for all B K then K is abelian Proof Let BßC K Then abcb since BC K Hence BCBC so BC C B However notice that acbb since CB K so CBCB and consequently CB B C Then abcbacbb C B B C This implies BC B C CB Hence BC CB for all BßC K and by definition K is abelian 7

8 Problem 1126 Assume L is a nonempty subset of akß æb which is closed under the binary operation on K and is closed under inverses ie for all 2 and 5 L hk and 2 L Prove that L is a group under the operation æ restricted to L (such a subset is called a subgroup of K) Proof Closure is given Associativity follows from the lemma at the beginning of this section's solutions For each 2 L K æ 2 2 æ K 2 Hence L K Finally for each 2 L there is an 2 L (by our assumption of closure of inverses) such that K L Hence L is a group under the operation Problem 1127 Prove that if B is an element of the group K then eb l f is a subgroup of K ( called the cyclic subgroup of K generated by B) Proof Call the set L eb l f Let 2ß5 L Then there are :ß; such that 2 B and : ; : ;: 5 B Then 25 B B B (exercise 19) Since ; : 25 L by definition Therefore L is ; ; ; ; ; closed under the operation of KÞ Finally if 2 B then 22 B B and 2 2 B B Since ; 2 L by definition so L is closed under inverses By the previous exercise L is a subgroup of K Problem 112 Let aeß æb and afß ˆb be groups and let E F be their direct product Verify all the group axioms for E F: (a) prove that the associative law holds: for all a+ 3ß 3b E F 3 ßß$ a+ ß bca+ ß ba+ ß bd ca+ ß ba+ ß bda+ ß b $ $ $ $ (b) prove that aß b is the identity of E F and (c) prove that the inverse of a+ß b is a+ ß b Proof (a) Let a+ ß b E F with 3 ßß$ Then 3 3 a+ ß bca+ ß ba+ ß bd a+ ß ba+ æ+ ß ˆ b a+ æa+ æ+ bß ˆ a ˆ bb $ $ $ $ $ $ aa+ æ+ bæ+ ß a ˆ bˆ b a+ æ+ ß ˆ ba+ ß b $ $ $ $ ca+ ß ba+ ß bda+ ß b $ $ The intermediate step follows because + æa+ æ+ $ b a+ æ+ bæ+ $ and ˆ a ˆ $ b a ˆ bˆ $ by the fact associativity holds for these elements because E and F is a group (b) Let a+ß b E F Then aß ba+ß b a +߈ b a+ß b a+ ߈ b a+ß baß b æ æ (c) Let a+ß b E F Then a+ß ba+ ß b a+ æ+ ߈ b aß b a+ æ+ß ˆ b a+ ß ba+ß b Problem 1129 Prove that E F is an abelian group if and only if both E and F are abelian Proof Assume E F is abelian Then for all + ß+ E and ß F it is true a+ ß ba+ ß b a+ ß ba+ ß b However a+ ß ba+ ß b a+ + ß b and a+ ß ba+ ß b a+ + ß b But then a+ + ß b a+ + ß b and the components must be equal by definition so that and Hence E and F are abelian Now assume this Let a+ ß bß a+ ß b E F with + ß+ E and ß F Then a+ ß ba+ ß b a+ + ß b a+ + ß b a+ ß ba+ ß b The intermediate step is justified since we assumed E and F are abelian By definition we now know E F is abelian

9 Problem 1130 Prove that the elements a+ß b and aß b of E F commute and deduce the order of a+ß b is the least common multiple of k+ k and k k Proof We see a+ß baß b a+ ß b a +ß b aß ba+ß b The intermediate step is justified because + E F and E and F are groups so multiplying + or by the identity is commutative Let k+ k and k k 7 Then a+ß b a+ ß b (by a trivial inductive argument) and so a+ß b aß b If there were a 5 5 with 5 such that a+ß b aß b then ˆ + 5 ß 5 ˆ + 5 ß aß b so that + 5 contradicting the fact k+ k Hence ka+ß bk k+ k Similarly kaß bk 7 k k Now let lcm a7ßb with! 7 and for! ß Then a b a b ˆ! 7 7! +ß + ß + ß Š a+ b ß a b ˆ! ß aß b Now assume there is a $ such $ that $ and a+ß b Then ˆ $ $ + ß $ $ so that + Assume l Î$ so that $ :< for some :ß< $!! < + + :< + : + < + : e f with Then a b + < : + < + < However this again contradicts the fact k+ k since < so that l$ Similarly 7l$ But then by definition $ lcm a7ßb a contradiction Hence k+ß k lcm a7ßb Problem 1131 Prove that any finite group K of even order contains an element of order Proof Let kkk If there was an element of order say B we would have B so that B B Let L e1 Kl1 Á 1 f Clearly  L Furthermore consider the following procedure Let L! L and define L3 by removing some pair e13ß13 f from L3 with 13 L3; that is L3 L3Ïe1ß1 f In each iteration we know 1 Á 1 so that two elements are removed Since L is finite (as K is finite) eventually L5 g for some 5 But then kl5 k kl5k kl5 k kl5 k % etc so that kl! k klk 7 for some 7 Therefore L has an even number of elements Since  L klk kkk It is impossible that klk kkk since kkk 1 is odd Hence klk kkk In other words KÏaL e f b Á g But this means there is some B K such that B Á with B B ( B  L by definition) That is kbk Problem 1132 If B is an element of finite order in K prove that the elements ßBßB ßÞÞÞßB are all distinct Deduce that kbk Ÿ kkk Proof Assume B 3 B 4 for some 3 Á 4 (! Ÿ 3ß4 ) Without loss of generality let 3 4 Then B 34! but 34 so this contradicts the fact kbk Hence ßBßB ßÞÞÞßB are all distinct There are of these elements so kk k kbk Problem 1133 Let B be an element of finite order in K 3 3 (a) Prove that if is odd then B Á B for all 3 ßßÞÞÞßÞ 3 3 (b) Prove that if 5 and Ÿ 3 Ÿ then B B if and only if Proof (a) If there is nothing to prove so assume Assume B B for some Ÿ 3 Ÿ Then B B so that B Clearly 3 Á since 3 is even and is odd If 3 Ÿ there would thus be a contradiction (since kbk 3) Since 3 we then know 3 so that 3 a3b 3 3! 3 However B B B B B In other words we found a positive integer less than such that B to the power of that integer is But this contradicts the fact kbk Hence 3 3 B Á B for all Ÿ 3 Ÿ (b) Let B 3 B 3 for Ÿ 3 Ÿ and assume 3 Á 5 Then B 3 B 3 so that B 3 By assumption 3 Á If 3 Ÿ there would thus be a contradiction (since kbk 3) Since 3 we then know 3 so 9

10 3 a3b 3 3 that! 3 However B B B B B In other words we found a positive integer less than such that B to the power of that integer is But this contradicts the fact kbk Hence Now assume 3 5 Since B B B B we have B B or B B Problem 1134 If B is an element of infinite order in K prove that the elements B are all distinct Proof Assume B 3 B 4 for some 3ß4 with 3 Á 4 Then B 34 If 34! this contradicts the assumption B has infinite order If 34! ab 34 b so that B a 34 b B 43 Then ! but again this contradicts the assumption B has infinite order Hence B Á B for all 3ß4 with 3 Á 4; that is the elements B are all distinct Problem 1135 If B is an element of finite order in K use the Division Algorithm to show that any integral power of B equals one of the elements in the set eßbßb ßÞÞÞßB f ( so these are all the distinct elements of the cyclic subgroup of K generated by B) Proof Let 5 Then 5 ;< for some ; < with! Ÿ < by the Division Algorithm Hence with! Ÿ < as required 5 ;< ; < ; < ; < < B B B B ab b B B B Problem 1136 Assume K eß+ßß- f is a group of order % with identity Assume also that K has no elements of order % Use the cancellation laws to show that there is a unique group table for K Deduce that K is abelian Proof Assume there are two group tables Q and Q with the same rows and colums both representing ß+ßß and - in that order (so that 1 + 1$ and 1% -) Now assume there is some 3ß4 such that Q ab b Á Q ab b where Q ab b is the 34th entry of group table (matrix) Q

Solutions I.N. Herstein- Second Edition

Solutions I.N. Herstein- Second Edition Solutions I.N. Herstein- Second Edition Sadiah Zahoor 25, July 2016 Please email me if any corrections at sadiahzahoor@cantab.net. Problem 0.1. In the following determine whether the systems described

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Mathematical Reasoning & Proofs

Mathematical Reasoning & Proofs Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0

More information

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

7 Matrix Operations. 7.0 Matrix Multiplication + 3 = 3 = 4

7 Matrix Operations. 7.0 Matrix Multiplication + 3 = 3 = 4 7 Matrix Operations Copyright 017, Gregory G. Smith 9 October 017 The product of two matrices is a sophisticated operations with a wide range of applications. In this chapter, we defined this binary operation,

More information

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...} WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not

More information

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S. Appendix A Number Axioms P. Danziger 1 Number Axioms 1.1 Groups Definition 1 A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b and c S 0. (Closure) 1. (Associativity)

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.

More information

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R. Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over

More information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31 Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15

More information

1. Introduction to commutative rings and fields

1. Introduction to commutative rings and fields 1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative

More information

1. Revision Description Reflect and Review Teasers Answers Recall of Rational Numbers:

1. Revision Description Reflect and Review Teasers Answers Recall of Rational Numbers: 1. Revision Description Reflect Review Teasers Answers Recall of Rational Numbers: A rational number is of the form, where p q are integers q 0. Addition or subtraction of rational numbers is possible

More information

Ring Theory Problem Set 2 Solutions

Ring Theory Problem Set 2 Solutions Ring Theory Problem Set 2 Solutions 16.24. SOLUTION: We already proved in class that Z[i] is a commutative ring with unity. It is the smallest subring of C containing Z and i. If r = a + bi is in Z[i],

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z: NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two operations defined on them, addition and multiplication,

More information

CHAPTEER - TWO SUBGROUPS. ( Z, + ) is subgroup of ( R, + ). 1) Find all subgroups of the group ( Z 8, + 8 ).

CHAPTEER - TWO SUBGROUPS. ( Z, + ) is subgroup of ( R, + ). 1) Find all subgroups of the group ( Z 8, + 8 ). CHAPTEER - TWO SUBGROUPS Definition 2-1. Let (G, ) be a group and H G be a nonempty subset of G. The pair ( H, ) is said to be a SUBGROUP of (G, ) if ( H, ) is group. Example. ( Z, + ) is subgroup of (

More information

Outline. We will now investigate the structure of this important set.

Outline. We will now investigate the structure of this important set. The Reals Outline As we have seen, the set of real numbers, R, has cardinality c. This doesn't tell us very much about the reals, since there are many sets with this cardinality and cardinality doesn't

More information

Chapter 5: The Integers

Chapter 5: The Integers c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

More information

1. Introduction to commutative rings and fields

1. Introduction to commutative rings and fields 1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative

More information

MATH 430 PART 2: GROUPS AND SUBGROUPS

MATH 430 PART 2: GROUPS AND SUBGROUPS MATH 430 PART 2: GROUPS AND SUBGROUPS Last class, we encountered the structure D 3 where the set was motions which preserve an equilateral triangle and the operation was function composition. We determined

More information

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Examination 3 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. The rings

More information

MATH1050 Greatest/least element, upper/lower bound

MATH1050 Greatest/least element, upper/lower bound MATH1050 Greatest/ element, upper/lower bound 1 Definition Let S be a subset of R x λ (a) Let λ S λ is said to be a element of S if, for any x S, x λ (b) S is said to have a element if there exists some

More information

4 Powers of an Element; Cyclic Groups

4 Powers of an Element; Cyclic Groups 4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)

More information

NOTES ON INTEGERS. 1. Integers

NOTES ON INTEGERS. 1. Integers NOTES ON INTEGERS STEVEN DALE CUTKOSKY The integers 1. Integers Z = {, 3, 2, 1, 0, 1, 2, 3, } have addition and multiplication which satisfy familar rules. They are ordered (m < n if m is less than n).

More information

Groups. s t or s t or even st rather than f(s,t).

Groups. s t or s t or even st rather than f(s,t). Groups Definition. A binary operation on a set S is a function which takes a pair of elements s,t S and produces another element f(s,t) S. That is, a binary operation is a function f : S S S. Binary operations

More information

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers: WORKSHEET MATH 215, FALL 15, WHYTE We begin our course with the natural numbers: N = {1, 2, 3,...} which are a subset of the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } We will assume familiarity with their

More information

CHAPTER 4: EXPLORING Z

CHAPTER 4: EXPLORING Z CHAPTER 4: EXPLORING Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction In this chapter we continue the study of the ring Z. We begin with absolute values. The absolute value function Z N is the identity

More information

Written Homework # 4 Solution

Written Homework # 4 Solution Math 516 Fall 2006 Radford Written Homework # 4 Solution 12/10/06 You may use results form the book in Chapters 1 6 of the text, from notes found on our course web page, and results of the previous homework.

More information

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska LECTURE 12 CHAPTER 4 NUMBER THEORY PART1: Divisibility PART 2: Primes PART 1: DIVISIBILITY Basic Definitions Definition Given m,n Z, we say

More information

Homework #5 Solutions

Homework #5 Solutions Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will

More information

ECEN 5022 Cryptography

ECEN 5022 Cryptography Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,

More information

FINITE ABELIAN GROUPS Amin Witno

FINITE ABELIAN GROUPS Amin Witno WON Series in Discrete Mathematics and Modern Algebra Volume 7 FINITE ABELIAN GROUPS Amin Witno Abstract We detail the proof of the fundamental theorem of finite abelian groups, which states that every

More information

2. Two binary operations (addition, denoted + and multiplication, denoted

2. Two binary operations (addition, denoted + and multiplication, denoted Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between

More information

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm April 11, 2010 1 Algebra We start by discussing algebraic structures and their properties. This is presented in more depth than what we

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some

More information

THE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES

THE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES THE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES Abstract. This article reports the occurrence of binary quadratic forms in primitive Pythagorean triangles

More information

) = 1, ) = 2, and o( [ 11]

) = 1, ) = 2, and o( [ 11] True/False Questions 1. The order of the identity element in any group is 1. True. n = 1 is the least positive integer such that e n = e. 2. Every cyclic group is abelian. True. Let G be a cyclic group.

More information

32 Divisibility Theory in Integral Domains

32 Divisibility Theory in Integral Domains 3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING

Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING Subrings and Ideals Chapter 2 2.1 INTRODUCTION In this chapter, we discuss, subrings, sub fields. Ideals and quotient ring. We begin our study by defining a subring. If (R, +, ) is a ring and S is a non-empty

More information

1. multiplication is commutative and associative;

1. multiplication is commutative and associative; Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.

More information

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z).

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z). CHAPTER 2 Groups Definition (Binary Operation). Let G be a set. A binary operation on G is a function that assigns each ordered pair of elements of G an element of G. Note. This condition of assigning

More information

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ

More information

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element. The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring

More information

The primitive root theorem

The primitive root theorem The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

More information

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group

More information

Solutions I.N. Herstein- Second Edition

Solutions I.N. Herstein- Second Edition Solutions I.N. Herstein- Second Edition Sadiah Zahoor Please email me if any corrections at sadiahzahoor@cantab.net. R is a ring in all problems. Problem 0.1. If a, b, c, d R, evaluate (a + b)(c + d).

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

Chapter 2. Divisibility. 2.1 Common Divisors

Chapter 2. Divisibility. 2.1 Common Divisors Chapter 2 Divisibility 2.1 Common Divisors Definition 2.1.1. Let a and b be integers. A common divisor of a and b is any integer that divides both a and b. Suppose that a and b are not both zero. By Proposition

More information

MATH 117 LECTURE NOTES

MATH 117 LECTURE NOTES MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set

More information

* 8 Groups, with Appendix containing Rings and Fields.

* 8 Groups, with Appendix containing Rings and Fields. * 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

Math 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby

Math 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby Math 8: Advanced Number Theory Samit Dasgupta and Gary Kirby April, 05 Contents Basics of Number Theory. The Fundamental Theorem of Arithmetic......................... The Euclidean Algorithm and Unique

More information

6 Cosets & Factor Groups

6 Cosets & Factor Groups 6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.

More information

Number Theory Solutions Packet

Number Theory Solutions Packet Number Theory Solutions Pacet 1 There exist two distinct positive integers, both of which are divisors of 10 10, with sum equal to 157 What are they? Solution Suppose 157 = x + y for x and y divisors of

More information

Numbers, proof and all that jazz.

Numbers, proof and all that jazz. CHAPTER 1 Numbers, proof and all that jazz. There is a fundamental difference between mathematics and other sciences. In most sciences, one does experiments to determine laws. A law will remain a law,

More information

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

More information

Chapter 1. Greatest common divisor. 1.1 The division theorem. In the beginning, there are the natural numbers 0, 1, 2, 3, 4,...,

Chapter 1. Greatest common divisor. 1.1 The division theorem. In the beginning, there are the natural numbers 0, 1, 2, 3, 4,..., Chapter 1 Greatest common divisor 1.1 The division theorem In the beginning, there are the natural numbers 0, 1, 2, 3, 4,..., which constitute the set N. Addition and multiplication are binary operations

More information

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

0.2 Vector spaces. J.A.Beachy 1

0.2 Vector spaces. J.A.Beachy 1 J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a

More information

(e) Commutativity: a b = b a. (f) Distributivity of times over plus: a (b + c) = a b + a c and (b + c) a = b a + c a.

(e) Commutativity: a b = b a. (f) Distributivity of times over plus: a (b + c) = a b + a c and (b + c) a = b a + c a. Math 299 Midterm 2 Review Nov 4, 2013 Midterm Exam 2: Thu Nov 7, in Recitation class 5:00 6:20pm, Wells A-201. Topics 1. Methods of proof (can be combined) (a) Direct proof (b) Proof by cases (c) Proof

More information

GENERATING SETS KEITH CONRAD

GENERATING SETS KEITH CONRAD GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors

More information

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Section 0. Sets and Relations Subset of a set, B A, B A (Definition 0.1). Cartesian product of sets A B ( Defintion 0.4). Relation (Defintion 0.7). Function,

More information

Chapter XI Novanion rings

Chapter XI Novanion rings Chapter XI Novanion rings 11.1 Introduction. In this chapter we continue to provide general structures for theories in physics. J. F. Adams proved in 1960 that the only possible division algebras are at

More information

CHAPTER 8: EXPLORING R

CHAPTER 8: EXPLORING R CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed

More information

Standard forms for writing numbers

Standard forms for writing numbers Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,

More information

Algebra Exercises in group theory

Algebra Exercises in group theory Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial

More information

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: Equivalence MA Relations 274 and Partitions Scott Taylor 1. EQUIVALENCE RELATIONS Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: (1) is reflexive. That is, (2) is

More information

Commutative Rings and Fields

Commutative Rings and Fields Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two

More information

Written Homework # 2 Solution

Written Homework # 2 Solution Math 516 Fall 2006 Radford Written Homework # 2 Solution 10/09/06 Let G be a non-empty set with binary operation. For non-empty subsets S, T G we define the product of the sets S and T by If S = {s} is

More information

1. Prove that for every positive integer n there exists an n-digit number divisible by 5 n all of whose digits are odd.

1. Prove that for every positive integer n there exists an n-digit number divisible by 5 n all of whose digits are odd. 32 nd United States of America Mathematical Olympiad Proposed Solutions May, 23 Remark: The general philosophy of this marking scheme follows that of IMO 22. This scheme encourages complete solutions.

More information

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope

More information

1 Numbers. exponential functions, such as x 7! a x ; where a; x 2 R; trigonometric functions, such as x 7! sin x; where x 2 R; ffiffi x ; where x 0:

1 Numbers. exponential functions, such as x 7! a x ; where a; x 2 R; trigonometric functions, such as x 7! sin x; where x 2 R; ffiffi x ; where x 0: Numbers In this book we study the properties of real functions defined on intervals of the real line (possibly the whole real line) and whose image also lies on the real line. In other words, they map

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

A NEW SET THEORY FOR ANALYSIS

A NEW SET THEORY FOR ANALYSIS Article A NEW SET THEORY FOR ANALYSIS Juan Pablo Ramírez 0000-0002-4912-2952 Abstract: We present the real number system as a generalization of the natural numbers. First, we prove the co-finite topology,

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Complete Induction and the Well- Ordering Principle

Complete Induction and the Well- Ordering Principle Complete Induction and the Well- Ordering Principle Complete Induction as a Rule of Inference In mathematical proofs, complete induction (PCI) is a rule of inference of the form P (a) P (a + 1) P (b) k

More information

Math1a Set 1 Solutions

Math1a Set 1 Solutions Math1a Set 1 Solutions October 15, 2018 Problem 1. (a) For all x, y, z Z we have (i) x x since x x = 0 is a multiple of 7. (ii) If x y then there is a k Z such that x y = 7k. So, y x = (x y) = 7k is also

More information

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002 Background on Groups, Rings, and Finite Fields Andreas Klappenecker September 12, 2002 A thorough understanding of the Agrawal, Kayal, and Saxena primality test requires some tools from algebra and elementary

More information

Elementary Properties of the Integers

Elementary Properties of the Integers Elementary Properties of the Integers 1 1. Basis Representation Theorem (Thm 1-3) 2. Euclid s Division Lemma (Thm 2-1) 3. Greatest Common Divisor 4. Properties of Prime Numbers 5. Fundamental Theorem of

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of

More information

EXERCISES. a b = a + b l aq b = ab - (a + b) + 2. a b = a + b + 1 n0i) = oii + ii + fi. A. Examples of Rings. C. Ring of 2 x 2 Matrices

EXERCISES. a b = a + b l aq b = ab - (a + b) + 2. a b = a + b + 1 n0i) = oii + ii + fi. A. Examples of Rings. C. Ring of 2 x 2 Matrices / rings definitions and elementary properties 171 EXERCISES A. Examples of Rings In each of the following, a set A with operations of addition and multiplication is given. Prove that A satisfies all the

More information

2013 University of New South Wales School Mathematics Competition

2013 University of New South Wales School Mathematics Competition Parabola Volume 49, Issue (201) 201 University of New South Wales School Mathematics Competition Junior Division Problems and s Problem 1 Suppose that x, y, z are non-zero integers with no common factor

More information

Letting be a field, e.g., of the real numbers, the complex numbers, the rational numbers, the rational functions W(s) of a complex variable s, etc.

Letting be a field, e.g., of the real numbers, the complex numbers, the rational numbers, the rational functions W(s) of a complex variable s, etc. 1 Polynomial Matrices 1.1 Polynomials Letting be a field, e.g., of the real numbers, the complex numbers, the rational numbers, the rational functions W(s) of a complex variable s, etc., n ws ( ) as a

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Homework #2 solutions Due: June 15, 2012

Homework #2 solutions Due: June 15, 2012 All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information