Linear and Cyclic Codes over direct product of Finite Chain Rings

Size: px
Start display at page:

Download "Linear and Cyclic Codes over direct product of Finite Chain Rings"

Transcription

1 Proceedings of the 16th International Conference on Computational and Mathematical Methods in Science and Engineering CMMSE July 2016 Linear and Cyclic Codes over direct product of Finite Chain Rings Joaquim Borges 1 Cristina Fernández-Córdoba 1 and Roger Ten-Valls 1 1 Department of Information and Communications Engineering Universitat Autònoma de Barcelona s: joaquimborges@uabcat cristinafernandez@uabcat rogerten@uabcat Abstract We introduce a new type of linear and cyclic codes These codes are defined over a direct product of two finite chain rings The definition of these codes as certain submodules of the direct product of copies of these rings is given and the cyclic property is defined Cyclic codes can be seen as submodules of the direct product of polynomial rings Generator matrices for linear codes and generator polynomials for cyclic codes are determined Key words: Codes over rings linear codes cyclic codes finite chain rings MSC 2000: 94B60 94B25 1 Introduction Linear codes are a special family of codes with rich mathematical structure One of the most studied class of linear codes is the class of linear cyclic codes The algebraic structure of cyclic codes makes easier their implementation For this reason many practically important codes are cyclic The study of codes over rings has been growing since it was proven in [8] that certain notorious non-linear binary codes can be seen as binary images under the Gray map of linear codes over Z 4 In particular the family of codes over chain rings has received much attention because it includes some good codes (eg [6] [9]) In recent times linear codes with sets of coordinates over different rings are studied (eg Z α 2 Zβ 4 in [3] Zα p r Zβ ps in [2]) Also linear cyclic codes over these kind of structures are studied see [1] [4] [5] and [7]

2 Linear and Cyclic Codes over direct product of Finite Chain Rings In this paper we present the structure of linear and cyclic codes over direct product of finite chain rings R 1 and R 2 Linear codes can be seen as certain submodules of R α 1 Rβ 2 and cyclic codes as submodules of R αβ = R 1[x] x α 1 R 2[x] We determine the generator x β 1 matrix in standard form and the generator polynomials in the cyclic case Finally we present examples to illustrate some particular cases 2 Review of cyclic codes over finite chain rings Let R be a finite chain ring with maximal ideal γ and let e be the nilpotency of γ It is well-know that there exist a prime p and a positive integer m such that R/ γ = q = p m and R = q e = p me Let C be a cyclic code of length n over R It is known that we can identify C as an ideal of R[x]/(x n 1) We assume that n is a positive integer such that it is coprime with p Therefore the polynomial x n 1 has a unique decomposition as a product of basic irreducible polynomials that are pairwise coprime over R[x] Theorem 21 ([6 Theorem 35]) Let C be a cyclic code of length n over a finite chain ring R which has maximal ideal γ and e is the nilpotency of γ Then there exist polynomials g 0 g 1 g e 1 in R[x] such that C = g 0 γg 1 γ e 1 g e 1 and g e 1 g e 2 g 1 g 0 (x n 1) Let C = g 0 γg 1 γ e 1 g e 1 be a cyclic code of length n and let g = g 0 + γg γ e 1 g e 1 Since g 0 is a factor of x n 1 and for i = 1 e 1 the polynomial g i is a factor of g i 1 we will denote ĝ 0 = xn 1 g 0 and ĝ i = g i 1 g i for i = 1 e 1 Define G = e 1 i=0 ĝi then ) it is clear that Gg = g = 0 over R[x]/(x n 1) ( e 1 i=0 ĝi Lemma 22 Let C be a cyclic code of length n over a finite chain ring R which has maximal ideal γ and e is the nilpotency of γ Let g 0 g 1 g e 1 in R[x] such that C = g 0 γg 1 γ e 1 g e 1 and g e 1 g e 2 g 1 g 0 (x n 1) Then 1 γ e 1 g = γ e 1 g e 1 G ĝ 0 2 γ e 1 i ( i 1 j=0 ĝj)g = γ e 1 g e 1 G ĝ i for i = 1 e 1 Proof Let g = g 0 + γg γ e 1 g e 1 Then γ e 1 g = γ e 1 g 0 1 g 1 g 1 g 2 g e 3 g e 2 g e 2 g e 1 g e 1 = γ e 1 g e 1 ĝ 1 ĝ 2 ĝ e 2 ĝ e 1 = γ e 1 g e 1 G ĝ 0

3 J Borges C Fernández-Córdoba and R Ten-Valls and 1 holds For i = 1 e 1 we have that i 1 γ e 1 i ( j=0 and statement 2 is proved i 1 ĝ j )g =γ e 1 i ( j=0 ĝ j )γ i g i 1 g i+1 g i+1 g i+2 g e 2 g e 1 g e 1 =γ e 1 g e 1 ĝ 0 ĝ 1 ĝ i 1 ĝ i+1 ĝ e 1 = γ e 1 g e 1 G ĝ i Corollary 23 (of Th 21) Let C be a cyclic code of length n over a finite chain ring R such that C = g 0 γg 1 γ e 1 g e 1 with g e 1 g e 2 g 1 g 0 (x n 1) Then C = R/ γ e 1 i=0 (e i) deg(ĝ i) Proof From the previous definition of ĝ i these polynomials are the same polynomials described in [6 Theorem 34] Theorem 24 Let C be a cyclic code of length n over a finite chain ring R which has maximal ideal γ and e is the nilpotency of γ Let g 0 g 1 g e 1 polynomials in R[x] such that C = g 0 γg 1 γ e 1 g e 1 and g e 1 g e 2 g 1 g 0 (x n 1) Then the polynomial g = g 0 + γg γ e 1 g e 1 is a generating polynomial of C ie C = g Proof Clearly g = g 0 +γg 1 + +γ e 1 g e 1 C then we only have to prove that γ i g i g for all i = 0 e 1 g Case e = 2: We have that g = g 0 + γg 1 and C = g 0 γg 1 Then γg = γg 0 = γg 0 1 g 1 and xn 1 x g 0 g = γg n 1 1 g 0 since g 0 g 1 and xn 1 g 0 are coprime then γg 1 belongs to g and hence g 0 also belongs to g Case e = 3: We have that g = g 0 + γg 1 + γ 2 g 2 and C = g 0 γg 1 γ 2 g 2 Now γ 2 g = γ 2 g g 1 g 0 2 g 2 g 1 γ xn 1 g 0 g = γ 2 x g n 1 g 1 2 g 0 g 2 and xn 1 g 0 g 0 g 1 g = γ 2 x g n 1 g 0 2 g 0 g 1 since gcd( g 0 g 1 g 1 g 2 xn 1 g 0 ) = 1 then γ 2 g 2 belongs to g hence g 0 + γg 1 So g = g 0 + γg 1 γ 2 g 2 Arguing as in case e = 2 it is straightforward that g = g 0 γg 1 γ 2 g 2 In the general case let g = g 0 + γg γ e 1 g e 1 and define as in Lemma 22 the polynomials G and ĝ i for i {0 e 1} g and γ e 1 i ( i 1 j=0 ĝj)g = γ e 1 G g e 1 ĝ i g for i {1 e 1} Since gcd( G ĝ 0 G G ĝ 1 ĝ e 1 ) = 1 we have that γ e 1 g e 1 g and g = g 0 + γg γ e 2 g e 2 γ e 1 g e 1 Reasoned similarly one obtains that g = g 0 γg 1 γ e 1 g e 1 Then γ e 1 g = γ e 1 g e 1 G ĝ 0 Theorem 25 Let C = g = g 0 + γg γ e 2 g e 2 + γ e 1 g e 1 be a cyclic code of length n over a finite chain ring R which has maximal ideal γ and e is the nilpotency of

4 Linear and Cyclic Codes over direct product of Finite Chain Rings γ with g e 1 g e 2 g 1 g 0 (x n 1) We define the sets [ ] j 1 deg(ĝj ) S γ j = x i ( ĝ t )g for 0 j < e Then S = e 1 j=0 S γ j i=0 forms a minimal generating set for C as an R-module Proof Let c C Then c = dg with d R[x] If deg(d) < deg(ĝ 0 ) then dg S γ 0 R and c S R Otherwise compute d = d 0 ĝ 0 + r 0 with deg(r 0 ) < deg(ĝ 0 ) so dg = d 0 ĝ 0 g + r 0 g and r 0 g S γ 0 R If deg(d 0 ) < deg(ĝ 1 ) then d 0 ĝ 0 g S γ 1 R and c S R Otherwise compute d 0 = d 1 ĝ 1 + r 1 with deg(r 1 ) < deg(ĝ 1 ) so d 0 ĝ 0 g = d 1 ĝ 1 ĝ 0 g + r 1 ĝ 0 g and r 1 ĝ 0 g S γ 1 R In the worst case and reasoning similarly one obtains that c S R if d e 2 ( e 2 ĝt)g S R It is obvious that if deg(d e 2 ) < deg(ĝ e 1 ) then d e 2 ( e 2 ĝt)g S γ e 1 R if not d e 2 = d e 1 ĝ e 1 + r e 1 Therefore e 2 d e 2 ( e 1 ĝ t )g = d e 1 ( e 2 ĝ t )g + r e 1 ( e 2 ĝ t )g = r e 1 ( ĝ t )g S γ e 1 Since r e 1 ( e 2 ĝt)g S γ e 1 then c S R so S is a generating set By the definition of S clearly S = R/ γ e 1 i=0 (e i) deg(ĝi) By Corollary 23 C = S and S is a minimal generating set 3 Linear codes over R α 1 R β 2 Let R 1 and R 2 be finite chain rings where γ 1 and γ 2 are generators of the maximal ideals of R 1 and R 2 with nilpotency indices e 1 and e 2 respectively We will suppose that R 1 and R 2 have the same residue field K = R 1 / γ 1 = R 2 / γ 2 with K = q = p m By : R i K we will denote the natural projection that maps r r = r + γ i for i = 1 or 2 Let T 1 = {r 0 r q 1 } and T 2 = {r 0 r q 1 } be the Teichmüller sets of representatives of R 1 and R 2 resp then we can arrange the subscripts such that r i = r i Assume that e 1 e 2 Then we can consider the surjective ring homomorphism π : R 2 R 1 γ 2 γ 1 r j r j

5 J Borges C Fernández-Córdoba and R Ten-Valls Note that π(γ i 2 ) = 0 if i e 1 For a R 2 and b R 1 define a multiplication as follows: a b = π(a)b Then R 1 is an R 2 -module with external multiplication given by π Since R 1 is commutative then has the commutative property Then we can generalize this multiplication over the ring R α 1 Rβ 2 as follows Let a be an element of R 2 and u = (u u ) = (u 0 u 1 u α 1 u 0 u 1 u β 1 ) Rα 1 Rβ 2 Then a u = (π(a)u 0 π(a)u 1 π(a)u α 1 au 0 au 1 au β 1 ) With this external operation the ring R α 1 Rβ 2 is also an R 2-module Definition 31 A subset C R α 1 Rβ 2 is a linear code if it is a submodule of Rα 1 Rβ 2 The next result gives the structure of a generator matrix of a linear code Proposition 32 Let C be a linear code over R α 1 Rβ 2 Then C is permutation equivalent to a code with generator matrix of the form ( ) B T G = S A where B = I k0 B 01 B 02 B 03 B 0e1 1 B 0e1 0 γ 1 I k1 γ 1 B 12 γ 1 B 13 γ 1 B 1e1 1 γ 1 B 1e1 0 0 γ 2 1 I k 2 γ 2 1 B 23 γ 2 1 B 2e 1 1 γ 2 1 B 2e 1 T = A = S = γ e I ke1 1 γe B e1 1e 1 0 γ e 2 e 1 2 T 01 γ e 2 e 1 2 T 02 γ e 2 e 1 2 T 0e1 0 0 γ e 2 e T 12 γ e 2 e T 1e γ e T e1 1e 1 I l0 A 01 A 02 A 03 A 0e1 1 A 0e2 0 γ 2 I l1 γ 2 A 12 γ 2 A 13 γ 2 A 1e2 1 γ 2 A 1e2 0 0 γ 2 2 I l 2 γ 2 2 A 23 γ 2 2 A 2e 2 1 γ 2 2 A 2e γ e I le2 1 γe A e2 1e 2 0 S 01 S 02 S 0e1 1 S 0e1 0 S 11 S 12 S 1e1 1 S 1e1 0 S e2 e 1 11 S e2 e 1 12 S e2 e 1 1e 1 1 S e2 e 1 1e γ 1 S e2 e 1 2 γ 1 S e2 e 1 e 1 1 γ 1 S e2 e 1 e γ e S e2 3e 1 1 γ e S e2 2e γ e S e2 2e where the entries in γ i 1 B ij and γ i 1 S ij are in γ i 1 and the ones in γt 2 A tj and γ t 2 T tj are in γ t 2

6 Linear and Cyclic Codes over direct product of Finite Chain Rings Proof Similiar to [2 Theorem 4] Let C X be the canonical projection of C on the first α coordinates and C Y on the last β coordinates The canonical projection is a linear map Then C X and C Y are R 1 and R 2 linear codes of length α and β respectively A code C is called separable if C is the direct product of C X and C Y ie C = C X C Y Moreover if C is separable then ( ) B 0 G = 0 A Example 1 Let C be a linear code over Z 3 2 ( Z2 [u] u 3 ) 4 generated by the matrix u u + u u 1 + u u u u 2 0 u u 2 u u + u 2 0 Hence as described in Theorem 32 C is permutation equivalent to a code generated by the following matrix: G = u u u + u 2 Note that C is not separable 4 Cyclic codes over R α 1 R β 2 Definition 41 Let C be a linear code over R α 1 Rβ 2 The code C is called cyclic if (u 0 u 1 u α 2 u α 1 u 0 u 1 u β 2 u β 1 ) C implies (u α 1 u 0 u 1 u α 2 u β 1 u 0 u 1 u β 2 ) C Let u = (u 0 u 1 u α 1 u 0 u β 1 ) be a codeword in C and let i be an integer We then denote by u (i) = (u 0+i u 1+i u α 1+i u 0+i u β 1+i ) the ith shift of u where the subscripts are read modulo α and β respectively We remark that in this paper the definition of a cyclic code over R α 1 Rβ 2 is clear as long as R 1 and R 2 are different rings since the elements on the first α coordinates and the ones in the last β coordinates belong from different rings R 1 and R 2 respectively In the

7 J Borges C Fernández-Córdoba and R Ten-Valls particular case that R 1 = R 2 the cyclic code over R α 1 Rβ 2 is known in the literature as double cyclic code see [4] [7] The term double cyclic is given in order to distinguish the cyclic code over R α 1 Rβ 1 from the cyclic code over Rα+β 1 Note that C X and C Y are R 1 and R 2 cyclic codes of length α and β respectively Denote by R αβ the ring R 1 [x]/(x α 1) R 2 [x]/(x β 1) There is a bijective map between R α 1 Rβ 2 and R αβ where u = (u 0 u 1 u α 1 u 0 u β 1 ) maps to u(x) = (u 0 + u 1 x + + u α 1 x α 1 u u β 1 xβ 1 ) Note that we can extend the map π to the polynomial ring R 2 [x] applying this map to each of the coefficients of a given polynomial Definition 42 Define the operation : R 2 [x] R αβ R αβ as λ(x) (p(x) q(x)) = (π(λ(x))p(x) λ(x)q(x)) where λ(x) R 2 [x] and (p(x) q(x)) R αβ The ring R αβ with the external operation is a R 2 [x]-module Let u(x) = (u(x) u (x)) be an element of R αβ Note that if we operate u(x) by x we get x u(x) = x (u(x) u (x)) = (u 0 x + + u α 1 x α u 0x + + u β 1 xβ ) = (u α u α 2 x α 1 u β u β 2 xβ 1 ) Hence x u(x) is the image of the vector u (1) Thus the operation of u(x) by x in R αβ corresponds to a shift of u In general x i u(x) = u (i) (x) for all i 41 Algebraic structure and generators of cyclic codes In this subsection we study submodules of R αβ We describe the generators of such submodules and state some properties From now on S will denote the R 2 [x]-submodule generated by a subset S of R αβ For the rest of the discussion we will consider that α and β are coprime integers with p From this assumption we know that R 1 [x]/ x α 1 and R 2 [x]/ x β 1 are principal ideal rings see [6] Theorem 43 Every submodule C of the R 2 [x]-module R αβ can be written as C = (b(x) 0) (l(x) a(x)) where b(x) a(x) are generator polynomials in R 1 [x]/(x α 1) and R 2 [x]/(x β 1) resp and l(x) R 1 [x]/(x α 1)

8 Linear and Cyclic Codes over direct product of Finite Chain Rings Proof Let ψ X : R αβ R 1 [x]/(x α 1) and ψ Y : R αβ R 2 [x]/(x β 1) be the canonical projections let C be a submodule of R αβ Define C = {(p(x) q(x)) C q(x) = 0} It is easy to check that C = ψ X (C ) by (p(x) 0) p(x) Hence by Theorem 24 ψ X (C ) is finitely generated by one element and so is C Let b(x) be a generator of ψ X (C ) then (b(x) 0) is a generator of C As R 2 [x]/(x β 1) is also a principal ideal ring then C Y = ψ Y (C) is generated by one element Let a(x) C Y such that C Y = a(x) then there exists l(x) R 1 [x]/(x α 1) such that (l(x) a(x)) C We claim that C = (b(x) 0) (l(x) a(x)) Let (p(x) q(x)) C then q(x) = ψ Y (p(x) q(x)) C Y So there exists λ(x) R 2 [x] such that q(x) = λ(x)a(x) Now (p(x) q(x)) λ(x) (l(x) a(x)) = (p(x) π(λ(x))l(x) 0) belongs to C Then there exists µ(x) R 2 [x] such that (p(x) π(λ(x))l(x) 0) = µ(x) (b(x) 0) Thus (p(x) q(x)) = µ(x) (b(x) 0) + λ(x) (l(x) a(x)) So C is finitely generated by (b(x) 0) (l(x) a(x)) From the previous results it is clear that we can identify double cyclic codes in R α 1 Rβ 2 as submodules of R αβ So any submodule of R αβ is a cyclic code From now on we will denote by C indistinctly both the code and the corresponding submodule of R αβ In the following a polynomial f(x) in R 1 [x] or R 2 [x] will be denoted simply by f Proposition 44 Let C be a cyclic code over R α 1 Rβ 2 Then there exist polynomials l and b e1 1 b e1 2 b 1 b 0 (x α 1) over R 1 [x] and a e2 1 a e2 2 a 1 a 0 (x β 1) over R 2 [x] such that C = (b 0 + γ 1 b γ 1 e 1 1 b e1 1 0) (l a 0 + γ 2 a γ 2 e 2 1 a e2 1) Proof Let C be a cyclic code over R α 1 Rβ 2 By Theorem 43 there exist polynomials b l R 1 [x]/(x α 1) and a R 2 [x]/(x β 1) such that C = (b 0) (l a) By Theorem 24 one can consider b = b 0 + γ 1 b γ e b e1 1 and a = a 0 + γ 2 a γ e a e2 1 such that b e1 1 b e1 2 b 1 b 0 (x α 1) and a e2 1 a e2 2 a 1 a 0 (x β 1) For the rest of the discussion any cyclic code C over R α 1 Rβ 2 is of the form C = (b 0) (l a) where b = b 0 + γ 1 b γ e b e1 1 and a(x) = a 0 + γ 2 a γ e a e2 1 for polynomials b i and a j as in Proposition 44

9 J Borges C Fernández-Córdoba and R Ten-Valls Example 2 Let R 1 = F 9[u] u 2 and R 2 = F 9[u] u 3 with γ 1 = u e 1 = 2 γ 2 = u and e 2 = 3 Let ξ be a generator of the multiplicative group F 9 Consider the cyclic code over ( F9 [u] u 2 ) 4 ( F9 [u] u 3 ) 10 generated by Then C = (u(x 2 1) 0) (u (x 4 + ξ 3 x 2 + 1) + u(x 2 + ξ 5 x + 1) + u 2 ) b 0 = x 4 1 b 1 = x 2 1 l = u a 0 = x 4 + ξ 3 x a 1 = x 2 + ξ 5 x + 1 a 2 = 1 42 Minimal generating sets Our goal is to find a set generators for a cyclic code C as an R 2 -module Once we found it we are going to use it to determine the size of C in terms of the generator polynomials Since b 0 is a factor of x α 1 and for i = 1 e 1 1 the polynomial b i is a factor of b i 1 we will denote ˆb 0 = xα 1 b 0 we define â 0 = xβ 1 a 0 ˆb i = b i 1 b i for i = 1 e 1 1 and ˆb e1 = b e1 1 In the same way â j = a j 1 a j for j = 1 e 2 1 and â e2 = a e2 1 Theorem 45 Let C be a cyclic code over R α 1 Rβ 2 which has maximals ideals γ 1 R 1 and γ 2 R 2 with nilpotent indices e 1 and e 2 respectively Define for 0 j < e 1 and for 0 k < e 2 Then [ j 1 B j = x i ( ˆbt ) (b 0) [ k 1 A k = x i ( â t ) (l a) S = e 1 1 B j j=0 ] deg(ˆbj ) 1 i=0 ] deg(âk ) 1 i=0 ( ) e 2 1 A k forms a minimal generating set for C as an R 2 -module Moreover where q is the cardinality of the residue field k=0 e1 1 C = q i=0 (e 1 i) deg(ˆb i )+ e 2 1 j=0 (e 2 j) deg â j

10 Linear and Cyclic Codes over direct product of Finite Chain Rings Proof ( By Theorem 25 it is clear that the elements in S are R 2 -lineal independent since e1 ) ( 1 j=0 B j and e2 ) 1 k=0 A k are minimal generating sets for the codes C X and C Y X Y respectively Let c be a codeword of C then c = q (b 0) + d (l a) Reasoning similarly as in Theorem 25 we have that q (b 0) e 1 1 j=0 B j R2 So we have to prove that d (l a) S R2 If deg(d) < deg(â 0 ) then d (l a) A 0 R2 and c S R2 Otherwise compute d = d 0 â 0 + r 0 with deg(r 0 ) < deg(â 0 ) so d (l a) = d 0 â 0 (l a) + r 0 (l a) and r 0 (l a) A 0 R2 In the worst case and reasoning similarly one obtains that c S R2 if d e2 2( e 2 2 ât) (l a) S R2 It is obvious that if deg(d e2 2) < deg(â e2 1) then d e2 2( e 2 2 ât) (l a) A e2 1 R2 if not d e2 2 = d e2 1â e2 1 + r e2 1 Therefore ( e2 ) ( 2 e2 ) ( 1 e2 ) 2 d e2 2 â t (l a) = d e2 1 â t (l a) + r e2 1 â t (l a) On one hand r e2 1( e 2 2 ât) (l a) A e2 1 R2 On the other hand d e2 1( e 2 1 ât) (l a) = d e2 1( e 2 1 ât) (l 0) and then d e2 1( e 2 1 ât) (l a) = f (b 0) e 1 1 j=0 B j R2 Thus c S R2 and S is a minimal generating set for C Example 3 Consider R αβ = Z 2 [x]/(x 2 1) Z 4 [x]/(x 3 1) and the cyclic code C = (x 1 (x 2 + x + 1) + 2) where b 0 (x) = x 2 1 l(x) = x 1 a 0 (x) = x 2 + x + 1 and a 1 (x) = 1 Then S = {(x 1 x 2 + x + 3) (0 2x + 2) (0 2x 2 + 2x)} and 2 1 C = 2 j=0 (2 j)deg(â j) = 2 4 = 16 Example 4 From Example 2 consider the cyclic code over by ( F9 [u] u 2 C = (u(x 2 1) 0) (u (x 4 + ξ 3 x 2 + 1) + u(x 2 + ξ 7 x + 1) + u 2 ) ) 4 ( F9 [u] u 3 ) 10 generated Let b = u(x 2 1) l = u and a = (x 4 + ξ 3 x 2 + 1) + u(x 2 + ξ 7 x + 1) + u 2 Then a minimal generating set for C is the union of and B 0 = B 1 = [ x i (u(x 2 1) 0) ] 1 i=0 A 0 = [ x i (l a) ] 5 i=0 A 1 = [ x i µ (l a) ] 1 i=0 A 2 = [ x i λ (l a) ] 1 i=0 where µ = x 6 + ξ 7 x 4 + ξ 3 x and λ = x 8 + ξx 7 + ξx 6 + x 5 + 2x 3 + ξ 5 x 2 + ξ 5 x + 2 So C = i=0 (2 i)deg(ˆb i )+ 3 1 j=0 (3 j)deg(â j) = = 9 26

11 J Borges C Fernández-Córdoba and R Ten-Valls Acknowledgements This work has been partially supported by the Spanish MINECO grants TIN P and MTM REDT and by the Catalan AGAUR grant 2014SGR-691 References [1] T Abualrub I Siap N Aydin Z 2 Z 4 -additive cyclic codes IEEE Trans Info Theory 60(3) (2014) [2] I Aydogdu I Siap On Z p rz p s-additive codes Linear and Multilinear Algebra 63(10) (2014) [3] J Borges C Fernández-Córdoba J Pujol J Rifà and M Villanueva Z 2 Z 4 -linear codes: generator matrices and duality Des Codes and Crypto 54(2) (2010) [4] J Borges C Fernández-Córdoba R Ten-Valls Z 2 -double cyclic codes arxiv: [5] J Borges C Fernández-Córdoba R Ten-Valls Z 2 Z 4 -additive cyclic codes generator polynomials and dual codes arxiv: [6] H Q Dinh S R López-Permouth Cyclic and negacyclic codes over finite chain rings IEEE Trans Info Theory 50(8) (2004) [7] J Gao M Shi T Wu and F Fu On double cyclic codes over Z 4 Finite Fields and Their Applications 39 (2016) [8] A R Hammons P V Kumar A R Calderbank N J A Sloane P Solé The Z 4 -Linearity of Kerdock Preparata Goethals and Related Codes IEEE Trans Info Theory 40(2) (1994) [9] G Norton A Salagean On the structure of linear and cyclic codes over finite chain rings Appl Algebra Eng Commun Comput 10 (2000)

Linear, Cyclic and Constacyclic Codes over S 4 = F 2 + uf 2 + u 2 F 2 + u 3 F 2

Linear, Cyclic and Constacyclic Codes over S 4 = F 2 + uf 2 + u 2 F 2 + u 3 F 2 Filomat 28:5 (2014), 897 906 DOI 10.2298/FIL1405897O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Linear, Cyclic and Constacyclic

More information

Skew Cyclic Codes Of Arbitrary Length

Skew Cyclic Codes Of Arbitrary Length Skew Cyclic Codes Of Arbitrary Length Irfan Siap Department of Mathematics, Adıyaman University, Adıyaman, TURKEY, isiap@adiyaman.edu.tr Taher Abualrub Department of Mathematics and Statistics, American

More information

Repeated Root Constacyclic Codes of Length mp s over F p r +uf p r +...+u e 1 F p r

Repeated Root Constacyclic Codes of Length mp s over F p r +uf p r +...+u e 1 F p r Repeated Root Constacyclic Codes of Length mp s over F p r +uf p r +...+u e 1 F p r arxiv:1211.7326v1 [cs.it] 30 Nov 2012 Kenza Guenda and T. Aaron Gulliver December 3, 2012 Abstract We give the structure

More information

Nonlinear Cyclic Codes over Z 4 whose Nechaev-Gray Images are Binary Linear Cyclic Codes

Nonlinear Cyclic Codes over Z 4 whose Nechaev-Gray Images are Binary Linear Cyclic Codes International Mathematical Forum, 1, 2006, no. 17, 809-821 Nonlinear Cyclic Codes over Z 4 whose Nechaev-Gray Images are Binary Linear Cyclic Codes Gerardo Vega Dirección General de Servicios de Cómputo

More information

DISTANCE COLORINGS OF HYPERCUBES FROM Z 2 Z 4 -LINEAR CODES

DISTANCE COLORINGS OF HYPERCUBES FROM Z 2 Z 4 -LINEAR CODES DISTANCE COLORINGS OF HYPERCUBES FROM Z 2 Z 4 -LINEAR CODES GRETCHEN L. MATTHEWS Abstract. In this paper, we give distance-` colorings of the hypercube using nonlinear binary codes which are images of

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

The Structure of Z 2 Z 2 s-additive Codes: Bounds on the Minimum Distance

The Structure of Z 2 Z 2 s-additive Codes: Bounds on the Minimum Distance Appl Math Inf Sci 7, No 6, 2271-2278 (2013) 2271 Applied Mathematics & Information Sciences An International Journal http://dxdoiorg/1012785/amis/070617 The Structure of Z 2 Z 2 s-additive Codes: Bounds

More information

arxiv: v4 [cs.it] 26 Apr 2015

arxiv: v4 [cs.it] 26 Apr 2015 On cyclic codes over Z q +uz q arxiv:1501.03924v4 [cs.it] 26 Apr 2015 Jian Gao 1, Fang-Wei Fu 2, Ling Xiao 1, Rama Krishna Bandi 3 1. School of Science, Shandong University of Technology Zibo, 255091,

More information

Circulant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv: v1 [math.co] 26 Nov 2017

Circulant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv: v1 [math.co] 26 Nov 2017 Circulant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv:1711.09373v1 [math.co] 26 Nov 2017 J. Rifà Department of Information and Communications Engineering, Universitat Autònoma de Barcelona October

More information

Codes over an infinite family of algebras

Codes over an infinite family of algebras J Algebra Comb Discrete Appl 4(2) 131 140 Received: 12 June 2015 Accepted: 17 February 2016 Journal of Algebra Combinatorics Discrete tructures and Applications Codes over an infinite family of algebras

More information

Self-Dual Codes over Commutative Frobenius Rings

Self-Dual Codes over Commutative Frobenius Rings Self-Dual Codes over Commutative Frobenius Rings Steven T. Dougherty Department of Mathematics University of Scranton Scranton, PA 18510, USA Email: doughertys1@scranton.edu Jon-Lark Kim Department of

More information

PD-sets for (nonlinear) Hadamard Z4 -linear codes

PD-sets for (nonlinear) Hadamard Z4 -linear codes This is the accepted versión of: Barrolleta, RD and Villanueva, M. PD-sets for (nonlinear) Hadamard Z₄-linear codes in Springer Proceedings in Mathematics & Statistics, 2016 (Proceedings of the 21st Conference

More information

On Skew Cyclic and Quasi-cyclic Codes Over F 2 + uf 2 + u 2 F 2

On Skew Cyclic and Quasi-cyclic Codes Over F 2 + uf 2 + u 2 F 2 Palestine Journal of Mathematics Vol. 4 Spec. 1) 015), 540 546 Palestine Polytechnic University-PPU 015 On Skew Cyclic and Quasi-cyclic Codes Over F + uf + u F Abdullah Dertli, Yasemin Cengellenmis and

More information

Partial permutation decoding for binary linear Hadamard codes

Partial permutation decoding for binary linear Hadamard codes Partial permutation decoding for binary linear Hadamard codes R. D. Barrolleta 1 and M. Villanueva 2 Departament d Enginyeria de la Informació i de les Comunicacions Universitat Autònoma de Barcelona Cerdanyola

More information

WHILE the algebraic theory of error-correcting codes

WHILE the algebraic theory of error-correcting codes 1728 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 50, NO. 8, AUGUST 2004 Cyclic Negacyclic Codes Over Finite Chain Rings Hai Quang Dinh Sergio R. López-Permouth Abstract The structures of cyclic negacyclic

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

Construction of Hadamard Z 2 Z 4 Q 8 -codes

Construction of Hadamard Z 2 Z 4 Q 8 -codes 1 Construction of Hadamard Z Z 4 Q 8 -codes P. Montolio and J. Rifà Abstract This work deals with Hadamard Z Z 4Q 8-codes, which are binary codes after a Gray map from a subgroup of the direct product

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

On the Hamming distance of linear codes over a finite chain ring

On the Hamming distance of linear codes over a finite chain ring Loughborough University Institutional Repository On the Hamming distance of linear codes over a finite chain ring This item was submitted to Loughborough University's Institutional Repository by the/an

More information

Some Open Problems on Quasi-Twisted and Related Code Constructions and Good Quaternary Codes

Some Open Problems on Quasi-Twisted and Related Code Constructions and Good Quaternary Codes Some Open Problems on Quasi-Twisted and Related Code Constructions and Good Quaternary Codes Nuh Aydin and Tsvetan Asamov Department of Mathematics Kenyon College Gambier, OH 43022 {aydinn,asamovt}@kenyon.edu

More information

s with the Extended Lee Weight

s with the Extended Lee Weight Filomat 30:2 (2016), 255 268 DOI 10.2298/FIL1602255O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On Codes over Z p s with the

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

QUADRATIC RESIDUE CODES OVER Z 9

QUADRATIC RESIDUE CODES OVER Z 9 J. Korean Math. Soc. 46 (009), No. 1, pp. 13 30 QUADRATIC RESIDUE CODES OVER Z 9 Bijan Taeri Abstract. A subset of n tuples of elements of Z 9 is said to be a code over Z 9 if it is a Z 9 -module. In this

More information

Codes and Rings: Theory and Practice

Codes and Rings: Theory and Practice Codes and Rings: Theory and Practice Patrick Solé CNRS/LAGA Paris, France, January 2017 Geometry of codes : the music of spheres R = a finite ring with identity. A linear code of length n over a ring R

More information

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

2 ALGEBRA II. Contents

2 ALGEBRA II. Contents ALGEBRA II 1 2 ALGEBRA II Contents 1. Results from elementary number theory 3 2. Groups 4 2.1. Denition, Subgroup, Order of an element 4 2.2. Equivalence relation, Lagrange's theorem, Cyclic group 9 2.3.

More information

Permutation decoding of Z 2 Z 4 -linear codes

Permutation decoding of Z 2 Z 4 -linear codes Permutation decoding of Z 2 Z 4 -linear codes José Joaquín Bernal, Joaquim Borges, Cristina Fernández-Córdoba, Mercè Villanueva arxiv:1303.3737v1 [cs.it] 15 Mar 2013 February 6, 2014 Abstract An alternative

More information

Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields

Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields K. Guenda Faculty of Mathematics USTHB University of Sciences and Technology of Algiers B.P. 32 El Alia, Bab Ezzouar, Algiers, Algeria

More information

Construction of Z 4 -linear Reed-Muller codes

Construction of Z 4 -linear Reed-Muller codes Construction of Z 4 -linear Reed-Muller codes J. Pujol, J. Rifà, F. I. Solov eva arxiv:0801.304v1 [cs.it] 19 Jan 008 Abstract New quaternary Plotkin constructions are given and are used to obtain new families

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

A first step towards the skew duadic codes

A first step towards the skew duadic codes A first step towards the skew duadic codes Delphine Boucher To cite this version: Delphine Boucher. A first step towards the skew duadic codes. 2017. HAL Id: hal-01560025 https://hal.archives-ouvertes.fr/hal-01560025v2

More information

Construction of a (64, 2 37, 12) Code via Galois Rings

Construction of a (64, 2 37, 12) Code via Galois Rings Designs, Codes and Cryptography, 10, 157 165 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Construction of a (64, 2 37, 12) Code via Galois Rings A. R. CALDERBANK AT&T

More information

Information Theory. Lecture 7

Information Theory. Lecture 7 Information Theory Lecture 7 Finite fields continued: R3 and R7 the field GF(p m ),... Cyclic Codes Intro. to cyclic codes: R8.1 3 Mikael Skoglund, Information Theory 1/17 The Field GF(p m ) π(x) irreducible

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Coding Theory as Pure Mathematics

Coding Theory as Pure Mathematics Coding Theory as Pure Mathematics Steven T. Dougherty July 1, 2013 Origins of Coding Theory How does one communicate electronic information effectively? Namely can one detect and correct errors made in

More information

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99 Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

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

Self-dual skew codes and factorization of skew polynomials

Self-dual skew codes and factorization of skew polynomials Self-dual skew codes and factorization of skew polynomials Delphine Boucher, Félix Ulmer To cite this version: Delphine Boucher, Félix Ulmer. Self-dual skew codes and factorization of skew polynomials.

More information

Repeated-Root Self-Dual Negacyclic Codes over Finite Fields

Repeated-Root Self-Dual Negacyclic Codes over Finite Fields Journal of Mathematical Research with Applications May, 2016, Vol. 36, No. 3, pp. 275 284 DOI:10.3770/j.issn:2095-2651.2016.03.004 Http://jmre.dlut.edu.cn Repeated-Root Self-Dual Negacyclic Codes over

More information

Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings. (Last Updated: December 8, 2017) Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

More information

Cyclic Codes and Self-Dual Codes Over

Cyclic Codes and Self-Dual Codes Over 1250 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 45, NO. 4, MAY 1999 Cyclic Codes and Self-Dual Codes Over A. Bonnecaze and P. Udaya TABLE I MULTIPLICATION AND ADDITION TABLES FOR THE RING F 2 + uf 2

More information

2a 2 4ac), provided there is an element r in our

2a 2 4ac), provided there is an element r in our MTH 310002 Test II Review Spring 2012 Absractions versus examples The purpose of abstraction is to reduce ideas to their essentials, uncluttered by the details of a specific situation Our lectures built

More information

Some aspects of codes over rings

Some aspects of codes over rings Some aspects of codes over rings Peter J. Cameron p.j.cameron@qmul.ac.uk Galway, July 2009 This is work by two of my students, Josephine Kusuma and Fatma Al-Kharoosi Summary Codes over rings and orthogonal

More information

Skew Cyclic and Quasi-Cyclic Codes of Arbitrary Length over Galois Rings

Skew Cyclic and Quasi-Cyclic Codes of Arbitrary Length over Galois Rings International Journal of Algebra, Vol. 7, 2013, no. 17, 803-807 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.310100 Skew Cyclic and Quasi-Cyclic Codes of Arbitrary Length over Galois

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

More information

Mathematical Olympiad Training Polynomials

Mathematical Olympiad Training Polynomials Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

More information

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials Outline MSRI-UP 2009 Coding Theory Seminar, Week 2 John B. Little Department of Mathematics and Computer Science College of the Holy Cross Cyclic Codes Polynomial Algebra More on cyclic codes Finite fields

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13 Finite Fields Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13 Contents 1 Introduction 3 1 Group theory: a brief summary............................ 3 2 Rings and fields....................................

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

MDS Codes over Finite Principal Ideal Rings

MDS Codes over Finite Principal Ideal Rings MDS Codes over Finite Principal Ideal Rings Steven T. Dougherty Department of Mathematics University of Scranton Scranton, PA 18510, USA Email: doughertys1@scranton.edu Jon-Lark Kim Department of Mathematics,

More information

ON QUANTUM CODES FROM CYCLIC CODES OVER A CLASS OF NONCHAIN RINGS

ON QUANTUM CODES FROM CYCLIC CODES OVER A CLASS OF NONCHAIN RINGS Bull Korean Math Soc 53 (2016), No 6, pp 1617 1628 http://dxdoiorg/104134/bkmsb150544 pissn: 1015-8634 / eissn: 2234-3016 ON QUANTUM CODES FROM CYCLIC CODES OVER A CLASS OF NONCHAIN RINGS Mustafa Sari

More information

: Error Correcting Codes. November 2017 Lecture 2

: Error Correcting Codes. November 2017 Lecture 2 03683072: Error Correcting Codes. November 2017 Lecture 2 Polynomial Codes and Cyclic Codes Amnon Ta-Shma and Dean Doron 1 Polynomial Codes Fix a finite field F q. For the purpose of constructing polynomial

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

Infinite-Dimensional Triangularization

Infinite-Dimensional Triangularization Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector

More information

Math 547, Exam 2 Information.

Math 547, Exam 2 Information. Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18. PIDs Definition 1 A principal ideal domain (PID) is an integral

More information

214A HOMEWORK KIM, SUNGJIN

214A HOMEWORK KIM, SUNGJIN 214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.

More information

Polynomial Rings : Linear Algebra Notes

Polynomial Rings : Linear Algebra Notes Polynomial Rings : Linear Algebra Notes Satya Mandal September 27, 2005 1 Section 1: Basics Definition 1.1 A nonempty set R is said to be a ring if the following are satisfied: 1. R has two binary operations,

More information

Extended 1-perfect additive codes

Extended 1-perfect additive codes Extended 1-perfect additive codes J.Borges, K.T.Phelps, J.Rifà 7/05/2002 Abstract A binary extended 1-perfect code of length n + 1 = 2 t is additive if it is a subgroup of Z α 2 Zβ 4. The punctured code

More information

MDS and Self-dual Codes over Rings

MDS and Self-dual Codes over Rings MDS and Self-dual Codes over Rings Kenza Guenda and T. Aaron Gulliver arxiv:1207.3384v1 [cs.it] 14 Jul 2012 July 17, 2012 Abstract In this paper we give the structure of constacyclic codes over formal

More information

+ μf 3. + υf 3. Quantum codes from cyclic codes over F 3. + μυ F 3. Journal of Physics: Conference Series. Recent citations PAPER OPEN ACCESS

+ μf 3. + υf 3. Quantum codes from cyclic codes over F 3. + μυ F 3. Journal of Physics: Conference Series. Recent citations PAPER OPEN ACCESS Journal of Physics: Conference Series PAPER OPEN ACCESS Quantum codes from cyclic codes over F 3 + μf 3 + υf 3 + μυ F 3 To cite this article: Mehmet Özen et al 2016 J. Phys.: Conf. Ser. 766 012020 Recent

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Construction of quasi-cyclic self-dual codes

Construction of quasi-cyclic self-dual codes Construction of quasi-cyclic self-dual codes Sunghyu Han, Jon-Lark Kim, Heisook Lee, and Yoonjin Lee December 17, 2011 Abstract There is a one-to-one correspondence between l-quasi-cyclic codes over a

More information

LIFTED CODES OVER FINITE CHAIN RINGS

LIFTED CODES OVER FINITE CHAIN RINGS Math. J. Okayama Univ. 53 (2011), 39 53 LIFTED CODES OVER FINITE CHAIN RINGS Steven T. Dougherty, Hongwei Liu and Young Ho Park Abstract. In this paper, we study lifted codes over finite chain rings. We

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Rings in Coding Theory

Rings in Coding Theory Rings in Coding Theory Steven T. Dougherty July 3, 2013 Cyclic Codes Cyclic Codes were first studied by Prange in 1957. Prange, E. Cyclic error-correcting codes in two symbols. Technical Note TN-57-103,

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS N. MOHAN KUMAR AND PRAMOD K. SHARMA Abstract. Let R be a commutative ring with identity. We define a graph Γ Aut R (R) on R, with vertices elements

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.

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

Rank and Kernel of binary Hadamard codes.

Rank and Kernel of binary Hadamard codes. 1 Rank and Kernel of binary Hadamard codes. K.T. Phelps, J. Rifà Senior Member IEEE, M. Villanueva Abstract In this paper the rank and the dimension of the kernel for (binary) Hadamard codes of length

More information

Rings. Chapter Definitions and Examples

Rings. Chapter Definitions and Examples Chapter 5 Rings Nothing proves more clearly that the mind seeks truth, and nothing reflects more glory upon it, than the delight it takes, sometimes in spite of itself, in the driest and thorniest researches

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay 1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together

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

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

On Representability of a Finite Local Ring

On Representability of a Finite Local Ring Journal of Algebra 228, 417 427 (2000) doi:10.1006/jabr.1999.8242, available online at http://www.idealibrary.com on On Representability of a Finite Local Ring A. Z. Anan in Departamento de Matemática

More information

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

BENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains.

BENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains. FINITELY GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN BENJAMIN LEVINE Abstract. We will explore classification theory concerning the structure theorem for finitely generated modules over a principal

More information

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

More information

Finite Fields and Their Applications

Finite Fields and Their Applications Finite Fields and Their Applications 17 2011 205 219 Contents lists available at ScienceDirect Finite Fields and Their Applications www.elsevier.com/locate/ffa Codes over R k, Gray maps and their binary

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 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Bulletin of the Iranian Mathematical Society

Bulletin of the Iranian Mathematical Society ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:

More information

Mathematical Foundations of Cryptography

Mathematical Foundations of Cryptography Mathematical Foundations of Cryptography Cryptography is based on mathematics In this chapter we study finite fields, the basis of the Advanced Encryption Standard (AES) and elliptical curve cryptography

More information

Efficient representation of binary nonlinear codes: constructions and minimum distance computation

Efficient representation of binary nonlinear codes: constructions and minimum distance computation Noname manuscript No. (will be inserted by the editor) Efficient representation of binary nonlinear codes: constructions and minimum distance computation Mercè Villanueva Fanxuan Zeng Jaume Pujol Received:

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

More information