Next Article in Journal
Isomorphic Classification of Reflexive Müntz Spaces
Previous Article in Journal
Global Analysis and Optimal Control of a Periodic Visceral Leishmaniasis Model
Previous Article in Special Issue
On Minimal Covolume Hyperbolic Lattices
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Multiplicative Structure and Hecke Rings of Generator Matrices for Codes over Quotient Rings of Euclidean Domains

Toyota Technological Institute, 2–12–1 Hisakata, Tempaku, Nagoya, Aichi 468–8511, Japan
Mathematics 2017, 5(4), 82; https://doi.org/10.3390/math5040082
Submission received: 30 June 2017 / Revised: 20 November 2017 / Accepted: 8 December 2017 / Published: 15 December 2017
(This article belongs to the Special Issue Geometry of Numbers)

Abstract

:
In this study, we consider codes over Euclidean domains modulo their ideals. In the first half of the study, we deal with arbitrary Euclidean domains. We show that the product of generator matrices of codes over the rings mod a and mod b produces generator matrices of all codes over the ring mod a b , i.e., this correspondence is onto. Moreover, we show that if a and b are coprime, then this correspondence is one-to-one, i.e., there exist unique codes over the rings mod a and mod b that produce any given code over the ring mod a b through the product of their generator matrices. In the second half of the study, we focus on the typical Euclidean domains such as the rational integer ring, one-variable polynomial rings, rings of Gaussian and Eisenstein integers, p-adic integer rings and rings of one-variable formal power series. We define the reduced generator matrices of codes over Euclidean domains modulo their ideals and show their uniqueness. Finally, we apply our theory of reduced generator matrices to the Hecke rings of matrices over these Euclidean domains.

1. Introduction

The structural properties of quasi-cyclic (QC) [1,2] and generalized quasi-cyclic (GQC) codes [3,4,5] have been reported. On the other hand, cyclic codes can be extended to pseudo-cyclic (PC) and generalized pseudo-cyclic (GPC) codes [6]. Similar constructions for the rational integer ring Z are known as integer codes and generalized integer codes [7]. We can summarize the module structure of these codes as follows:
Cyclic   codes :   ideals   in   F q [ x ] / x n 1 QC   codes :   submodules   in   i = 1 l F q [ x ] / x n 1 GQC   codes :   submodules   in i = 1 l F q [ x ] / x n i 1 PC   codes :   ideals   in   F q [ x ] / d GPC   codes :   submodules   in   i = 1 l F q [ x ] / d i Integer   codes :   submodules   in   i = 1 l Z / d Z Generalized   integer   codes :   submodules   in   i = 1 l Z / d i Z ,
where F q [ x ] is a one-variable polynomial ring over a q-element finite field F q with a prime power q, f is the ideal of F q [ x ] generated by f F q [ x ] , F q [ x ] / f is their quotient ring, i = 1 l denotes the direct sum of the F q [ x ] - or Z -modules and Z / d i Z is the integer residue ring modulo d i Z . Note that both F q [ x ] and Z are Euclidean domains [8,9]; we say that a commutative integral domain R is a Euclidean domain if there exists a function ψ : R \ { 0 } N 0 such that, for any a , b R with b 0 , a = s b + r and r = 0 or ψ ( r ) < ψ ( b ) are valid for some s , r R , where N 0 denotes the set of non-negative integers. Finding s , r with a = s b + r and r = 0 or ψ ( r ) < ψ ( b ) is called Euclidean division, and s , r are called a quotient and a remainder of a by b, respectively. If R = F q [ x ] , then ψ ( · ) = deg ( · ) is the degree function, and if R = Z , then ψ ( · ) = |   ·   | is the absolute value. However, no theory has yet been reported concerning the unified treatment of codes over the quotient rings of the general Euclidean domains.
In this study, we deal with the above codes uniformly, which can be constructed by any Euclidean domain R. Let M l ( R ) be the ring of l-by-l matrices with entries in R. We denote:
L = R l = { ( c 1 c 2 c l ) c 1 , c 2 , , c l R } , M = L / L diag d 1 , , d l ,
where diag d 1 , , d l M l ( R ) denotes the diagonal matrix whose i-th entry is d i for all 1 i l ; for X M l ( R ) , L X denotes the R-module consisting of c X for all c L ; and for two R-modules S T , S / T denotes their quotient R-module. We investigate R-submodules of M , and we denote one of them by C . If R = F q [ x ] , then R-submodules are equivalent to the GPC codes, and if R = Z , then R-submodules are equivalent to the generalized integer codes.
To indicate the R-modules explicitly, let us define their generator matrices. Let F : L M be a natural surjective map of the R-modules and F 1 ( C ) be the inverse image of an R-submodule C M . If G M l ( R ) satisfies F 1 ( C ) = L G , then we say that G is a generator matrix of C . For an arbitrary given G M l ( R ) , there exists an R-module C M such that G is its generator matrix if and only if L G L diag d 1 , , d l , and this condition is equivalent to:
A G = diag d 1 , , d l
for some A M l ( R ) . Then, we have C = L G / L diag d 1 , , d l .
Under the above preparation, if d 1 = = d l , then we can reveal the multiplicative structure of generator matrices of R-submodules in the following manner. Hereafter, we set u = d 1 = = d l . Let I M l ( R ) be the identity matrix. In this case, we have diag d 1 , , d l = u I and:
C = L G / u L M = L / u L .
For two R-modules C 1 = L G 1 / u 1 L and C 2 = L G 2 / u 2 L , if A 1 G 1 = u 1 I and A 2 G 2 = u 2 I , we have A 2 A 1 G 1 G 2 = u 1 u 2 I . If we set G = G 1 G 2 and u = u 1 u 2 , then C = L G / u L determines an R-module in M = L / u L . Our results can be divided into two parts. The first result asserts that this correspondence ( C 1 , C 2 ) C by the multiplication of generator matrices is surjective, i.e., all R-modules in M = L / u L can be obtained by this correspondence. The second result asserts that, if gcd ( u 1 , u 2 ) = 1 , then this correspondence is injective, i.e., C 1 and C 2 are both uniquely determined for each C . The latter assertion corresponds to the explicit version of Chinese remainder theorem in our theory of R-submodules. Because we can express its composition and decomposition through the multiplication of generator matrices effectively, our results can be applied to the fast enumeration of the generator matrices of efficient R-modules in M . The above results we obtain here are valid for the codes over the quotient rings of arbitrary Euclidean domains.
In general, the result of the Euclidean division is not unique; for a , b R with b 0 , the quotient s and the remainder r are not always unique in a = s b + r and r = 0 or ψ ( r ) < ψ ( b ) . For example, if R = F q [ x ] , the result is unique, but if R = Z , 1 = 1 · 2 1 = 0 · 2 + 1 . One way to impose the uniqueness for the result of the Euclidean division in R = Z is to indicate s = a / b , where, for a real number x, x denotes a unique n Z such that n x < n + 1 . It is shown that, if a = s b + r , then s = a / b is equivalent to r / b = 0 , and r = 0 or ψ ( r ) < ψ ( b ) follows from r / b = 0 . In this study, for the other cases of Euclidean domains R such as the ring of Gaussian integers Z [ i ] , the ring of Eisenstein integers Z [ ω ] , the p-adic integer ring Z p and the ring of the formal power series F q [ [ x ] ] , namely,
R = Z , F q [ x ] , Z [ i ] , Z [ ω ] , Z p , F q [ [ x ] ] ,
where i = 1 , ω = ( 1 + 3 ) / 2 and p denotes a rational prime, we determine a unique pair of the quotient and remainder similar to s = a / b and r / b = 0 of R = Z . We apply this uniqueness to show the uniqueness of the Euclidean division by a class of matrices over R.
Let G L l ( R ) be the group of invertible matrices in M l ( R ) . Then, for two generator matrices G , G M l ( R ) of an R-module C M , there exists E G L l ( R ) such that G = E G . Among these E G ’s, we can algorithmically find a simple form of G, which is called the reduced generator matrix, which generalizes the Hermite normal form [10,11] of R = Z . Then, we apply the uniqueness of the Euclidean divisions to show that there exists a unique reduced generator matrix for each R-module in M . This standard expression of the generator matrix is useful for enumerating and searching for efficient R-modules in M .
Furthermore, we apply our theory of generator matrices to Hecke rings of matrices over the prescribed Euclidean domains. Hecke rings or Hecke algebras we consider here are the rings of the formal finite sums α Δ c α Γ α Γ of the double cosets Γ α Γ with c α Z , where Δ = { α M l ( R ) det ( α ) 0 } , det ( α ) denotes the matrix determinant, and Γ = G L l ( R ) . Hecke rings are commonly used as Hecke operators to the number theory, especially, the theory of modular forms [12,13]. In this study, we show that the generator matrices of R-modules in M are deeply concerned with the theory of Hecke rings. We describe in terms of the generator matrices the definition of Hecke rings, the homomorphism “ind ( · ) ”, the prime decompositions and a generating function of ind ( · ) . Although these results on Hecke rings are not new (cf. [13]), the argument in this study shows that the concept of reduced generator matrices simplifies the theory of Hecke rings and makes it computable.
The rest of this paper is organized as follows. Section 2 gives the basic definitions and the one-to-one correspondence between R-modules in M and certain R-modules in L . Section 3 gives a division algorithm, which is similar to the Euclidean division in R, for a class of matrices with a pair of quotient and remainder matrices. Section 4 defines generator matrices of R-modules in M and shows their existence constructively. Section 5 shows the multiplicative structure among the generator matrices in the case of d 1 = = d l . Section 6 treats the cases where Euclidean divisions have a uniqueness property, which can deduce the uniqueness of the reduced generator matrix. Finally, Section 7 applies our theory of generator matrices to Hecke rings and shows a generating function which is useful for counting the reduced generator matrices with a fixed determinant. Section 8 concludes the study.

2. R -Modules in M

Throughout this section, R is used to denote any commutative ring. The purposes of this section are to define R-modules in M and to show a one-to-one correspondence between R-modules in M and a class of lattices.
Let l Z be positive and d 1 , d 2 , , d l R . Consider the quotient ring R / d i for 1 i l . For any c R , we denote the corresponding element in R / d i by c mod d i R / d i . If we define:
M = i = 1 l R / d i = c 1 mod d 1 c 2 mod d 2 c l mod d l | c i mod d i R / d i , 1 i l ,
then M has the natural structure of an R-module. If d 1 = = d l = 0 , then we write:
L = i = 1 l R = c 1 c l c i R , 1 i l .
We denote the projection map of the R-modules by:
F : L M c 1 c l c 1 mod d 1 c l mod d l .
Hereafter, if M is considered, then d i is assumed to be d i 0 for all 1 i l .
Let C M be a subset. In this study, we consider R-submodules of the form C M .
For example, let R = F q [ x ] . Then, M can be also viewed as a vector space of dimension n = i = 1 l deg d i over F q . If C M is an R-module, then C determines a linear code of length n over F q , whose dimension will be stated later in Proposition 5. If l = 1 and d 1 = x n 1 , then C is called a cyclic code. If l = 1 and d 1 is arbitrary, then C is called a PC code. If l 1 , l divides n, and d 1 = = d l = x n / l 1 , then C is called a QC code. If d i = x n i 1 for all 1 i l and i = 1 l n i = n , then C is called a GQC code.
For the other example, let R = Z . Then, an R-module C M is called a generalized integer code. If d 1 = = d l , then C is called an integer code.
Let C M be an R-module. Consider R-module F 1 ( C ) L . Then, F 1 ( C ) includes l elements of the form:
( 0 0 i 1 d i 0 0 l i ) ,
where 1 i l . Note that:
F 1 ( C ) L diag d 1 , , d l ,
where:
diag d 1 , , d l = d 1 0 0 0 d 2 0 0 0 d l M l ( R )
and
L G = c 1 c l G c 1 c l L
for G M l ( R ) . Conversely, let B L be an R-module with B L diag d 1 , , d l . Then, F ( B ) M is an R-module. It is proven below that this correspondence between B L with B L diag d 1 , , d l and C M is one-to-one and onto.
Proposition 1.
The set of R-modules B L with B L diag d 1 , , d l and the set of R-modules C M are bijective through the correspondences B F ( B ) and C F 1 ( C ) which are the inverse maps of one another.
Proof. 
F ( F 1 ( C ) ) = C follows from the surjectivity of F. Thus, we only need to show that F 1 ( F ( B ) ) = B . For b B , F ( b ) F ( B ) implies that F 1 ( F ( B ) ) B . Conversely, from x F 1 ( F ( B ) ) F ( x ) F ( B ) , there exists b B such that F ( x ) = F ( b ) . Then, F ( x b ) = 0 , and there exists c L such that x b = c diag d 1 , , d l . Thus, x = b + c diag d 1 , , d l B and F 1 ( F ( B ) ) = B . ☐
In [5], the author identified C with F 1 ( C ) and expressed them using the same notation C . In this study, we distinguish them and use the notation C only for an R-module in M .

3. Euclidean Division

3.1. Euclidean Division in R

Hereafter, we will use R to denote a Euclidean domain; i.e., R is an integral domain and there exists a function ψ : R { } N 0 (where we consider < n for all n N 0 ), which is called a Euclidean function, that satisfies the following property.
For   a , b R   with   b 0 , there   exist s , r R   such   that c a = s b + r   and   ψ ( r ) < ψ ( b ) .
The case of R = K [ x ] . Let R = K [ x ] , the ring of one-variable polynomials over K, where K is a commutative field. For f = h = 0 w f h x h R with f w 0 , we define deg ( f ) = w and deg ( 0 ) = . If K has the infinite number of elements, then we adopt the Euclidean function ψ : R { } N 0 as ψ ( f ) = deg ( f ) . If K is equal to a q-element finite field F q , where q denotes a rational prime power, then we adopt:
ψ ( f ) = q deg ( f ) f 0 0 f = 0
for consistency with the case of Z and the cardinality formula in Proposition 5 later in the paper.
The case of R = Z . Let R = Z . Then, the Euclidean function ψ : R N 0 is taken to be the absolute value ψ ( a ) = | a | for all a Z .
Hereafter, for a complex number z, Re ( z ) and Im ( z ) denote its real part and imaginary part, respectively.
The case of R = Z [ i ] . Let R = Z [ i ] = { a 1 + a 2 i a 1 , a 2 Z } , where i = 1 , which is called Gaussian integers [9]. The Euclidean function ψ : R N 0 is taken to be the square of the complex absolute value ψ ( a ) = | a | 2 = a 1 2 + a 2 2 for a = a 1 + a 2 i Z [ i ] . Then, the property (3) is shown as follows. For a , b R with b 0 , note that Re ( a / b ) , Im ( a / b ) Q because a / b = a b ¯ / ( b b ¯ ) . Let s 1 , s 2 Z be any values such that:
Re ( a / b ) s 1 1 2 and Im ( a / b ) s 2 1 2 .
Then, s = s 1 + s 2 i and r = a s b satisfies a = s b + r and ψ ( r ) < ψ ( b ) because:
ψ ( r ) = ψ ( a s b ) = a b s 2 ψ ( b ) = Re ( a / b ) s 1 2 + Im ( a / b ) s 2 2 ψ ( b ) 1 2 ψ ( b ) .
The case of R = Z [ ω ] . Let R = Z [ ω ] = { a 1 + a 2 ω a 1 , a 2 Z } , where ω = 1 + 3 2 , which is called Eisenstein integers [9]. Note that ω ¯ = ω 2 = 1 ω . The Euclidean function ψ : R N 0 is taken to be the square of the complex absolute value ψ ( a ) = | a | 2 = a 1 2 a 1 a 2 + a 2 2 for a = a 1 + a 2 ω Z [ ω ] . Then, the property (3) is shown as follows. For a , b R with b 0 , note that there exists q 1 , q 2 Q such that a / b = q 1 + q 2 ω because a / b = a b ¯ / ( b b ¯ ) . Let s 1 , s 2 Z be any values such that:
q 1 s 1 1 2 and q 2 s 2 1 2 .
Then, s = s 1 + s 2 ω and r = a s b satisfies a = s b + r and ψ ( r ) < ψ ( b ) because:
ψ ( r ) = a b s 2 ψ ( b ) = q 1 s 1 2 q 1 s 1 q 2 s 2 + q 2 s 2 2 ψ ( b ) 3 4 ψ ( b ) .
The case of R = Z p . Let R = Z p , where p denotes a rational prime and Z p denotes the p-adic integer ring:
Z p = a = h = 0 a h p h | a h { 0 , 1 , , p 1 } .
For a = h = w a h p h R with a w 0 , we define ord ( a ) = w and ord ( 0 ) = . This ring R = Z p has a metric called p-adic metric defined by | a | p = p ord ( a ) for a R . Any infinite series a = h = 0 a h p h R is convergent with respect to the p-adic distance d p ( a , b ) = | a b | p for a , b R , i.e., for any ϵ > 0 , there exists N > 0 such that, for all m > n > N ,
d p h = 0 m a h p h , h = 0 n a h p h = h = n + 1 m a h p h p p n 1 < ϵ ,
where the inequality | a + a | p max { | a | p , | a | p } is used. It is shown that a = h = 0 a h p h R is invertible, i.e., there exists a 1 R such that a a 1 = 1 , if and only if a 0 0 . We adopt the Euclidean function ψ : R N 0 as:
ψ ( a ) = | a | p 1 = p ord ( a ) a 0 0 a = 0 .
Note that, for any b R with b 0 , b / ψ ( b ) R is invertible, i.e., b 1 ψ ( b ) R . Then, the property (3) is shown as follows. If ψ ( a ) < ψ ( b ) , then s = 0 and r = a . If ψ ( a ) ψ ( b ) , then s = b 1 a and r = 0 because s = b 1 ψ ( b ) · ψ ( b ) 1 a R .
The case of R = K [ [ x ] ] . Let R = K [ [ x ] ] , the ring of one-variable formal power series over a commutative field K:
K [ [ x ] ] = a = h = 0 a h x h | a h K .
For a = h = w a h x h R with a w 0 , we define ord ( a ) = w and ord ( 0 ) = . It is shown that a = h = 0 a h x h R is invertible, i.e., there exists a 1 R such that a a 1 = 1 , if and only if ord ( a ) = 0 . If K has the infinite number of elements, then we adopt the Euclidean function ψ : R { } N 0 as ψ ( a ) = ord ( a ) . If K = F q , then we adopt:
ψ ( a ) = q ord ( a ) a 0 0 a = 0 .
Note that, for any b R with b 0 , x ord ( b ) b R is invertible, i.e., x ord ( b ) b 1 R . Then, the property (3) is shown as follows. If ψ ( a ) < ψ ( b ) , then s = 0 and r = a . If ψ ( a ) ψ ( b ) , then s = b 1 a and r = 0 because s = b 1 x ord ( b ) · x ord ( b ) a R .
Hereafter, for a finite set S, we use | S | to denote the number of elements in S and we denote | S | = if and only if S is an infinite set. Summarizing the above, we take the Euclidean function ψ : R { } N 0 as, for a R ,
ψ ( a ) = deg ( a ) or deg ( 0 ) = R = K [ x ] , | K | = q deg ( a ) or ψ ( 0 ) = 0 R = F q [ x ] | a | R = Z | a | 2 = a 1 2 + a 2 2 if a = a 1 + a 2 i , a 1 , a 2 Z R = Z [ i ] | a | 2 = a 1 2 a 1 a 2 + a 2 2 if a = a 1 + a 2 ω , a 1 , a 2 Z R = Z [ ω ] p ord ( a ) or ψ ( 0 ) = 0 R = Z p ord ( a ) or ψ ( 0 ) = R = K [ [ x ] ] , | K | = q ord ( a ) or ψ ( 0 ) = 0 R = F q [ [ x ] ] .
Unless otherwise noted, the following argument is also valid for the other choices of the Euclidean function ψ and arbitrary Euclidean domains.

3.2. Euclidean Division by a Class of Matrices

Definition 1.
If G = g i , j M l ( R ) satisfies g i , j = 0 for all 1 j < i l , i.e., G is of the form:
G = g 1 , 1 g 1 , 2 g 1 , l 0 g 2 , 2 g 2 , l 0 0 g l , l ,
and det ( G ) 0 , then we say that G is upper triangular.
Note that we impose det ( G ) 0 if we say that G is upper triangular.
In this study, we need the following division algorithm, which is described in [5] in the special case where R = F q [ x ] .
Proposition 2.
Let G = g i , j M l ( R ) be upper triangular. Then, for any a = a 1 a l L , there exist s = s 1 s l , r = r 1 r l L such that a = s G + r , i.e.,
a 1 a l = s 1 s l G + r 1 r l ,
with ψ ( r i ) < ψ ( g i , i ) for all 1 i l .
Proof. 
To prove Proposition 2 constructively, consider the following ( l + 1 ) -by-l matrix:
G a = g 1 g 2 g l a = g 1 , 1 g 1 , 2 g 1 , l 0 g 2 , 2 g 2 , l 0 0 g l , l a 1 a l 1 a l ,
where g i denotes the i-th row of G for all 1 i l . Then, the following row operations for the matrix (8) are performed:
〈1〉
Set i = 1 .
〈2〉
Compute s i , r i R such that a i = s i g i , i + r i with ψ ( r i ) < ψ ( g i , i ) and replace a with a s i g i in (8).
〈3〉
If i = l , stop. Otherwise, set i to i + 1 and return to 2 .
Thus, s = s 1 s l , r = r 1 r l L are determined and (7) holds because the initial a is converted into r in (8), and the result of these row operations can be represented by r = a i = 1 l s i g i = a s G . ☐

4. Generator Matrices of R -Modules in M

In this section, we define the generator matrices of C , which are useful to generate code words in C .
Definition 2.
We call G M l ( R ) a generator matrix of C if and only if F 1 ( C ) = L G .
If such a generator matrix G of C is constructed, we have C = F ( L G ) because of F F 1 ( C ) = C . We now show the construction of a generator matrix G of C .
Proposition 3.
For all 1 i l , let:
g i = g i , 1 g i , l F 1 ( C )
be an element of L satisfying the following two conditions:
1. 
g i , i 0 and, if i 1 , g i , 1 = = g i , i 1 = 0 .
2. 
ψ ( g i , i ) has the minimum value among ψ ( c i ) for all c 1 c l F 1 ( C ) with c i 0 and, if i 1 , with c 1 = = c i 1 = 0 .
Let G M l ( R ) have an i-th row equal to (9) that satisfies Conditions 1 and 2 for all 1 i l . Then, G is a generator matrix of C , i.e., we have F 1 ( C ) = L G . Conversely, if G is another generator matrix of C , then there exists E G L l ( R ) such that G = E G .
Proof. 
Such a g i L with g i , i 0 exists because F 1 ( C ) includes (2). For any c F 1 ( C ) , let s , r L be such that c = s G + r and ψ ( r i ) < ψ ( g i , i ) for all 1 i l by Proposition 2. Because F 1 ( C ) is an R-module, r = c s G F 1 ( C ) implies that r = ( 0 0 ) , which completes the first half of the proof. If L G = L G , then L = L G G 1 . Because:
L ( 1 0 0 0 ) G G 1 , ( 0 1 0 0 ) G G 1 , , ( 0 0 0 1 ) G G 1 ,
we have G G 1 M l ( R ) . Because:
( 1 0 0 0 ) , ( 0 1 0 0 ) , , ( 0 0 0 1 ) L G G 1 ,
we have G G 1 G L l ( R ) , which completes the proof. ☐
Let C M be an R-module. Because F 1 ( C ) = L G implies that L G L diag d 1 , , d l , the generator matrix G M l ( R ) of C satisfies the following matrix equation:
A G = diag d 1 , , d l ,
for some A M l ( R ) . Conversely, if G M l ( R ) satisfies (10) for some A M l ( R ) , then G determines an R-module C = L G / L diag d 1 , , d l . We summarize these facts.
Proposition 4.
Let G M l ( R ) . Then, G is equal to a generator matrix for some C if and only if G satisfies (10) for some A M l ( R ) .
Note that if upper triangular G satisfies (10), then A is also upper triangular. Note also that, if u = d 1 = = d l , then A G = G A = diag u , , u , cf. [5,7].
Example 1.
Let R = Z [ i ] . If l = 1 and d 1 = 5 , then F : R R / 5 C = g R / 5 is satisfied by g = 1 , 2 ± i , 5 up to units. Although the general R-submodule R is equal to α R for some α R , F 1 g R / 5 = g R is valid for g = 1 , 2 ± i , 5 up to units. This fact corresponds to the equation A g = 5 of (10). Next, if l = 2 and d 1 = d 2 = 5 , then consider:
C 2 = ( 4 + 2 i , 2 + i ) , ( 3 + 4 i , 4 + 2 i ) , ( 2 + i , 1 + 3 i ) , ( 1 + 3 i , 3 + 4 i ) , ( 0 , 0 ) M = ( R / 5 ) 2 .
Because C 2 forms an R-submodule, C 2 is a code over Gaussian integers. We note that the generator matrix of C 2 is equal to:
G 2 = 2 + i 1 + 3 i 0 5 .
Then, G 2 satisfies:
2 i 1 i 0 1 2 + i 1 + 3 i 0 5 = 5 0 0 5 .

Cardinality Formulae

In this subsection, we focus on the Euclidean domain R described above. We denote | K | = to mean the case where the coefficient field K of R = K [ x ] or K [ [ x ] ] contains infinitely many elements.
Then, for any a , b R , the Euclidean function of (6) satisfies:
ψ ( a b ) = ψ ( a ) + ψ ( b ) if | K | = ψ ( a ) ψ ( b ) otherwise .
Moreover, for any b R with b 0 , we have:
ψ ( b ) = dim K R / b if | K | = R / b otherwise ,
where, for a finite dimensional K-vector space V, dim K V denotes its dimension. Let G be a generator matrix of an R-module C M . Consider the following composition map:
L M c 1 c l F c 1 c l G .
Note that F ( · ) G is not well-defined in general because L diag d 1 , , d l G L diag d 1 , , d l in general, e.g., 2 0 1 1 0 2 Z 2 diag [ 2 , 4 ] for 2 1 0 2 1 1 0 2 = 2 0 0 4 . Then, the image of this composition map is equal to C . Moreover, the kernel of this composition map is equal to L A because:
F c 1 c l G = 0 c 1 c l G L diag d 1 , , d l c 1 c l G L A G ( ( 10 ) ) c 1 c l L A .
Thus, the R-modules L / L A and C are isomorphic. On the other hand, it follows from the theory of elementary divisors [14] that there exist U , V G L l ( R ) such that U A V = diag b 1 , , b l and b 1 b l . Then, L / L A is isomorphic to i = 1 l R / b i as R-modules and:
ψ ( det ( A ) ) = i = 1 l ψ ( b i ) = dim K L / L A if | K | = i = 1 l ψ ( b i ) = L / L A otherwise .
We also note that:
ψ ( det ( A ) det ( G ) ) = i = 1 l ψ ( d i ) = dim K M if | K | = i = 1 l ψ ( d i ) = M otherwise .
Hence, we obtain the following cardinality formula for C and all G.
Proposition 5.
Let C M be an R-module and G be its generator matrix. Then, we have:
dim K C = n ψ ( det ( G ) ) if | K | = | C | = | M | / ψ ( det ( G ) ) otherwise .
In the case where R = F q [ x ] , we denote k i = deg d i deg g i , i and k = i = 1 l k i if the generator matrix G = g i , j is upper triangular. Then, k is equal to the dimension of C over F q . As an application of Proposition 5, we see that a generator matrix of C viewed as a linear code is composed of the following linearly independent k code words from the rows of G for 1 i l and 0 m < k i :
x m g i , 1 mod d 1 x m g i , 2 mod d 2 x m g i , l mod d l .
Example 2.
In the case of R = F q [ x ] , q = 2 , and l = 3 , we set d 1 = d 2 = d 3 = ( 1 + x + x 3 ) 2 = 1 + x 2 + x 6 . Consider:
A = 1 + x 2 + x 6 1 + x 4 + x 5 x 2 + x 3 + x 4 + x 5 0 1 + x + x 3 x + x 2 0 0 1 , G = 1 1 + x + x 2 x + x 2 + x 3 + x 5 0 1 + x + x 3 x + x 3 + x 4 + x 5 0 0 1 + x 2 + x 6 .
Then, we have:
A G = 1 + x 2 + x 6 I .
Let C be the R-module in M defined by G. Then, the length n of C is equal to 18 and the dimension k of C is equal to 9. From G and (11), we can derive a binary generator matrix:
100000 111000 011101 010000 011100 100110 001000 001110 010011 000100 000111 100001 000010 101011 111000 000001 111101 011100 000000 110100 010111 000000 011010 100011 000000 001101 111001 .
By applying the division algorithm to G in Proposition 2, we obtain the systematic encoding of C , which is similar to that in the case of GQC codes [5].

5. Multiplicative Structure

In this section, we again consider the R-modules in M for the general Euclidean domain R. Hereafter, we mainly consider the case of d 1 = = d l in (1). If u = d 1 = = d l , then we have diag u , , u = u I and M = L / L diag d 1 , , d l = L / u L .
Let G 1 , G 2 M l ( R ) satisfy the relations:
A 1 G 1 = u 1 I , A 2 G 2 = u 2 I
for some A 1 , A 2 M l ( R ) with u 1 , u 2 R and u 1 u 2 0 . Then, we have:
A 2 A 1 G 1 G 2 = u 1 u 2 I .
This argument shows that C 1 = L G 1 / u 1 L and C 2 = L G 2 / u 2 L produce C = L G 1 G 2 / u 1 u 2 L .
Remark 1.
If d 1 = = d l does not hold, then in general L G 1 G 2 does not include u 1 u 2 L . For example, consider G 1 = 1 2 0 4 and G 2 = 1 3 0 9 . Then, we have:
A 1 G 1 = 2 1 0 1 1 2 0 4 = 2 0 0 4 , A 2 G 2 = 3 1 0 1 1 3 0 9 = 3 0 0 9 ,
G 1 G 2 = 1 21 0 36 , and G 2 G 1 = 1 14 0 36 . If there exists a , g Z such that:
6 a 0 1 1 g 0 36 = 6 0 0 36 ,
then we have 6 g + 36 a = 0 and g 6 Z . Thus, for G = G 1 G 2 and G = G 2 G 1 , there does not exist A such that A G = 6 0 0 36 .

5.1. Surjectivity

We fix a nonzero u R . Because G L l ( R ) acts from the left on the set of G M l ( R ) with A G = u I for some A M l ( R ) , we can consider a quotient set:
G L l ( R ) \ G M l ( R ) A G = u I   for   some   A M l ( R ) .
Let { G } u denote a complete system of representatives of generator matrices of R-modules in M = L / u L . In other words, { G } u corresponds one-to-one and onto to R-modules C = L G / u L in M . In Section 6, we will define a standard form of G { G } u , which will be called reduced, in order to indicate a unique representative of generator matrices of an R-module in M for specified R’s.
Theorem 1.
Suppose that u = u 1 u 2 with u 1 , u 2 R . Consider the map:
ϖ : { G 1 } u 1 × { G 2 } u 2 { G } u ( G 1 , G 2 ) G ,
where L G 1 G 2 = L G . Then, ϖ is surjective.
Proof. 
For each G { G } u , let C = L G / u L . We consider an R-module in L / u 2 L :
C 2 = u 2 L + L G u 2 L .
Then, there exists G 2 { G 2 } u 2 such that C 2 = L G 2 / u 2 L . By Proposition 1, we have:
u 2 L + L G = L G 2 ,
which leads to L G L G 2 . Then, there exists some G 1 M l ( R ) such that G = G 1 G 2 . If we can show that L G 1 u 1 L , then the proof is completed. From A G = u I = u 1 u 2 I and A 2 G 2 = u 2 I , we have:
A G 1 G 2 = u 1 A 2 G 2 , A G 1 = u 1 A 2 = A 2 u 1 I ,
and A 2 1 A G 1 = u 1 I . Thus, we may show A 2 1 A M l ( R ) . Because, for some M M l ( R ) ,
M = A 2 1 A A 2 M = A u 2 I M = G 2 A 2 M = G 2 A ,
where we note u 2 I = A 2 G 2 = G 2 A 2 , we may show u 2 L L G 2 A . It follows from L G 2 = L G + u 2 L that G 2 = P G + u 2 Q for some P , Q M l ( R ) . Hence we have, noting that u I = A G = G A ,
L G 2 A = L P G + u 2 Q A = u 2 L u 1 P + Q A u 2 L .
 ☐
Example 3.
(Continued from Example 2.) For u 1 = u 2 = 1 + x + x 3 , G is equal to G 1 G 2 , where:
G 1 = 1 0 x 2 0 1 x + x 2 0 0 1 + x + x 3 { G 1 } u 1 , G 2 = 1 1 + x + x 2 x 0 1 + x + x 3 0 0 0 1 + x + x 3 { G 2 } u 2 .
As for this G, there exists another pair of representatives G 1 , G 2 with G = G 1 G 2 , i.e.,
G 1 = 1 1 + x + x 2 x + x 2 0 1 + x + x 3 0 0 0 1 + x + x 3 { G 1 } u 1 , G 2 = 1 0 x + x 2 0 1 x + x 2 0 0 1 + x + x 3 { G 2 } u 2 .

5.2. Injectivity

Theorem 2.
Let the notation be as in Theorem 1. If gcd ( u 1 , u 2 ) = 1 , then ϖ is bijective.
To prove Theorem 2, we must first prove a lemma.
Lemma 1.
Let the notation be the same as that in Theorem 1. If gcd ( u 1 , u 2 ) = 1 , then:
u 2 L + L G 1 G 2 u 2 L = L G 2 u 2 L .
If gcd ( u 1 , u 2 ) 1 , then Lemma 1 is not correct in general. For example, if u 1 = u 2 = 2 , G 1 = 2 , and G 2 = 1 , then u 2 L + L G 1 G 2 / u 2 L = { 0 } but L G 2 / u 2 L = F 2 . Note that this fact does not contradict (13) in the proof of Theorem 1.
Proof of Lemma 1.
We may show that u 2 L + L G 1 G 2 L G 2 . Because there exists E G L l ( R ) such that E G 1 is upper triangular, we may assume without loss of generality that G 1 is upper triangular. For A 1 = a i , j ( 1 ) and G 1 = g i , j ( 1 ) with A 1 G 1 = u 1 I , we have a i , i ( 1 ) g i , i ( 1 ) = u 1 for all 1 i l . Then, gcd g i , i ( 1 ) , u 2 = 1 and there exist s i , t i R such that s i g i , i ( 1 ) t i u 2 = 1 for all 1 i l . Thus,
diag s 1 , , s l G 1 = s 1 g 1 , 1 ( 1 ) 0 s l g l , l ( 1 ) = t 1 u 2 0 0 t l u 2 + 1 0 1
and:
u 2 L + L G 1 G 2 u 2 L + L diag s 1 , , s l G 1 G 2 u 2 L + L 1 0 1 G 2 = L G 2 .
 ☐
Proof of Theorem 2.
For a given G { G } u , there exists ( G 1 , G 2 ) { G 1 } u 1 × { G 2 } u 2 such that L G 1 G 2 = L G by Theorem 1. We may prove only the uniqueness of G 2 , which leads the uniqueness of G 1 by the relation L G 1 = L G G 2 1 . Again, we consider an R-module in L / u 2 L
C 2 = u 2 L + L G u 2 L .
By Lemma 1, we have C 2 = L G 2 / u 2 L . If there exists ( G 1 , G 2 ) { G 1 } u 1 × { G 2 } u 2 such that L G 1 G 2 = L G , it again follows from Lemma 1 that C 2 = L G 2 / u 2 L . By Proposition 1, we have L G 2 = L G 2 , which completes the proof. ☐
Remark 2.
Because Lemma 1 is true only for G 2 in general, C 1 = ( u 1 L + L G ) / u 1 L does not agree with L G 1 / u 1 L in general. For example, consider the case where R = Z , l = 2 , u = 6 , u 1 = 2 , u 2 = 3 , and G = 1 4 0 6 . Then, we have:
A G = 6 4 0 1 1 4 0 6 = 6 0 0 6 , C = L G u L = { ( 0 0 ) , ( 1 4 ) , ( 2 2 ) , ( 3 0 ) , ( 4 4 ) , ( 5 2 ) } , C 2 = u 2 L + L G u 2 L = { ( 0 0 ) , ( 1 1 ) , ( 2 2 ) } .
Then, C 2 = L G 2 / u 2 L with G 2 = 1 1 0 3 and A 2 G 2 = 3 1 0 1 1 1 0 3 = 3 0 0 3 . On the other hand, we have:
C 1 = u 1 L + L G u 1 L = { ( 0 0 ) , ( 1 0 ) }
and C 1 = L G 1 / u 1 L with G 1 = 1 0 0 2 . In fact, G = G 1 G 2 with G 1 = 1 1 0 2 G 1 and A 1 G 1 = 2 1 0 1 1 1 0 2 = 2 0 0 2 .
Example 4.
Consider the case of R = F 2 [ x ] , u = x + x 2 , u 1 = x , and u 2 = 1 + x . Because L / u 1 L = ( F 2 ) l for any positive l Z , the number of C 1 L / u 1 L is equal to k = 0 l c k ( l ) ( 2 ) , where c k ( l ) ( q ) denotes the number of k-dimensional F q -vector subspaces in F q l ,
c k ( l ) ( q ) = c l k ( l ) ( q ) = ( q l 1 ) ( q l q ) ( q l q k 1 ) ( q k 1 ) ( q k q ) ( q k q k 1 ) ,
cf. [13], e.g., k = 0 l c k ( l ) ( 2 ) = 2 , 5 , 16 , 67 , 374 , 2825 , 29212 for l = 1 , , 7 . Because L / u 2 L = ( F 2 ) l , the number of C 2 L / u 2 L is equal to that of C 1 L / u 1 L . Then, Theorem 2 asserts that { G } u = { G 1 } u 1 · { G 2 } u 2 , and that any G { G } u can be uniquely obtained from G 1 G 2 for some G 1 { G 1 } u 1 and G 2 { G 2 } u 2 . For example, let:
G = 1 1 1 1 + x 0 x 1 1 0 0 1 + x 1 + x 0 0 0 x + x 2 { G } u .
Then, we can find:
G 1 = 1 1 0 1 0 x 0 0 0 0 1 1 0 0 0 x , G 2 = 1 0 0 1 0 1 1 1 0 0 1 + x 0 0 0 0 1 + x , G 1 G 2 = 1 1 1 1 + x 0 x x x 0 0 1 + x 1 + x 0 0 0 x + x 2 .
There exists E G L l ( R ) such that E G 1 G 2 = G .

6. Unique Euclidean Division Cases

In this section, we focus on the Euclidean domain R described above specifically. First, we will show that the Euclidean division in R satisfies the following condition.
  • For a , b R with b 0 , there exist unique s , r R such that:
    a = s b + r with ψ ( r ) < ψ ( b ) ,
    (if necessary,) the additional property on s , r , which is described below, specified on each R.
To validate this condition for the Euclidean division by a nonzero b R , one may choose a complete system S b R of representatives of R / b such that ψ ( r ) < ψ ( b ) for all r S b . Then, the above condition is valid because a = s b + r = s b + r with s , s R and r , r S b implies r + b = r + b R / b and r = r . However, for each b, it is not always easy to choose S b . Thus, in this section, we show that a convenient S b can be taken in each case of R’s.
The case of R = K [ x ] . The Euclidean function ψ has the uniqueness properties, i.e., s , r are uniquely determined in a = s b + r with b 0 and ψ ( r ) < ψ ( b ) because, if a = s b + r = s b + r , then 0 = ( s s ) b + ( r r ) , and it follows from ψ ( r r ) = ψ ( ( s s ) b ) and ψ ( r r ) max { ψ ( r ) , ψ ( r ) } that s s = r r = 0 .
The case of R = Z . For a , b R with b 0 , the results s , r of Euclidean division a = s b + r with ψ ( r ) < ψ ( b ) and ψ ( · ) = |   ·   | are not unique as stated in Introduction. Hence, we decide s , r by a = s b + r with s = a / b . In other words, we have a = s b + r with 0 r / b < 1 , or equivalently, with r / b = 0 , because:
s = a b s a b < s + 1 0 r b < 1 r b = 0 .
Then, s , r are unique because of the expression s = a / b . (Alternatively, if a = s b + r = s b + r , then 0 = ( s s ) b + ( r r ) and it follows from 0 r / b < 1 and 0 r / b < 1 that | ( r r ) / b | < 1 and s s = 0 .) There are some choices to indicate unique s , r , e.g.,
s = a / b r / b = 0 , s = a / b r / b = 0 , s = a / b + 1 / 2 r / b + 1 / 2 = 0 , s = a / b 1 / 2 r / b 1 / 2 = 0 ,
where, for x R , x denotes a unique n Z such that n 1 < x n . We adopt s = a / b for simplicity.
The case of R = Z [ i ] . For a , b R with b 0 , the results s , r of Euclidean division a = s b + r with ψ ( r ) < ψ ( b ) and ψ ( · ) = |   ·   | 2 are not unique because 1 = 1 · 2 1 = 0 · 2 + 1 . We decide s , r with a = s b + r and ψ ( r ) < ψ ( b ) by
s = Re a b + 1 2 + Im a b + 1 2 i .
(Similarly, s = Re a / b 1 / 2 + Im a / b 1 / 2 i is also satisfactory. On the other hand, s = Re a / b + Im a / b i dose not satisfy ψ ( a s b ) < ψ ( b ) in general, e.g., a = 3 + 3 i and b = 4 .)
Because:
Re ( s ) Re a b + 1 2 < Re ( s ) + 1 and Im ( s ) Im a b + 1 2 < Im ( s ) + 1 ,
(16) deduces Re ( a / b ) Re ( s ) 1 / 2 and Im ( a / b ) Im ( s ) 1 / 2 of (4). Moreover, (16) is equivalent to the property on r, through the equation a = s b + r ,
Re r b + 1 2 = Im r b + 1 2 = 0 .
Then, s , r are unique because of the expression (16) on s. Alternatively, if a = s b + r = s b + r , then 0 = ( s s ) b + ( r r ) and it follows from Re r b + 1 2 = Re r b + 1 2 = 0 that:
0 Re r b + 1 2 < 1   and   0 Re r b + 1 2 < 1
and 1 < Re r b Re r b = Re ( s s ) < 1 deduces Re ( s s ) = 0 , and similarly, Im ( s s ) = 0 .
Thus, we take (16) or (17) as “the additional property” to indicate unique quotient and remainder in Euclidean division in R. A numerical example is shown in Figure 1.
The case of R = Z [ ω ] . For a , b R with b 0 , the results s , r of Euclidean division a = s b + r with ψ ( r ) < ψ ( b ) and ψ ( · ) = |   ·   | 2 are not unique because 1 = 1 · 2 1 = 0 · 2 + 1 . Similarly to Z [ i ] , we may decide s , r with a = s b + r and ψ ( r ) < ψ ( b ) by s = q 1 + 1 / 2 + q 2 + 1 / 2 ω if a / b = q 1 + q 2 ω , which is equivalent to t 1 + 1 / 2 = t 2 + 1 / 2 = 0 if r / b = t 1 + t 2 ω . (Similarly, s = q 1 1 / 2 + q 2 1 / 2 ω is also satisfactory.) However, unlike Z [ i ] , we can decide s , r with a = s b + r and ψ ( r ) < ψ ( b ) by:
s = q 1 + q 2 ω if a b = q 1 + q 2 ω , q 1 , q 2 Q .
Because (18) deduces 0 q 1 q 1 < 1 and 0 q 2 q 2 < 1 ,
ψ ( a s b ) = a b s 2 ψ ( b ) = ( q 1 q 1 ) 2 ( q 1 q 1 ) ( q 2 q 2 ) + ( q 2 q 2 ) 2 ψ ( b ) < ψ ( b ) ,
where the last inequality follows from the fact that x 2 x y + y 2 takes the maximum on 0 x , y 1 only at ( x , y ) = ( 1 , 0 ) , ( 0 , 1 ) , ( 1 , 1 ) and that, for 0 x , y < 1 , x 2 x y + y 2 < 1 . Moreover, (18) is equivalent to the property on r, through the equation a = s b + r ,
t 1 = t 2 = 0 if r b = t 1 + t 2 ω , t 1 , t 2 Q .
Then, s , r are unique because of the expression (18) on s. Thus, we take (18) or (19) as “the additional property” to indicate unique quotient and remainder in Euclidean division in R. A numerical example is shown in Figure 2.
The case of R = Z p . For a , b R with b 0 , the results s , r of Euclidean division a = s b + r with ψ ( r ) < ψ ( b ) and ψ ( · ) = p ord ( · ) or ψ ( 0 ) = 0 are not unique because 3 = 0 · 2 + 3 = 1 · 2 + 1 for p = 2 . Let Q p be the field of fractions of R. For c Q p , there exists w Z such that c = h = w c h p h with c h { 0 , 1 , , p 1 } . For c = h = w c h p h Q p , we uniquely define { c } p = h < 0 c h p h Q p and c p = h = 0 c h p h Z p such that c = { c } p + c p . Then, for a , b R with b 0 , we decide s , r R by a = s b + r with s = a / b p . In other words, we have a = s b + r with r / b p = 0 because:
s = a b p r b = a b s = a b p r b p = 0 .
Moreover, r / b p = 0 implies ψ ( r ) < ψ ( b ) because r = b a / b p . Finally, we show the uniqueness of such s , r . Suppose that, for a , b R with b 0 , a = s b + r = s b + r and r / b p = r / b p = 0 . Then, from 0 = ( s s ) b + ( r r ) , we say c = ( r r ) / b R . In view of r / b = { r / b } p + r / b p = r / b + c , the uniqueness of { r / b } p and r / b p implies that { r / b } p = r / b and r / b p = c = 0 .
The case of R = K [ [ x ] ] . For a , b R with b 0 , the results s , r of Euclidean division a = s b + r with ψ ( r ) < ψ ( b ) are not unique because 1 = 0 · x + 1 = 1 · x + x + 1 for K = F 2 and ψ ( · ) = 2 ord ( · ) or ψ ( 0 ) = 0 . Let K ( ( x ) ) be the field of fractions of R. For c K ( ( x ) ) , there exists w Z such that c = h = w c h x h with c h K . For c = h = w c h x h K ( ( x ) ) , we uniquely define { c } K = h < 0 c h x h K ( ( x ) ) and c K = h = 0 c h x h R such that c = { c } K + c K . Then, for a , b R with b 0 , we decide s , r R by a = s b + r with s = a / b K . In other words, we have a = s b + r with r / b K = 0 because:
s = a b K r b = a b s = a b K r b K = 0 .
Moreover, r / b K = 0 implies ψ ( r ) < ψ ( b ) because r = b a / b K . The uniqueness of such s , r can be shown similarly to the case of R = Z p .
Hereafter, we denote the quotient field of R by Q ( R ) = { a / b a , b R , b 0 } . For any a / b Q ( R ) , a , b R with gcd ( a , b ) = 1 are uniquely determined up to units because 0 = a / b a / b = ( a b a b ) / b b implies a = a and b = b .
Definition 3.
For a Q ( R ) , we define [ [ a ] ] R by
[ [ a ] ] = s i f a = r / b + s a n d deg ( r ) < deg ( b ) R = K [ x ] a R = Z Re a + 1 / 2 + Im a + 1 / 2 i R = Z [ i ] q 1 + q 2 ω i f a = q 1 + q 2 ω , q 1 , q 2 Q R = Z [ ω ] a p R = Z p a K R = K [ [ x ] ] .
In the case of R = K [ x ] , this definition is well-defined because, if a = r / b + s = r / b + s with r , b , s , r , b , s R , b , b 0 , deg ( r ) < deg ( b ) , and deg ( r ) < deg ( b ) , then ( r b r b ) / b b + s s = 0 and deg ( r b r b ) max { deg ( r b ) , deg ( r b ) } < deg ( b b ) deduce s = s .
Lemma 2.
For any a , a Q ( R ) , if [ [ a ] ] = [ [ a ] ] = 0 and a a R , then a = a .
Proof. 
In the case of R = K [ x ] , let a = r / b and a = r / b with r , b , r , b R , b , b 0 , deg ( r ) < deg ( b ) , and deg ( r ) < deg ( b ) . Then, a a = ( r b r b ) / b b R deduces a = a . The other cases follow from the argument in each case. ☐
Hereafter, for a , b R with b 0 , the quotient s and the remainder r of the Euclidean division a = s b + r with ψ ( r ) < ψ ( b ) are determined uniquely such that s = [ [ a / b ] ] , or equivalently, [ [ r / b ] ] = 0 . Note that ψ ( r ) < ψ ( b ) follows from [ [ r / b ] ] = 0 .
Proposition 6.
Let G = g i , j M l ( R ) be upper triangular. Then, for any a = a 1 a l L , there exist unique s = s 1 s l , r = r 1 r l L such that a = s G + r , i.e.,
a 1 a l = s 1 s l G + r 1 r l ,
with [ [ r i / g i , i ] ] = 0 for all 1 i l . In other words, the result of the division in Proposition 2 is unique.
Proof. 
Suppose that s , s , r , r L satisfy a = s G + r = s G + r and [ [ r i / g i , i ] ] = [ [ r i / g i , i ] ] = 0 for all 1 i l . Then, subtracting one expression for a from the other, we obtain ( 0 0 ) = ( s s ) G + ( r r ) , which is equivalent to 0 = h = 1 i ( s h s h ) g h , i + ( r i r i ) for all 1 i l . For i = 1 , we have 0 = ( s 1 s 1 ) g 1 , 1 + ( r 1 r 1 ) , which deduces s 1 s 1 = r 1 r 1 = 0 by Lemma 2. Supposing s h s h = r h r h = 0 for all h = 1 , , i 1 , we have 0 = ( s i s i ) g i , i + ( r i r i ) , which deduces s i s i = r i r i = 0 by Lemma 2. By induction on i, we obtain s s = r r = ( 0 0 ) , which completes the proof. ☐

Reduced Generator Matrices of R -Modules in M

Definition 4.
For a R , we say that a is monic if and only if a 0 and a satisfies the following condition:
a w = 1 i f a = h = 0 w a h x h , deg ( a ) = w R = K [ x ] a > 0 R = Z Re ( a ) > 0 , Im ( a ) 0 R = Z [ i ] a 1 > 0 , a 2 0 i f a = a 1 + a 2 ω , a 1 , a 2 Z R = Z [ ω ] a w = 1 i f a = h = w a h p h , ord ( a ) = w R = Z p a w = 1 i f a = h = w a h x h , ord ( a ) = w R = K [ [ x ] ] .
If e a = a for e , a , a R with monic a , a and invertible e, then we have e = 1 and a = a .
Definition 5.
We say that G = g i , j M l ( R ) is reduced if and only if G is upper triangular, g i , i is monic for all 1 i l and [ [ g i , j / g j , j ] ] = 0 for all 1 i < j l .
If a generator matrix G of C is given, then the reduced generator matrix G ˜ with L G = L G ˜ is obtained through the row operations for G, cf. [14]. In fact, the result of the row operations is written as G ˜ = E G for some E G L l ( R ) .
Example 5.
(Continued from Example 1.) G 2 = 2 + i 1 + 3 i 0 5 is not reduced because Re ( 1 + 3 i ) / 5 + 1 / 2 = 0 and Im ( 1 + 3 i ) / 5 + 1 / 2 = 1 . From 1 + 3 i i · 5 = 1 2 i , 1 i 0 1 G 2 = 2 + i 1 2 i 0 5 is reduced.
In the case where R = Z , the reduced G ˜ of G is called the Hermite normal form of G, which is unique for each R-module L G , according to Theorem 4.2 in [11]. Here, we prove the uniqueness of the reduced generator matrix in the cases of Euclidean domains with unique Euclidean division.
Proposition 7.
There exists a unique reduced generator matrix of each C .
Proof. 
Let G = ( g i , j ) , G = ( g i , j ) be two reduced generator matrices of C . Then, it follows from L G = L G that there exists an upper triangular E = ( e i , j ) G L l ( R ) such that E G = G . Note that:
E G = G i k j e i , k g k , j = g i , j for   all   1 i j l .
Then, e i , i is invertible in R for all 1 i l because det ( E ) = i = 1 l e i , i is invertible in R. If i = j , then e i , i g i , i = g i , i implies that e i , i = 1 and g i , i = g i , i because g i , i and g i , i are monic. If i + 1 = j , then:
g i , i + 1 + e i , i + 1 g i + 1 , i + 1 = g i , i + 1 .
Because of g i + 1 , i + 1 = g i + 1 , i + 1 , [ [ g i , i + 1 / g i + 1 , i + 1 ] ] = [ [ g i , i + 1 / g i + 1 , i + 1 ] ] = 0 , and Lemma 2, we have e i , i + 1 = 0 and g i , i + 1 = g i , i + 1 . If e i , i + 1 = = e i , j 1 = 0 , then:
i k j e i , k g k , j = g i , j + e i , j g j , j = g i , j .
Because of g j , j = g j , j , [ [ g i , j / g j , j ] ] = [ [ g i , j / g j , j ] ] = 0 , and Lemma 2, we have e i , j = 0 and g i , j = g i , j . It follows from induction on j that G = G , which completes the proof. ☐
Example 6.
(Continued from Remark 2.) Let R = Z , l = 2 , u = 6 , u 1 = 2 , and u 2 = 3 . Then, { G 1 } 2 = 5 and { G 2 } 3 = 6 are explicitly given as:
{ G 1 } 2 = 1 0 0 1 , 1 0 0 2 , 1 1 0 2 , 2 0 0 1 , 2 0 0 2 , { G 2 } 3 = 1 0 0 1 , 1 0 0 3 , 1 1 0 3 , 1 2 0 3 , 3 0 0 1 , 3 0 0 3 .
Thus, all G with { G } 6 = 30 can be obtained by G 1 G 2 . Although G 1 G 2 is not always reduced, e.g., 2 0 0 1 1 2 0 3 = 2 4 0 3 , we can find E G L l ( R ) such that E G 1 G 2 is reduced.
Example 7.
In [15], an ideal generated by g ( x ) = x 3 + λ x 2 + ( λ 1 ) x 1 in a ring Z 2 [ x ] / ( x 7 1 ) is considered, where g ( x ) divides x 7 1 in Z 2 [ x ] and λ = 2 + 2 2 + 2 5 + 2 7 + 2 8 + Z 2 is a root of λ 2 λ + 2 = 0 . This ideal is called the two-adic lift of the binary [7,4] Hamming code because g ( x ) x 3 + x + 1 mod 2 agrees with its generator polynomial. Moreover, it is pointed out that Z 2 -module Z 2 4 U Z 2 8 , where:
U = 1 λ λ 1 1 0 0 0 1 0 1 λ λ 1 1 0 0 1 0 0 1 λ λ 1 1 0 1 0 0 0 1 λ λ 1 1 1 ,
can be called a self-dual code over Z 2 because U t U is all-zero, where t U denotes the transpose matrix of U. Then, there exists E 1 G L 4 ( Z 2 ) such that:
E 1 U = 1 0 0 0 1 λ 1 λ 1 0 1 0 0 1 λ 1 1 λ 0 0 1 0 1 1 λ 1 λ 0 0 0 1 λ λ 1 1 1 .
We say E 1 U = [ I V ] for V M 4 ( Z 2 ) . Note that A 1 G 1 = diag 2 b , , 2 b holds for any positive b Z , where A 1 = 2 b I V 0 I and G 1 = I V 0 2 b I . Then, various notable codes appear as the image of Z 2 4 U by F : Z 2 8 Z 2 / 2 b Z 2 8 , where Z 2 / 2 b Z 2 = Z / 2 b Z , and Proposition 7assures that their unique reduced generator matrices can be computed from E 2 G 1 for some E 2 G L 8 ( Z 2 ) . For example, If b = 1 , then C = F Z 2 4 U is equal to the binary [8,4] extended Hamming code and there exists A 2 M 8 ( Z ) such that its unique reduced generator matrix G 2 satisfies A 2 G 2 = diag [ 2 , , 2 ] , where:
G 2 = 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 .
If b = 2 , then C = F Z 2 4 U is equal to the octacode, cf. [15], and there exists A 3 M 8 ( Z ) such that its unique reduced generator matrix G 3 satisfies A 3 G 3 = diag [ 4 , , 4 ]
G 3 = 1 0 0 0 3 2 3 3 0 1 0 0 3 1 1 2 0 0 1 0 1 1 2 3 0 0 0 1 2 1 3 1 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 .

7. Application to Hecke Rings

In this section, we continue to focus on the Euclidean domain R described above. Furthermore, if R = K [ x ] or R = K [ [ x ] ] , then we take K = F q . Under these assumptions, for all b R with b 0 , ψ ( b ) = R / b has a positive finite value in Z .

7.1. Preliminaries on Hecke Rings

We define:
H ( Γ , Δ ) = α Δ c α Γ α Γ c α Z , c α 0 for   finite   number   of   α Δ ,
where Γ = G L l ( R ) and Δ = { α M l ( R ) | det ( α ) 0 } . We call H ( Γ , Δ ) a Hecke ring [12,13] with respect to Γ and Δ with a commutative multiplication (cf. the next subsection) and a unit Γ I Γ = Γ .
Hereafter, for two R-modules A and B , we write A B if A is isomorphic to B as R-modules. The theory of elementary divisors [14] asserts that, for α Δ , Γ α Γ = Γ diag [ a 1 , , a l ] Γ for unique a 1 a l with a 1 , , a l R . Then, we denote T ( a 1 , , a l ) = Γ α Γ . Let β Δ and T ( b 1 , , b l ) = Γ β Γ . We note that:
Γ α Γ = Γ β Γ L α = L β γ for   some   γ Γ a 1 = b 1 , , a l = b l L / L α L / L β
because Γ α Γ = T ( a 1 , , a l ) L / L α i = 1 l R / a i . On the other hand, so far, we have frequently used the fact that:
Γ α = Γ β L α = L β .
Remark 3.
Let C , D L / u L be R-modules. Then, C D as R-modules does not in general mean C = D as sets. For example, in the case of L = F 2 [ x ] 2 , consider three different G of { G } x , i.e.,
A G = x 0 0 1 1 0 0 x = x 1 0 1 1 1 0 x = 1 0 0 x x 0 0 1 = x I .
Because these three A are in Γ diag [ 1 , x ] Γ , and we have:
L G u L = L G L A G L L A ,
it follows from (20) that three R-modules L G / x L are all isomorphic R-modules. On the other hand, because L / x L = F 2 2 , three R-modules L G / x L have two elements and equal:
{ ( 0 0 ) , ( 1 0 ) } , { ( 0 0 ) , ( 1 1 ) } , { ( 0 0 ) , ( 0 1 ) } ,
respectively. Note that their values of the minimum Hamming distance are 1, 2 and 1, respectively.
This example shows that isomorphic R-modules could have distinct values of the minimum Hamming distance.
Lemma 3.
For all α Δ , if Γ α Γ = T ( a 1 , , a l ) , then we have L α a l L det ( α ) L .
Proof. 
Let ι : L / L α i = 1 l R / a i be the isomorphism of R-modules. Because ι ( a l r ) = a l ι ( r ) = ( 0 0 ) i = 1 l R / a i , a l r L α for all r L . Thus, we have L α a l L . On the other hand, Γ α Γ = T ( a 1 , , a l ) implies that γ 1 α γ 2 = diag [ a 1 , , a l ] for some γ 1 , γ 2 Γ . Then, det ( α ) = ϵ i = 1 l a i with a unit ϵ implies a l L det ( α ) L . ☐
Because Γ acts from the left on Δ , we can consider a quotient set Γ \ Δ similarly to (12). Let T l denote a complete system of representatives of Γ \ Δ . As one choice of T l , we can take:
T l = { G M l ( R ) | G   is   reduced } .
Let Γ α Γ = k Γ α k be the disjoint decomposition into the left cosets, where the number of the left cosets is actually finite as shown now. In view of (20) and (21), there exists a one-to-one correspondence:
α k Γ α Γ = k Γ α k G T l | L / L G L / L α
by α k γ α k T l for some γ Γ . Thus, the disjoint decomposition Γ α Γ = k Γ α k has a finite number of cosets because Lemma 3 deduces that A G = a l I for some A M l ( R ) and there exists a finite number of G T l such that A G = a l I . Hereafter, we denote:
T l ( α ) = G T l | L / L G L / L α ,
which is equivalent to, in the notation of Section 5,
T l ( α ) = G { G } a l | L / L G L / L α = G { G } det ( α ) | L / L G L / L α .
Hereafter, for a finite set S, we also use # S = | S | to denote the number of elements in S. Then, we define:
ind Γ α Γ = # T l ( α ) and ind α Δ c α Γ α Γ = α Δ c α ind Γ α Γ
for all α Δ c α Γ α Γ H ( Γ , Δ ) . It is shown (cf. the next subsection) that ind ( · ) ( deg ( · ) in [13]) is a ring homomorphism of H ( Γ , Δ ) .

7.2. Multiplication in Hecke Rings

There exists finite disjoint decomposition Γ α Γ β Γ = ξ Γ ξ Γ because we have:
Γ α Γ = i Γ α i , Γ β Γ = j Γ β j ,
and moreover:
Γ α Γ β Γ = j Γ α Γ β j = i , j Γ α i β j .
Then, we define the multiplication · in H ( Γ , Δ ) by:
Γ α Γ · Γ β Γ = ξ m ξ ( α , β ) Γ ξ Γ H ( Γ , Δ )
where:
m ξ ( α , β ) = # ( i , j ) Γ α i β j = Γ ξ = # ( G 1 , G 2 ) T l ( α ) × T l ( β ) | L G 1 G 2 = L ξ .
We note:
m ξ ( α , β ) = # G 2 T l ( β ) | L G 2 / L ξ L / L α
1234567891233456 = # G T l | L / L G L / L β , L G / L ξ L / L α
because L G 1 G 2 = L ξ deduces L G 2 / L ξ = L G 2 / L G 1 G 2 L / L G 1 L / L α and ( G 1 , G 2 ) G 2 and G 2 ( ξ G 2 1 , G 2 ) determine the bijections between the sets in (22) and (23). Then, m ξ ( α , β ) does not depend on the choices of α i , β j , and { ξ } and the operation · defines the multiplication; moreover, this multiplication is commutative, cf. [13].
There is another formula # ( i , j ) Γ α i β j Γ = Γ ξ Γ = m ξ ( α , β ) ind Γ ξ Γ because:
# ( i , j ) Γ α i β j Γ = Γ ξ Γ = # ( G 1 , G 2 ) T l ( α ) × T l ( β ) | L / L G 1 G 2 L / L ξ   = # ( G 1 , G 2 ) T l ( α ) × T l ( β ) | L G 1 G 2 = L ξ γ for   some   γ Γ   = k = 1 m # ( G 1 , G 2 ) T l ( α ) × T l ( β ) | L G 1 G 2 = L ξ k if Γ ξ Γ = k = 1 m Γ ξ k   = # ( G 1 , G 2 ) T l ( α ) × T l ( β ) | L G 1 G 2 = L ξ k = 1 m 1 = m ξ ( α , β ) ind Γ ξ Γ .
Then, the fact that ind ( · ) is a ring homomorphism of H ( Γ , Δ ) follows from:
ind Γ α Γ · Γ β Γ = ξ m ξ ( α , β ) ind Γ ξ Γ = # all   ( i , j ) = ind Γ α Γ · ind Γ β Γ .
Note that, if ξ Γ α Γ β Γ , then we have ind Γ ξ Γ > 0 and:
ind Γ ξ Γ ind Γ α Γ · Γ β Γ = ind Γ α Γ · ind Γ β Γ .
Proposition 8.
For α , β Δ , suppose that gcd ( det ( α ) , det ( β ) ) = 1 . Then, we have Γ α Γ · Γ β Γ = Γ α β Γ , in other words,
T ( a 1 , , a l ) T ( b 1 , , b l ) = T ( a 1 b 1 , , a l b l )
if Γ α Γ = T ( a 1 , , a l ) and Γ β Γ = T ( b 1 , , b l ) .
Proof. 
For ( G 1 , G 2 ) T l ( α ) × T l ( β ) , there exists an exact sequence:
0 L G 2 L G 1 G 2 L L G 1 G 2 L L G 2 0 .
Moreover, we have L G 2 L G 1 G 2 L L G 1 i = 1 l R / a i and L L G 2 i = 1 l R / b i , and we say L L G 1 G 2 i = 1 l R / c i . Then, there exist exact sequences 0 R / a i R / c i R / b i 0 for all 1 i l . It follows from the uniqueness of elementary divisors that c i = a i b i for all 1 i l . Thus, we deduce L L G 1 G 2 i = 1 l R / a i b i . In particular, if ( G 1 , G 2 ) = ( α , β ) , then L L α β i = 1 l R / a i b i . Hence, G 1 G 2 T l ( α β ) . Moreover, it follows from Theorem 2 that ( G 1 , G 2 ) G 1 G 2 is an injective map T l ( α ) × T l ( β ) T l ( α β ) . Thus, ind ( Γ α Γ ) · ind ( Γ β Γ ) = # T l ( α ) × # T l ( β ) # T l ( α β ) = ind ( Γ α β Γ ) . Together with (25), we have ind ( Γ α Γ ) · ind ( Γ β Γ ) = ind ( Γ α β Γ ) , which shows that m α β ( α , β ) = 1 and Γ α Γ · Γ β Γ = Γ α β Γ . ☐

7.3. A Generating Function of i n d T ( f )

For a nonzero f R , define:
T ( f ) = α Δ , det ( α ) = f Γ α Γ H ( Γ , Δ ) ,
where the sum runs over all distinct Γ α Γ with α Δ and det ( α ) = f . Let M = R / f l = L / f L .
Then, we have:
ind ( T ( f ) ) = # G T l L / L G i = 1 l R / b i   for   some   b 1 b l   with   i = 1 l b i = f = # { G T l deg ( G ) = f } .
By Proposition 8 and (26), for nonzero f , g R with gcd ( f , g ) = 1 , we have T ( f g ) = T ( f ) T ( g ) . We say that π R is a prime element if a b π implies a π or b π for all a , b R . Because a Euclidean domain R is a principal ideal domain, π is a prime element if and only if π is a maximal ideal. Moreover, all nonzero f R has a prime factorization f = ϵ i = 1 s π i e i , where ϵ denotes a unit, π i is a prime element, and e i Z is positive and unique for all 1 i s .
Thus, we can compute ind T ( f ) by calculating ind T ( π e ) for each prime power factor π e f , where π e f means f π e but f π e + 1 for a positive e Z . For π e f , we have:
T ( π e ) = 0 d 1 d l d 1 + + d l = e T π d 1 , , π d l .
Lemma 4.
Let π R be a nonzero prime element. For A = ( a i , j ) , G = ( g i , j ) M l ( R ) , if A G = π I with the reduced G, then g i , i = π implies a i , j = g i , j = 0 for all 1 i j l . Conversely, if a reduced G = ( g i , j ) M l ( R ) satisfies g i , i = 1 or π for all 1 i l and g i , i = π implies g i , j = 0 for all 1 i j l , then there exists A M l ( R ) such that A G = π I .
Proof. 
By the assumption, A and G are upper triangular. If g i , i = π and i < j , then A G = π I implies h = i j a i , h g h , j = 0 , a i , i = 1 , and g j , j = 1 or π . Supposing j = i + 1 , we have g i , j + a i , j g j , j = 0 . In both cases of g j , j = 1 and π , the reduced condition implies g i , j = 0 and a i , j = 0 . Suppose the induction hypothesis a i , h = g i , h = 0 for all i < h < j . Then, we have g i , j + a i , j g j , j = 0 . In both cases of g j , j = 1 and π , the reduced condition implies g i , j = a i , j = 0 .
On the other hand, from the assumption of G, there exists E G L l ( R ) such that G E is diagonal. Then, we put A = ( G E ) 1 π I M l ( R ) . Thus, ( G E ) A = G ( E A ) = ( E A ) G = π I with E A M l ( R ) . ☐
We denote T k ( l ) = T ( 1 , , 1 l k , π , , π k ) H ( Γ , Δ ) .
Remark 4.
Let the notation be as in Lemma 4. Let r = R / π = ψ ( π ) . We will show:
ind T k ( l ) = 1 j 1 < < j k l r ( j 1 1 ) + + ( j k k ) = r k ( k 1 ) / 2 0 i 1 < < i k l 1 r i 1 + + i k .
Note that:
ind T k ( l ) = # G T l | det ( G ) = π k , A G = π I f o r s o m e A M l ( R ) .
We count such G = g i , j by Lemma 4. Let j ( 1 ) , , j ( k ) Z such that 1 j ( 1 ) < < j ( k ) l . If g j ( 1 ) , j ( 1 ) = = g j ( k ) , j ( k ) = π , then g i , j ( h ) | 1 i < j ( h ) , 1 h k may be nonzero and the total number of these g i , j ( h ) is equal to h = 1 k ( j ( h ) 1 ) = h = 1 k j ( h ) k . By Lemma 4, we have g j ( h ) , j = 0 for j = j ( h + 1 ) , , j ( k ) and the total number of these g j ( h ) , j = 0 is equal to h = 1 k ( k h ) = k ( k 1 ) / 2 . Thus, G has nonzero entries at most:
h = 1 k j ( h ) k k ( k 1 ) 2 = h = 1 k j ( h ) k ( k + 1 ) 2 = h = 1 k ( j ( h ) h ) ,
which proves (27). There is another expression ind T k ( l ) = c k ( l ) ( r ) of (15), cf. [13].
It follows from (27) that:
k = 0 l ( 1 ) k r k ( k 1 ) / 2 ind T k ( l ) X k = k = 0 l ( 1 ) k 0 i 1 < < i k l 1 r i 1 + + i k X k = i = 0 l 1 1 r i X .
On the other hand, we have:
i = 0 l 1 1 1 r i X = i = 0 l 1 d i = 0 r i d i X d i = e = 0 0 d 1 , d 2 , , d l d 1 + d 2 + + d l = e r d 2 r ( l 1 ) d l X e = e = 0 ind T ( π e ) X e ,
where the last equality follows from (26) and the fact that any reduced G M l ( R ) with det ( G ) = π e is of the form:
π d 1 g 1 , 2 g 1 , l 0 π d 2 g l 1 , l 0 0 π d l ,
where d 1 + + d l = e and [ [ g i , j / π d j ] ] = 0 for all i < j . Thus, ind T ( π e ) can be computed by:
e = 0 ind T ( π e ) X e = k = 0 l ( 1 ) k r k ( k 1 ) / 2 ind T k ( l ) X k 1 = i = 0 l 1 1 1 r i X .
Actually, T ( π e ) has the generating function [13]:
e = 0 T ( π e ) X e = k = 0 l ( 1 ) k r k ( k 1 ) / 2 T k ( l ) X k 1 .
Summarizing the above results, for a nonzero f = ϵ i = 1 s π i e i R , we decompose T ( f ) = i = 1 s T π i e i and, by the multiplication, obtain all G of C R / f l with deg ( G ) = f .
Example 8.
In case of R = Z [ i ] and l = 3 , ind T π e with π = 2 + i is computed by:
e = 0 ind T π e X e = 1 1 31 X + 155 X 2 125 X 3 = 1 + 31 x + 806 X 2 + 20306 X 3 + 508431 X 4 + .
For example, we have ind T ( π 2 ) = 806 . On the other hand, because we have T ( π 2 ) = T ( 1 , π , π ) + T ( 1 , 1 , π 2 ) , all reduced generator matrices are:
1 π π ( 5 3 ) π 0 1 π ( 5 2 ) π 0 π 0 1 ( 5 ) 1 0 1 π 2 ( 25 2 ) 1 0 π 2 0 1 ( 25 ) π 2 0 0 1 0 1 ( 1 ) ,
where ( · ) indicates the number of reduced generator matrices of each type. Thus, we can list all 806 reduced G for C ( R / π 2 R ) 3 with C = ψ ( π ) 4 = 5 4 .

8. Conclusions

In this study, we have found various useful properties of the codes over some Euclidean residue rings and proven that many characteristics of the generator matrices of GQC codes (in particular, the uniqueness of the reduced generator matrices) remain valid for the case analyzed here. If the moduli of the codes are equal among all symbols, i.e., C L / u L for some nonzero u R , then we have shown that the product of the generator matrices constructs all generator matrices. In addition, if the moduli of the codes are relatively prime, then this construction has been shown to be a one-to-one correspondence among the classes of generator matrices.
In the case of QC and GQC codes, the results in [2,3] have a similarity with ours in the sense of producing codes of a modulus from those of factored moduli. We compare these results as follows.
Table 1 is supplementally explained as follows. For the classes of codes, we have treated the codes C R / u l with Euclidean domain R, which generalize the case of QC codes with R = F q [ x ] . Whereas, in [2,3], the producing methods is the concatenation which is represented by, e.g., Turyn’s ( x + a , x + b , x + a + b ) -method, our producing method is the multiplication G = G 1 G 2 of generator matrices in Theorems 1,2. In [2,3], the self-duality is preserving, i.e., roughly speaking, if codes mod u 1 and mod u 2 are self-dual in a sense, then the produced code mod u = u 1 u 2 is also self-dual. Unfortunately, our producing method does not have this preserving property of self-duality. From the viewpoint of computational complexity, our method can have an advantage over those of [2,3] because, whereas Turyn-type methods require overall combination of codewords in the worst case, our method requires only multiplying two l-by-l matrices. Consequently, it is important to use different methods according to the desired types of codes. For example, for GQC or self-dual codes, the methods of [2,3] should be chosen, and for high-rate QC codes, where “high-rate” means that the ratio k / n of dimension k and length n is greater than 1/2, our method is appropriate because of its less computational complexity.
As an application, for specified standard Euclidean domains, we have applied the theory of reduced generator matrices to Hecke rings, and we have shown the enumeration formulae of the number of a certain types of generator matrices. Future work will focus on developing a method for the efficient enumeration of general GPC codes. Another area of research will involve the establishment of the theory of parity-check matrices for these codes, especially a formula for extracting them from the equalities such as in [5,7].

Acknowledgments

The author would like to thank the anonymous referees for their comments which helped improve the presentation of the paper. This work was supported in part by a grant of JSPS KAKENHI Grant Number 15K13994 and in part by a grant of the Strategic Research Foundation Grant-aided Project for Private Universities from MEXT (S1311034).

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Lally, K.; Fitzpatrick, P. Algebraic structure of quasi-cyclic codes. Discret. Appl. Math. 2001, 111, 157–175. [Google Scholar] [CrossRef]
  2. Ling, S.; Solé, P. On the algebraic structure of quasi-cyclic codes I: Finite fields. IEEE Trans. Inf. Theory 2001, 47, 2751–2760. [Google Scholar] [CrossRef]
  3. Güneri, C.; Özbudak, F.; Özkaya, B.; Saçıkara, E.; Sepasdar, Z.; Solé, P. Structure and performance of generalized quasi-cyclic codes. Finite Fields Appl. 2017, 47, 183–202. [Google Scholar] [CrossRef]
  4. Heegard, C.; Little, J.; Saints, K. Systematic encoding via Gröbner bases for a class of algebraic geometric Goppa codes. IEEE Trans. Inf. Theory. 1995, 41, 1752–1761. [Google Scholar] [CrossRef]
  5. Matsui, H. On generator and parity-check polynomial matrices of generalized quasi-cyclic codes. Finite Fields Appl. 2015, 34, 280–304. [Google Scholar] [CrossRef]
  6. Matsui, H. On generator polynomial matrices of generalized pseudo-cyclic codes. In Proceedings of the International Symposium on Information Theory and Its Applications (ISITA2014), Melbourne, Australia, 26–29 October 2014; pp. 366–370. [Google Scholar]
  7. Matsui, H. On generator matrices and parity check matrices of generalized integer codes. Des. Codes Cryptogr. 2015, 74, 681–701. [Google Scholar] [CrossRef]
  8. Becker, T.; Weispfenning, V. Gröbner Bases: A Computational Approach to Commutative Algebra; Springer: New York, NY, USA, 1993. [Google Scholar]
  9. Ireland, K.; Rosen, M. A Classical Introduction to Modern Number Theory; Springer: Berlin, Germany, 1990. [Google Scholar]
  10. Cohen, H. A Course in Computational Algebraic Number Theory; Springer-Verlag: Berlin, Germany, 1993. [Google Scholar]
  11. Schrijver, A. Theory of Linear and Integer Programming; John Wiley & Sons: Hoboken, NJ, USA, 1986. [Google Scholar]
  12. Serre, J.-P. A Course in Arithmetic; Springer-Verlag: New York, NY, USA, 1973. [Google Scholar]
  13. Shimura, G. Introduction to the Arithmetic Theory of Automorphic Functions; Princeton University Press: Princeton, NJ, USA, 1971. [Google Scholar]
  14. Lang, S. Algebra, 3rd ed.; Springer: Berlin, Germany, 2002. [Google Scholar]
  15. Calderbank, A.R.; Sloane, N.J.A. Modular and p-adic cyclic codes. Des. Codes Cryptogr. 1995, 6, 21–35. [Google Scholar] [CrossRef]
Figure 1. The remainders r of Euclidean division by b = 5 + 9 i in Z [ i ] . There are 5 2 + 9 2 = 106 = | b | 2 crosses, which can be all representatives of Z [ i ] / b , satisfying (17). If we adopt s with the ceiling function, then r = 2 + 7 i is included instead of r = 2 7 i .
Figure 1. The remainders r of Euclidean division by b = 5 + 9 i in Z [ i ] . There are 5 2 + 9 2 = 106 = | b | 2 crosses, which can be all representatives of Z [ i ] / b , satisfying (17). If we adopt s with the ceiling function, then r = 2 + 7 i is included instead of r = 2 7 i .
Mathematics 05 00082 g001
Figure 2. The remainders r of Euclidean division by b = 2 + 10 ω in Z [ ω ] . There are 2 2 2 · 10 + 10 2 = 84 = | b | 2 crosses, which can be all representatives of Z [ ω ] / b , satisfying (19).
Figure 2. The remainders r of Euclidean division by b = 2 + 10 ω in Z [ ω ] . There are 2 2 2 · 10 + 10 2 = 84 = | b | 2 crosses, which can be all representatives of Z [ ω ] / b , satisfying (19).
Mathematics 05 00082 g002
Table 1. Comparison of various methods which produce a code mod u = u 1 u 2 from codes mod u 1 and mod u 2 .
Table 1. Comparison of various methods which produce a code mod u = u 1 u 2 from codes mod u 1 and mod u 2 .
Papers[2][3]Ours
classes of codes C F q [ x ] x m 1 l
QC codes
C i = 1 l F q [ x ] x m i 1
GQC codes
C R / u l
R: Euclidean domain
producing methodsconcatenationconcatenationmultiplication of
generator matrices
self-dualitypreservingpreservingnot preserving
computational complexitygenerally largegenerally largeapproximately O ( l 3 )

Share and Cite

MDPI and ACS Style

Matsui, H. Multiplicative Structure and Hecke Rings of Generator Matrices for Codes over Quotient Rings of Euclidean Domains. Mathematics 2017, 5, 82. https://doi.org/10.3390/math5040082

AMA Style

Matsui H. Multiplicative Structure and Hecke Rings of Generator Matrices for Codes over Quotient Rings of Euclidean Domains. Mathematics. 2017; 5(4):82. https://doi.org/10.3390/math5040082

Chicago/Turabian Style

Matsui, Hajime. 2017. "Multiplicative Structure and Hecke Rings of Generator Matrices for Codes over Quotient Rings of Euclidean Domains" Mathematics 5, no. 4: 82. https://doi.org/10.3390/math5040082

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop