The Build-Up Construction for Codes over a Commutative Non-Unitary Ring of Order 9

Abstract

The build-up method is a powerful class of propagation rules that generate self-dual codes over finite fields and unitary rings. Recently, it was extended to non-unitary rings of order 4, to generate quasi self-dual codes. In the present paper, we introduce three such propagation rules to generate self-orthogonal, self-dual and quasi self-dual codes over a special non-unitary ring of order 9. As an application, we classify the three categories of codes completely in length at most 3, and partially in lengths 4 and 5, up to monomial equivalence.

1. Introduction

A potent way for creating self-dual codes over finite fields and unitary rings is the build-up method [1,2,3]. By using a recursion on generator matrices, from a self-dual code of length n, it creates a self-dual code of length $n+h$ (with h small and fixed). This is sometimes called a propagation rule of order $h.$ For concreteness, $h=2$ for binary codes [4] and codes over a certain ring of order 4 [1], and $h=4$ for ternary codes [2].

Recently, this technique was extended to certain non-unitary rings of order 4 [5,6], with self-dual codes replaced by self-orthogonal codes of length n and of order $2^n,$ the so-called quasi self-dual (QSD) codes defined in [7].

In the present work, we modify this technique to produce self-orthogonal and self-dual codes, as well as QSD codes over the ring ${\mathit{I}}_3$, a non-unital, commutative ring of order 9. This notation is consistent with the classification in [8] of rings of order $p^2$, for a prime p. Following [7], QSD codes are defined over the ring ${\mathit{I}}_3$ as self-orthogonal codes of length n and size $3^n$. We derive propagation rules of order 3 for self-orthogonal codes (Theorem 4) and of order 4 for self-dual and quasi self-dual codes (Theorems 7 and 9). As an upshot of these rules, we classify completely self-orthogonal, QSD and self-dual codes up to length $3,$ and partially up to length $5.$ The classification is made under monomial action. The mass formulas for the three types of codes considered are used as a stopping criteria for code generation.

The rest of the paper is set up as follows. The next section contains the preliminary notions and notations needed in the latter sections. The three propagation rules are derived in Section 3. Section 4 contains some classification results. Section 5 concludes the article and points out directions for further research.

2. Preliminaries

Let ${\mathbb{F}}_3$ denote the finite field of order 3, and let ${\mathbb{F}}_3^n$ be the vector space of n-tuples over ${\mathbb{F}}_3$. A ternary linear code $\mathcal{C}$ of length n and dimension k, denoted simply as an ${\left[n,k\right]}_3$ code, is a k-dimensional subspace of ${\mathbb{F}}_3^n$. The dual of a ternary linear code is denoted by ${\mathcal{C}}^{\perp }$ and is defined as

$${\mathcal{C}}^{\perp }=\left\{\mathbf{y}\in {\mathbb{F}}_3^n|\forall \mathbf{x}\in \mathcal{C},(\mathbf{x},\mathbf{y})=0\right\},$$

where $(\mathbf{x},\mathbf{y})={\displaystyle \sum _{i=1}^n}{x}_i{y}_i$ denotes the standard inner product. A code $\mathcal{C}$ is self-orthogonal if it is included in its dual, that is, $\mathcal{C}\subseteq {\mathcal{C}}^{\perp }.$

The number of nonzero coordinates of a vector $\mathbf{x}\in {\mathbb{F}}_3^n$ is called its (Hamming) weight, denoted by $wt\left(\mathbf{x}\right)$. The Hamming distance $d(\mathbf{x},\mathbf{y})$ between two vectors $\mathbf{x},\mathbf{y}\in {\mathbb{F}}_3^n$ is defined by $d(\mathbf{x},\mathbf{y})=wt(\mathbf{x}-\mathbf{y}).$ The minimum distance of a linear code $\mathcal{C}$ is

$$d\left(\mathcal{C}\right)=min\left\{d(\mathbf{x},\mathbf{y})|\mathbf{x},\mathbf{y}\in \mathcal{C},\mathbf{x}\ne \mathbf{y}\right\}=min\left\{wt\left(\mathbf{c}\right)\mid \mathbf{c}\in \mathcal{C},\mathbf{c}\ne \mathbf{0}\right\}.$$

A ternary linear code of length n, dimension k and minimum distance d is said to be an ${\left[n,k,d\right]}_3$ code. The weight distribution of a code $\mathcal{C}$ is a sequence $[A_0,A_1,\dots ,A_n]$ where $A_i$ denotes the number of codewords of weight i.

2.1. The Ring ${\mathit{I}}_3$

Following [8], we define the ring ${\mathit{I}}_3$ of order 9 on two generators a and b by the relations

$${\mathit{I}}_3=⟨a,b|3a=3b=0,a^2=b,ab=0⟩.$$

Thus, the ring ${\mathit{I}}_3$ has the characteristic 3, and consists of nine elements:

$${\mathit{I}}_3=\left\{0,a,b,c,d,e,f,g,h\right\},$$

$$\mathrm{where}c=a+b,d=2b,e=2a$$

$$f=e+b,g=a+d,\mathrm{and}h=d+e.$$

These definitions immediately lead to the addition and the multiplication tables given as follow (Table 1 and Table 2).

Table 1. Addition table for the ring ${\mathit{I}}_3$.

+	0	a	b	c	d	e	f	g	h
0	0	a	b	c	d	e	f	g	h
a	a	e	c	f	g	0	b	h	d
b	b	c	d	g	0	f	h	a	e
c	c	f	g	h	a	b	d	e	0
d	d	g	0	a	b	h	e	c	f
e	e	0	f	b	h	a	c	d	g
f	f	b	h	d	e	c	g	0	a
g	g	h	a	e	c	d	0	f	b
h	h	d	e	0	f	g	a	b	c

Table 2. Multiplication table for the ring ${\mathit{I}}_3$.

×	0	a	b	c	d	e	f	g	h
0	0	0	0	0	0	0	0	0	0
a	0	b	0	b	0	d	d	b	d
b	0	0	0	0	0	0	0	0	0
c	0	b	0	b	0	d	d	b	d
d	0	0	0	0	0	0	0	0	0
e	0	d	0	d	0	b	b	d	b
f	0	d	0	d	0	b	b	d	b
g	0	b	0	b	0	d	d	b	d
h	0	d	0	d	0	b	b	d	b

We can deduce from this table that this ring is commutative without unity and has a unique maximal ideal $S=\left\{0,b,d\right\}$, with a residue field ${\mathit{I}}_3/S\simeq {\mathbb{F}}_3.$ As a result, we have the following b-adic decomposition. It can be checked by inspection that any element $i\in {\mathit{I}}_3$ can be expressed as

$$i=ax+by$$

for unique scalars $x,y\in {\mathbb{F}}_3.$

We have defined a natural action of ${\mathbb{F}}_3$ on the ring ${\mathit{I}}_3$ by the rule

$$r0=0r=0,r1=1r=r,\mathrm{and}r2=r+r=r\mathrm{for}\mathrm{all}r\in {\mathit{I}}_3.$$

Note that for all $r\in {\mathit{I}}_3$, $x,y\in {\mathbb{F}}_3$, this action is “distributive” in the sense that $r\left(x\oplus y\right)=rx+ry$, where ⊕ denotes the addition in ${\mathbb{F}}_3.$ When $\mathbf{x}=(x_1,\dots ,x_n)\in {\mathbb{F}}_3^n$ and $\mathbf{r}=(r_1,\dots ,r_n)\in {\mathit{I}}_3^n$, we will occasionally use the inner product notation $(\mathbf{x},\mathbf{r})$ to indicate

$$(\mathbf{x},\mathbf{r})=x_1{r}_1+\cdots +x_n{r}_n.$$

We define the reduction map modulo S as $\pi :{\mathit{I}}_3⟶{\mathit{I}}_3/S\simeq {\mathbb{F}}_3$ by

$$\pi \left(0\right)=\pi \left(b\right)=\pi \left(d\right)=0,$$

$$\pi \left(a\right)=\pi \left(c\right)=\pi \left(g\right)=1,$$

$$\pi \left(e\right)=\pi \left(f\right)=\pi \left(h\right)=2.$$

This map is extended in the natural way to a map from ${\mathit{I}}_3^n$ to ${\mathbb{F}}_3^n.$

2.2. Codes over ${\mathit{I}}_3$

A linear ${\mathit{I}}_3$ code $\mathcal{C}$ of length n is defined as an ${\mathit{I}}_3$ submodule of ${\mathit{I}}_3^n.$ It may be thought of as the ${\mathit{I}}_3$ span of the rows of a matrix called a generator matrix (we assume that these rows belong to $\mathcal{C}$). There are two ternary codes of length n associated with the code $\mathcal{C}$. The residue code $res\left(\mathcal{C}\right)$ is just $\pi \left(\mathcal{C}\right)$, and the torsion code $tor\left(\mathcal{C}\right)$ is $\left\{\mathbf{x}\in {\mathbb{F}}_3^n|b\mathbf{x}\in \mathcal{C}\right\}.$

It is easy to verify that $res\left(\mathcal{C}\right)\subseteq tor\left(\mathcal{C}\right)$ [7]. We denote the dimension of the residue code by $k_1$ and the dimension of the torsion code by $k_1+k_2.$ Such a code $\mathcal{C}$ is said to be of type $\{k_1,k_2\}$. A straightforward application of the first isomorphism theorem [7] shows that

$$\left|\mathcal{C}\right|=\left|res\left(\mathcal{C}\right)\right|\left|tor\left(\mathcal{C}\right)\right|=3^{2k_1+k_2}.$$

Define the inner product of $\mathbf{x}=(x_1,\dots ,x_n),\mathbf{y}=(y_1,\dots ,y_n)\in {\mathit{I}}_3^n$ as $(\mathbf{x},\mathbf{y})=x_1{y}_1+\cdots +x_n{y}_n,$. The dual code ${\mathcal{C}}^{\perp }$ of the code $\mathcal{C}$ is the module defined as

$${\mathcal{C}}^{\perp }=\left\{\mathbf{y}\in {\mathit{I}}_3^n|\forall \mathbf{x}\in \mathcal{C},(\mathbf{x},\mathbf{y})=0\right\}.$$

An $I_3$ code $\mathcal{C}$ is self-dual (SD) if $\mathcal{C}={\mathcal{C}}^{\perp }.$ If for all $\mathbf{x},\mathbf{y}\in \mathcal{C},(\mathbf{x},\mathbf{y})=0$, then $\mathcal{C}$ is self-orthogonal (SO). Following the terminology introduced in [6], upon passing from characteristic 2 to 3, an ${\mathit{I}}_3$ code of length n that is self-orthogonal and of size $3^n$ is called a quasi self-dual (QSD) code.

Two ${\mathit{I}}_3$ codes are monomially equivalent if there is a monomial permutation that maps one to the other.

In the following, we give an example of a quasi self-dual (QSD) code.

Example 1.

The $I_3$ code with generator matrix $\left(\begin{array}{cccc}c& c& d& a\\ b& 0& b& b\\ 0& b& b& d\end{array}\right)$ is quasi self-dual, with residue code generated by $\left(\begin{array}{cccc}1& 1& 0& 1\end{array}\right)$ and torsion code generated by $\left(\begin{array}{cccc}1& 1& 0& 1\\ 1& 0& 1& 1\\ 0& 1& 1& 2\end{array}\right).$ The residue code is self-orthogonal.

Example 2.

Let $R_3=\left\{000,aaa,bbb,ccc,ddd,eee,fff,ggg,hhh\right\}$, the repetition code of length 3, with weight distribution $[1,0,0,8]$. Clearly, it is self-orthogonal but not quasi self-dual, as its size is $9<3^n=27.$

However, as an $I_3$ code of length 1, $S=\left\{0,b,d\right\}$ is of size $3=3^1$ and is, thus, quasi self-dual.

2.3. Codes over ${\mathbb{F}}_9$

An additive code $\mathcal{C}$ of length n over ${\mathbb{F}}_9$ is an additive subgroup of ${\mathbb{F}}_9^n.$ Thus, C contains $3^k$ codewords for some integer $0\le k\le 2n$ and is called an $(n,3^k)$ code. If, furthermore, $\mathcal{C}$ has a minimum distance $d,$ we write the parameters of $\mathcal{C}$ as $(n,3^k,d).$ An additive code $\mathcal{C}$ over ${\mathbb{F}}_9$ can be represented by a $k\times n$ generator matrix with entries from ${\mathbb{F}}_9$ whose rows span $\mathcal{C}$, called a generator matrix. That is, $\mathcal{C}$ is the ${\mathbb{F}}_3$ span of its rows.

Let $\omega \in {\mathbb{F}}_9$ be such that ${\omega }^2=\omega +1.$ The trace map, $Tr:{\mathbb{F}}_9⟶{\mathbb{F}}_3$, is defined as $Tr\left(x\right)=x+x^3$.

Every linear ${\mathit{I}}_3$ code $\mathcal{C}$ is attached with an additive ${\mathbb{F}}_9$ code $\varphi \left(\mathcal{C}\right)$ by the alphabet substitution

$$0\mapsto 0,a\mapsto 2,b\mapsto {\omega }^2$$

$$c\mapsto \omega ,d\mapsto 2{\omega }^2,e\mapsto 1$$

$$f\mapsto 2+\omega ,g\mapsto 1+2\omega ,h\mapsto 2\omega ,$$

where ${\mathbb{F}}_9={\mathbb{F}}_3\left[\omega \right]$, extended naturally to ${\mathbb{F}}_9^n$. The parameters $(n,3^k,d)$ of an ${\mathit{I}}_3$ code are identified with that of its image under $\varphi .$ It can be checked that for all $\mathbf{x}\in {\mathit{I}}_3^n$, we have $Tr\left(\varphi \right(\mathbf{x}\left)\right)=\pi \left(\mathbf{x}\right)$ and, thus, $res\left(\mathcal{C}\right)=Tr\left(\varphi \right(\mathcal{C}\left)\right)$. Similarly, we see that $tor\left(\mathcal{C}\right)$ is the so-called subfield subcode of $\varphi \left(\mathcal{C}\right)$ that is ${\mathbb{F}}_3^n\cap \varphi \left(\mathcal{C}\right)$.

2.4. Mass Formulas

We recall the mass formulas for ternary codes [9,10,11].

Theorem 1.

Let ${\phi }_{n,k}$ be the number of self-orthogonal ternary codes having parameters $[n,k]$. Then:

(i) 

If $n\ge 3$ is odd, then

$${\phi }_{n,k}=\frac{{\prod }_{i=0}^{k-1}{3}^{n-1-2i}-1}{{\prod }_{i=1}^k{3}^i-1};$$

(ii) 

If $n\ge 2$ is even, then

$${\phi }_{n,k}=\left\{\begin{array}{cc}\frac{(3^{n-k}-3^{n/2-k}+3^{n/2}-1){\prod }_{i=1}^{k-1}{3}^{n-2i}-1}{{\prod }_{i=1}^k{3}^i-1}& \hfill :if{(-1)}^{\frac{n}{2}}issquare\hfill \\ \frac{(3^{n-k}+3^{n/2-k}-3^{n/2}-1){\prod }_{i=1}^{k-1}{3}^{n-2i}-1}{{\prod }_{i=1}^k{3}^i-1}& \hfill :if{(-1)}^{\frac{n}{2}}isnotsquare.\hfill \end{array}\right.$$

These formulas are valid for $k\ge 1$.

We define the Gaussian coefficient ${\displaystyle {\left[\begin{array}{c}n\\ k\end{array}\right]}_q}$ for $k\le n$ as

$$\begin{array}{c}\hfill {\left[\begin{array}{c}n\\ k\end{array}\right]}_q=\frac{(q^n-1)(q^n-q)\cdots (q^n-q^{k-1})}{(q^k-1)(q^k-q)\cdots (q^k-q^{k-1})},\end{array}$$

which gives the number of subspaces of dimension k contained in an n-dimensional vector space over ${\mathbb{F}}_q$.

In what follows, we present a mass formula for SO codes, which is a characteristic 3-version of Theorem 7 in [12].

Theorem 2.

For all lengths $n,$ and for the type $\left\{k_1,k_2\right\}$, the number of self-orthogonal codes over ${\mathit{I}}_3$ is

$${\mathcal{N}}_{SO}(n,k_1,k_2)={\phi }_{n,k_1}{\left[\begin{array}{c}n-k_1\\ k_2\end{array}\right]}_3{3}^{k_1(n-k_1-k_2)}.$$

The following follows from the usual counting technique under the group action.

Corollary 1.

For a given length n and type $\left\{k_1,k_2\right\}$, with $0\le k_1,k_2\le n,$ we have

$$\sum _{\mathcal{C}}\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=\frac{{\mathcal{N}}_{SO}(n,k_1,k_2)}{2^{n}n!},$$

where $\mathcal{C}$ runs over distinct representatives of equivalence classes under monomial column permutations of SO codes of length n and type $\{k_1,k_2\}$.

Corollary 2.

For a given length n and type $\left\{k_1,k_2\right\}$, with $0\le k_1,k_2\le n$, we have

$$\sum _{\mathcal{C}}\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=\frac{{\mathcal{N}}_{QSD}(n,k_1,k_2)}{2^{n}n!}=\frac{{\phi }_{n,k_1}{\left[\begin{array}{c}{k}_1+k_2\\ k_2\end{array}\right]}_3{3}^{k_1^2}}{2^{n}n!},$$

where $\mathcal{C}$ runs over distinct representatives of equivalence classes under monomial column permutations of QSD codes of length n and type $\left\{k_1,k_2\right\}$.

Corollary 3.

For a given length n and type $\left\{\frac{n}{2},\frac{n}{2}\right\}$, with $0\le \frac{n}{2}$, we have

$$\sum _{\mathcal{C}}\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=\frac{{\mathcal{N}}_{SD}(n,\frac{n}{2},\frac{n}{2})}{2^{n}n!}=\frac{{\phi }_{n,\frac{n}{2}}}{2^{n}n!},$$

where $\mathcal{C}$ runs over distinct representatives of equivalence classes under monomial column permutations of SD codes of length n and type $\left\{\frac{n}{2},\frac{n}{2}\right\}$.

3. Constructions

3.1. Construction of Self-Orthogonal Codes

In this section, we present the build-up construction method for self-orthogonal codes over ${\mathit{I}}_3$. We begin by a result similar to Theorem 1 in [7]. The proof is omitted here.

Lemma 1.

Let $\mathcal{C}$ be an ${\mathit{I}}_3$ linear code of type $\left\{k_1,k_2\right\}$ and length n. Then, a generator matrix $\mathcal{G}$ of the code is of the form

$$\left[\begin{array}{ccc}a{I}_{k_1}& aX& Y\\ 0& b{I}_{k_2}& bZ\end{array}\right],$$

where Y is a matrix with entries in ${\mathit{I}}_3$, X and Z are matrices with entries in ${\mathbb{F}}_3$ and $I_{k_1}$, $I_{k_2}$ are identity matrices.

Before presenting the construction methods, we look first at a characterization of self-orthogonal codes over ${\mathit{I}}_3$.

Theorem 3.

A linear code $\mathcal{C}$ of length n over ${\mathit{I}}_3$ is self-orthogonal if and only if $res\left(\mathcal{C}\right)$ is a ternary self-orthogonal code.

Proof. 

Using similar proof to Theorem 1 in [13], it can be shown that every codeword $\mathbf{i}\in \mathcal{C}$ can be written as $\mathbf{i}=a\mathbf{u}+b\mathbf{v}$ for some $\mathbf{u}\in res\left(\mathcal{C}\right)$ and $\mathbf{v}\in {\mathbb{F}}_3^n$, and if $\mathbf{u}\in res\left(\mathcal{C}\right)$, then $a\mathbf{u}+b\mathbf{v}\in \mathcal{C}$ for some $\mathbf{v}\in {\mathbb{F}}_3^n$. If ${\mathbf{i}}_1,{\mathbf{i}}_2\in \mathcal{C}$, then we can write ${\mathbf{i}}_1$ and ${\mathbf{i}}_2$ in b-adic decomposition form as ${\mathbf{i}}_1=a{\mathbf{x}}_1+b{\mathbf{y}}_1$ and ${\mathbf{i}}_2=a{\mathbf{x}}_2+b{\mathbf{y}}_2$ where ${\mathbf{x}}_1,{\mathbf{x}}_2\in res\left(\mathcal{C}\right)$ and ${\mathbf{y}}_1,{\mathbf{y}}_2\in {\mathbb{F}}_3^n.$ We compute $({\mathbf{i}}_1,{\mathbf{i}}_2)$ as

$$(a{\mathbf{x}}_1+b{\mathbf{y}}_1,a{\mathbf{x}}_2+b{\mathbf{y}}_2)=a^2({\mathbf{x}}_1,{\mathbf{x}}_2)+ab({\mathbf{x}}_1,{\mathbf{y}}_2)+ab({\mathbf{x}}_2,{\mathbf{y}}_1)+b^2({\mathbf{y}}_1,{\mathbf{y}}_2)=b({\mathbf{x}}_1,{\mathbf{x}}_2).$$

By the relation between $\mathcal{C}$ and $res\left(\mathcal{C}\right)$, the result follows. □

The following theorem gives a propagation rule of order 3 for self-orthogonal codes.

Theorem 4.

Let ${\mathcal{C}}_0$ be a self-orthogonal code over ${\mathit{I}}_3$ of length n with generator matrix ${\mathcal{G}}_0=\left({\mathbf{r}}_i\right)$ where ${\mathbf{r}}_i$ is the ith row of ${\mathcal{G}}_0$ for $i=1,2,\dots ,m$. Let $\mathbf{x}\in {\mathbb{F}}_3^n$ and $\alpha ,\beta ,\gamma \in {\mathit{I}}_3,$ not all zero, such that $\alpha +\beta +\gamma =0$. Then the code $\mathcal{C}$, with the following generator matrix

$$\mathcal{G}=\left(\begin{array}{cccc}\alpha & \beta & 0& \gamma \mathbf{x}\\ (\mathbf{x},{\mathbf{r}}_1)& (\mathbf{x},{\mathbf{r}}_1)& (\mathbf{x},{\mathbf{r}}_1)& {\mathbf{r}}_1\\ ⋮& ⋮& ⋮& ⋮\\ (\mathbf{x},{\mathbf{r}}_m)& (\mathbf{x},{\mathbf{r}}_m)& (\mathbf{x},{\mathbf{r}}_m)& {\mathbf{r}}_m\end{array}\right),$$

is self-orthogonal of length $n+3$ if

(i) 

$(\mathbf{x},\mathbf{x})=1$, and ${\alpha }^2+{\beta }^2+{\gamma }^2=0$, or

(ii) 

$(\mathbf{x},\mathbf{x})=-1$ and ${\alpha }^2+{\beta }^2-{\gamma }^2=0$.

Proof. 

It suffices to show that the rows of $\mathcal{G}$ are orthogonal to one another. Let ${\mathbf{y}}_0=\left(\begin{array}{cccc}\alpha & \beta & 0& \gamma \mathbf{x}\end{array}\right)$, the first row of $\mathcal{G}$, and let ${\mathbf{y}}_i=\left(\begin{array}{cccc}(\mathbf{x},{\mathbf{r}}_i)& (\mathbf{x},{\mathbf{r}}_i)& (\mathbf{x},{\mathbf{r}}_i)& {\mathbf{r}}_i\end{array}\right)$, the $i+1$st row of $\mathcal{G}$, for $i=1,2,\dots ,m$.

(i) 

If $(\mathbf{x},\mathbf{x})=1$ and ${\alpha }^2+{\beta }^2+{\gamma }^2=0$, then

$$\begin{array}{ccc}\hfill ({\mathbf{y}}_0,{\mathbf{y}}_0)& =& {\alpha }^2+{\beta }^2+{\gamma }^2(\mathbf{x},\mathbf{x})={\alpha }^2+{\beta }^2+{\gamma }^2=0\hfill \\ \hfill ({\mathbf{y}}_0,{\mathbf{y}}_i)& =& \alpha (\mathbf{x},{\mathbf{r}}_i)+\beta (\mathbf{x},{\mathbf{r}}_i)+\gamma (\mathbf{x},{\mathbf{r}}_i)=(\alpha +\beta +\gamma )(\mathbf{x},{\mathbf{r}}_i)=0\hfill \\ \hfill ({\mathbf{y}}_i,{\mathbf{y}}_j)& =& 3(\mathbf{x},{\mathbf{r}}_i)(\mathbf{x},{\mathbf{r}}_j)+({\mathbf{r}}_i,{\mathbf{r}}_j)=0\hfill \end{array}$$

for all $i,j=1,2,\dots ,m$.

(ii) 

If $(\mathbf{x},\mathbf{x})=-1$ and ${\alpha }^2+{\beta }^2-{\gamma }^2=0$, then

$$\begin{array}{ccc}\hfill ({\mathbf{y}}_0,{\mathbf{y}}_0)& =& {\alpha }^2+{\beta }^2+{\gamma }^2(\mathbf{x},\mathbf{x})={\alpha }^2+{\beta }^2-{\gamma }^2=0\hfill \\ \hfill ({\mathbf{y}}_0,{\mathbf{y}}_i)& =& \alpha (\mathbf{x},{\mathbf{r}}_i)+\beta (\mathbf{x},{\mathbf{r}}_i)+\gamma (\mathbf{x},{\mathbf{r}}_i)=(\alpha +\beta +\gamma )(\mathbf{x},{\mathbf{r}}_i)=0\hfill \\ \hfill ({\mathbf{y}}_i,{\mathbf{y}}_j)& =& 3(\mathbf{x},{\mathbf{r}}_i)(\mathbf{x},{\mathbf{r}}_j)+({\mathbf{r}}_i,{\mathbf{r}}_j)=0\hfill \end{array}$$

for all $i,j=1,2,\dots ,m$.

In both cases, we see that $\mathcal{C}$ is a self-orthogonal code. □

Corollary 4.

Let ${\mathcal{C}}_0$ be a quasi self-dual code over ${\mathit{I}}_3$ of length n with generator matrix ${\mathcal{G}}_0=\left({\mathbf{r}}_i\right)$, where ${\mathbf{r}}_i$ is the ith row of ${\mathcal{G}}_0$ for $i=1,2,\dots ,m$. Let $\mathbf{x}\in {\mathbb{F}}_3^n$ and $\alpha ,\beta ,\gamma \in {\mathit{I}}_3$, not all zero, such that $\alpha +\beta +\gamma =0$. Let $\sigma ,\tau ,\mu \in S=\{0,b,d\}$, not all zero, such that $\sigma +\tau +\mu =0$. Then the code $\mathcal{C}$, with the following generator matrix

$$\mathcal{G}=\left(\begin{array}{cccc}\alpha & \beta & 0& \gamma \mathbf{x}\\ 0& \sigma & \tau & \mu \mathbf{x}\\ (\mathbf{x},{\mathbf{r}}_1)& (\mathbf{x},{\mathbf{r}}_1)& (\mathbf{x},{\mathbf{r}}_1)& {\mathbf{r}}_1\\ ⋮& ⋮& ⋮& ⋮\\ (\mathbf{x},{\mathbf{r}}_m)& (\mathbf{x},{\mathbf{r}}_m)& (\mathbf{x},{\mathbf{r}}_m)& {\mathbf{r}}_m\end{array}\right),$$

is quasi self-dual of length $n+3$ if

1. 

$(\mathbf{x},\mathbf{x})=1$, and ${\alpha }^2+{\beta }^2+{\gamma }^2=0$, or

2. 

$(\mathbf{x},\mathbf{x})=-1$, and ${\alpha }^2+{\beta }^2-{\gamma }^2=0$.

Proof. 

We first show that $\mathcal{C}$ is self-orthogonal. Following the proof of Theorem 4, it suffices to show that ${\mathbf{y}}_0^{\prime }=\left(\begin{array}{cccc}0& \sigma & \tau & \mu \mathbf{x}\end{array}\right)$ is orthogonal to itself and every vector ${\mathbf{y}}_i$ for $i=0,1,2,\dots ,m$. Indeed,

$$\begin{array}{ccc}\hfill ({\mathbf{y}}_0^{\prime },{\mathbf{y}}_0^{\prime })& =& {\sigma }^2+{\tau }^2+{\mu }^2(\mathbf{x},\mathbf{x})=0\hfill \\ \hfill ({\mathbf{y}}_0,{\mathbf{y}}_0^{\prime })& =& \beta \sigma +\gamma \mu (\mathbf{x},\mathbf{x})=0\hfill \\ \hfill ({\mathbf{y}}_0^{\prime },{\mathbf{y}}_i)& =& \sigma (\mathbf{x},{\mathbf{r}}_i)+\tau (\mathbf{x},{\mathbf{r}}_i)+\mu (\mathbf{x},{\mathbf{r}}_i)=(\sigma +\tau +\mu )(\mathbf{x},{\mathbf{r}}_i)=0,\hfill \end{array}$$

as $\sigma ,\tau ,\mu \in S$. Therefore, $\mathcal{C}$ is self-orthogonal. Since $\left|\mathcal{C}\right|=9^1{3}^1\left|{\mathcal{C}}_0\right|=3^{n+3}$, $\mathcal{C}$ is a quasi self-dual code of length $n+3$. □

Example 3.

We construct self-orthogonal codes of length 7 from self-orthogonal codes of length 4. By Theorem 3, we have the self-orthogonal $(4,3^3,2)$ code with generator matrix

$${\mathcal{G}}_0=\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& b\end{array}\right)$$

and weight distribution $[1,0,2,10,14]$.

Using Theorem 4$\left(i\right)$, from ${\mathcal{G}}_0$ with $\alpha =\beta =\gamma =a$, and $\mathbf{x}=(1,2,1,2)$, we obtain a self-orthogonal $(7,3^5,3)$ code with generator matrix

$${\mathcal{G}}_{0,1}=\left(\begin{array}{ccccccc}a& a& 0& a& e& a& e\\ a& a& a& a& 0& a& a\\ b& b& b& 0& b& 0& b\end{array}\right)$$

and weight distribution $[1,0,0,12,4,30,62,134].$ Also, if we use Theorem 4$\left(ii\right)$ with $\alpha =h$, $\beta =0$, $\gamma =c$ and $\mathbf{x}=(0,0,1,1)$, we obtain another self-orthogonal $(7,3^5,2)$ code with generator matrix

$${\mathcal{G}}_{0,2}=\left(\begin{array}{ccccccc}h& 0& 0& 0& 0& c& c\\ e& e& e& a& 0& a& a\\ b& b& b& 0& b& 0& b\end{array}\right)$$

and weight distribution $[1,0,2,18,14,16,80,112]$.

Example 4.

Using Corollary 4 with the same generator matrix ${\mathcal{G}}_0$, $\alpha =h$, $\beta =0$, $\gamma =c$, $\sigma ,\tau =b$, $\mu =d$ and $\mathbf{x}=(1,2,0,0)$, we obtain a self-orthogonal $(7,3^6,2)$ code over ${\mathit{I}}_3$ with generator matrix

$${\mathcal{G}}_{0,3}=\left(\begin{array}{ccccccc}h& 0& 0& c& h& 0& 0\\ 0& b& b& d& b& 0& 0\\ a& a& a& a& 0& a& a\\ d& d& d& 0& b& 0& b\end{array}\right)$$

and weight distribution $[1,0,4,18,42,56,230,378].$

3.2. Construction of Quasi Self-Dual Codes

In this section, we discuss two kinds of build-up construction method for quasi self-dual codes over ${\mathit{I}}_3$. We begin with the construction of ${\mathit{I}}_3$ codes from ternary codes, known traditionally as the multilevel construction.

Theorem 5.

Let ${\mathcal{C}}_1$ be a self-orthogonal ternary code of length n, and let ${\mathcal{C}}_2$ be a ternary code of length n such that ${\mathcal{C}}_1\subseteq {\mathcal{C}}_2$. The code $\mathcal{C}$, defined by the relation

$$\mathcal{C}=a{\mathcal{C}}_1+b{\mathcal{C}}_2,$$

is self-orthogonal with residue code ${\mathcal{C}}_1$ and torsion code ${\mathcal{C}}_2.$ Furthermore, if $\left|{\mathcal{C}}_1\right|\left|{\mathcal{C}}_2\right|=3^n$, then C is quasi self-dual.

This is a direct analogue of Theorem 4 in [7], upon passing from characteristic 2 to $3.$ The proof is omitted here.

The following theorem is a propagation rule of order 3, which increases the number of generators by three.

Theorem 6.

Let ${\mathcal{C}}_0$ be a quasi self-dual code of length n over ${\mathit{I}}_3$ with generator matrix ${\mathcal{G}}_0=\left({\mathbf{r}}_i\right)$, where $r_i$ is the i-th row of ${\mathcal{G}}_0$ for $1\le i\le m$. If $\mathbf{x}\in {\mathbb{F}}_3^n$ and $\sigma ,\tau ,\mu \in S=\{0,b,d\}$ are nonzero elements, then the code $\mathcal{C}$, with the following generator matrix

$$\mathcal{G}=\left(\begin{array}{cccc}\sigma & 0& 0& \sigma \mathbf{x}\\ 0& \tau & 0& \tau \mathbf{x}\\ 0& 0& \mu & \mu \mathbf{x}\\ 2(\mathbf{x},{\mathbf{r}}_1)& 2(\mathbf{x},{\mathbf{r}}_1)& 2(\mathbf{x},{\mathbf{r}}_1)& {\mathbf{r}}_1\\ ⋮& ⋮& ⋮& ⋮\\ 2(\mathbf{x},{\mathbf{r}}_m)& 2(\mathbf{x},{\mathbf{r}}_m)& 2(\mathbf{x},{\mathbf{r}}_m)& {\mathbf{r}}_m\end{array}\right),$$

is quasi self-dual of length $n+3$.

Proof. 

Let ${\mathbf{y}}_0=\left(\begin{array}{cccc}\sigma & 0& 0& \sigma \mathbf{x}\end{array}\right)$, ${\mathbf{y}}_0^{\prime }=\left(\begin{array}{cccc}0& \tau & 0& \tau \mathbf{x}\end{array}\right)$ and ${\mathbf{y}}_0^{\prime \prime }=\left(\begin{array}{cccc}0& 0& \mu & \mu \mathbf{x}\end{array}\right)$. We see that

$$({\mathbf{y}}_0,{\mathbf{y}}_0^{\prime })=\sigma \tau (\mathbf{x},\mathbf{x})=0,$$

because $\sigma \tau =0$. Similar arguments show that ${\mathbf{y}}_0$, ${\mathbf{y}}_0^{\prime }$ and ${\mathbf{y}}_0^{\prime \prime }$ are orthogonal to one another and to themselves, as $\sigma ,\tau ,\mu \in S$.

Now, let ${\mathbf{y}}_i=\left(\begin{array}{cccc}2(\mathbf{x},{\mathbf{r}}_i)& 2(\mathbf{x},{\mathbf{r}}_i)& 2(\mathbf{x},{\mathbf{r}}_i)& {\mathbf{r}}_i\end{array}\right)$ for $1\le i\le m$. Then

$$({\mathbf{y}}_0,{\mathbf{y}}_i)=2\sigma (\mathbf{x},{\mathbf{r}}_i)+\sigma (\mathbf{x},{\mathbf{r}}_i)=0.$$

Similarly, $({\mathbf{y}}_0^{\prime },{\mathbf{y}}_i)=0$ and $({\mathbf{y}}_0^{\prime \prime },{\mathbf{y}}_i)=0$. Also, for $1\le j\le m$,

$$({\mathbf{y}}_i,{\mathbf{y}}_j)=3(\mathbf{x},{\mathbf{r}}_i)(\mathbf{x},{\mathbf{r}}_j)+({\mathbf{r}}_i,{\mathbf{r}}_j)=0.$$

Thus, $\mathcal{C}$ is a self-orthogonal code. Furthermore, since $\left|\mathcal{C}\right|=3^3\left|{\mathcal{C}}_0\right|=3^{n+3}$, $\mathcal{C}$ is quasi self-dual. Hence, the code $\mathcal{C}$ obtained from the quasi self-dual code ${\mathcal{C}}_0$ by the build-up construction is also quasi self-dual. □

Denote by $\widehat{{\mathcal{C}}_0}$ the span of the last m rows of $\mathcal{G}$ and for every $y\in {\mathit{I}}_3$, write

$$T_y=(y,0,0,y\mathbf{x}),U_y=(0,y,0,y\mathbf{x})\mathrm{and}{V}_y=(0,0,y,y\mathbf{x}).$$

The construction in Theorem 6 may be shown to be equivalent to ${\displaystyle \mathcal{C}={\dot{\cup }}_{t,u,v\in S}(T_t+U_u+V_v+\widehat{{\mathcal{C}}_0})}$, where $\dot{\cup }$ denotes disjoint union.

Example 5.

Using Theorem 5, we construct quasi self-dual codes of lengths 6 and 9 from a $(3,3^3,1)$ code with generator matrix

$${\mathcal{G}}_1=\left(\begin{array}{ccc}a& a& c\\ 0& b& b\end{array}\right)$$

and weight distribution $[1,2,2,22]$.

Using ${\mathcal{G}}_1$ as the base generator matrix and $\mathbf{x}=(0,1,1)$, we obtain a quasi self-dual $(6,3^6,1)$ code with generator matrix

$${\mathcal{G}}_{1,1}=\left(\begin{array}{cccccc}b& 0& 0& 0& b& b\\ 0& b& 0& 0& b& b\\ 0& 0& b& 0& b& b\\ g& g& g& a& a& c\\ b& b& b& 0& b& b\end{array}\right)$$

and weight distribution $[1,8,26,48,64,64,518].$

Using ${\mathcal{G}}_{1,1}$ with $\mathbf{x}=(1,2,1,1,2,0)$, we obtain a quasi self-dual $(9,3^9,1)$ code with generator matrix

$${\mathcal{G}}_{1,1,1}=\left(\begin{array}{ccccccccc}b& 0& 0& b& d& b& b& d& 0\\ 0& b& 0& b& d& b& b& d& 0\\ 0& 0& b& b& d& b& b& d& 0\\ 0& 0& 0& b& 0& 0& 0& b& b\\ b& b& b& 0& b& 0& 0& b& b\\ 0& 0& 0& 0& 0& b& 0& b& b\\ f& f& f& g& g& g& a& a& c\\ 0& 0& 0& b& b& b& 0& b& b\end{array}\right)$$

and weight distribution $[1,8,44,212,686,1370,1760,1520,800,13282].$

The next propagation rule uses two more generators while still creating quas -self-dual codes over ${\mathit{I}}_3$ of length 4 more.

Theorem 7.

Let ${\mathcal{C}}_0$ be a quasi self-dual code over ${\mathit{I}}_3$ of length n with generator matrix ${\mathcal{G}}_0=\left({\mathbf{r}}_i\right)$, where ${\mathbf{r}}_i$ is the ith row of ${\mathcal{G}}_0$ for $i=1,2,\dots ,m$. Let ${\mathbf{x}}_1,{\mathbf{x}}_2\in {\mathbb{F}}_3^n$ such that $({\mathbf{x}}_1,{\mathbf{x}}_2)=0$ and $({\mathbf{x}}_i,{\mathbf{x}}_i)=2$ for $i=1,2$. For $1\le i\le m$, define $u_i=({\mathbf{x}}_1,{\mathbf{r}}_i)$ and $v_i=({\mathbf{x}}_2,{\mathbf{r}}_i)$. If $\alpha ,\beta \in {\mathit{I}}_3\setminus S$, then the code $\mathcal{C}$, with the following generator matrix

$$\mathcal{G}=\left(\begin{array}{ccccc}\alpha & 0& 0& 0& \alpha {\mathbf{x}}_1\\ 0& \beta & 0& 0& \beta {\mathbf{x}}_2\\ 2u_1& 2v_1& u_1+v_1& 2u_1+v_1& {\mathbf{r}}_1\\ ⋮& ⋮& ⋮& ⋮& ⋮\\ 2u_m& 2v_m& u_m+v_m& 2u_m+v_m& {\mathbf{r}}_m\end{array}\right),$$

is quasi self-dual of length $n+4$.

Proof. 

Let ${\mathbf{y}}_0=\left(\begin{array}{ccccc}\alpha & 0& 0& 0& \alpha {\mathbf{x}}_1\end{array}\right)$ and ${\mathbf{y}}_0^{\prime }=\left(\begin{array}{ccccc}0& \beta & 0& 0& \beta {\mathbf{x}}_2\end{array}\right)$. Then

$$\begin{array}{ccc}\hfill ({\mathbf{y}}_0,{\mathbf{y}}_0)& =& {\alpha }^2+{\alpha }^2({\mathbf{x}}_1,{\mathbf{x}}_1)=0\hfill \\ \hfill ({\mathbf{y}}_0^{\prime },{\mathbf{y}}_0^{\prime })& =& {\beta }^2+{\beta }^2({\mathbf{x}}_2,{\mathbf{x}}_2)=0\hfill \\ \hfill ({\mathbf{y}}_0,{\mathbf{y}}_0^{\prime })& =& \alpha \beta ({\mathbf{x}}_1,{\mathbf{x}}_2)=0.\hfill \end{array}$$

Now, for $1\le i\le m$, let ${\mathbf{y}}_i=\left(\begin{array}{ccccc}2u_i& 2v_i& u_i+v_i& 2u_i+v_i& {\mathbf{r}}_i\end{array}\right)$. So for $1\le j\le m$,

$$({\mathbf{y}}_i,{\mathbf{y}}_j)=u_i{u}_j+v_i{v}_j+(u_i+v_i)(u_j+v_j)+(2u_i+v_i)(2u_j+v_j)+({\mathbf{r}}_i,{\mathbf{r}}_j)=0.$$

Thus, $\mathcal{C}$ is self-orthogonal and since $\left|\mathcal{C}\right|=9^2\left|{\mathcal{C}}_0\right|=3^{n+4}$, $\mathcal{C}$ is quasi self-dual. □

Define $\widehat{{\mathcal{C}}_0}$ to be the span of the last m rows of $\mathcal{G}$, and for every $y\in {\mathit{I}}_3$ write

$$T_y=(y,0,0,0,y{\mathbf{x}}_1),\mathrm{and}{U}_y=(0,y,0,0,y{\mathbf{x}}_2).$$

The construction in Theorem 7 maybe demonstrated to be equivalent to

$$\mathcal{C}={\dot{\cup }}_{t,u\in {\mathit{I}}_3\setminus S}(T_t+U_u+\widehat{{\mathcal{C}}_0}).$$

Remark 1.

Vectors ${\mathbf{x}}_1$ and ${\mathbf{x}}_2$ satisfying the conditions of Theorem 7 is valid for $n\ge 2$.

Example 6.

We construct a quasi self-dual code of length 8 from a quasi self-dual $(4,3^4,1)$ with generator matrix

$${\mathcal{G}}_2=\left(\begin{array}{cccc}a& 0& a& c\\ 0& b& 0& b\\ 0& 0& b& b\end{array}\right)$$

and weight distribution $[1,2,6,32,40].$ Using Theorem 7 with $\alpha =\beta =a$, ${\mathbf{x}}_1=(1,0,0,1)$ and ${\mathbf{x}}_2=(0,1,2,0)$, we obtain a quasi self-dual $(8,3^8,2)$ code with generator matrix

$${\mathcal{G}}_{2,2}=\left(\begin{array}{cccccccc}a& 0& 0& 0& a& 0& 0& a\\ 0& a& 0& 0& 0& a& e& 0\\ g& a& c& d& a& 0& a& c\\ d& d& d& 0& 0& b& 0& b\\ d& b& 0& b& 0& 0& b& b\end{array}\right)$$

and weight distribution $[1,0,2,58,150,344,1318,2712,1976].$

Remark 2.

If two quasi self-dual ${\mathit{I}}_3$ codes are monomially equivalent, then their residue codes are also equivalent. But the converse does not hold, as seen in the next example.

Example 7.

Let ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ be quasi self-dual ${\mathit{I}}_3$ codes with generator matrices $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& d\end{array}\right)$ and $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& b\end{array}\right)$, respectively. Then, $res\left({\mathcal{C}}_1\right)=res\left({\mathcal{C}}_2\right)$ with generator matrix $\left(\begin{array}{cccc}1& 0& 1& 1\end{array}\right)$. However, ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ are not monomially equivalent, as their weight distributions are $[1,0,12,26,42]$ and $[1,2,6,32,40]$, respectively.

3.3. Construction of Self-Dual Codes

In this section, we discuss the build-up construction method for self-dual codes over ${\mathit{I}}_3$. We start with characterizations of self-dual codes.

Theorem 8.

A linear code $\mathcal{C}$ of length n over ${\mathit{I}}_3$ is self-dual if and only if the following hold:

(i) 

$res\left(\mathcal{C}\right)$ is self-dual ternary code,

(ii) 

$tor\left(\mathcal{C}\right)={\mathbb{F}}_3^n$.

The code $\mathcal{C}$ is defined by the relation

$$\mathcal{C}=ares\left(\mathcal{C}\right)+b{\mathbb{F}}_3^n.$$

Moreover, $\left|\mathcal{C}\right|=3^{\frac{3n}{2}}$.

Proof. 

The proof is similar to Theorems 3, 4 and 5 in [13] upon passing from characteristic 2 to 3. Moreover, $\left|\mathcal{C}\right|=\left|res\left(\mathcal{C}\right)\right|\left|tor\left(\mathcal{C}\right)\right|=3^{\frac{n}{2}}{3}^n=3^{\frac{3n}{2}}.$ □

Corollary 5.

Self-dual codes over ${\mathit{I}}_3$ of length n occur if and only if n is a multiple of 4.

Proof. 

We know that $\mathcal{C}$ is a self-dual code over ${\mathit{I}}_3$ if and only if $res\left(\mathcal{C}\right)$ is a self-dual code over ${\mathbb{F}}_3$. Then, by Theorem 3 in [14], a self-dual code over ${\mathbb{F}}_3$ of length n exists if and only if n is a multiple of 4. This completes the proof. □

Theorem 9.

Let n be a multiple of 4. Suppose ${\mathcal{C}}_0$ is a self-dual code over $I_3$ of length n and generator matrix ${\mathcal{G}}_0=\left({\mathbf{r}}_i\right)$, where ${\mathbf{r}}_i$ are the row vectors of ${\mathcal{G}}_0$ for $1\le i\le m$ over ${\mathit{I}}_3$. Let ${\mathbf{x}}_1,{\mathbf{x}}_2\in {\mathbb{F}}_3^n$ such that $({\mathbf{x}}_1,{\mathbf{x}}_2)=0$ and $({\mathbf{x}}_i,{\mathbf{x}}_i)=2$ for each $i=1,2$. For $1\le i\le m$, let $u_i=({\mathbf{x}}_1,{\mathbf{r}}_i)$ and $v_i=({\mathbf{x}}_2,{\mathbf{r}}_i)$. Then the code $\mathcal{C}$, with the generator matrix

$$\mathcal{G}=\left(\begin{array}{ccccc}a& 0& 0& 0& a{\mathbf{x}}_1\\ 0& a& 0& 0& a{\mathbf{x}}_2\\ 0& 0& b& 0& b({\mathbf{x}}_1+{\mathbf{x}}_2)\\ 0& 0& 0& b& b({\mathbf{x}}_1+2{\mathbf{x}}_2)\\ 2u_1& 2v_1& 2u_1+2v_1& 2u_1+v_1& {\mathbf{r}}_1\\ ⋮& ⋮& ⋮& ⋮& ⋮\\ 2u_m& 2v_m& 2u_m+2v_m& 2u_m+v_m& {\mathbf{r}}_m\end{array}\right),$$

is self-dual of length $n+4$.

Proof. 

We can show that $\mathcal{G}$ generates a self-orthogonal code $\mathcal{C}$ in a similar way as in Theorem 7. Indeed, define $\widehat{{\mathcal{C}}_0}$ to be the span of the last m generators. Furthermore, define D as the ${\mathbb{F}}_3$-span of $\left\{{\mathbf{v}}_1,{\mathbf{v}}_2,{\mathbf{v}}_3,{\mathbf{v}}_4\right\}$, where ${\mathbf{v}}_1=(1,0,0,0,{\mathbf{x}}_1)$, ${\mathbf{v}}_2=(0,1,0,0,{\mathbf{x}}_2)$, ${\mathbf{v}}_3=(0,0,1,0,({\mathbf{x}}_1+{\mathbf{x}}_2))$, and ${\mathbf{v}}_4=(0,0,0,1,({\mathbf{x}}_1+2{\mathbf{x}}_2)).$ It can be seen that the construction of $tor\left(\mathcal{C}\right)$ in the theorem is equivalent to

$$tor\left(\mathcal{C}\right)=D+tor\left({\widehat{\mathcal{C}}}_0\right).$$

As ${\mathcal{C}}_0$ is self-dual, by Theorem 8 we can see that $tor\left({\mathcal{C}}_0\right)$ is equal to ${\mathbb{F}}_3^n$. Through this hypothesis, we have a ratio of $3^4$ on the sizes, because $\left|D\right|=3^4$, and $tor\left(\mathcal{C}\right)={\mathbb{F}}_3^{n+4}$.

Now, it suffices to show that $res\left(\mathcal{C}\right)$ is a self-dual ternary code. Since $\mathcal{C}$ is self-orthogonal, we can see that $res\left(\mathcal{C}\right)$ is also self-orthogonal and thus, $res\left(\mathcal{C}\right)\subseteq res{\left(\mathcal{C}\right)}^{\perp }$.

Note that $\left|{\mathcal{C}}_0\right|=3^{\frac{3n}{2}}$ by Theorem 8 and because $\mathcal{G}$ has four more generators, this shows that $\left|\mathcal{C}\right|=3^2{9}^2\left|{\mathcal{C}}_0\right|=3^{\frac{3(n+4)}{2}}$. Thus, $\left|res\left(\mathcal{C}\right)\right|=\left|res{\left(\mathcal{C}\right)}^{\perp }\right|=3^{\frac{n+4}{2}}$ and hence, $res\left(\mathcal{C}\right)$ is a self-dual ternary code.

Therefore, $\mathcal{C}=ares\left(\mathcal{C}\right)+b{\mathbb{F}}_3^{n+4}$ and the code $\mathcal{C}$ obtained from the self-dual code ${\mathcal{C}}_0$ by the build-up construction is also self-dual. □

Theorem 10.

Two self-dual codes ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ over ${\mathit{I}}_3$ are monomially equivalent if and only if their residue codes are equivalent.

Proof. 

Let ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ be two monomially equivalent codes over ${\mathit{I}}_3$. Then $res\left({\mathcal{C}}_1\right)$ and $res\left({\mathcal{C}}_2\right)$ are equivalent since $ares\left({\mathcal{C}}_1\right)\subseteq {\mathcal{C}}_1$ and $ares\left({\mathcal{C}}_2\right)\subseteq {\mathcal{C}}_2$.

Conversely, if ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ are self-dual codes over ${\mathit{I}}_3$, and $res\left({\mathcal{C}}_1\right)$ and $res\left({\mathcal{C}}_2\right)$ are monomially equivalent, then there is a monomial matrix M such that $res\left({\mathcal{C}}_2\right)=res\left({\mathcal{C}}_1\right)M$ and ${\mathbb{F}}_3^n={\mathbb{F}}_3^{n}M.$ Since ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ are self-dual, by Theorem 8 we have

$${\mathcal{C}}_2=ares\left({\mathcal{C}}_2\right)+b{\mathbb{F}}_3^n=ares\left({\mathcal{C}}_1\right)M+b{\mathbb{F}}_3^{n}M={\mathcal{C}}_{1}M.$$

(1)

From (1), we get ${\mathcal{C}}_2={\mathcal{C}}_{1}M$, proving that ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ are monomially equivalent. □

4. Computational Results

In this section, we classify self-orthogonal, quasi self-dual and self-dual ${\mathit{I}}_3$ codes of length $n\le 5$ and residue dimensions $k_0=0,1,2$ using the multilevel constructions in Theorems 3, 5 and 8. All computations were done with the aid of MAGMA [15].

4.1. Length 1

There is one quasi self-dual code over ${\mathit{I}}_3$ of type $\left\{0,1\right\}$, with generator matrix $\left(b\right)$ and weight distribution $[1,2]$.

4.2. Length 2

There is one quasi self-dual code over ${\mathit{I}}_3$ of type $\left\{0,2\right\}$, with generator matrix

$$\left(\begin{array}{cc}b& 0\\ 0& b\end{array}\right)$$

and weight distribution $[1,4,4]$.

4.3. Length 3

• For type $\left\{0,3\right\}$, there is one quasi self-dual code over ${\mathit{I}}_3$, with generator matrix

  $$\left(\begin{array}{ccc}b& 0& 0\\ 0& b& 0\\ 0& 0& b\end{array}\right)$$

  and weight distribution $[1,6,12,8].$
• For type $\left\{1,0\right\}$, there are four distinct self-orthogonal codes over ${\mathit{I}}_3$, with generator matrices in the following table:

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{ccc}a& a& a\end{array}\right)$	12	$[1,0,0,8]$	$\left(\begin{array}{ccc}c& a& a\end{array}\right)$	4	$[1,0,0,8]$
  $\left(\begin{array}{ccc}g& a& a\end{array}\right)$	4	$[1,0,0,8]$	$\left(\begin{array}{ccc}a& c& g\end{array}\right)$	6	$[1,0,0,8]$

  For length 3 and type $\left\{1,0\right\}$, we have

  $$\sum _1^4\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=\frac{1}{12}+\frac{1}{4}+\frac{1}{4}+\frac{1}{6}=0.75=\frac{{\mathcal{N}}_{SO}(n,k_1,k_2)}{2^{n}n!}.$$
• For type $\left\{1,1\right\}$, there are five distinct quasi self-dual codes over ${\mathit{I}}_3$, with generator matrices in the following table:

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{ccc}a& a& a\\ 0& 0& b\end{array}\right)$	4	$[1,2,2,22]$	$\left(\begin{array}{ccc}c& a& a\\ 0& 0& b\end{array}\right)$	2	$[1,2,2,22]$
  $\left(\begin{array}{ccc}a& a& a\\ 0& b& d\end{array}\right)$	12	$\begin{array}{c}[1,0,6,20]\end{array}$	$\left(\begin{array}{ccc}c& a& a\\ 0& b& d\end{array}\right)$	12	$[1,0,6,20]$
  $\left(\begin{array}{ccc}g& a& a\\ 0& b& d\end{array}\right)$	12	$[1,0,6,20]$

  For length 3 and type $\left\{1,1\right\}$, we have

  $$\sum _1^5\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=\frac{1}{4}+\frac{1}{2}+\frac{1}{12}+\frac{1}{12}+\frac{1}{12}=1=\frac{{\mathcal{N}}_{QSD}(n,k_1,k_2)}{2^{n}n!}.$$

4.4. Length 4

• For type $\left\{0,4\right\}$, there is one quasi self-dual code over ${\mathit{I}}_3$, with generator matrix

  $$\left(\begin{array}{cccc}b& 0& 0& 0\\ 0& b& 0& 0\\ 0& 0& b& 0\\ 0& 0& 0& b\end{array}\right)$$

  and weight distribution $[1,8,24,32,16].$
• For type $\left\{1,0\right\}$, there are eight distinct self-orthogonal codes over ${\mathit{I}}_3$, with generator matrices in the following table:

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{cccc}a& 0& a& a\end{array}\right)$	24	$[1,0,0,8,0]$	$\left(\begin{array}{cccc}c& 0& a& a\end{array}\right)$	8	$[1,0,0,8,0]$
  $\left(\begin{array}{cccc}g& 0& a& a\end{array}\right)$	8	$[1,0,0,8,0]$	$\left(\begin{array}{cccc}a& 0& c& g\end{array}\right)$	12	$[1,0,0,8,0]$
  $\left(\begin{array}{cccc}a& b& a& a\end{array}\right)$	4	$[1,0,0,2,6]$	$\left(\begin{array}{cccc}c& b& a& a\end{array}\right)$	4	$[1,0,0,2,6]$
  $\left(\begin{array}{cccc}g& b& a& a\end{array}\right)$	12	$[1,0,0,2,6]$	$\left(\begin{array}{cccc}a& b& c& g\end{array}\right)$	6	$[1,0,0,2,6]$

  For length 4 and type $\left\{1,0\right\}$, we have

  $$\sum _1^8\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=\frac{1}{24}+\frac{1}{8}+\frac{1}{8}+\frac{1}{12}+\frac{1}{4}+\frac{1}{4}+\frac{1}{6}+\frac{1}{12}=1.125=\frac{{\mathcal{N}}_{SO}(n,k_1,k_2)}{2^{n}n!}.$$
• For type $\left\{1,1\right\}$, there are 23 distinct self-orthogonal codes over ${\mathit{I}}_3$, with generator matrices in the following table:

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& 0\end{array}\right)$	24	$[1,2,0,8,16]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& b& 0& 0\end{array}\right)$	8	$[1,2,0,8,16]$
  $\left(\begin{array}{cccc}g& 0& a& a\\ 0& b& 0& 0\end{array}\right)$	8	$[1,2,0,8,16]$	$\left(\begin{array}{cccc}a& 0& c& g\\ 0& b& 0& 0\end{array}\right)$	12	$[1,2,0,8,16]$
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& b& 0\end{array}\right)$	4	$[1,0,2,10,14]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& b& b& 0\end{array}\right)$	2	$[1,0,2,10,14]$
  $\left(\begin{array}{cccc}g& 0& a& a\\ 0& b& b& 0\end{array}\right)$	2	$[1,0,2,10,14]$	$\left(\begin{array}{cccc}a& 0& c& g\\ 0& b& b& 0\end{array}\right)$	2	$[1,0,2,10,14]$
  $\left(\begin{array}{cccc}c& 0& a& a\\ 0& b& b& b\end{array}\right)$	4	$[1,0,2,10,14]$	$\left(\begin{array}{cccc}g& 0& a& a\\ 0& b& b& b\end{array}\right)$	4	$[1,0,2,10,14]$
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& 0& b& d\end{array}\right)$	24	$[1,0,6,20,0]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& 0& b& d\end{array}\right)$	24	$[1,0,6,20,0]$
  $\left(\begin{array}{cccc}g& 0& a& a\\ 0& 0& b& d\end{array}\right)$	24	$[1,0,6,20,0]$	$\left(\begin{array}{cccc}a& 0& c& g\\ 0& 0& b& d\end{array}\right)$	24	$[1,0,6,20,0]$
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& b& d\end{array}\right)$	12	$[1,0,0,14,12]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& b& b& d\end{array}\right)$	4	$[1,0,0,14,12]$
  $\left(\begin{array}{cccc}g& 0& a& a\\ 0& b& b& d\end{array}\right)$	4	$[1,0,0,14,12]$	$\left(\begin{array}{cccc}a& 0& c& g\\ 0& b& b& d\end{array}\right)$	6	$[1,0,0,14,12]$
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& 0& b& 0\end{array}\right)$	8	$[1,2,2,22,0]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& 0& b& 0\end{array}\right)$	4	$[1,2,2,22,0]$
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& 0& b& 0\end{array}\right)$	8	$[1,2,2,22,0]$	$\left(\begin{array}{cccc}a& b& a& a\\ 0& 0& b& 0\end{array}\right)$	4	$[1,2,2,4,18]$
  $\left(\begin{array}{cccc}c& b& a& a\\ 0& 0& b& 0\end{array}\right)$	2	$[1,2,2,4,18]$

  For length 4 and type $\left\{1,1\right\}$, we have

  $$\sum _1^{23}\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=4.7=\frac{{\mathcal{N}}_{SO}(n,k_1,k_2)}{2^{n}n!}.$$
• For type $\left\{1,2\right\}$, there are 10 distinct quasi self-dual codes over ${\mathit{I}}_3$, with generator matrices in the following table:

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& 0\end{array}\right)$	8	$[1,4,6,26,44]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& 0\end{array}\right)$	4	$[1,4,6,26,44]$
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& b\end{array}\right)$	4	$[1,4,6,26,44]$	$\left(\begin{array}{cccc}a& 0& a& c\\ 0& b& 0& b\\ 0& 0& b& b\end{array}\right)$	2	$[1,2,6,32,40]$
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& d\end{array}\right)$	24	$[1,2,6,32,40]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& d\end{array}\right)$	24	$[1,2,6,32,40]$
  $\left(\begin{array}{cccc}g& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& d\end{array}\right)$	24	$[1,2,6,32,40]$	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& d\end{array}\right)$	12	$[1,0,12,26,42]$
  $\left(\begin{array}{cccc}c& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& d\end{array}\right)$	12	$[1,0,12,26,42]$	$\left(\begin{array}{cccc}g& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& d\end{array}\right)$	12	$[1,0,12,26,42]$

  For length 4 and type $\left\{1,2\right\}$, we have

  $$\sum _{\mathcal{C}}\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=1.5<\frac{{\mathcal{N}}_{QSD}(n,k_1,k_2)}{2^{n}n!}=1.6,$$

  where the summation runs over the representatives of the equivalence classes of codes constructed by our propagation rules.
• For type $\left\{2,0\right\}$, there are nine quasi self-dual codes over ${\mathit{I}}_3$, with generator matrices in the following table.

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& a& a& e\end{array}\right)$	48	$[1,0,0,32,48]$	$\left(\begin{array}{cccc}c& 0& a& a\\ 0& a& a& e\end{array}\right)$	12	$[1,0,0,32,48]$
  $\left(\begin{array}{cccc}g& 0& a& a\\ 0& a& a& e\end{array}\right)$	12	$[1,0,0,32,48]$	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& a& a& h\end{array}\right)$	2	$[1,0,0,32,48]$
  $\left(\begin{array}{cccc}a& 0& c& a\\ 0& c& a& e\end{array}\right)$	6	$[1,0,0,32,48]$	$\left(\begin{array}{cccc}a& 0& g& a\\ 0& g& a& e\end{array}\right)$	6	$[1,0,0,32,48]$
  $\left(\begin{array}{cccc}a& 0& c& a\\ 0& g& a& e\end{array}\right)$	4	$[1,0,0,32,48]$	$\left(\begin{array}{cccc}a& 0& c& c\\ 0& c& a& e\end{array}\right)$	4	$[1,0,0,32,48]$
  $\left(\begin{array}{cccc}c& 0& g& c\\ 0& c& c& e\end{array}\right)$	8	$[1,0,0,32,48]$

  For length 4 and type $\left\{2,0\right\}$, we have

  $$\sum _1^9\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=1.6=\frac{{\mathcal{N}}_{QSD}(n,k_1,k_2)}{2^{n}n!}.$$
• For type $\left\{2,2\right\}$, there is an unique self-dual code over ${\mathit{I}}_3$, with generator matrix:

  Generator Matrix	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight Distribution
  $\left(\begin{array}{cccc}a& 0& a& a\\ 0& a& a& e\\ 0& 0& b& 0\\ 0& 0& 0& b\end{array}\right)$	48	$[1,8,24,248,448].$

  For length 4 and type $\left\{2,2\right\}$, we have

  $$\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=\frac{1}{48}=\frac{{\mathcal{N}}_{SD}(n,k_1,k_2)}{2^{n}n!}.$$

4.5. Length 5

• For type $\left\{0,4\right\}$, there are five distinct self-orthogonal codes over ${\mathit{I}}_3$, with generator matrices in the following table.

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{ccccc}b& 0& b& 0& b\\ 0& b& 0& b& 0\\ 0& 0& b& 0& b\\ 0& 0& 0& b& 0\end{array}\right)$	192	$[1,6,14,20,24,16]$	$\left(\begin{array}{ccccc}b& d& b& b& 0\\ 0& b& d& b& b\\ 0& 0& b& d& b\\ b& 0& b& 0& b\end{array}\right)$	240	$\begin{array}{c}[1,0,20,20,30,10]\end{array}$
  $\left(\begin{array}{ccccc}d& 0& 0& b& 0\\ 0& 0& b& b& 0\\ 0& b& 0& 0& b\\ b& 0& 0& d& b\end{array}\right)$	96	$[1,4,10,26,32,8]$	$\left(\begin{array}{ccccc}b& 0& 0& 0& 0\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& 0\\ 0& 0& 0& b& 0\end{array}\right)$	768	$[1,8,24,32,16,0]$
  $\left(\begin{array}{ccccc}b& 0& 0& b& 0\\ 0& 0& b& 0& 0\\ 0& 0& d& 0& b\\ 0& 0& 0& 0& b\end{array}\right)$	64	$[1,4,6,8,8,0]$

  For length 5 and type $\left\{0,4\right\}$, we have

  $$\sum _1^5\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=0.03=\frac{{\mathcal{N}}_{SO}(n,k_1,k_2)}{2^{n}n!}.$$
• For type $\left\{0,5\right\}$, there is one quasi self-dual code over ${\mathit{I}}_3$, with generator matrix

  $$\left(\begin{array}{ccccc}b& 0& 0& 0& 0\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& 0\\ 0& 0& 0& b& 0\\ 0& 0& 0& 0& b\end{array}\right)$$

  and weight distribution $[1,10,40,80,80,32].$
• For type $\left\{1,0\right\}$, there are 12 distinct self-orthogonal codes over ${\mathit{I}}_3$, with generator matrices in the following table:

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{ccccc}a& 0& 0& a& a\end{array}\right)$	96	$[1,0,0,8,0,0]$	$\left(\begin{array}{ccccc}c& 0& 0& a& a\end{array}\right)$	32	$[1,0,0,8,0,0]$
  $\left(\begin{array}{ccccc}g& 0& 0& a& a\end{array}\right)$	32	$[1,0,0,8,0,0]$	$\left(\begin{array}{ccccc}a& 0& 0& c& g\end{array}\right)$	48	$[1,0,0,8,0,0]$
  $\left(\begin{array}{ccccc}a& b& 0& a& a\end{array}\right)$	24	$[1,0,0,2,6,0]$	$\left(\begin{array}{ccccc}c& b& 0& a& a\end{array}\right)$	8	$[1,0,0,2,6,0]$
  $\left(\begin{array}{ccccc}g& b& 0& a& a\end{array}\right)$	8	$[1,0,0,2,6,0]$	$\left(\begin{array}{ccccc}a& b& 0& c& g\end{array}\right)$	12	$[1,0,0,2,6,0]$
  $\left(\begin{array}{ccccc}a& b& b& a& a\end{array}\right)$	24	$[1,0,0,2,0,6]$	$\left(\begin{array}{ccccc}c& b& b& a& a\end{array}\right)$	8	$[1,0,0,2,0,6]$
  $\left(\begin{array}{ccccc}a& b& b& c& g\end{array}\right)$	12	$[1,0,0,2,0,6]$	$\left(\begin{array}{ccccc}g& b& b& a& a\end{array}\right)$	8	$[1,0,0,2,0,6]$

  For length 5 and type $\left\{1,0\right\}$, we have

  $$\sum _1^{12}\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=0.84=\frac{{\mathcal{N}}_{SO}(n,k_1,k_2)}{2^{n}n!}.$$
• For type $\left\{1,3\right\}$, there are 15 quasi self-dual codes over ${\mathit{I}}_3$, with generator matrices in the following table:

  Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight	Generator	$\left|Aut\left(\mathcal{C}\right)\right|$	Weight
  Matrix		Distribution	Matrix		Distribution
  $\left(\begin{array}{ccccc}a& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& 0\\ 0& 0& 0& b& b\end{array}\right)$	32	$[1,6,14,38,96,88]$	$\left(\begin{array}{ccccc}c& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& 0\\ 0& 0& 0& b& b\end{array}\right)$	16	$\begin{array}{c}[1,6,14,38,96,88]\end{array}$
  $\left(\begin{array}{ccccc}a& 0& 0& a& a\\ 0& b& 0& 0& b\\ 0& 0& b& 0& b\\ 0& 0& 0& b& b\end{array}\right)$	8	$[1,2,12,50,94,84]$	$\left(\begin{array}{ccccc}a& 0& 0& a& c\\ 0& b& 0& 0& b\\ 0& 0& b& 0& b\\ 0& 0& 0& b& b\end{array}\right)$	4	$\begin{array}{c}[1,2,12,50,94,84]\end{array}$
  $\left(\begin{array}{ccccc}a& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& b\\ 0& 0& 0& b& b\end{array}\right)$	8	$[1,4,10,44,104,80]$	$\left(\begin{array}{ccccc}a& 0& 0& a& c\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& b\\ 0& 0& 0& b& b\end{array}\right)$	4	$\begin{array}{c}[1,4,10,44,104,80]\end{array}$
  $\left(\begin{array}{ccccc}a& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& 0\\ 0& 0& 0& b& d\end{array}\right)$	96	$[1,4,10,44,104,80]$	$\left(\begin{array}{ccccc}c& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& 0\\ 0& 0& 0& b& d\end{array}\right)$	96	$\begin{array}{c}[1,4,10,44,104,80]\end{array}$
  $\left(\begin{array}{ccccc}g& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& 0\\ 0& 0& 0& b& d\end{array}\right)$	96	$[1,4,10,44,104,80]$	$\left(\begin{array}{ccccc}a& 0& 0& a& a\\ 0& b& 0& 0& d\\ 0& 0& b& 0& b\\ 0& 0& 0& b& d\end{array}\right)$	24	$\begin{array}{c}[1,0,20,38,102,82]\end{array}$
  $\left(\begin{array}{ccccc}c& 0& 0& a& a\\ 0& b& 0& 0& d\\ 0& 0& b& 0& b\\ 0& 0& 0& b& d\end{array}\right)$	24	$[1,0,20,38,102,82]$	$\left(\begin{array}{ccccc}g& 0& 0& a& a\\ 0& b& 0& 0& d\\ 0& 0& b& 0& b\\ 0& 0& 0& b& d\end{array}\right)$	24	$\begin{array}{c}[1,0,20,38,102,82]\end{array}$
  $\left(\begin{array}{ccccc}a& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& d\\ 0& 0& 0& b& d\end{array}\right)$	24	$[1,2,12,50,94,84]$	$\left(\begin{array}{ccccc}c& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& d\\ 0& 0& 0& b& d\end{array}\right)$	24	$\begin{array}{c}[1,2,12,50,94,84]\end{array}$
  $\left(\begin{array}{ccccc}g& 0& 0& a& a\\ 0& b& 0& 0& 0\\ 0& 0& b& 0& d\\ 0& 0& 0& b& d\end{array}\right)$	24	$[1,2,12,50,94,84]$

  For length 5 and type $\left\{1,3\right\}$, we have

  $$\sum _{\mathcal{C}}\frac{1}{\left|Aut\left(\mathcal{C}\right)\right|}=1.125\ne \frac{{\mathcal{N}}_{QSO}(n,k_1,k_2)}{2^{n}n!}=1.2,$$

  where the summation bears on representatives of the equivalence classes of codes constructed by our propagation rules.

Next, we use our build-up construction methods to obtain SO, QSD and SD codes over ${\mathit{I}}_3$. The partial classification results are summarized in Table 3 below.

Table 3. Classification of SO, QSD and SD codes using the building method in Section 3.

n	Code	Construction	Length of Constructed Code	x	$\mathit{d}\left(\mathcal{C}\right)$	Weight Distribution
1	$\left(b\right)$	Theorem 4	4	$\left(1\right)$	1	$[1,2,0,8,16]$
		Theorem 6		$\left(2\right)$	1	$[1,8,24,32,16]$
2	$\left(\begin{array}{cc}b& 0\\ 0& b\end{array}\right)$	Theorem 4	5	$\left(10\right)$	1	$[1,4,4,8,32,32]$
		Theorem 6	5	$\left(02\right)$	1	$[1,10,40,80,80,32]$
		Theorem 7	6	$\left(11\right)$, $\left(12\right)$	1	$\begin{array}{c}[1,4,4,32,176,320,192]\end{array}$
		Corollary 4	5	$\left(12\right)$	1	$\begin{array}{c}[1,6,14,38,96,88]\end{array}$
3	$\left(\begin{array}{ccc}b& 0& 0\\ 0& b& 0\\ 0& 0& b\end{array}\right)$	Theorem 4	6	$\left(002\right)$	1	$\begin{array}{c}[1,12,60,160,240,192,64]\end{array}$
		Corollary 4	6	$\left(100\right)$	1	$\begin{array}{c}[1,8,26,66,172,280,176]\end{array}$
		Theorem 6	6	$\left(112\right)$	1	$\begin{array}{c}[1,12,60,160,240,192,64]\end{array}$
		Theorem 7	7	$\left(202\right)$, $\left(102\right)$	1	$\begin{array}{c}[1,6,12,40,240,672,832,384]\end{array}$
	$\left(\begin{array}{ccc}a& a& a\end{array}\right)$	Theorem 4	6	$\left(010\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
				$\left(002\right)$	3	$\begin{array}{c}[1,0,0,16,0,0,64]\end{array}$
		Corollary 4	6	$\left(100\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
	$\left(\begin{array}{ccc}c& a& a\end{array}\right)$	Theorem 4	6	$\left(010\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
				$\left(002\right)$	3	$\begin{array}{c}[1,0,0,16,0,0,64]\end{array}$
		Corollary 4	6	$\left(100\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
	$\left(\begin{array}{ccc}g& a& a\end{array}\right)$	Theorem 4	6	$\left(010\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
				$\left(002\right)$	3	$\begin{array}{c}[1,0,0,16,0,0,64]\end{array}$
		Corollary 4	6	$\left(100\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
	$\left(\begin{array}{ccc}a& c& g\end{array}\right)$	Theorem 4	6	$\left(100\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
				$\left(002\right)$	3	$\begin{array}{c}[1,0,0,16,0,0,64]\end{array}$
		Corollary 4	6	$\left(100\right)$	2	$\begin{array}{c}[1,0,2,20,30,28,162]\end{array}$
	$\left(\begin{array}{ccc}a& a& a\\ 0& 0& b\end{array}\right)$	Theorem 4	6	$\left(010\right)$	1	$\begin{array}{c}[1,2,2,30,16,16,176]\end{array}$
				$\left(200\right)$	1	$\begin{array}{c}[1,4,8,52,92,88,484]\end{array}$
				$\left(001\right)$	1	$\begin{array}{c}[1,2,6,44,94,126,456]\end{array}$
		Corollary 4	6	$\left(110\right)$	1	$\begin{array}{c}[1,4,8,52,92,88,484]\end{array}$
				$\left(120\right)$	1	$\begin{array}{c}[1,2,6,92,166,162,300]\end{array}$
				$\left(011\right)$	1	$\begin{array}{c}[1,2,6,44,94,126,456]\end{array}$
		Theorem 6	6	$\left(120\right)$	1	$\begin{array}{c}[1,2,20,78,178,286,164]\end{array}$
				$\left(001\right)$	1	$\begin{array}{c}[1,8,26,48,64,518,0]\end{array}$
				$\left(121\right)$	1	$\begin{array}{c}[1,2,20,60,70,70,506]\end{array}$
				$\left(111\right)$	1	$\begin{array}{c}[1,8,26,66,172,280,176]\end{array}$
		Theorem 7	7	$\left(110\right)$, $\left(120\right)$	1	$\begin{array}{c}[1,2,2,54,112,160,800,1056]\end{array}$
	$\left(\begin{array}{ccc}c& a& a\\ 0& 0& b\end{array}\right)$	Theorem 4	6	$\left(010\right)$	1	$\begin{array}{c}[1,2,2,30,16,16,176]\end{array}$
				$\left(200\right)$	1	$\begin{array}{c}[1,4,8,52,92,88,484]\end{array}$
				$\left(001\right)$	1	$\begin{array}{c}[1,2,6,44,94,126,456]\end{array}$
		Corollary 4	6	$\left(110\right)$	1	$\begin{array}{c}[1,4,8,52,92,88,484]\end{array}$
				$\left(120\right)$	1	$\begin{array}{c}[1,2,6,92,166,162,300]\end{array}$
				$\left(011\right)$	1	$\begin{array}{c}[1,2,6,44,94,126,456]\end{array}$
		Theorem 6	6	$\left(012\right)$	1	$\begin{array}{c}[1,2,20,78,178,286,164]\end{array}$
				$\left(001\right)$	1	$\begin{array}{c}[1,8,26,48,64,64,518]\end{array}$
				$\left(121\right)$	1	$\begin{array}{c}[1,2,20,60,70,70,506]\end{array}$
				$\left(111\right)$	1	$\begin{array}{c}[1,8,26,66,172,280,176]\end{array}$
		Theorem 7	7	$\left(110\right)$, $\left(120\right)$	1	$\begin{array}{c}[1,2,2,54,112,160,800,\\ 1056]\end{array}$
				$\left(102\right)$, $\left(101\right)$	1	$\begin{array}{c}[1,2,6,44,94,126,0,456]\end{array}$
	$\left(\begin{array}{ccc}a& a& a\\ 0& b& d\end{array}\right)$	Theorem 4	6	$\left(010\right)$	1	$\begin{array}{c}[1,2,2,30,16,16,176]\end{array}$
				$\left(200\right)$	1	$\begin{array}{c}[1,4,8,52,92,88,484]\end{array}$
				$\left(001\right)$	1	$\begin{array}{c}[1,2,6,44,94,126,456]\end{array}$
	$\left(\begin{array}{ccc}a& a& a\\ 0& b& d\end{array}\right)$	Theorem 6	6	$\left(111\right)$	1	$\begin{array}{c}[1,6,18,64,192,288,160]\end{array}$
				$\left(011\right)$	2	$\begin{array}{c}[1,0,30,40,90,60,508]\end{array}$
		Corollary 4	6	$\left(011\right)$	2	$\begin{array}{c}[1,0,12,40,90,132,454]\end{array}$
				$\left(012\right)$	1	$\begin{array}{c}[1,2,8,90,160,172,296]\end{array}$
		Theorem 7	7	$\left(110\right)$, $\left(120\right)$	2	$\begin{array}{c}[1,0,6,52,48,192,928,\\ 960]\end{array}$
	$\left(\begin{array}{ccc}c& a& a\\ 0& b& d\end{array}\right)$	Theorem 4	6	$\left(110\right)$	1	$\begin{array}{c}[1,2,2,30,16,16,176]\end{array}$
				$\left(100\right)$	1	$\begin{array}{c}[1,4,8,52,92,88,484]\end{array}$
		Theorem 6	6	$\left(111\right)$	1	$\begin{array}{c}[1,6,18,64,192,288,160]\end{array}$
		Corollary 4	6	$\left(011\right)$	2	$\begin{array}{c}[1,0,12,40,90,132,454]\end{array}$
				$\left(012\right)$	1	$\begin{array}{c}[1,2,8,90,160,172,296]\end{array}$
		Theorem 7	7	$\left(101\right)$, $\left(102\right)$	2	$\begin{array}{c}[1,0,6,52,48,192,928,960]\end{array}$
	$\left(\begin{array}{ccc}g& a& a\\ 0& b& d\end{array}\right)$	Theorem 4	6	$\left(100\right)$	1	$\begin{array}{c}[1,2,8,54,52,172,440]\end{array}$
				$\left(020\right)$	2	$\begin{array}{c}[1,0,6,28,0,48,160]\end{array}$
				$\left(002\right)$	2	$\begin{array}{c}[1,0,12,40,90,132,454]\end{array}$
		Theorem 6	6	$\left(111\right)$	1	$\begin{array}{c}[1,6,18,64,192,288,160]\end{array}$
				$\left(011\right)$	2	$\begin{array}{c}[1,0,30,40,90,60,508]\end{array}$
		Corollary 4	6	$\left(011\right)$	2	$\begin{array}{c}[1,0,12,40,90,132,454]\end{array}$
				$\left(012\right)$	1	$\begin{array}{c}[1,2,8,90,160,172,296]\end{array}$
4	$\left(\begin{array}{cccc}b& 0& 0& 0\\ 0& b& 0& 0\\ 0& 0& b& 0\\ 0& 0& 0& b\end{array}\right)$	Theorem 4	7	$\left(0100\right)$	1	$\begin{array}{c}[1,8,24,40,80,192,256,128]\end{array}$
		Corollary 4	7	$\left(0110\right)$	1	$\begin{array}{c}[1,4,12,52,124,168,208,\\ 160]\end{array}$
		Theorem 6	7	$\left(0100\right)$	1	$\begin{array}{c}[1,14,84,280,560,672,448,\\ 128]\end{array}$
		Theorem 7	8	$\left(0110\right)$, $\left(1001\right)$	1	$\begin{array}{c}[1,8,24,64,320,1152,\\ 2176,2048,768]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	3	$[1,0,0,16,0,0,64,0]$
				$\left(1122\right)$	4	$\begin{array}{c}[1,0,0,0,8,8,16,48]\end{array}$
				$\left(1212\right)$	3	$[1,0,0,8,0,0,24,48]$
		Corollary 4	7	$\left(1100\right)$	2	$\begin{array}{c}[1,0,2,6,16,16,68,134]\end{array}$
				$\left(1000\right)$	2	$[1,0,2,20,30,28,162,0]$
				$\left(1212\right)$	2	$[1,0,2,10,16,4,76,134]$
				$\left(1122\right)$	2	$[1,0,2,3,10,40,54,134]$
	$\left(\begin{array}{cccc}c& 0& a& a\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	3	$[1,0,0,16,0,0,64,0]$
				$\left(1121\right)$	3	$[1,0,0,8,0,0,24,48]$
		Corollary 4	7	$\left(1100\right)$	2	$\begin{array}{c}[1,0,2,6,16,16,68,134]\end{array}$
				$\left(1000\right)$	2	$[1,0,2,20,30,28,162,0]$
				$\left(1122\right)$	2	$[1,0,2,10,16,4,76,134]$
	$\left(\begin{array}{cccc}g& 0& a& a\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	3	$[1,0,0,16,0,0,64,0]$
				$\left(1122\right)$	3	$[1,0,0,2,0,12,24,42]$
				$\left(1212\right)$	3	$[1,0,0,2,6,0,30,42]$
		Corollary 5	7	$\left(1100\right)$	2	$\begin{array}{c}[1,0,2,6,16,16,68,134]\end{array}$
				$\left(1000\right)$	2	$[1,0,2,20,30,28,162,0]$
				$\left(1122\right)$	2	$[1,0,2,4,10,22,82,122]$
	$\left(\begin{array}{cccc}a& b& a& a\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	3	$[1,0,0,10,6,0,16,48]$
				$\left(1122\right)$	3	$[1,0,0,2,0,12,24,42]$
		Corollary 4	7	$\left(1100\right)$	2	$\begin{array}{c}[1,0,2,6,16,16,68,134]\end{array}$
				$\left(1000\right)$	2	$[1,0,2,14,24,28,42,132]$
				$\left(1122\right)$	2	$[1,0,2,4,10,22,82,122]$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& 0\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	1	$[1,2,0,16,32,0,64,128]$
				$\left(1122\right)$	3	$[1,0,0,4,14,36,52,136]$
				$\left(1212\right)$	3	$[1,0,0,8,14,24,60,136]$
		Corollary 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,1,2,24,70,88,218,324]\end{array}$
				$\left(1212\right)$	2	$[1,0,4,14,52,50,228,380]$
				$\left(1122\right)$	2	$[1,0,2,16,22,112,196,380]$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& b& 0\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	2	$\begin{array}{c}[1,0,2,18,14,16,80,112]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,4,0,22,14,68,134]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,2,10,16,4,76,134]\end{array}$
		Corollary 4	7	$\left(1000\right)$	2	$\begin{array}{c}[1,0,4,24,54,92,260,294]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,6,14,44,54,234,376]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,8,6,32,82,236,364]\end{array}$
				$\left(1100\right)$	2	$\begin{array}{c}[1,0,4,18,42,74,194,396]\end{array}$
				$\left(0012\right)$	2	$\begin{array}{c}[1,0,2,42,110,160,218,196]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& b& d\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	3	$\begin{array}{c}[1,0,0,22,12,0,112,96]\end{array}$
				$\left(1122\right)$	3	$\begin{array}{c}[1,0,0,4,12,24,82,120]\end{array}$
				$\left(1212\right)$	3	$\begin{array}{c}[1,0,0,16,12,0,82,132]\end{array}$
		Corollary 4	7	$\left(1000\right)$	2	$\begin{array}{c}[1,0,2,30,50,88,266,292]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,2,10,28,76,274,338]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,2,24,38,52,236,376]\end{array}$
				$\left(1100\right)$	2	$\begin{array}{c}[1,0,2,12,26,106,212,370]\end{array}$
	$\left(\begin{array}{cccc}a& b& a& a\\ 0& 0& b& 0\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,2,2,12,34,16,32,144]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,2,4,10,22,82,122]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,2,10,16,4,76,134]\end{array}$
				$\left(1100\right)$	1	$\begin{array}{c}[1,2,0,2,12,36,54,136]\end{array}$
		Corollary 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,2,6,26,76,126,96,396]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,2,10,40,76,238,362]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,4,18,42,56,230,378]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,2,12,30,74,254,354]\end{array}$
				$\left(1100\right)$	1	$\begin{array}{c}[1,2,2,8,26,100,228,362]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& 0\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,4,6,34,76,48,208,352]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,4,10,38,80,226,370]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,4,14,52,50,228,380]\end{array}$
		Corollary 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,4,10,56,182,314,708,912]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,8,36,74,244,800,1024]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,10,32,124,206,732,1082]\end{array}$
		Theorem 6	7	$\left(1000\right)$	1	$\begin{array}{c}[1,4,6,34,76,48,208,352]\end{array}$
				$\left(2112\right)$	2	$\begin{array}{c}[1,0,2,4,10,22,82,122]\end{array}$
				$\left(2222\right)$	1	$\begin{array}{c}[1,2,2,18,58,106,242,300]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& 0\end{array}\right)$	Theorem 7	8	$\left(0110\right)$, $\left(1001\right)$	1	$\begin{array}{c}[1,4,10,52,136,322,1324,\\ 2776,1936]\end{array}$
				$\left(0110\right)$, $\left(0120\right)$	1	$\begin{array}{c}[1,4,6,58,220,384,1120,\\ 2656,2112]\end{array}$
				$\left(1020\right)$, $\left(0102\right)$	1	$\begin{array}{c}[1,2,28,98,174,970,\\ 2816,0,2472]\end{array}$
				$\left(0202\right)$, $\left(1010\right)$	1	$\begin{array}{c}[1,2,46,170,354,1276,\\ 2744,1968,0]\end{array}$
				(1002), $\left(0110\right)$	2	$\begin{array}{c}[1,0,14,40,60,320,958,\\ 2424,2744]\end{array}$
				$\left(2001\right)$, $\left(0210\right)$	2	$\begin{array}{c}[1,0,8,46,66,356,1006,\\ 2202,2876]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& b\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	1	$[1,2,6,40,56,48,256,320]$
				$\left(1122\right)$	1	$\begin{array}{c}[1,2,4,8,30,86,234,364]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,2,24,38,52,236,376]\end{array}$
				$\left(1112\right)$	1	$\begin{array}{c}[1,2,6,34,44,12,226,404]\end{array}$
		Corollary 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,4,12,70,160,276,784,880]\end{array}$
				$\left(1212\right)$	1	$\begin{array}{c}[1,2,12,28,62,258,808,1016]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,6,46,108,210,736,1080]\end{array}$
				$\left(1112\right)$	1	$\begin{array}{c}[1,4,12,52,124,168,694,1132]\end{array}$
		Theorem 6	7	(2000)	1	$\begin{array}{c}[1,8,30,82,176,240,646,1004]\end{array}$
				$\left(2121\right)$	2	$\begin{array}{c}[1,2,30,100,170,240,628,1016]\end{array}$
				$\left(0021\right)$	1	$\begin{array}{c}[1,2,30,118,314,672,718,332]\end{array}$
		Theorem 7	8	$\left(1100\right)$, $\left(1200\right)$	1	$\begin{array}{c}[1,2,6,64,152,288,1312,\\ 2816,1920]\end{array}$
				$\left(1100\right)$, $\left(0011\right)$	2	$\begin{array}{c}[1,0,2,58,150,344,1318,\\ 2712,1976]\end{array}$
				$\left(1001\right)$, $\left(0110\right)$	1	$\begin{array}{c}[1,2,6,100,188,108,\\ 1276,3104,1776]\end{array}$
				$\left(2001\right)$, $\left(0110\right)$	1	$\begin{array}{c}[1,2,6,46,80,108,1006,\\ 2888,2424]\end{array}$
				$\left(1010\right)$, $\left(0101\right)$	2	$\begin{array}{c}[1,0,2,58,150,344,1318,\\ 2712,1976]\end{array}$
				$\left(1010\right)$, $\left(0102\right)$	2	$\begin{array}{c}[1,0,18,100,276,720,\\ 2338,3108]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& b\\ 0& 0& b& d\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	2	$\begin{array}{c}[1,0,12,34,42,96,208,336]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,12,10,60,42,196,408]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,6,16,36,66,226,378]\end{array}$
				$\left(1112\right)$	1	$\begin{array}{c}[1,2,4,26,12,68,252,364]\end{array}$
		Corollary 4	7	$\left(1000\right)$	2	$\begin{array}{c}[1,0,20,54,170,322,710,910]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,20,30,104,232,698,1102]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,14,30,110,220,734,1078]\end{array}$
				$\left(1112\right)$	1	$\begin{array}{c}[1,4,8,42,96,190,794,1052]\end{array}$
		Theorem 6	7	(2000)	2	$\begin{array}{c}[1,0,42,70,210,210,640,1014]\end{array}$
				$\left(2121\right)$	1	$\begin{array}{c}[1,6,24,106,342,660,712,336]\end{array}$
		Theorem 7	8	$\left(1100\right)$, $\left(1200\right)$	2	$\begin{array}{c}[1,0,12,58,90,384,1408,2592,2016]\end{array}$
				$\left(1100\right)$, $\left(0011\right)$	2	$\begin{array}{c}[1,0,8,58,114,368,1372,2640,\\ 2000]\end{array}$
				$\left(2001\right)$, $\left(0110\right)$	1	$\begin{array}{c}[1,4,4,16,82,208,982,2776,\\ 2488]\end{array}$
				$\left(1010\right)$, $\left(0102\right)$	2	$\begin{array}{c}[1,0,18,82,168,252,1168,\\ 3000,1872]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& b& 0& 0\\ 0& 0& b& d\end{array}\right)$	Theorem 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,2,6,40,56,48,256,320]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,2,16,34,76,232,368]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,2,24,38,52,236,376]\end{array}$
		Corollary 4	7	$\left(1000\right)$	2	$\begin{array}{c}[1,2,12,64,170,312,718,908]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,8,36,74,244,800,1024]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,6,46,108,210,736,1080]\end{array}$
		Theorem 6	7	(2000)	1	$\begin{array}{c}[1,2,30,100,170,240,628,1016]\end{array}$
				$\left(0021\right)$	1	$\begin{array}{c}[1,8,30,100,320,672,736,320]\end{array}$
		Theorem 7	8	$\left(1100\right)$, $\left(1200\right)$	1	$\begin{array}{c}[1,2,6,64,152,288,1312,\\ 2816,1920]\end{array}$
				$\left(2001\right)$, $\left(0110\right)$	2	$\begin{array}{c}[1,0,2,40,78,164,1012,\\ 2784,2480]\end{array}$
				$\left(1010\right)$, $\left(0102\right)$	2	$\begin{array}{c}[1,0,10,40,192,412,1084,2850,1972]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& a& a& e\end{array}\right)$	Theorem 7	8	$\left(1100\right)$, $\left(0011\right)$	3	$\begin{array}{c}[1,0,0,34,96,0,1024,3072,2304]\end{array}$
		Theorem 6	7	(2000)	1	$\begin{array}{c}[1,2,30,100,170,240,628,1016]\end{array}$
		Theorem 4	7	$\left(1122\right)$	3	$\begin{array}{c}[1,0,0,40,48,0,256,384]\end{array}$
				$\left(1212\right)$	3	$\begin{array}{c}[1,0,0,16,24,72,280,336]\end{array}$
		Corollary 4	7	$\left(1000\right)$	2	$\begin{array}{c}[1,0,2,48,122,196,734,1084]\end{array}$
				$\left(1212\right)$	2	$\begin{array}{c}[1,0,4,20,70,230,924,938]\end{array}$
				$\left(1122\right)$	2	$\begin{array}{c}[1,0,2,48,122,196,734,1084]\end{array}$
	$\left(\begin{array}{cccc}a& 0& a& a\\ 0& a& a& e\\ 0& 0& b& 0\\ 0& 0& 0& b\end{array}\right)$	Theorem 9	8	$\left(1100\right)$, $\left(0011\right)$	1	$\begin{array}{c}[1,16,112,880,5440,1907,83008,\\ 222208,200704]\end{array}$
		Theorem 4	7	$\left(1122\right)$	1	$\begin{array}{c}[1,4,10,68,296,872,2118,3192]\end{array}$
				$\left(1212\right)$	1	$\begin{array}{c}[1,4,12,124,376,600,2188,3256]\end{array}$
				$\left(1000\right)$	1	$\begin{array}{c}[1,8,24,256,512,192,1984,3584]\end{array}$
		Corollary 4	7	$\left(1000\right)$	1	$\begin{array}{c}[1,10,42,334,1168,1920,6352,9856]\end{array}$
				$\left(1212\right)$	1	$\begin{array}{c}[1,6,24,124,648,2550,7606,8724]\end{array}$
				$\left(1122\right)$	1	$\begin{array}{c}[1,4,24,190,910,2370,6928,9256]\end{array}$

5. Conclusions

In this study, we have derived and used propagation rules over a non-unital ring of order 9 to generate self-orthogonal, self-dual and quasi self-dual codes. Combining this generating technique with mass formulas, we have classified the three categories of codes above completely in length at most $3,$ and partially in length 4 and 5 up to monomial equivalence. Mass formula computations show that some codes in each category exist in lengths $n=4,5$ that cannot be constructed by the propagation rules we derived. It is a challenging open problem to complete the classification in these cases, either by deriving alternative propagation rules or by employing some other construction technique.