Sub chapter 1. Fundamentals. 1)If Z 2 = 0,1 then (Z 2, +) is group where. + is addition modulo 2. 2) Z 2 Z 2 = (0,0),(0,1)(1,0)(1,1)

Size: px
Start display at page:

Download "Sub chapter 1. Fundamentals. 1)If Z 2 = 0,1 then (Z 2, +) is group where. + is addition modulo 2. 2) Z 2 Z 2 = (0,0),(0,1)(1,0)(1,1)"

Transcription

1 DISCRETE MATHEMATICS CODING THEORY Sub chapter. Fundamentals. )If Z 2 =, then (Z 2, +) is group where + is addition modulo 2. 2) Z 2 Z 2 = (,),(,)(,)(,) Written for the sake of simplicit as Z 2 Z 2 =,,, 3) Z 2 Z 2 Z 2 = (,,),(,,),(,,),(,,), (,,),(,,), (,,), (,,) Z 3 2 =,,,,,,, = (a, a 2, a 3 )/ a,a 2, a 3 Z 2 Elements belonging to Z n 2 is Word. It is also string of s and s Eample :,,, are words like a a 2 in Z 2 2 = (a,a 2 )/ a,a 2 Z 2,, etc are words like a a 2 a 3 are in Z 3 2 a i is either or Similarl Z 2 Z 2 Z 2.. Z 2 = Z n 2 = (a a 2 a 3 a 4 a 5 a 6 a 7 a 8 a n ) / a,a 2, a 3 a n Z 2 a a 2 a 3 a 4 a 5 a 6 a 7 a 8 a n is a word in Z n 2 let us observe one eample. Component wise addition (,,,,,) + (,,,,,) = (,,,,,) With addition modulo 2 operations += ; += ; + =;+= Under Component wise addition (Z n 2 + ) is a Group

2 In the above figure we see that a word c is transmitted and received incorrectl as r(i.e. with error) But we readil observe that C = r + e a relation between c,e,r. Probabilit: Suppose in transmission of signals probabilit that is received as is p and that is received as is p 2 as depicted

3 In smmetric channel p = p 2 =p that is P( is transmitted and is received)=p( is transmitted and is received) = p Eqivalentl, probabilit that a transmitted signal ( OR ) is not received correctl is p In total in BINARY Smmetric Channel probabilit that a transmitted signal ( OR ) is received Incorrectl is p AND correctl is - p Eamples :The word c = is transmitted with error (pattern) find the word r received.if probabilit that signal is received incorrectl is.5 find the probabilit that r is received Solution: transmitted signal is c =. Now p=.5 c = r = error (pattern) e = r = c+e = P( signal c is transmitted and r is received ) = P( r is received ) = (-p) p (-p) p p (-p ) p =p 4 (-p) 3 =.5 4 (-.5) 3 E 2.what is the probabilit that c is received as r

4 E 3.what is the error pattern Solution 3:As r = c+e ( )= () + (a a 2 a 3 a 4 a 5 a 6 a 7 a 8 ) Ans: e = E4. Al binar smmetric channel has probabilit,p =.6 of incorrect transmission of some signal of Z 9 2,sa,What is the probabilit that a transmitted signal has k(= to 9) errors and also ) no error 2) single error (3) double error

5 4) Triple error Solution 4: For n =9 k bit error P (occurrence k bit error ) =c n k p k (-p) n-k ) P(no error ) =P( k=)=.6 (-.6) 9-2) P(single error ) =P( k=)=.6 (-.6) 9-3)P(double error ) =P( k=2)=.6 2 (-.6) 9-2 4)P(Triple error) =P( k=3)=.6 3 (-.6) 6 E5. A binar smmetric channel has probabilit, p =.88 of correct transmission of some signal of Z 8 2,sa,What is the probabilit that a transmitted signal has k (= to 8) errors and also )eactl ero errors; (5)at least one error 2) eactl one error ; (6 at the most 7 errors 3) at the most one error; (7) not more than 2 errors 4) not more than 5 errors; (8)all the bits with error Ans 5. p =.88 = probabilit of correct transmission of some signal of Z 8 2, probabilit (a transmitted signal has k (= to 8) errors) = c n k p k (-p) n-k ) P(eactl ero errors) = c 8.2 k (.88) 8 2)P( eactl one error)= c 8.2 (.88) 7 ; 3)P(at the most one error)=p(k= OR k=) =P()+P() 4.P(more than 5 errors) =P(,,2,3,4,5)

6 = c 8.2 (.88) 8 + c 8.2 (.88) 7 +c (.88) 6 + c (.88) 5 + c (.88) 4 + c (.88) 3 ; = c 8.2 (.88) 8 + c 8.2 (.88) 7 ; (5)P(at least one error) =P(,2,3,4,5,6,7,8) =- P() (6) P( at the most 7 errors) =P(,,2,3,4,5,6,7) =-P(8) (7) P(not more than 2 errors) =P( OR OR 2) =P( + + 2) (8) P(all the bits with error) =P(8)= C (.88) ; Sub Chapter 2 Encoding and Decoding : An Encoding function is an one-to-one function E: Z m 2 Z n 2 which provides a means to detect OR correct Errors occurred during transmission of signals( s and s) The above process is known as Encoding process. A Decoding function is an onto function E: Z n 2 Z m 2 which provides a means to recapture the transmitted word The process is known as Decoding process. The word after encoding is code word. The rule given b encoding function(e) is known as CODE

7 EXAMPLES ( Coding function of e. 7 2 are known as (m,m+) parit-check code).an Encoding function E: Z 8 2 Z 9 2 is defined as each w w 2 w 3 w 4 w 5 w 6 w 7 w 8 Z 8 2,E(w) = w w 2 w 3 w 4 w 5 w 6 w 7 w 8 w 9 where w 9 = w i i = to 8.(Sum wrt modulo 2) Discuss the significance of E(w). FURTHER if p =.2 is the probabilit of incorrect transformation of signals find the probabilit that a code word (sa ) is received with at most one error Solution :the significance of E(w). E(w) = w w 2 w 3 w 4 w 5 w 6 w 7 w 8 w 9 where w 9 = w i i = to 8.(Sum wrt modulo 2) if w = w w 2 w 3 w 4 w 5 w 6 w 7 w 8 () has even number of s then w 9 is (2) has odd number of s then w 9 is In both the cases coded word contains even number of s Net we find probabilit. As p =.2 probabilit of receiving word with at the most one error = p (-p) 9 +p (-p) 8 =.2 (-.2) +.2 (-.2) 8 Q2.An Encoding function E: Z m 2 Z m+ 2 is defined as each w w 2 w 3 w 4 w 5 w 6 w 7 w 8 Z 8 2,E(w) = E(w w 2 w 3 w m ) = w w 2 w 3 w m w m+ w m+ =, if w contains even number of s =, if w contains odd number of s and Decoding function D: Z m+ 2 Z m 2 with D(w) = D(r r 2 r 3 r m r m+ ) = r r 2 r 3 r m.encode (find codeword) of,,,,,, Z Dcode,,,,,,, Ans(2)

8 B the definition of E E()= E()= E()= E()= E()= E()= E()= 2.Dcoding D()= D()= D()= D()= D()= D()= D()= D()= (3m,m) Triple Repetition code Q3.An Encoding function E: Z m 2 Z 3m 2 is defined as each w w 2 w 3 w 4 w 5 w 6 w 7 w 8 Z 8 2,E(w) = E(w w 2 w 3 w m ) = w w 2 w 3 w m w w 2 w 3 w m w w 2 w 3 w m and Decoding function D: Z 3m 2 Z m 2 D(w) = D(r r 2 r 3 r m r m+ r 2 r 3 r 2m r 2m+ r 2 r 3 r m3m ) = s s 2 s 3 s m Where s i = if majorit of r i+m r i +2m r i+3m = if majorit of r i+m r i +2m r i+3m (a) Encode (Or find Code words) of E: Z 3 2 Z 6 2,,,,,,,

9 (b) Decode E: Z 6 2 Z 2 2,,,,,,, Ans 3a)Encoding(Or find Code words) E() = ; E() = E() = ; E()= E () = ; E() = E() = ; E( ) = b) Decoding D()=; D() =; D()=; D() =; D()=; D() =;D()= ; D() = ; Q4.An Encoding function is E: Z 3 2 Z 9 2 Use triple repetition(9,3) code to Decode (a),,, (b)find THREE different received words r for which D(r ) = Ans4.D: Z 9 2 Z 3 2 triple repetition(9,3) code to Decode are s i = if majorit of r i+m r i +2m r i+3m = if majorit of r i+m r i +2m r i+3m a)d()= D() = D()= D( ) = (b) D() = D() = D() =

10 Sub Chapter 3 Hamming Metric Consider a word Z m 2. = 2 3. m Z m 2. i, The Number of s in is Weight of denoted b wt() or Eample: wt() = wt() = 5 wt() = wt() = 8 Hamming distance: = 2 3. m, = 2 3. Y m Z m 2.Then the Hamming Distance, (d (, )) between and is the NUMBER of positions in which i i d (, )) is also same as NUMBER of s in + Eample: = = d (, )= 6 ALSO + = and wt( + ) = 6 d(, ) = wt( + ) = is no.of s in + Eample2: () = () = 5 () = () = 5 d (, )= 3 ALSO + = () and wt( + ) =3 d(, ) = wt( + )

11 Theorems Theorem: For all, Z m 2. Wt(+ ) Wt( ) + Wt(+ ) Theorem 2: For all,, Z m 2. (i) d (, )= d (, ) (ii) d (, ) (iii) d (, ) = if and onl if = (iv) d (, )+ d (, ) d (, ) Function d is known as metric hence d is known as distance OR metric Or Hamming metric The pair (Z m 2,d) is known as Hamming metric space. Sphere: For a Z m 2 and positive integer k S(a,k)= Z m 2 / d (, a) k is called sphere of radius k with centre a. For a= S(a,2) =,,,,,, Minimum distance: E: Z 2 2 Z 6 2 E is Triple repetition code E()= E()= E()= E()= d(e(), E()) =6 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =6 d(e(), E()) =3 Minimum distance ORMinimum distance of code words OR Minimum E (min E ) = is 3

12 CORRECTION and DETECTION of errors Question: If E: Z 2 2 Z 6 2 with min E 5 then How man () errors can be detected (2) errors can be corrected E()= E()= E()= E()= ANS = 5 () errors of weight - = 5- =4be detected (2) errors of weight ( - )/2= 2 can be corrected Question:2 If E: Z 2 2 Z 6 2 FIND () min E then (2) error detecting capacit (3) errors correcting capacit Where E()= E()= E()= E()= Ans 2 d(e(), E()) =6 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =6 d(e(), E()) = 3 ()min E = is 3 (2) error detecting capacit: E can detect errors with weight = - = 5- =4 (3) errors correcting capacit: errors of weight ( - )/2= 2 can be corrected

13 Question:3 If E: Z 3 2 Z 6 2 FIND () min E then (2) error detecting capacit (3) errors correcting capacit Where E()= E()= E()= E()= E()= E()= E()= E()= ANS 3First Distnces are found d(e(), E()) =3 d(e(), E()) =4 d(e(), E()) =3 d(e(), E()) =4 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =4 d(e(), E()) =3 d(e(), E()) =4 d(e(), E()) =3 d(e(), E()) =4 d(e(), E()) =3 d(e(), E()) =6 d(e(), E()) =4 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =3 d(e(), E()) =2 d(e(), E()) =3 d(e(), E()) =2 d(e(), E() =3 d(e(), E()) =4 d(e(), E()) =3 d(e(), E()) =4 d(e(), E()) =2 d(e(), E()) =2 d(e(), E()) =2 Min E =2 = error detecting capacit: =E can detect errors with weight = - = 2- = (3) errors correcting capacit = errors of weight ( - )/2= / 2 can be corrected This means E cannot correct an error

14 Sub Chapter 4 :Generator Matri: Parit Check Matri Eample ) An encoding function : Z Z E is given b the generator matri G a) Determine all the code words. What can be said about the error detection capabilit of this code? What about its error correction capabilit? b) Find the associated parit - check matri H. c)use H to decode the received words:, Soln: We know that the given G is of the form A I G / 2, where 2 I and A a) We find that ) ( G E ) ( G E () E

15 E () These matri equations show that the code words are E ( ), E(), E(), E() From these, we find that d( E(), E()) 3, d( E(), E()) 4 d( E(), E()) 3 d( E(), E()) 3 d( E(), E()) 4 d( E(), E()) 3 Thus min( E ) 3. Therefore the code can detect all errors of weight 2 and can correct all single errors. b)the Parit-check matri H associated with G is given b H A T / I 3 We observe that H does not contain a column of s and further no two columns of H are identical. Therefore, H corrects single errors in transmission. c)for r, the sndrome of r is

16 T H Since this is a ero matri, the decoded message is got b retaining the first two components of r. The decoded message is therefore. For r, the sndrome of r is T H We observe that the matri is identical with the first column of H. Therefore, we change the first component of r (from to ) to get. This is the code word. The first two components of this code word, namel, is the original message. Eample 2) The generating function of an encoding function : Z Z E is given b G a) Find the code words assigned to and. b) Obtain associated parit - check matri. c)hence decode the received words :,. d)show that the decoding of is not possible b using H.

17 Soln: We note that A I G / 3, where 3 I and A a) We find that ) ( E ) ( E Thus the required code words are ) ( E and ) ( E. b) The parit check matri associated with G is / 3 I A H T c)for r, the sndrome of r is T H We observe that this matri is identical with the second column of H. Therefore, we change the second component in r (from to ) to get the word

18 c. The first three components of this code word gives the original message w. For r, the sndrome of r is T H We observe that this matri is identical with the third column of H. Therefore, we change the third component in r (from to ) to get the word c. The first three components of this code word gives the original message w. d)for r, the sndrome of r is T H We observe this matri is not a ero matri and is not equal to an column of H. Therefore, we cannot decode r b using H. Eample 3) The parit check matri for an encoding function : Z Z E is given b H a) Determine the associated generator matri. b)does this code correct all single errors in transmission?

19 Soln: a) we have H Which is of the form / I 3 A T. Accordingl, T A so that A Hence, the associated generator matri is / I 3 A G b)we observe that two columns of H (namel the 2 nd and 5 th ) are identical. Therefore, H does not provide a decoding scheme that corrects single errors in transmission.

20 sub Chapter 5 GROUP CODES let E: Z m 2 Z n 2, n > m be encoding function, C= E (Z m 2) = E (w) w/ Z m 2 =Set of CODES. Then C is known as group code. C is subgroup of Z n 2 Eample: E: Z 2 2 Z 6 2, E() = E() = E() = E() = C =,,, C is a group under addition modulo 2 Decoding with Coset leaders Eample :A group code C is defined b the generator matri G Decode the received words,,, with Cosets of c Matri G is 25 matri.hence E is E: Z 2 2 Z 5 2 given b [E(w) }=[ w]g for all w in Z 2 2 along with E()= [] similarl E() =[] E() =[] E() =[] E (Z 2 2) = C =,,, Is a sub group of Z 5 2 Let = C We find Coset

21 +C =,,, we continue process till when union of distinct cosets along with C is Z 5 2 order of C = 4,O( Z 5 2) = 2 5 =32 b Lagrange s theorem number of cosets = O( Z 5 2) / O( Z 5 2) = (32 / 4)=8 We construct table which shows the different cosets Rowwise is known as Decoding table. Elements in the first column C Are known as COSET LEADERS Ecept Decoding Process.received word r = This belongs to THIRD column Corresponding c in that column is c= appending the last three component we get the decode as 2.received word r =

22 Second column c= decode = 3. r= decoded = 4 r= decoded = Eample2:A group code C is defined b the generator matri G. Decode the received words,,with Cosets of c,if ANS 2 E( Z 3 2)= C =,,,,,,, O(C) = 8 O(Z 6 2) = 2 6 B Lagranges theorem Number of cosets (O(Z 6 2)/ O(C) ) = ((2 6 )/8) =8

23 received decoded

24 subchapter 6 RINGS The reader is familiar with the following properties of integers: ) The Z set of all integers is closed under the usual addition and the usual multiplication operations. In other words, and are binar operations in Z. 2) Z is an abelian group under. 3)The operation is associative in Z. 4) The operation is distributive over the operation in Z. That is, (i) a ( b c) a b a c and (ii) ( a b) c a c b c, a, b, cz A generaliation of the above said properties of Z to an abstract set leads to the definition of a ring. Definition of a Ring Let R be a non- empt set which is closed under two binar operations and. Then R together with these operations is called a Ring provided the following conditions (aioms) hold: ) R is an abelian group under the operation. 2)The operation is associative in R ; that is, a ( b c) ( a b) c, a, b, cr 3) The operation is distributive over the operation in R ; that is a ( b c) a b a c and ( a b) c a c b c, a, b, cr

25 Remarks: ) The operations and in a ring R are respectivel analogous to the usual addition and multiplication operations in Z. For this reason, is referred to as addition and is referred to as multiplication in an abstract sense. 2)In a ring, the roles of and cannot be interchanged. Because, a ring is an abelian group under ; it need not be a group under. 3)Since a ring is a group under,there must eist an identit element w.r.t. This identit element is analogous to the number and is called a ero of a ring. We denote it b a the smbol. Since the identit element in a group is unique, the ero element in a ring is unique. An element of a ring other than is referred to as a non-ero element. 4)Since a ring is a group under, ever element of a ring must have an additive inverse(i.e, an inverse under ). We denote the additive inverse of an element a b a; it is referred to as the negative of a. Since the inverse of ever element of a group is unique, the negative of ever element in a ring is unique. Further, ( a) a. 5)Since a ring is a group under and since cancellation laws hold in a group, the cancellation laws for addition hold in a ring. 6)For simplicit in the notation, we write 2 Also, we write a for Eamples of Rings 3 a a, a for a a a b as ab and a ( b) 2, etc. a. as b )The algebraic properties of integers listed in the beginning of this section shows that Z is a ring under the usual addition and multiplication.2)the algebraic properties of sets Q, R and C of all rational numbers, real numbers and comple numbers(respectivel) indicate that these sets are also rings under the usual addition and multiplication. 3) The algebraic properties of matrices indicate that the set n M of all square(real or comple) matrices of order n is a ring under matri addition and matri multiplication.

26 Some Basic Results The following theorem contains some simple results valid in all rings. Theorem: Let R be a ring and a b, c, be an three elements in R. Then ) a a 2) a( b) ( a)( b) ( ab) 3) a)( b) ab ( 4) ( a b) ( a) ( b) 5) a( b c) ab ac 6) ( a b) c ac bc Proof: )Since R is a group under with as the identit, we have ( a ) a ( ). But a ( ) ( a ) ( a ), b distributive law. Thus, ( a ) ( a ) ( a ). Therefore, b using the cancellation law(which is valid because R is a group under ). We have ( a ). Similarl, a 2) Using the distributive law and the result () proved above, we have a ( b) ab a( b b) a. Therefore, a( b) ( ab).similarl, ( a)( b) ( ab) 3)From the result (2), we have ( a)( b) { ( a) b} [ ( ab)]... Since R is a group under, we have ( ), for an R. Therefore, [ ( ab)] ab. Thus ( a)( b) ab. 4) Since R is an abelian group under, we have ( a b) {( a) ( b)} ( a b) {( b) ( a)} a { b ( b) ( a)} a ( a)

27 a ( a) Therefore, ( a b) ( a) ( b). 5) a( b c) a { b ( c)} ab a( c) ab ac. 6) ( a b) c { a ( b)} c ac ( b) c ac ( bc) ac bc. Some special tpes of Rings From the definition of a ring, we note that the multiplication operation in a ring is just associative and distributive(over the addition operation). B imposing etra conditions on this operation, we obtain certain special tpes of rings. Some of these are defined below. Commutative Ring A ring R is said to be a commutative ring if the multiplication operation in R is a commutative operation; that is if ab = ba, a, br. It is trivial to note that Z Q, R, and C are all commutative rings under the usual addition and multiplication. But, the ring of square matrices (of the same order) is not a commutative ring. Because, matri multiplication is not commutative. Ring with Unit A ring R is said to be a ring with unit if there eists an identit element in R w.r.t multiplication; that is, if there an element, which we denote b the smbol, in R such that a a a, a R. Then, is called the unit of the ring.

28 Since unit in a ring (if eists) is the multiplication identit and since the identit for a binar operation is unique, the unit in a ring (if it eists) is unique. It is trivial to note that Z Q, R, and C are all commutative rings with unit. The number is the unit of all these rings. The ring of all square matrices (of the same order n) is a non-commutative ring with unit; the unit matri of order n is the unit of this ring. The commutative ring of all even integers (under the usual addition and multiplication) does not have a unit. Ring with ero divisors If two non-ero elements a and b of a ring R are such that ab =, then a and b are called ero divisors in R. A ring containing at least one pair of ero-divisors is called a ring with ero-divisors. For eample, consider the ring M 2 of all real square matrices of order 2. In this ring, A and B are two non-ero elements such that AB=. Hence, A and B are ero divisors in the ring M 2. Thus, the ring of all real square matrices of order 2 is a ring with ero divisors. Remark: A ring R is said to have no proper ero-divisors if, for an a, br, ab implies a = or b =. Evidentl, Z, Q, R and C are rings with with no proper ero divisors. Integral Domain A ring R is said to be an integral domain if (i) R is a commutative ring with unit, and (ii) a, br, ab implies a = or b =. In other words, an integral domain is a ring with unit which contain no proper ero divisors.

29 It is evident that Z, Q, R and C are all integral domains (under the usual addition and multiplication). But the ring of square matrices are (of the same order) is not an integral domain. Because, the ring is not commutative on the one hand, and has ero divisors on the other hand. Divisor Ring An element in a ring R with unit is called a unit of R if a has an inverse in R under multiplication; that is if there eists b R such that ab = ba =. Then b is called a multiplicative inverse of a and is denoted b a. Since inverse of an element under a binar operation is unique, it follows that a ring R has a unit, and is a unit of R, then the multiplicative inverse of a is unique. A ring R with unit is said to be a division ring (or askew field) if ever non-ero element of R is a unit of R ; that is if for ever a ( ) R, there eists a R such that a a a a It is evident that. Q, R and C are all divisor rings. The ring of all non- singular matrices of the same order is also a divisor ring. But Z is not a divisor ring; because multiplicative inverse of a non ero integer is not an integer. Field A commutative divisor ring is called a field. In other words: A ring R is said to be a field if (i) R is commutative, (ii) R has a unit; and (iii) ever non-ero element of R has a multiplicative inverse in R. Evidentl Q, R and C are all fields. The ring of all square matrices (of the same order) is also not a field. Note : From the definition of a field, it follows that (i) a field has at least two

30 elements and. And (ii) The set of all non-ero elements of a field is an abelian groupunder multiplication. The following is a standard result: Ever field is an integral domain. For a proof this result see eample () below. But the converse of this result is not in general true. Note that Z is an integral domain, but not a field. The converse is true onl in the case of a finite integral domain. See eample 2 given below. 2 Eample Let R { a ib / a, b Z, i } with addition and multiplication defined b ( a ib) ( c id ) ( a c) ( b d) i and ( a ib)( c id ) ( ac bd) ( bc ad) i respectivel. (a) Verif that R is an integral domain, (b) Determine all units in R. Soln: We observe that the given R is a subset of the set set C of all comple numbers and that the given and are the usual addition and the usual multiplication of comple numbers. We readil note that ( R, ) is a subgroup of the additive group of comple numbers which is abelian. Further, the multiplication of comple numbers is commutative, associative and distributive (w.r.t addition). In view of these facts, we infer that the given ( R,, ) is a commutative ring. In this ring, the number is unit. Further, for an, R, the condition and. Therefore, ( R,, ) is an integral domain. For an, R, the condition holds onl when holds when,, and i, i or vice versa. Thus,, -, i, -i are the onl units in this ring. (Consequentl, this ring is not a field). Eample Prove that the set Z with binar operations and defined b

31 , is commutative ring with unit. Is this ring an integral domain? A field? Soln: For all Z,, we note that R and R. Therefore, R is closed under the given addition and the given multiplication. Also, we note that, for an Z,,,, } ) {( ) ( ) ( ), ( )} ( { ) ( ) (. ) (2 } ) {(2 ) 2 ( ) 2 ( The above facts show that ), ( Z is a commutative group with Z as the identit element and Z 2 ) ( as inverse of Z. Further, we note that for an Z,,, ) ( ) ( ) ( ) ( ) ( } {( ) ( ) ( and ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( } {( ) ( ) ( ) ( ) ( ) ( ) ( ) (

32 The above facts show that the multiplication is associative and distributive w.r.t.. Accordingl, ( Z,, ) is a ring. Alsofor an, Z, we have This shows that ( Z,, ) is commutative. We further observe that, for an Z,. This shows that is an identit in Z under. Thus, ( Z,, ) is a commutative ring with unit, the unit being. Net, for an, Z, (ero element) ( )( ) or. This shows that ( Z,, ) has no proper ero-divisors. Thus, ( Z,, ) is a commutative ring with unit, which has no proper ero-divisors. As such, ( Z,, ) is an integral domain. If we take an (ero element) in Z, then is possible onl if ; i.e, if or 2. Thus, elements other than and 2have no multiplicative inverses. Hence ( Z,, ) is not a field. Eample Find all integers k and m for which ( Z,, ) is a ring under the binar operations k, m. Soln: For ( Z,, ) to be a ring, it is necessar that the distributive laws must hold (among other laws). Thus we should have,

33 ( ) ( ) ( ) (i) B using the definitions of and, we find that ( ) ( ) m( ) ( k) m( k) m ) k mk ( (ii) ( ) ( ) ( ) ( ) k ( m ) ( m k m ) k ( (iii) In view of (ii) and (iii), the law (i) holds if mk, or mk so that m k or m k. m k. Thus, for ( Z,, ) to be a ring, it is necessar that m k or We can check that for these values of m and k all other laws (aioms) for a ring will hold. Eample Let U (,2 ) and R P(U ). Define and on the elements of R b A B AB, A B A B. Prove that R is a commutative ring with unit but not an integral domain. Soln: The subset of the given set U are,{},{2} and U. Therefore, R { P( U ) {,{},{2}, U} It is given that the smmetric difference operation on sets in R { P( U) is the addition in R and the intersection operation is the multiplication. B using the definitions of smmetric difference and the intersection of sets, we find that the operation tables for and in R are as given below.

34 ( ) {} {2} U ( ) {} {2} U {} {2} U { } { } U {2} { } { } { } { 2} { 2} U { } { 2} {2} {2} U U {2} {} U {} {2} U B using above table, we can check that ( R,, ) is a ring in which is ero (additive identit) and ever elements is its own additive inverse. Further, is commutative and U is the multiplicative identit. Thus ( R,, ) is a commutative ring with unit. We also find that { } {2} (ero element) but } { and 2} Thus, { } and { 2} are ero -divisors in R. Since ( R,, ) contains erodivisors, it is not an integral domain. {. Eample Consider a ring ( R,, ), where R { a, b, c, d, e}, and and are defined b the following tables. a b c d e a b c d e a b c d e a b c d e b c d e a c d e a b d e a b c e a b c d a b c d e a a a a a a b c d e a c e b d a d b e c a e d c b Prove that R is a field.

35 Soln: We check that, for a given ring, a is the ero (additive identit) and b is the unit (multiplicative identit). The smmetr (with respect to the diagonal) in the multiplication table for shows that is commutative. Thus, the given ring is a commutative ring with unit. We check that ever element of R other than a has a multiplicative inverse; in fact, b and e are their multiplicative inverses and c and d are multiplicative inverses of each other. Therefore, this ring is a field. Eample For R { s, t,, }, define and, making R into a ring, b the following tables, the second of which is onl partial. s t s t s s t s s s s s t t s t s t?? s t s t? t s s? s? Using the associative and distributive laws, determine the missing entries (denoted b?) Is this ring commutative? Does it have a unit? Is it an integral domain? A field? Soln: We observe that the second table is the table for multiplication operation. The missing entries in this table are the products t, t,, t,. Using the first table (which is the operation table for addition ) and the entries available in the second table, we find that these missing entries are as given below:

36 ( t ) t t, t ( t) t t tt t t s, ( t ) t s s s, t ( ) s, t ( ) s, We note that t where as t t. Thus, not commutative. t t.therefore, the ring R is From the multiplication table, we find that R does not contain multiplicative identit. This means that R is not a ring with unit. Consequentl, R is neither an integral domain nor a field. Eample If R is a ring with unit, show that ( )( ). ( ) a a, a R, and Soln: We have ( ) a a ( ) a ( a) ( ) a a Therefore, ( ) a a. For a, this becomes ( )( ) ( ). Eample If R is a ring with unit and a, b are units in R, prove that ab is a unit in R and that ( ab ) b a. Soln: We note that ( ab )( b a a( bb ) a a() a aa This shows that ab has b a as the multiplicative inverse. Thus, ab is a unit and ( ab ) b a. Eample If the elements of a ring R from a cclic group under addition, prove that R is commutative.

37 Soln: Since R is a ring, the elements of R form an abelian group under addition. It is given that this group is cclic. Let g be a generator of this additive group so that ever element of R is of the form kg for some positive integer k. Consider an two elements a, b of R. Then some positive integer m and n. Then, a mg and b mg for ab {( mg)( ng) ( g g g... m terms )}.{ ( g g g... nterms )} { g. g g. g g. g... mn terms } ( g g g... n terms )}.{ ( g g g... mterms )} {( ng)( mg) ba Therefore, R is commutative. Eample Prove that a ring is without ero divisors if and onl if the cancellation laws hold in it. Soln: Let R be a ring. First suppose that R has no ero divisors. Then, a b, cr, with a, ab ac ab ac a( b c) b c b c. Thus a and ab ac implies b c in R. Similarl, the right cancellation law also holds in R. ; that is, the left cancellation law holds Conversel, suppose the cancellation laws hold in R. Then, for a, br, ab ab a b if, ab ab b a if b. a and Thus, in R, if a or if b. Hence R has no ero-divisors. The required result is thus proved. Eample Let R is a commutative ring with unit. Prove that R is an integral domain if and onl if, for all a, b, cr where a, ab ac b c.

38 Soln : First suppose that R is an integral domain. Then ab ac ( ab ac) a ( b c) b c, because a b c Conversel, suppose that ab ac b c when, a in R. Take an, R with. Since, we find that, when This proves that R is an integral domain. Eample Prove that ever field is an integral domain Soln: Let F be a field. Then F is a commutative ring with unit. Take an a, bf Such that ab. If a, a eists in F and we get Similarl, if b,, then a. b b ( a a) b a ( ab) a. Thus, ab in F implies a or b. Hence F is an integral domain. Eample 2)Prove that ever finite integral domain is a field. Soln: Let D be an integral domain consisting of onl a finite number of elements. Then D is a commutative ring with unit which contains no proper ero divisors. Therefore, the cancellation laws hold in D. To prove that D is a field, we have to show that ever non ero element of D has a multiplicative inverse in D. Let us take an f ( ) a, D. Then a( ) D and define the function f : D D b f ( ) f ( ) a a a a a( ).

39 Thus, f is a one to- one function from D to D itself. Since D is a finite set, it follows that f is onto as well. Consequentl, ever element of D has a unique pre-image in D under f. Since D, should have a unique pre-image, sa c in D, under f so that f ( c). But f ( c) ac b the definition of f. Therefore, ac so that c is the multiplicative inverse of a. Thus, ever non-ero a in D has a multiplicative inverse in D. Consequentl, D is a field. This completes the proof. SUB RINGS Let S be a non empt subset of a ring R. Then S is called a subring of R whenever R itself is a ring under the operations in R. Eample The set of all even integrs is a subring of the ring ( Z,, ) of all integers under the usual addition and multiplication. The subring is denoted b ( 2Z,, ). Eample The ring of integers under usual addition and multiplication is a subring of all real numbers usual addition and multiplication. Note : For an ring R, the singleton set {} is a subring of R. Also ever ring is a subring of itself. Criterion for a subring The following theorem provides a necessar and sufficient condition for a subset R of a ring R to be a subring of R. Theorem: S is a subring of R if and onlif (i) For all,, we have a b S and S a bs ab.

40 (ii) For all a S, we have a S. Proof: First, suppose that S is a subring of R. Then S is a ring in its own right. Therefore, S satisfies all the conditions of a ring, which include the two conditions specified in the theorem. Thus, if S is a subring of R, then the two conditions specified in the theorem automaticall hold. Conversel, suppose that the two conditions in the theorem hold. Since the associative and distributive laws hold for all elements of R and since S is a subset of R, these laws hold for all elements of S as well. Since the commutative law w.r.t holds in R, it holds in S as well. Also, for an a S, since a S (b condition (ii)), it follows that a ( a) S (b condition (i)); that is S. All of these show that S is an abelian group under. Consequentl, S is a ring. Since S is a subset of R, it is a subring of R. The proof of the theorem is complete. Eample Consider the ring ( Z,, ), where the addition and the multiplication are defined b a b a b and a b ab. Also, let S denote the set of all odd integers. We note that, for all a, bs, a b a b and a b ab Since a and b are odd integers, and a b and and ab are even integers and consequentl a b and ab are odd integers. Therefore, a b S and a b S. Also, for an a S, we have a a ( a ) a and a ( 2 a) (2 a) a a (2 a) These show that is the identit w.r.t and and both of these ( and 2-a) belongs to S. 2 a is the inverse of a w.r.t Therefore, in view of the theorem proved above, it follows that S is a subring of ( Z,, ).

41 Ideal of a Ring A non- empt subset I of a ring R is called an ideal of R if, for all and all r R, we have a b I and ar ra I,. a, bi Eample) The subring ( 2Z,, ) of the ring ( Z,, ) is an ideal of the ring. Eample ) The ring ( Z,, ) is a subring of ( Q,, ) but is not an ideal. Because, for eample, 3 Z and Q 2 (. 2, but 3 Z The Ring of Integers modulo n Let n be a given integer. Then, for a, bz, we sa that a is congruent to b modulo n if a b is a multiple of n; that is if a b kn some k Z. Then we write a b(mod n). For eample, 5(mod 2) 9, 6 2(mod4) or a b kn and 3(mod7). We have proved that the relation congruence modulo n is an equivalence relation. Further, we have noted the following: for () The set of all equivalence classes of integers modulo n (Residue classes modulo n), namel Z, is an abelian group under the operation called n addition modulo n, with [] as the identit and -[a]=[-a]=[n-a] as the inverse of [a]. (2) The set Z n is closed under the operation is called multiplication modulo n. (3)The operation is commutative and associative. (4) [] is the multiplicative identit under. (5) If n is a prime (sa, n = p), then ever [ a ] [] in Z p has [b] as the inverse under, where b is an integer such that a and b are relativel prime; i.e., gcd(a,b)=. * (6) If Z p is the set of all non ero elements in abelian group. Z, then ( Z *, ) is an p p

42 . We now show that the operation is distributive w.r.t the operation Let us take an in Z n, we find that [ a],[ b],[ c] Z. Then using the definitions of and n [ a] ([ b] [ c]) [ a] [ b c] [ a( b c)] [ ab ac] [ ab] [ ac] [ a][ b] [ a][ c] and ([ a] [ b]) [ c] ([ a b]) [ c] [( a b) c] [ ac bc] These show that is distributive w.r.t. In view of this result and the results () (4) mentioned above, it follows that ( Z,, ) is a commutative ring with unit. This ring is n called the Ring of integers modulo n and is denoted b Z n. In view of the result (5) indicated above, it follows that if n = p, a prime, then Z n is a field. The converse of this is also true. See following Eample (5) Eample ) Show that Z 5 is an integral domain. Soln: We first note that Z 5 is a commutative ring with unit. The multiplicative table for Z 5 is as given below: [ ] [] [2] [3] [4] [] [] [2] [3] [4] [] [] [] [] [] [] [] [2] [3] [4] [] [2] [4] [] [3] [] [3] [] [4] [2] [] [4] [3] [2] []

43 From the table, we note that for an [ a ] and an [ b] in Z 5, we have [ a ][ b]. That is Z 5 has no proper ero-divisors. Therefore, Z 5 is an integral domain. Remark: Since Z 5 5, Z 5 is a finite integral domain and is therefore a field. Eample 2) Show that Z 6 is not an integral domain. Soln: We first note that Z 6 is a commutative ring with unit. The multiplication table for Z 6 is as given below: [ ] [] [2] [3] [4] [5] [] [] [2] [3] [4] [5] [] [] [] [] [] [] [] [] [2] [3] [4] [5] [] [2] [4] [] [2] [4] [] [3] [] [3] [] [3] [] [4] [2] [] [4] [2] [] [5] [4] [3] [2] [] [ 3] in 6 From the table, we note that for an [ 2][3] although [ 2] and integral domain. Z,Thus, Z 6 has pair of ero-divisors. Therefore, Z 6 is not an Remark: Since Z 6 is not an integral domain, hence it is not a field. Eample 3)(a) Prove that, in Z n, ] [a is a unit if and onl if gcd(, n) a. (b) Find all the units in Z 2. Soln: (a) If gcd( a, n), then ar ns for some integers r and s. Thus ar ns So that ar (mod n). This ields [ a ][ r] [] which shows that [a] is a unit whose multiplicative inverse is [r].

44 Conversel, suppose that [a] is a unit of Z n and let [ a] [ r]. Then ar so that ar (mod n). This ields ar sn for some integer [ ] [ a][ r] [] s. Then, we have ar ( s) n which shows that gcd( a, n) (b) We have We note that Z 2 {[], gcd(,. [], [2], [3], [4], [5], [6], [7], [8], [9], [], []} 2) gcd(5, 2) gcd)7, 2) gcd(, 2). Therefore, [ ], [5], [7], [] are the units of Z 2. Eample 4) Find [25] in Z 72 and [777] in Z 9. Soln: We note that gcd( 25, 72). Therefore, [ 25] is a unit in Z 72. Let [25] [ a] Z in 72. Then [ 25][ a ] [25a] [] or 25a (mod72) or 25 72r, for some integer r. or 25 72r a. We check that this holds when 49 [25] a and 7 [ a ] [49]. r. Thus, in 72 Net, we note that gcd( 777, 9). Therefore, [ 777] is a unit in Z 9. Let [777] [ b] Z in 9. Then 777b (mod 9), Z. or 777b (9) s, for some integer s. we check that this holds for 735 b and 566 s. Thus, in 9 Z. [777] [ b ] 735. Eample 5) Prove that, in Z n is a field if and onl if n is prime.

45 Soln: Suppose n is a prime. Then, for an integer a such that a n, we have gcd( a, n). Accordingl, [a] is a unit in Z n. This means that ever non ero element of field. Z n has a multiplicative inverse. Therefore, Z n is a Net, suppose n is not a prime. Then n n n2 for some positive integers n and n 2. We note that [ 2 2 n ][ n ] [ n n ] [ n] [] in Z n. Thus, [ n ] and [ n 2 ] are proper ero divisors in Z n. Hence, Z n is not an integral domain. Consequentl, Z n is not a fild. Thus, if n is not a prime then Z n is not a field. Taking the contrapositive of this, we get the result that if Z n is a field then n is prime. This completes the proof. Reference.Discrete Mathematics:Geemaldi 2.Discrete Mathematics Dr.D.S.Chandrashekhar

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

MATH 433 Applied Algebra Lecture 22: Review for Exam 2. MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric

More information

Mathematics of Cryptography Part I

Mathematics of Cryptography Part I CHAPTER 2 Mathematics of Crptograph Part I (Solution to Practice Set) Review Questions 1. The set of integers is Z. It contains all integral numbers from negative infinit to positive infinit. The set of

More information

8. BOOLEAN ALGEBRAS x x

8. BOOLEAN ALGEBRAS x x 8. BOOLEAN ALGEBRAS 8.1. Definition of a Boolean Algebra There are man sstems of interest to computing scientists that have a common underling structure. It makes sense to describe such a mathematical

More information

Definition: div Let n, d 0. We define ndiv d as the least integer quotient obtained when n is divided by d. That is if

Definition: div Let n, d 0. We define ndiv d as the least integer quotient obtained when n is divided by d. That is if Section 5. Congruence Arithmetic A number of computer languages have built-in functions that compute the quotient and remainder of division. Definition: div Let n, d 0. We define ndiv d as the least integer

More information

Solutions to Assignment 3

Solutions to Assignment 3 Solutions to Assignment 3 Question 1. [Exercises 3.1 # 2] Let R = {0 e b c} with addition multiplication defined by the following tables. Assume associativity distributivity show that R is a ring with

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

Chapter R REVIEW OF BASIC CONCEPTS. Section R.1: Sets

Chapter R REVIEW OF BASIC CONCEPTS. Section R.1: Sets Chapter R REVIEW OF BASIC CONCEPTS Section R.: Sets. The elements of the set {,,,, 0} are all the natural numbers from to 0 inclusive. There are 9 elements in the set, {,,,,, 7,, 9, 0}.. Each element of

More information

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings MTHSC 412 Section 3.1 Definition and Examples of Rings A ring R is a nonempty set R together with two binary operations (usually written as addition and multiplication) that satisfy the following axioms.

More information

MAT389 Fall 2016, Problem Set 2

MAT389 Fall 2016, Problem Set 2 MAT389 Fall 2016, Problem Set 2 Circles in the Riemann sphere Recall that the Riemann sphere is defined as the set Let P be the plane defined b Σ = { (a, b, c) R 3 a 2 + b 2 + c 2 = 1 } P = { (a, b, c)

More information

You don't have to be a mathematician to have a feel for numbers. John Forbes Nash, Jr.

You don't have to be a mathematician to have a feel for numbers. John Forbes Nash, Jr. Course Title: Real Analsis Course Code: MTH3 Course instructor: Dr. Atiq ur Rehman Class: MSc-II Course URL: www.mathcit.org/atiq/fa5-mth3 You don't have to be a mathematician to have a feel for numbers.

More information

Constant 2-labelling of a graph

Constant 2-labelling of a graph Constant 2-labelling of a graph S. Gravier, and E. Vandomme June 18, 2012 Abstract We introduce the concept of constant 2-labelling of a graph and show how it can be used to obtain periodic sphere packing.

More information

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups. MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups. Binary codes Let us assume that a message to be transmitted is in binary form. That is, it is a word in the alphabet

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

Algebraic Structures Exam File Fall 2013 Exam #1

Algebraic Structures Exam File Fall 2013 Exam #1 Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write

More information

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)

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

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

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

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes.

MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes. MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes. Subgroups Definition. A group H is a called a subgroup of a group G if H is a subset of G and the

More information

CHAPTER 14. Ideals and Factor Rings

CHAPTER 14. Ideals and Factor Rings CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements

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

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Foundations of Cryptography

Foundations of Cryptography Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a

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

Chapter 4 Finite Fields

Chapter 4 Finite Fields Chapter 4 Finite Fields Introduction will now introduce finite fields of increasing importance in cryptography AES, Elliptic Curve, IDEA, Public Key concern operations on numbers what constitutes a number

More information

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same

More information

A Note on Clean Matrices in M 2 ( Z)

A Note on Clean Matrices in M 2 ( Z) International Journal of Algebra Vol. 3 2009 no. 5 241-248 A Note on Clean Matrices in M 2 ( Z) K. N. Rajeswari 1 School of Mathematics Vigan Bhawan Khandwa Road Indore 452 017 India Rafia Aziz Medi-Caps

More information

Identifying second degree equations

Identifying second degree equations Chapter 7 Identifing second degree equations 71 The eigenvalue method In this section we appl eigenvalue methods to determine the geometrical nature of the second degree equation a 2 + 2h + b 2 + 2g +

More information

MODEL ANSWERS TO THE FIRST HOMEWORK

MODEL ANSWERS TO THE FIRST HOMEWORK MODEL ANSWERS TO THE FIRST HOMEWORK 1. Chapter 4, 1: 2. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above

More information

MATH3302 Coding Theory Problem Set The following ISBN was received with a smudge. What is the missing digit? x9139 9

MATH3302 Coding Theory Problem Set The following ISBN was received with a smudge. What is the missing digit? x9139 9 Problem Set 1 These questions are based on the material in Section 1: Introduction to coding theory. You do not need to submit your answers to any of these questions. 1. The following ISBN was received

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

Section 3.1. ; X = (0, 1]. (i) f : R R R, f (x, y) = x y

Section 3.1. ; X = (0, 1]. (i) f : R R R, f (x, y) = x y Paul J. Bruillard MATH 0.970 Problem Set 6 An Introduction to Abstract Mathematics R. Bond and W. Keane Section 3.1: 3b,c,e,i, 4bd, 6, 9, 15, 16, 18c,e, 19a, 0, 1b Section 3.: 1f,i, e, 6, 1e,f,h, 13e,

More information

Get Solution of These Packages & Learn by Video Tutorials on Matrices

Get Solution of These Packages & Learn by Video Tutorials on  Matrices FEE Download Stud Package from website: wwwtekoclassescom & wwwmathsbsuhagcom Get Solution of These Packages & Learn b Video Tutorials on wwwmathsbsuhagcom Matrices An rectangular arrangement of numbers

More information

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation.

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation. Homework for UTK M351 Algebra I Fall 2013, Jochen Denzler, MWF 10:10 11:00 Each part separately graded on a [0/1/2] scale. Problem 1: Recalling the field axioms from class, prove for any field F (i.e.,

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

. In particular if a b then N(

. In particular if a b then N( Gaussian Integers II Let us summarise what we now about Gaussian integers so far: If a, b Z[ i], then N( ab) N( a) N( b). In particular if a b then N( a ) N( b). Let z Z[i]. If N( z ) is an integer prime,

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

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

Section 18 Rings and fields

Section 18 Rings and fields Section 18 Rings and fields Instructor: Yifan Yang Spring 2007 Motivation Many sets in mathematics have two binary operations (and thus two algebraic structures) For example, the sets Z, Q, R, M n (R)

More information

MODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.

MODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain. MODEL ANSWERS TO HWK #7 1. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above by c on the left, we get 0

More information

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and

More information

FACULTY OF MATHEMATICAL STUDIES MATHEMATICS FOR PART I ENGINEERING. Lectures AB = BA = I,

FACULTY OF MATHEMATICAL STUDIES MATHEMATICS FOR PART I ENGINEERING. Lectures AB = BA = I, FACULTY OF MATHEMATICAL STUDIES MATHEMATICS FOR PART I ENGINEERING Lectures MODULE 7 MATRICES II Inverse of a matri Sstems of linear equations Solution of sets of linear equations elimination methods 4

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

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Tomáš Madaras Congruence classes

Tomáš Madaras Congruence classes Congruence classes For given integer m 2, the congruence relation modulo m at the set Z is the equivalence relation, thus, it provides a corresponding partition of Z into mutually disjoint sets. Definition

More information

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both

More information

Chapter 7. Error Control Coding. 7.1 Historical background. Mikael Olofsson 2005

Chapter 7. Error Control Coding. 7.1 Historical background. Mikael Olofsson 2005 Chapter 7 Error Control Coding Mikael Olofsson 2005 We have seen in Chapters 4 through 6 how digital modulation can be used to control error probabilities. This gives us a digital channel that in each

More information

Math Subject GRE Questions

Math Subject GRE Questions Math Subject GRE Questions Calculus and Differential Equations 1. If f() = e e, then [f ()] 2 [f()] 2 equals (a) 4 (b) 4e 2 (c) 2e (d) 2 (e) 2e 2. An integrating factor for the ordinary differential equation

More information

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston Undergraduate abstract algebra is usually focused on three topics: Group Theory, Ring Theory, and Field Theory. Of the myriad

More information

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.

More information

Trigonometry Outline

Trigonometry Outline Trigonometr Outline Introduction Knowledge of the content of this outline is essential to perform well in calculus. The reader is urged to stud each of the three parts of the outline. Part I contains the

More information

Linear Codes and Syndrome Decoding

Linear Codes and Syndrome Decoding Linear Codes and Syndrome Decoding These notes are intended to be used as supplementary reading to Sections 6.7 9 of Grimaldi s Discrete and Combinatorial Mathematics. The proofs of the theorems are left

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

A PARTIAL CHARACTERIZATION OF THE COCIRCUITS OF A SPLITTING MATROID

A PARTIAL CHARACTERIZATION OF THE COCIRCUITS OF A SPLITTING MATROID DEPARTMENT OF MATHEMATICS TECHNICAL REPORT A PARTIAL CHARACTERIZATION OF THE COCIRCUITS OF A SPLITTING MATROID DR. ALLAN D. MILLS MAY 2004 No. 2004-2 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, TN 38505

More information

Lecture 12. Block Diagram

Lecture 12. Block Diagram Lecture 12 Goals Be able to encode using a linear block code Be able to decode a linear block code received over a binary symmetric channel or an additive white Gaussian channel XII-1 Block Diagram Data

More information

Many of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation.

Many of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation. 12. Rings 1 Rings Many of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation. Example: Z, Q, R, and C are an Abelian

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

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

3. Coding theory 3.1. Basic concepts

3. Coding theory 3.1. Basic concepts 3. CODING THEORY 1 3. Coding theory 3.1. Basic concepts In this chapter we will discuss briefly some aspects of error correcting codes. The main problem is that if information is sent via a noisy channel,

More information

8.1 Exponents and Roots

8.1 Exponents and Roots Section 8. Eponents and Roots 75 8. Eponents and Roots Before defining the net famil of functions, the eponential functions, we will need to discuss eponent notation in detail. As we shall see, eponents

More information

ECEN 5682 Theory and Practice of Error Control Codes

ECEN 5682 Theory and Practice of Error Control Codes ECEN 5682 Theory and Practice of Error Control Codes Introduction to Algebra University of Colorado Spring 2007 Motivation and For convolutional codes it was convenient to express the datawords and the

More information

MATH 403 MIDTERM ANSWERS WINTER 2007

MATH 403 MIDTERM ANSWERS WINTER 2007 MAH 403 MIDERM ANSWERS WINER 2007 COMMON ERRORS (1) A subset S of a ring R is a subring provided that x±y and xy belong to S whenever x and y do. A lot of people only said that x + y and xy must belong

More information

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply

More information

BASIC MATHEMATICAL TECHNIQUES

BASIC MATHEMATICAL TECHNIQUES CHAPTER 1 ASIC MATHEMATICAL TECHNIQUES 1.1 Introduction To understand automata theory, one must have a strong foundation about discrete mathematics. Discrete mathematics is a branch of mathematics dealing

More information

Polynomial and Rational Functions

Polynomial and Rational Functions Name Date Chapter Polnomial and Rational Functions Section.1 Quadratic Functions Objective: In this lesson ou learned how to sketch and analze graphs of quadratic functions. Important Vocabular Define

More information

Ideals, congruence modulo ideal, factor rings

Ideals, congruence modulo ideal, factor rings Ideals, congruence modulo ideal, factor rings Sergei Silvestrov Spring term 2011, Lecture 6 Contents of the lecture Homomorphisms of rings Ideals Factor rings Typeset by FoilTEX Congruence in F[x] and

More information

MATH 420 FINAL EXAM J. Beachy, 5/7/97

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

More information

Chapter 5. Modular arithmetic. 5.1 The modular ring

Chapter 5. Modular arithmetic. 5.1 The modular ring Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence

More information

exercise in the previous class (1)

exercise in the previous class (1) exercise in the previous class () Consider an odd parity check code C whose codewords are (x,, x k, p) with p = x + +x k +. Is C a linear code? No. x =, x 2 =x =...=x k = p =, and... is a codeword x 2

More information

M381 Number Theory 2004 Page 1

M381 Number Theory 2004 Page 1 M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +

More information

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.

More information

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache GROUPS AS GRAPHS W. B. Vasantha Kandasamy Florentin Smarandache 009 GROUPS AS GRAPHS W. B. Vasantha Kandasamy e-mail: vasanthakandasamy@gmail.com web: http://mat.iitm.ac.in/~wbv www.vasantha.in Florentin

More information

SEVENTH EDITION and EXPANDED SEVENTH EDITION

SEVENTH EDITION and EXPANDED SEVENTH EDITION SEVENTH EDITION and EXPANDED SEVENTH EDITION Slide 10-1 Chapter 10 Mathematical Systems 10.1 Groups Definitions A mathematical system consists of a set of elements and at least one binary operation. A

More information

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001 Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,

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

INTEGER-MAGIC SPECTRA OF AMALGAMATIONS OF STARS AND CYCLES. Sin-Min Lee San Jose State University San Jose, CA

INTEGER-MAGIC SPECTRA OF AMALGAMATIONS OF STARS AND CYCLES. Sin-Min Lee San Jose State University San Jose, CA INTEGER-MAGIC SPECTRA OF AMALGAMATIONS OF STARS AND CYCLES Sin-Min Lee San Jose State Universit San Jose, CA 9592 lee@cs.sjsu.edu Ebrahim Salehi Department of Mathematical Sciences Universit of Nevada

More information

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer? Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

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

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

JEE/BITSAT LEVEL TEST

JEE/BITSAT LEVEL TEST JEE/BITSAT LEVEL TEST Booklet Code A/B/C/D Test Code : 00 Matrices & Determinants Answer Key/Hints Q. i 0 A =, then A A is equal to 0 i (a.) I (b.) -ia (c.) -I (d.) ia i 0 i 0 0 Sol. We have AA I 0 i 0

More information

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2006 Contents 9 Introduction to Number Theory and Cryptography 1 9.1 Subgroups

More information

Prove proposition 68. It states: Let R be a ring. We have the following

Prove proposition 68. It states: Let R be a ring. We have the following Theorem HW7.1. properties: Prove proposition 68. It states: Let R be a ring. We have the following 1. The ring R only has one additive identity. That is, if 0 R with 0 +b = b+0 = b for every b R, then

More information

Modular numbers and Error Correcting Codes. Introduction. Modular Arithmetic.

Modular numbers and Error Correcting Codes. Introduction. Modular Arithmetic. Modular numbers and Error Correcting Codes Introduction Modular Arithmetic Finite fields n-space over a finite field Error correcting codes Exercises Introduction. Data transmission is not normally perfect;

More information

Chapter 3 Basic Number Theory

Chapter 3 Basic Number Theory Chapter 3 Basic Number Theory What is Number Theory? Well... What is Number Theory? Well... Number Theory The study of the natural numbers (Z + ), especially the relationship between different sorts of

More information

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated

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

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

Prime and irreducible elements of the ring of integers modulo n

Prime and irreducible elements of the ring of integers modulo n Prime and irreducible elements of the ring of integers modulo n M. H. Jafari and A. R. Madadi Department of Pure Mathematics, Faculty of Mathematical Sciences University of Tabriz, Tabriz, Iran Abstract

More information

Relations and Functions

Relations and Functions artesian product Relations and Functions Let and be two sets. Then the set of all ordered pairs ab where a and b is called the artesian Product or ross Product or Product set of and and is denoted b X.

More information

5.1 Commutative rings; Integral Domains

5.1 Commutative rings; Integral Domains 5.1 J.A.Beachy 1 5.1 Commutative rings; Integral Domains from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 23. Let R be a commutative ring. Prove the following

More information

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : UNIT I PROPOSITIONAL CALCULUS Part A ( Marks) Year / Sem : III / V. Write the negation of the following proposition. To enter into the country you

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

(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

Algebra for error control codes

Algebra for error control codes Algebra for error control codes EE 387, Notes 5, Handout #7 EE 387 concentrates on block codes that are linear: Codewords components are linear combinations of message symbols. g 11 g 12 g 1n g 21 g 22

More information

ABSTRACT ALGEBRA. Romyar Sharifi

ABSTRACT ALGEBRA. Romyar Sharifi ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory

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

9 Solutions for Section 2

9 Solutions for Section 2 9 Solutions for Section 2 Exercise 2.1 Show that isomorphism is an equivalence relation on rings. (Of course, first you ll need to recall what is meant by an equivalence relation. Solution Most of this

More information

: Coding Theory. Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, upattane

: Coding Theory. Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, upattane 2301532 : Coding Theory Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, 2006 http://pioneer.chula.ac.th/ upattane Chapter 1 Error detection, correction and decoding 1.1 Basic definitions and

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

B Sc MATHEMATICS ABSTRACT ALGEBRA UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

More information