Open Access
This article is

- freely available
- re-usable

*Information*
**2017**,
*8*(3),
80;
doi:10.3390/info8030080

Article

On the Problem of the Existence of a Square Matrix U Such That UU

^{T}= − I over ℤ_{pm}School of Liberal Arts, KoreaTec, Cheonan 31253, Korea

Received: 17 May 2017 / Accepted: 29 June 2017 / Published: 4 July 2017

## Abstract

**:**

Building-up construction is one of several methods for constructing self-dual codes. Recently, a new building-up construction method has been developed by S. Han, in which the existence of a square matrix U such that $U{U}^{T}=-I$ is essential. In this paper, we completely solve the existence problem for U over ${\mathbb{Z}}_{{p}^{m}}$, where p is an arbitrary prime number.

Keywords:

building-up construction; self-dual code; ℤ_{pm}code

## 1. Introduction

Coding theory has been developing since the 1950s. There are many interesting classes of codes, such as cyclic codes, MDS (Maximum Distance Separable) codes, algebraic geometry codes, and self-dual codes. Among them, self-dual codes are very interesting, as they are closely related to other areas of mathematics, such as block designs, lattices, modular forms, and sphere packings. Moreover, they are of interest in their own right (e.g., [1]).

There are many construction methods for self-dual codes, such as the gluing vector [2], balance principal [3], double circulant [4], and building-up construction methods. In this paper, we are concerned with the building-up construction method, which was introduced by M. Harada [5] and was subsequently formalized and named by J.-L. Kim for self-dual codes over the finite field ${\mathbb{F}}_{2}$ [6]. It was further developed for self-dual codes over the finite field ${\mathbb{F}}_{q}$, where q is a power of 2 or $q\equiv 1$ (mod 4) [7] and $q\equiv 3$ (mod 4) [8]. It was also applied to related rings [9,10,11,12,13,14].

However, there was an important missing case in previous building-up constructions; namely, ${\mathbb{Z}}_{4}$. This case was covered using matrices [15], where the method was formulated in the context of finite chain rings, including all previous cases as well as ${\mathbb{Z}}_{4}$. One of the key points is the existence of a square matrix U such that $U{U}^{T}=-I$. The corresponding problem over ${\mathbb{Z}}_{{2}^{m}}$ was completely solved, except for the following open case [15]: is there a $(4t+2)\times (4t+2)$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$ $(m\ge 2)$ for all $t\ge 1$?

In this paper, we settle this open case. Furthermore, we solve the problem of the existence of a square matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{p}^{m}}$, where p is an arbitrary prime number.

The paper is organized as follows. In Section 2, we state the preliminaries. In Section 3, we present the non-existence proof for a $(4t+2)\times (4t+2)$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$ $(m\ge 2)$ for all $t\ge 0$. In Section 4, we study the existence problem for a matrix U over ${\mathbb{Z}}_{{p}^{m}}$, where p is an odd prime. Therefore, we completely solve the problem of the existence of a square matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{p}^{m}}$, where p is an arbitrary prime number. In Section 5, we provide examples of the construction of self-dual codes using the result in Section 4.

**Remark**

**1.**

The square matrix U such that $U{U}^{T}=-I$ over finite fields was considered by J.L. Massey [16]. He called the matrix U antiorthogonal. Using the antiorthogonal matrix, he characterized the self-dual codes and constructed linear codes with complementary duals (LCD codes). In [17], Massey considered the existence problem of antiorthogonal matrices over finite fields.

## 2. Preliminaries

Throughout this paper, R is a finite commutative ring with identity $1\ne 0$. An R-submodule $C\subseteq {R}^{n}$ is called a linear code of length n over R. Unless otherwise specified, all codes are assumed to be linear.

For $\mathbf{x},\mathbf{y}\in {R}^{n}$, we define the usual inner product by

$$\mathbf{x}\times \mathbf{y}={x}_{1}{y}_{1}+\dots +{x}_{n}{y}_{n}.$$

For a code C of length n over R, let
be the dual code of C. If $C\subseteq {C}^{\perp}$, then we say that C is self-orthogonal, and if $C={C}^{\perp}$, then C is self-dual.

$${C}^{\perp}=\{\mathbf{x}\in {R}^{n}\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.166667em}{0ex}}\mathbf{x}\times \mathbf{c}=0,\phantom{\rule{0.166667em}{0ex}}\forall \phantom{\rule{0.166667em}{0ex}}\mathbf{c}\in C\}$$

The following construction method for self-dual codes over R appears in [15].

**Theorem**

**1.**

[15] Let R be a finite chain ring, ${C}_{0}$ a self-dual code of length n over R, and ${G}_{0}$ a $k\times n$ generator matrix for ${C}_{0}$. Let $a\ge 1$ be an integer, and X an $a\times n$ matrix over R such that $X{X}^{T}=-I$. Let U be an $a\times a$ matrix over R such that $U{U}^{T}=-I$, and O the $a\times a$ zero matrix. Then, the matrix
generates a self-dual code C of length $n+2a$ over R.

$$G=\left(\begin{array}{ccc}I& O& X\\ -{G}_{0}{X}^{T}& {G}_{0}{X}^{T}U& {G}_{0}\end{array}\right)$$

To apply Theorem 1 to self-dual codes over R, we should have an $a\times a$ matrix U and an $a\times n$ matrix X such that $U{U}^{T}=-I$ and $X{X}^{T}=-I$. For $1\le a\le n$, if there exists an $a\times a$ matrix U such that $U{U}^{T}=-I$, then there exists an $a\times n$ matrix X such that $X{X}^{T}=-I$. Here is the proof. Let $X=\left[U\right|O]$, where O is the $a\times (n-a)$ zero matrix. Then, $X{X}^{T}=U{U}^{T}+O{O}^{T}=-I$. Therefore, we focus on the problem of the existence of an $a\times a$ matrix U such that $U{U}^{T}=-I$.

In [15], the existence of an $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$ has been studied. We state the relevant result.

**Theorem**

**2.**

[15] For the existence of an $a\times a$ matrix U over ${\mathbb{Z}}_{{2}^{m}}$ such that $U{U}^{T}=-I$, we have the following.

- If $m=1$, then there exists such U for all $a\ge 1$.
- If $m\ge 2$ and $a=4t$, then there exists such U for all $t\ge 1$.
- If $m\ge 2$ and $a=2$, then no such U exists.
- If $m\ge 2$ and $a=2t+1$, then no such U exists for all $t\ge 0$.

In Theorem 2, the missing case is $m\ge 2$ and $a=4t+2,(t\ge 1)$. This leads to the following open problem [15]: Let $a=4t+2$ for some positive integer $t\ge 1$. Is there an $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$ $(m\ge 2)$? This problem is solved in the following section.

## 3. Nonexistence of a $(4\mathit{t}+2)\times (4\mathit{t}+2)$ Matrix U Such That $\mathit{U}{\mathit{U}}^{\mathit{T}}=-\mathit{I}$ over ${\mathbb{Z}}_{{2}^{\mathit{m}}}$ $(\mathit{m}\ge 2)$ for All $\mathit{t}\ge 0$

In this section, we solve the open problem in [15] by proving that there is no $(4t+2)\times (4t+2)$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$ $(m\ge 2)$ for all $t\ge 0$. We start with the following lemma.

**Lemma**

**1.**

If there is an $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$, then U satisfies $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{n}}$ for $1\le n\le m$.

**Proof.**

Let $U=\left({u}_{ij}\right)$ ($1\le i,j\le a$). Suppose that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$. Then
where

$${u}_{i1}{u}_{1j}+{u}_{i2}{u}_{2j}+\dots +{u}_{ia}{u}_{aj}\equiv -{\delta}_{ij}\phantom{\rule{10.0pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}{2}^{m}\right)\phantom{\rule{3.33333pt}{0ex}}\phantom{\rule{3.33333pt}{0ex}}(1\le i,j\le a),$$

$${\delta}_{ij}=\left\{\begin{array}{cc}1\hfill & \mathrm{if}\phantom{\rule{4.pt}{0ex}}i=j\hfill \\ 0\hfill & \mathrm{else}.\hfill \end{array}\right.$$

Therefore, we have
for $1\le n\le m$. So, $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{n}}$ for $1\le n\le m$. ☐

$${u}_{i1}{u}_{1j}+{u}_{i2}{u}_{2j}+\dots +{u}_{ia}{u}_{aj}\equiv -{\delta}_{ij}\phantom{\rule{10.0pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}{2}^{n}\right)\phantom{\rule{3.33333pt}{0ex}}\phantom{\rule{3.33333pt}{0ex}}(1\le i,j\le a)$$

**Corollary**

**1.**

If there is no $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{4}$, then there is no $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$ for $m\ge 2$.

**Proof.**

The statement is the contrapositive of Lemma 1. ☐

The proof of the main theorem in this section is related to self-dual binary codes. A self-dual binary code whose codewords have weight divisible by four is called doubly even or Type II; a self-dual code with at least one codeword of weight not divisible by 4 is called singly even or Type I. The following lemma is well-known (see [18] (p. 454) for example).

**Lemma**

**2.**

Type II codes exist only for lengths that are multiples of eight.

We are ready to prove the main theorem of this section.

**Theorem**

**3.**

Let $a=4t+2$ for some non-negative integer $t\ge 0$. Then, there is no $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{2}^{m}}$ $(m\ge 2)$.

**Proof.**

By Corollary 1, it is sufficient to prove that there is no $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{4}$. We assume that there is an $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{4}$. Let
be the i-th row of U. Since ${\mathbf{u}}_{i}\times {\mathbf{u}}_{i}=-1$ over ${\mathbb{Z}}_{4}$, we have

$${\mathbf{u}}_{i}=({u}_{i1},{u}_{i2},\dots ,{u}_{ia})$$

$${u}_{i1}^{2}+{u}_{i2}^{2}+\dots +{u}_{ia}^{2}\equiv -1\phantom{\rule{10.0pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right).$$

Let
and

$$A=\left\{j\phantom{\rule{3.33333pt}{0ex}}\right|\phantom{\rule{3.33333pt}{0ex}}{u}_{ij}\equiv \pm 1\phantom{\rule{10.0pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)\}$$

$$B=\left\{j\phantom{\rule{3.33333pt}{0ex}}\right|\phantom{\rule{3.33333pt}{0ex}}{u}_{ij}\equiv 0,2\phantom{\rule{10.0pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)\}.$$

By Equation (5), we have

$$\left|A\right|\equiv -1\phantom{\rule{10.0pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right).$$

Since $U{U}^{T}=-I$ over ${\mathbb{Z}}_{4}$, we have $U{U}^{T}=I$ over ${\mathbb{Z}}_{2}$. For $j\in A$, we have ${u}_{ij}\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}2\right)$, and for $j\in B$, we have ${u}_{ij}\equiv 0\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}2\right)$. Let $wt\left({\mathbf{u}}_{i}\right)$ be the weight of ${\mathbf{u}}_{i}$ over ${\mathbb{Z}}_{2}$. By Equation (8), we have

$$wt\left({\mathbf{u}}_{i}\right)\equiv -1\phantom{\rule{10.0pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right).$$

We consider the matrix $G=\left[I\phantom{\rule{3.33333pt}{0ex}}\right|\phantom{\rule{3.33333pt}{0ex}}U]$ over ${\mathbb{Z}}_{2}$. Then, G is $a\times 2a$; i.e., $(4t+2)\times (8t+4)$ matrix. By Equation (9), each row of G has weight $w\equiv 0\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$ over ${\mathbb{Z}}_{2}$. Let C be the binary code generated by G. Then, C is a doubly even self-dual (Type II) code, since $G{G}^{T}=O$ and the weight of each row of G is doubly even over ${\mathbb{Z}}_{2}$. By Lemma 2, the code length of C should be a multiple of eight. However, the code length of C is $8t+4$. This leads to a contradiction. Therefore, there is no $a\times a$ matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{4}$. This completes the proof. ☐

We update Theorem 2 using the previous theorem, and the case ${\mathbb{Z}}_{{2}^{m}}$ is settled.

**Theorem**

**4.**

For the existence of an $a\times a$ matrix U over ${\mathbb{Z}}_{{2}^{m}}$ such that $U{U}^{T}=-I$, we have the following.

- If $m=1$, then there exists such U for all $a\ge 1$.
- If $m\ge 2$, then there exists such U if and only if a is a multiple of four.

## 4. On the Problem of the Existence of a Matrix U Such That $\mathit{U}{\mathit{U}}^{\mathit{T}}=-\mathit{I}$ over ${\mathbb{Z}}_{{\mathit{p}}^{\mathit{m}}}$, Where p Is an Odd Prime

In this section, we consider the existence problem of a matrix U such that $U{U}^{T}=-I$ over ${\mathbb{Z}}_{{p}^{m}}$, where p is an odd prime. We start with the following lemma, which can be found in elementary number theory books (see, for example, [19] (Theorem 8.10)).

**Lemma**

**3.**

An integer $n>1$ has a primitive root if and only if
where p is an odd prime.

$$n=2,4,{p}^{k},\mathrm{or}\phantom{\rule{3.33333pt}{0ex}}2{p}^{k},$$

We consider two cases: $p\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$ and $p\equiv -1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$. If $p\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$, we need the following lemma whose proof can be made using elementary number theory (see, for example, [14] (Lemma 2.1)).

**Lemma**

**4.**

Let p be an odd prime and m a positive integer. Then, $-1$ is a square in ${\mathbb{Z}}_{{p}^{m}}$ if and only if $p\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$.

**Proof.**

$-1$ is a square in ${\mathbb{Z}}_{{p}^{m}}$ if and only if ${(-1)}^{\frac{\varphi \left({p}^{m}\right)}{2}}\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}{p}^{m}\right)$, where $\varphi $ is an Euler-phi function (see, for example, [19] (Theorem 8.12)). Equivalently, ${(-1)}^{\frac{{p}^{m-1}(p-1)}{2}}\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}{p}^{m}\right)$ if and only if $p\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$. ☐

If $p\equiv -1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$, we first prove the following lemma, which is an integral part of the main theorem in this section.

**Lemma**

**5.**

Let $p\equiv -1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$. Then, every unit of ${\mathbb{Z}}_{{p}^{m}}$ can be written as a sum of two squares in ${\mathbb{Z}}_{{p}^{m}}$.

**Proof.**

Let ${\mathbb{Z}}_{{p}^{m}}^{*}$ be the set of units of ${\mathbb{Z}}_{{p}^{m}}$. By Lemma 3, there is a primitive root $\beta $ such that ${\mathbb{Z}}_{{p}^{m}}^{*}=\langle \beta \rangle $. Then, $\left|\beta \right|={p}^{m-1}(p-1)$. We define $Q,N,M$ by the following:

$$\begin{array}{ccc}\hfill Q& =& \{0,\phantom{\rule{3.33333pt}{0ex}}{\beta}^{2i}\phantom{\rule{3.33333pt}{0ex}}|\phantom{\rule{3.33333pt}{0ex}}i=1,2,\dots ,\frac{{p}^{m-1}(p-1)}{2}\}\hfill \end{array}$$

$$\begin{array}{ccc}\hfill N& =& \{{\beta}^{2i+1}\phantom{\rule{3.33333pt}{0ex}}|\phantom{\rule{3.33333pt}{0ex}}i=1,2,\dots ,\frac{{p}^{m-1}(p-1)}{2}\}\hfill \end{array}$$

$$\begin{array}{ccc}\hfill M& =& \{p\times i\phantom{\rule{3.33333pt}{0ex}}|\phantom{\rule{3.33333pt}{0ex}}i=1,2,\dots ,{p}^{m-1}-1\}\hfill \end{array}$$

Then, ${\mathbb{Z}}_{{p}^{m}}=Q\cup N\cup M$.

We claim that Q is not closed under addition. We assume the contrary towards a contradiction. Since Q is finite, Q is an additive subgroup in ${\mathbb{Z}}_{{p}^{m}}$. Therefore, $\left|Q\right|$ divides $|{\mathbb{Z}}_{{p}^{m}}|$; i.e.,

$$({p}^{m-1}\times \frac{p-1}{2}+1)\phantom{\rule{3.33333pt}{0ex}}|\phantom{\rule{3.33333pt}{0ex}}{p}^{m}.$$

Then,

$$p\phantom{\rule{3.33333pt}{0ex}}|\phantom{\rule{3.33333pt}{0ex}}({p}^{m-1}\times \frac{p-1}{2}+1).$$

This is a contradiction. Therefore, Q is not closed under addition. Thus, there are i and j such that ${\beta}^{2i}+{\beta}^{2j}\notin Q$.

We claim that ${\beta}^{2i}+{\beta}^{2j}\in N$. We assume that ${\beta}^{2i}+{\beta}^{2j}\notin N$. Then, ${\beta}^{2i}+{\beta}^{2j}\in M$ and ${\beta}^{2i}+{\beta}^{2j}=pk$ for some k. Hence, ${\beta}^{2i}+{\beta}^{2j}\equiv 0\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}p\right)$. Consequently, ${\beta}^{2i}\equiv -{\beta}^{2j}\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}p\right)$. Thus, $-1\equiv {\left({\beta}^{i-j}\right)}^{2}\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}p\right)$. This is a contradiction, since $-1$ is not a square by Lemma 4. Therefore, ${\beta}^{2i}+{\beta}^{2j}\in N$.

Thus, ${\beta}^{2i}+{\beta}^{2j}={\beta}^{2k+1}$ for some k. Therefore, $\beta ={\left({\beta}^{i-k}\right)}^{2}+{\left({\beta}^{j-k}\right)}^{2}$. Hence, for any l, ${\beta}^{2l}={\left({\beta}^{l}\right)}^{2}+{0}^{2}$ and ${\beta}^{2l+1}={({\beta}^{l}\times {\beta}^{i-k})}^{2}+{({\beta}^{l}\times {\beta}^{j-k})}^{2}$. This completes the proof. ☐

We now state the main results in this section.

**Theorem**

**5.**

Let p be an odd prime. Then, for the existence of an $a\times a$ matrix U over ${\mathbb{Z}}_{{p}^{m}}$ such that $U{U}^{T}=-I$, we have the following for all $m\ge 1$.

- If $p\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$, then there exists such U for all $a\ge 1$.
- If $p\equiv -1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$, then there exists such U if and only if a is even.

**Proof.**

We assume that $p\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$. By Lemma 4, there is an element c in ${\mathbb{Z}}_{{p}^{m}}$ such that ${c}^{2}=-1$. Let U be an $a\times a$ diagonal matrix with all diagonal elements c; i.e,

$$U=\left(\begin{array}{ccc}c& & 0\\ & \ddots & \\ 0& & c\end{array}\right).$$

Then, $U{U}^{T}=-I$. This proves the first statement.

We now assume that $p\equiv -1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$. By Lemma 5, there exist $\alpha ,\beta $ such that ${\alpha}^{2}+{\beta}^{2}=-1$ in ${\mathbb{Z}}_{{p}^{m}}$. Let

$${U}_{2}=\left(\begin{array}{cc}\alpha & \beta \\ \beta & -\alpha \end{array}\right).$$

Then, ${U}_{2}{U}_{2}^{T}=-I$. This proves that there is a $2\times 2$ matrix U such that $U{U}^{T}=-I$. For $a=2t$, where $t\ge 1$, let

$${U}_{a}=\left(\begin{array}{ccc}{U}_{2}& & 0\\ & \ddots & \\ 0& & {U}_{2}\end{array}\right).$$

Then, ${U}_{a}{U}_{a}^{T}=-I$.

Finally, we assume that there is an $a\times a$ matrix U such that $U{U}^{T}=-I$. Then, $\mathrm{det}\left(U{U}^{T}\right)=\mathrm{det}(-I)$, ${\left(\mathrm{det}U\right)}^{2}={(-1)}^{a}$. Therefore, a should be even. This completes the proof. ☐

## 5. Examples

In this section, we provide examples of construction of self-dual codes over ${\mathbb{Z}}_{{p}^{m}}$ using Theorem 1. For $p=2$, examples can be found in [15]. For $p\equiv 1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$, they can be found in [14]. Therefore, we provide examples for $p\equiv -1\phantom{\rule{4.44443pt}{0ex}}\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}4\right)$. All computations were performed with Magma [20].

**Example**

**1.**

A classification of self-dual codes over ${\mathbb{Z}}_{9}$ appears in [21]. For code length $n=2$, there is unique self-dual code with generator matrix

$${G}_{0}=\left(\begin{array}{cc}3& 0\\ 0& 3\end{array}\right).$$

We apply Theorem 1 with

$$U=X=\left(\begin{array}{cc}1& \hfill 4\\ 4& \hfill \phantom{\rule{3.33333pt}{0ex}}-1\end{array}\right).$$

Then, we have

$$G=\left(\begin{array}{cccccc}1& 0\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}0& 0\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}1& 4\\ 0& 1\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}0& 0\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}4& 8\\ 6& 6\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}6& 0\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}3& 0\\ 6& 3\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}0& 6\phantom{\rule{3.33333pt}{0ex}}& \phantom{\rule{3.33333pt}{0ex}}0& 3\end{array}\right).$$

By elementary row operation in G, we obtain the standard form

$${G}_{1}=\left(\begin{array}{cccccc}1& 0& 0& 0& 1& 4\\ 0& 1& 0& 0& 4& 8\\ 0& 0& 3& 0& 0& 0\\ 0& 0& 0& 3& 0& 0\end{array}\right).$$

Let C be the code generated by ${G}_{1}$. Then, it is easy to see that it is equivalent to the following code in [21]
where ${C}_{9,1,1}$ is the code generated by the $1\times 1$ matrix
and ${C}_{9,4,3}$ is the code generated by the $2\times 4$ matrix

$${C}_{9,1,1}\u2a01{C}_{9,1,1}\u2a01{C}_{9,4,3},$$

$$\left(3\right)$$

$$\left(\begin{array}{cccc}1& 0& 8& 5\\ 0& 1& 5& 1\end{array}\right).$$

**Example**

**2.**

${C}_{49,4,3}$ in [21] is the self-dual code of length 4 over ${\mathbb{Z}}_{49}$ generated by the matrix

$${G}_{0}=\left(\begin{array}{cccc}1& 4& 4& 4\\ 0& 7& 0& 42\\ 0& 0& 7& 42\end{array}\right).$$

We apply Theorem 1 with

$$U=\left(\begin{array}{cc}2& 17\\ 17& -2\end{array}\right)\phantom{\rule{3.33333pt}{0ex}}\phantom{\rule{3.33333pt}{0ex}}\mathrm{and}\phantom{\rule{3.33333pt}{0ex}}\phantom{\rule{3.33333pt}{0ex}}X=\left(\begin{array}{cccc}1& 1& 39& 17\\ 10& 17& 1& 48\end{array}\right).$$

Then, we have

$$G=\left(\begin{array}{cccccccc}1& 0& 0& 0& 1& 1& 39& 17\\ 0& 1& 0& 0& 10& 17& 1& 48\\ 16& 20& 20& 13& 1& 4& 4& 4\\ 14& 21& 7& 0& 0& 7& 0& 42\\ 42& 35& 7& 42& 0& 0& 7& 42\end{array}\right)$$

By elementary row operation in G, we obtain the standard form

$${G}_{1}=\left(\begin{array}{cccccccc}1& 0& 0& 0& 1& 1& 39& 17\\ 0& 1& 0& 0& 3& 24& 29& 27\\ 0& 0& 1& 1& 5& 23& 45& 45\\ 0& 0& 0& 7& 0& 0& 7& 7\\ 0& 0& 0& 0& 7& 42& 21& 21\end{array}\right).$$

## Acknowledgments

The author wish to thank the reviewers for valuable remarks which helped to improve this article. The author was supported by the 2017 Professor Education and Research Promotion Program of KoreaTech.

## Conflicts of Interest

The author declares no conflict of interest.

## References

- Rains, E.; Sloane, N.J.A. Self-Dual Codes. In Handbook of Coding Theory; Pless, V.S., Huffman, W.C., Eds.; Elsevier: Amsterdam, The Netherlands, 1998. [Google Scholar]
- Conway, J.H.; Pless, V. On the enumeration of self-dual codes. J. Comb. Theory Ser. A
**1980**, 28, 26–53. [Google Scholar] [CrossRef] - Huffman, W.C.; Pless, V.S. Fundamentals of Error-correcting Codes; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
- Grassl, M.; Gulliver, T.A. On circulant self-dual codes over small fields. Des. Codes Cryptogr.
**2009**, 52, 57–81. [Google Scholar] [CrossRef] - Harada, M. The existence of a self-dual [70, 35, 12] code and formally self-dual codes. Finite Fields Appl.
**1997**, 3, 131–139. [Google Scholar] [CrossRef] - Kim, J.-L. New extremal self-dual codes of lengths 36, 38, and 58. IEEE Trans. Inf. Theory
**2001**, 47, 386–393. [Google Scholar] - Kim, J.-L.; Lee, Y. Euclidean and Hermitian self-dual MDS codes over large finite fields. J. Comb. Theory Ser. A
**2004**, 105, 79–95. [Google Scholar] [CrossRef] - Kim, J.-L.; Lee, Y. An Efficient Construction of Self Dual Codes. Bull. Korean Math. Soc.
**2015**, 52, 915–923. [Google Scholar] [CrossRef] - Alfaro, R.; Dhul-Qarnayn, K. Constructing Self-Dual codes over $\mathbb{F}$
_{q}[u]/(u^{t}). Des. Codes Cryptogr.**2015**, 74, 453–465. [Google Scholar] [CrossRef] - Dougherty, S.T.; Kim, J.-L.; Kulosman, H.; Liu, H. Self-dual codes over commutative Frobenius rings. Finite Fields Appl.
**2010**, 16, 14–26. [Google Scholar] [CrossRef] - Dougherty, S.T.; Kim, J.-L.; Liu, H. Constructions of Self-dual Codes over Finite Commutative Chain Rings. Int. J. Inf. Codin. Theory
**2010**, 1, 171–190. [Google Scholar] [CrossRef] - Han, S.; Lee, H.; Lee, Y. Construction of Self Dual Codes over $\mathbb{F}$
_{2}+ u$\mathbb{F}$_{2}. Bull. Korean Math. Soc.**2012**, 49, 135–143. [Google Scholar] [CrossRef] - Kim, J.-L.; Lee, Y. Construction of MDS Self-dual codes over Galois rings. Des. Codes Cryptogr.
**2007**, 45, 247–258. [Google Scholar] [CrossRef] - Lee, H.; Lee, Y. Construction of self-dual codes over finite rings ℤ
_{pm}. J. Comb. Theory Ser. A**2008**, 115, 407–422. [Google Scholar] [CrossRef] - Han, S. A method for costructing self-dual codes over ℤ
_{2m}. Des. Codes Cryptogr.**2015**, 75, 253–262. [Google Scholar] [CrossRef] - Massey, J.L. Orthogonal, antiorthogonal and self-orthogonal matrices and their codes. Commun. Codin.
**1998**, 2, 3. [Google Scholar] - Massey, J.L. On Antiorthogonal Matrices and Their Codes. In Proceedings of the 1998 IEEE International Symposium on Information Theory (ISIT), Cambridge, MA, USA, 16–21 August 1998. [Google Scholar]
- Huffman, W.C. On the classification and enumeration of self-dual codes. Finite Fields Appl.
**2005**, 11, 451–490. [Google Scholar] [CrossRef] - Burton, D.M. Elementary Number Theory, 6th ed.; McGraw-Hill International Edition; McGraw-Hill: New York, NY, USA, 2007. [Google Scholar]
- Bosma, W.; Cannon, J.; Playoust, C. The Magma algebra system. I. The user language. J. Symbolic Comput.
**1997**, 24, 235–265. [Google Scholar] [CrossRef] - Balmaceda, J.M.P.; Betty, R.A.L.; Nemenzo, F.R. Mass formula for self-dual codes over ℤ
_{p2}. Discret. Math.**2017**, 308, 2984–3002. [Google Scholar] [CrossRef]

© 2017 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).