RESEARCH

Open Access

A symmetry model for genetic coding via a wallpaper group composed of the traditional four bases and an imaginary base E: Towards category theory-like systematization of molecular/genetic biology

Jitsuki Sawamura1*, Shigeru Morishita2 and Jun Ishigooka1

* Correspondence: sawamura.jitsuki@twmu.ac.jp department of Psychiatry, Tokyo Women's MedicalUniversity, Tokyo, Japan

Full list of author information is available at the end of the article

Abstract

Background: Previously, we suggested prototypal models that describe some clinical states based on group postulates. Here, we demonstrate a group/category theory-like model for molecular/genetic biology as an alternative application of our previous model. Specifically, we focus on deoxyribonucleic acid (DNA) base sequences.

Results: We construct a wallpaper pattern based on a five-letter cruciform motif with letters C, A, T, G, and E. Whereas the first four letters represent the standard DNA bases, the fifth is introduced for ease in formulating group operations that reproduce insertions and deletions of DNA base sequences. A basic group Z5 = {r, u, d, l, n} of operations is defined for the wallpaper pattern, with which a sequence of points can be generated corresponding to changes of a base in a DNA sequence by following the orbit of a point of the pattern under operations in group Z5. Other manipulations of DNA sequence can be treated using a vector-like notation 'Dj' corresponding to a DNA sequence but based on the five-letter base set; also, 'Dj's are expressed graphically. Insertions and deletions of a series of letters 'E' are admitted to assist in describing DNA recombination. Likewise, a vector-like notation Rj can be constructed for sequences of ribonucleic acid (RNA). The wallpaper group B = {Z5X», •} (an »-fold Cartesian product of Z5) acts on Dj (or Rj) yielding changes to Dj (or Rj) denoted by 'DjoB(j^k) = Dk' (or 'RjoB(j^k) = Rk'). Based on the operations of this group, two types of groups—a modulo 5 linear group and a rotational group over the Gaussian plane, acting on the five bases—are linked as parts of the wallpaper group for broader applications. As a result, changes, insertions/deletions and DNA (RNA) recombination (partial/total conversion) are described. As an exploratory study, a notation for the canonical "central dogma" via a category theory-like way is presented for future developments.

Conclusions: Despite the large incompleteness of our methodology, there is fertile ground to consider a symmetry model for genetic coding based on our specific wallpaper group. A more integrated formulation containing "central dogma" for future molecular/genetic biology remains to be explored.

Keywords: DNA (RNA) bases, Imaginary base, Wallpaper group, Operation, Cartesian vector, Category, Central dogma

© 2014 Sawamura et al.; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Central Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and

reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.

Background

Group theory is the cornerstone in classifying and studying abstract concepts involving symmetry [1,2]. In general, when group theory is used in various fields of natural sciences, it plays an important role in describing geometrical or dynamical symmetries of phenomena under consideration; examples include mathematics [3,4], physics [5-8], chemistry [9], molecular/genetic biology [10-22], and anthropology [23]. Moreover, much fertile ground still exists where group theory can display its versatility from a multitude of viewpoints. To our knowledge, one such candidate is molecular/genetic biology where group theory has already provided great contributions [10-22].

Deoxyribonucleic acid (DNA) is a nucleic acid containing genetic instructions coded in ordered sequences of four bases located in genes that determine specific genetic characteristics of an organism. In the canonical Watson-Crick DNA base pairing, adenine (A) forms a base pair with thymine (T) and guanine (G) forms a base pair with cytosine (C) [24-26]. Similarly, ribonucleic acid (RNA), which has various biological roles, is a molecule that has a much shorter chain of nucleotides. The sequence of DNA consisting of bases A, C, T and G' is transcribed into RNA, composed of bases 'A, C, U and G'; the sets differ in that 'U (uracil)' replaces 'T (thymine)'.

Over the latter half of the 20th century, the nature of the genetic code became fairly well established. As for the coding sequences of DNA into nucleotide units, one needs to build up more general, sophisticated, rationally functionalized systematics concerning DNA base sequences that will enable genes to be understood at the molecular biology level in more optimized form. Indeed, many approaches have been undertaken to describe gene characteristics from various viewpoints within the participating disciplines [24-42]. In particular, the concept of 'symmetry' for DNA sequences plays an important role in understanding their characteristics.

However, each has its advantages and disadvantages in terms of utility and convenience in applications. To our knowledge, so far, if we intend to incorporate a sequence of bases into another sequence and/or exclude certain bases from that substitution, we need to look further afield because normally, sequencing and inserting-deleting operations cannot help in distinguishing one from the other. That means that multiple types of operations are necessary if features of DNA containing exceptional sequences are to be treated.

Previously, we suggested prototypal models that describe some clinical states based on group postulates [43]. In this article, we demonstrate a group/category theory-like model for molecular/genetic biology as an alternative application of our previous model. Specifically, focusing on DNA base sequences, we present a simple model where not only changes in sequences of DNA bases but also insertion, deletion, and recombination (partial/total conversion) of DNA bases are treatable within some simple rules via the combination of a set and a group defined over some specific wallpaper pattern. Moreover, a category theory-like formalism, where a description of the DNA bases and their transcription to RNA bases can be made, is attempted from which a category theory-like framework is constructed requiring as few and as simple rules as possible. As an example, by assimilating the canonical "central dogma" [26], we hope to provoke more interactivity among those interested branches of natural science, if possible. The methodology consists of eight parts, the content of which is built-up step-by-step as scope is enlarged to encompass the more advanced themes.

§1 A preliminary setting describing a wallpaper pattern used as a symmetry model for DNA sequences

First, we consider a certain wallpaper pattern that helps us to visualize the operations of the present model (see Figure 1) [2,44-47]. There, the pattern comprises repetitions of a cruciform motif with each motif consisting of five letters E, C, A, T, and G with the latter four letters equally spaced at the points of a cross about a central E. The motif generates the pattern through a translation specified as a knight's move in chess—two steps out and one step right. In this way, the grid-points in this regular wallpaper pattern can be obtained uniquely and be extended indefinitely. Note also that each horizontal line is generated by repetitions of the sequence E-C-A-T-G. Moreover, the line above is a displaced copy of the one below with letter A placed directly above letter E. This preserves the condition that any cruciform is composed of one each of the five letters.

The wallpaper pattern as an array of cruciforms is capable of being constructed as stacks of a unit cell (the 5x5 square enclosed in the dotted line in Figure 1) by horizontal and vertical translations [2,44-47]. The positions of the bases of the cruciform motif are so determined to make it easier to determine the complementary base of each base; the practical applications are clarified later. We introduce the letter 'E' to indicate an 'empty' base which is treated in the same way as the other bases at least for display purposes. This five-base scheme is adopted to aid the notion of group composition in our model.

In addition, we focus on a point 'P' on the wallpaper pattern (i.e., the grid-point array in Figure 1), to compose a certain DNA base sequence. In accordance with this, we shall always adjoin a series of letters that are determined as a trajectory of the point 'P'—also called the 'orbit of P'—over the wallpaper pattern. For instance, when we identify or recognize some changes of DNA bases with 'P' moving from 'A ^ C ^ E'

Figure 1 Wallpaper pattern using the five bases. A point 'P' is assumed to move step-by-step over the wallpaper-like grid-point array where four DNA bases 'C, A, T, G' and imaginary 'E' forming the cruciform motif is used to generate the pattern. The unit cellenclosed by the blue dashed line can also be used to establish the pattern.

over the wallpaper pattern, then this represents a series of changes to one base located at a specific position of a DNA sequence in the manner 'ACE...' or '...A...' ^'... C...' ^ '...E...'. The 'orbit of P' can describe series of sequences of DNA bases, or series of changes of each letters in the same places, although, in this article, we focus mainly on the latter case, without provisory context.

With these postulates, we consider the set C5 = {C, A, T, G, E}. If the point 'P' moves onto an 'E', 'E' must be included and identified in the series of letters, as in 'ACGET', for example. This is interpreted as the series of DNA bases 'ACGT'. Thus, 'E' depends on context; that is, 'E' can be inserted or removed from any series where we would like to include or eliminate 'E's so long as these are recognized/tracked in the entire process. When read from left to right, the place number of each letter in the series is subscripted, as in A1C2G3T4'. After insertions/deletions, the place number is augmented/diminished depending on initial and final positions; hence following three insertions 'A1C2G3T4' ^' AiE2C3G4E5E6T7'; this means the point 'P' takes the place 'E' once between A1 and C3, and twice between G4 and T7 over the wallpaper pattern in Figure 1. More details are to be given later.

As a further refinement, the orbit of 'P' can be stated as a sequence of shift operations as follows; let 'r' denote a move one step to the right corresponding to say A ^ T, T ^ G or G ^ E. Similarly, we denote 'l': move one step to the left as for C ^ E, and E ^ G; 'u': move one step up; and'd': move down. We include 'n' to designate a 'no move' (remain at the same point). A sequence of 'r, 'u, 'd, 'l' and 'n' then provides a position-independent means to describe the orbit of 'P'; any of these five operations can be applied to any of the five letters. We denote their operations on 'P' in the following way. If point 'P' moves from 'E' to 'C' (step to the right), we write 'Eor = C' where '◦' signifies apply 'r' to 'E' (see Figure 1). In a similar way, 'Eol = G, 'Eou = A, 'E°d = T' and 'Eon = E'. Note though that each operator means a change of one base to another base within these five bases; the meaning of '=' is not the degree of translation but equivalence to the resultant base from the wallpaper pattern.

To shorten multiple applications of the operations, we introduce '•' to denote the composition of two operations, for example, '((Eor)ou) = Eor^u'. From Figure 1, we find 'Eod = T' yields the same change as 'Eor^u = T'. As other examples, 'r^r^d = n' results in 'r^r = u, and 'd^d^l = n' results in 'd^d = r, because from Figure 1, 'Eor^r = Eou = A, and 'Eod^d = Eor = C. All possible one-step changes between letters 'C, A, T, G, E' and operators 'r, u, d, l, n, and all possible compositions of operators for the wallpaper pattern of Figure 1 are presented in Figures 2 and 3, and Appendix A.

The binary compositions among the five operations 'r, u, d, l and n' can be shown to satisfy the Abelian group postulates (wallpaper group/plane symmetry group/plane crystallographic group [2-4,44-47]). Indeed, let Z5 = {r, u, d, l, n}, then {Z5, •} is the Abelian group of order five. That is, for all elements e Z5, we have:

1) Associativity: x^(y^z) = (x^y)^z, (x, y or z being arbitrary elements belonging to Z5);

2) Identity: 'n' is an identity element such that x^n = n^x = x;

3) Inverse: a unique element x-1 exists such that x^ x-1 = x-1^x = n (x-1 is called the inverse element of x);

4) Commutativity: x^y = y^x,

5) Closure: any combination of operations between x^y belongs to Z5.

o r (<->0)l) u (<-hfl2) d (<->0)3) 1 (<-»(¡04) n (<-hd5=g)o)

E c A T G E

C A T G E C

A T G E C A

T G E C A T

G E C A T G

'<-»': bijection

Figure 2 Cayley tables for the five bases and five operations of linear/rotational groups. Any of the

five operations on any of five bases yields a base in a cyclic order.

• r (<-><»i) u (<-hd2) d (<->0)3) 1 (<-»(¡04) n (<-h»5=(do)

r (<-k0i) u (<->0)2) d (<->№3) 1 (<->co4) n (<-ho5=coo) r (<-h0i)

u (<-«02) d (<-»to3) 1 (<-»004) n (<->a)5=<Bo) r (<-»toi) u («-»CO 2)

d (<-h»3) 1 (<-»(»4) n (<-h»5=<do) r (<-x»l) u (<-»(¡02) d G-KO3)

1 (<->(114) n (<-x»5=<d0) r (<-►<»1) u (<-►<»2) d (<-»0)3) 1 (<-W

n (<-KO5=a>0) r (<->c0i) u (<->0)2) d (<-ko3) 1 (<->0)4) n (<-Ko5=a)o)

'<->': bijection

Figure 3 Cayley tables for the linear group, rotational group and wallpaper group for five bases.

This confirms the bijection between the wallpaper group and rotationalgroup.

Therefore, Z5 is an Abelian group [2-4,44-47]. The inverses for each of the elements are:

which can be used to complete the composition table—also known as the Cayley table of the group.

We further stipulate that when we perform these operations, then we always assume/identify the coding of the sequence of DNA bases in accordance with these operations, and vice versa. This is because the action of 'u' on E yields base 'A, that of 'd' on 'E' yields base 'T, that of 'l' on 'E' yield base 'G, and naturally that of n' on E' results in the same E'. For a more complex example, we might insert a certain series of 'A's in 'ACCGT' between the 3rd and 4th base. To begin, we decide to write this manipulation as follows: ACC( )GT' is transformed into ACC (E)GT' by inserting 'E'. Next, because the operation 'u' to the new 4th component 'E' yields 'E ^ A' ( ACCGT' ^ 'ACCAGT'), and vice versa, that is, 'd' operating on the 4th component 'A' produces 'A ^ E' ( ACCAGT' ^ 'ACCGT'). In this way, appropriate use of 'E's through the adequate combination of operators of Z5 enables to express inclusion and/or exclusion of any base between bases in a DNA sequence. To indicate this, we adopt a vector-like description with an infinite number of E's being assumed to be present at the end of any given base sequence. This means the point P' takes E's an infinite number of times over the wallpaper pattern (Figure 1); i.e.,

(j: the number of the sequence, N: the number of single-stranded DNA bases of 'Dj's except for the infinite tail of 'E's; in the above case, N = 8)

In the last expression (2b), 'E3' is inserted before the 3rd component 'G3' and 6th component 'A6' marked by '( )' in formula (2a), and the place numbers of all components to the right of the 3rd component are all incremented by '1, those to the right of the 6th component; by '1 + 2'. Likewise, we assume that the deletion of any E's that are already displayed in Dj is always permissible according to need with the place numbers being decreased by the necessary size.

Essentially, we regard the subscripted place number of a component of Dj, e.g., '3' of A3, as a convenient place mark to help in recognizing and counting the order of sequences. Place numbers remain fixed when performing operations within a series of operations during code recognition of bases. However, for an operation, another place number is always permissible in principle, from where indexing of a specific DNA base sequence starts. Alternatively, we use the following notation to describe various cases:

1) we denote by '{Dj}' a sequence 'Dj' where specified 'E's other than the trailing series of 'E's are implicitly implied but the place number indexing is retained; i.e.,

r-1 = l, l-1 = r, u-1 = d, d-1 = u, n-1 = n,

— [C1| T2 (E3 ) G4 | A5 | T6 (E7 | E8 ) A9 | A10 | C111E12 | E13 | E141E15 | E16

{Dj} — [C1 | T2 | G4 | A5 | T6 | A9 | A10 | C11| E12 | E13 | E14| E15 | E16 | —

Here, the explicitly indicated place numbers are the same as in (2b) and missing subscripted place numbers indicate omitted 'E's. Hence, (3a) without trailing 'E's and subscripts represents an ordinal/conventional DNA sequence. 2) we denote by '<Dj>' a sequence 'Dj' where specified explicit 'E's other than the trailing 'E's are deleted (changed into implicit 'E's) and the base sequence is re-indexed with sequential place numbers, i.e.,

< Dj >— [C1 | T2 | G3 | A4 | T5 | A6 | A7 | Cb| E91 E101 En| E121 E131 —]. (3b)

Note that E's other than the trailing E's are not recognized as explicit components and hence are not indexed. Additional insertions/deletions of E's are permitted after deletions of E's; therefore, apart from the trailing E's, (3b) signifies an ordinal/conventional DNA sequence.

Although equivalent to CTGATAAC' as an actual DNA sequence expressions, related expressions {Dj} and <Dj> differ from each other; the former retains all information regarding inserted E's and place numbers whereas the latter does not.

In an extension of the notation, a multiple sequence of deletions of E's (say t-times) can be written as a t-tuple of '< >'s denoted '<<<<Dj>>>> (t-tuple) = <Dj>t'. The final expression is without explicit E's other than those trailing at the end, and thus formulates a genuine DNA sequence after the appearance of indels. (Short for insertion/deletion markers, the idels are strings of mutated base pairs.) Similarly for the operation { }, we have '{{{Dj}}} (t-tuple) = {Dj}t'. The operations '{ }' and '< >' can be performed freely when necessary; if further indels occur at say G3' and A7' in

<Dj >= [C1IT2IG3IA4IT5IA6IA7ICBIE9IE10I Eu| E12IE13I — ], then < Dj > changes into <Dj1 > = [C1IT2(E3)A4IT5IA6(E7)CbIE9IE1oIEuIE12IE13I—], and subsequently into <<Dj1>> = [C1IT2IA3IT4IA5IC61E7IE8IE9IE101E111 — ]. The sequence < Dj1 > contains implicit 'E's aside from the trailing 'E's, and can be written as

{<Dj1>} = [C1|T2|A4|T5|A6|C8|E9|E1o|E11|E12|E13|.]. Naturally, {<DjX>} and < D^ > are equivalent, but < <D;1> > and < D;1 > differ. Moreover, as long as place numbers are recognized/traced precisely, combinations of manipulations '{ }' and '< >' are allowed; e.g., {<{{<Dj1>}}>}. Hence, with appropriate use, we could treat (read, interpret, describe, record) conventional sequences of DNA via '{Dj}' or '<Dj>'. However, below we shall focus on simple sequences 'Dj'. Looking at the beginning of a base sequence as in the following:

Dj — [C1 | G2 | A3 | C4|...| Ti | | AN-1 | TN|EN+1 | EN+2 | EN+3 |

(i: i-th component of Dj, N: the number bases Dj) a directionality for any Dj can be imposed;

Dj(5^3) — [C1 | G2 | A3 | C4 | | Ti| | AN-1 | TN| EN+1 | EN+2 | EN+3 |

Dj (3^5) — [T1 | A2 | .| TN+1-i |...| CN-3 | AN-2 | GN-1 | CN| EN+1 | EN+2 | EN+3| •

The notation, '(5 —■ 3)' and '(3 —■ 5), is simply an additional label representing the two possible types of endings of single-stranded DNA. Nonetheless, when the number of bases is finite, two sequences can be equivalent, as for example

Dj(5—3) = [Ci|G2|A3|C4|T5|A6|T7]

Dj(3—5) = [Ti|A2|T3|C4|A5|G6|C7],

unless the prime endings <5'(five prime) —■ 3'(three prime) > or <3' —■ 5' > accompanies the sequence designation.

In accordance with these postulates, we now can define the set D = {Dj (j = 1,2,3,...)| Dj e C5xC5xC5x ... (N times, N < as the set of all possible sequences of recognized N-tuple single-stranded DNA bases. We can regard N to be a positive integer or infinity.

An analogous definition is clearly possible for the set R of RNA sequences; with 'T' substituted by 'U operations of group Z5, are similarly definable because all results obtained for DNA pertain to RNA under the base substitution. Thus, set R = {R (j = 1,2,3,...)| Rj e C5xC5xC5x ...(N times, N <^)} is the set of all possible sequences of recognized N-tuple single-stranded RNA bases with C5 = {C, A, U, G, E}.

§2 Group composition that yields changes in DNA bases via a Cartesian vector

Next, we can consider B = {Bm (m = 1,2,3,.) | Bm e Z5x Z5x Z5 x .(an N-fold product, N = = {Z5xN, •}, where elements of B act on any Dj. This means that Dj covers all possible sequences of the DNA bases, and this situation is the same for Rj of sequences of RNA bases.

Because B is a Cartesian product of the same Abelian group, it is also Abelian, where composition of any two elements of B is denoted by '•' [4]. Details are shown in Appendix B and Figure 3. Accordingly, its formulation as a group B = {Z5xN, •} is confirmed.

In a more general context, a Cartesian vector that is composed of the respective operators 'b(j—k)' that effects the change Dj into Dk is definable in the following way:

B(j—k) = [b(j—>k)1 |b(j—.k)2 |b(j—.k)31.1 b(j^k)i1.j b(j—k)(N-1) |b(j—k)N |nN+1jnN+2jnN+3j.•),

(N : the number of components).

Hence,

'Dj°B(j—k) = Dk'. (4)

Clearly, for arbitrary 'j' and k there exists a unique'm' such that 'Bj—k) = Bm (m = 1,2,3,.)'; despite the difference in notation, the two are identical in practice.

Here, we present a simple example that consists of a multiple product of 'B(j—k)'s. Consider the scenario that a certain sequence of a single strand (or one side of a double-strand) of DNA transitions from Dx to D3, in stepwise fashion,

D1 = [A1|C2|C3|G4|T5|E6|E7|...] = [A1IC2IC3OG4IT5IE6IE7I...], D2 = [A1|C2|C3(E4|E5)G6|T7|E8|E9 |...], D3 = [A1|C2|C3(A4|T5)G6|T7|E8|E,|...], D4 = [C1|T2|G3(T4|C5)G6|A7|E8|E9 |.].

We next consider the change 'Dx ^ D2'. There exists an operator 'B(^2) = [nx|n2|n3 (r4|u5)l6|d7|n8|n9|...]' that is able to produce this change, specifically, the insertion of two 'E's between 'C3' and 'G4' yields the change 'Dx ^ D2'. However, this sort of manipulation can be troublesome. Hence, in our model, insertion/deletion of E's are instead ascribed to the way the vector Dj is interpreted. This is preferable as this avoids easier manipulations. Next, we construct the operator 'B(2^3)' that maps 'D2 ^ D3' (the details are shown in Appendix C). With reference to Figures 1, 2 and 3, we find

B(2^3) — [n1 | n2 | n3 (u4 | ds)n6 | n7 | n8 | n9 | ...]•

In a similar manner,

B(3^4) — [l1 | u2 | d3(r4 | d5)n6 | l7 | n8 | n9 | ...]•

Naturally, the final D4 is obtained from D1 recursively

'D1^D2',

From the decomposition

'B(Hk) — B(H0) ^B(0^k) — Bj-1^Bk', we obtain 'Dj»B(j^k) — Dj'B(H0) ^B(0^k)

— D0^B(0^k) — Dk', (7)

D0 — [E1 | E2 | E3 | | Ei |...| EN-1 | EN| EN+1 | EN+2 | EN+3 | ..

denotes the identity element of D.

Note that the group operations can act on Dj irrespective of whether the E's are explicit or implicit as defined in §1. Moreover, any sequence 'Dj' can be presented as a polygonal line; as an example, the evolution of changes 'Di ^ D3' is displayed in Figure 4.

§3 Integration of a linear group and a rotational group as a wallpaper group

Looking at the definitions of groups Z5, D, and B, another approach is possible. The five bases can be represented by five equispaced phasors with a '2n/5' angular phase separation located on the unit circle on the Gaussian plane, as depicted in Figure 5.

Herein, in the Gaussian plane, if 'q' is defined to be the counterclockwise rotational angle 'q = 2tx/5 (rad)' and composition of 'q' is denoted '•, then assuming 'q' obeys the right translation rule', we have

M = Ml,

m • m = 2m = m2,

m • m • m = 3m = m3 , (9)

m • m • m • m = 4m = m4,

m • m • m • m • m = 5m = m5 = Mo = 0 (= no rotation).

The general form of an arbitrary base is expressed as 'Xm ^ Exp(m ■ m -i)' (here, 'i' is the 'imaginary unit', m = 2tx/5 (rad), m = {0, 1, 2, 3, 4, 5}). With {*} meaning one of the

D1= [A1C2C3( )G4T5E6E7...]

D2= [AiC2C3(E4E5)G6T7E8E9...]

D3= [AiC2C3(A4T5)G6T7E8E9^]

Figure 4 Graphical representations for changes of DNA sequences. Suppose next sequences; 'D1 = [A1C2C3( ^E^E*...]', 'D2 = [AC2C3(E4E5)G6T7E8E9E10...]' and 'D3 = [A^^^EsE^...]', a series of changes, 'D1 ^ D2 ^ D3' are drawn as three polygonal lines where each bases are linked also in the definition of group Z5. There, we recognize not the locations of 'D's but mere alphabets, indexed number and shapes.

bases among 'C, A, T, G and E, we construct the following map. Denoting composition by '◦, Qm acts on the identity trivially and hence yields the correspondences

Exp(0.i)^{Exp(0.a.i)} = {1} = {1} °a0 = E = Xo, Exp(2ni=5)^{Exp(l.a:i)} = {1}°a1 = C = X1, Exp(4ni/5)^{Exp(2.a.i)} = {1}»«2 = A = X2, Exp(6ni/5)^{Exp(3:a.i)} = {1}°a3 = T = X3, Exp(8ni/5)^{Exp(4.«:i)} = {1}°a4 = G = X4, X5 = Xo = E.

Expanding the operations for q2, q3, ...' on bases 'C, A, T, G and E', we establish for instance:

E»q1 = C, C»q1 = A, A°q2 = G, T»q3 = C, G°q;L = E.

Imaginary axis

Gaussian plane

Figure 5 A phasor diagram using the five bases over the Gaussian plane. The five nucleic acid bases labelthe points equispaced on the unit circle to form the fivefold phasor diagram over the Gaussian plane. With 'w' defining the counterclockwise rotation by '2n/5 (rad)' around the origin in the Gaussian plane, composition of angles under modulo 5 addition generates a representation of the cyclic group. The complex units X = {Exp(m • w • i)}, (i: imaginary unit, m: integer) following as a bijection angles to the plane; The bases are assigned to each phase: 'Exp(0 • w -i) = Exp(5 • w -i) =1 ^ E', 'Exp(1 • w -i) ^ C', 'Exp(2 • w -i) ^ A', 'Exp(3 • w -i) ^ T', 'Exp(4 • w -i) ^ G'.

In continuance, the set PQ = {ooi, Q2, Q3, Q4, Qq (= Q5)} is readily confirmed to form group {PQ, •} where the identity element is 'q0' and the inverse of 'Qm' is 'Qm':

"0~ = "0,

"1- = "4,

"3- = "2,

"5- = "0 = 0

Closure and associativity follow from (9) and (10).

Here, if we turn our attention to the wallpaper pattern, a further bijection obeying the postulates of the wallpaper group can be confirmed. Corresponding to Figures 3 and 6 a bijection between the Cayley Tables for translational and rotational operations can be established:

r ^ q = q1 ; u ^ 2q = w2,

d ^ 3q = q3, (12)

l ^ 4q = w4, n ^ 5q = q5 = Q0 = 0.

Naturally, inverses (e.g., q-1 = q3) are preserved in accordance with the inverses for 'r, u, d, l, and n'. Any right translation of the horizontal line in Figures 1 and 6

groups: 'r = w1, u ^ 2w = w2, d ^ 3w = w3, l ^ 4w = w4, n ^ w0 = w5 = 0'. Transitions in the four directions of the cruciform are expressible as rotations of the fivefold phasor diagram in the Gaussian plane. In other words, the linear operation and the rotational operation of the five bases are synthesized into a unique scheme (wallpaper pattern).

(translational group) is also expressible as a rotation over the fivefold phasor diagram in Figure 5 (rotational group). Thus, these are able to be regarded as a synthesized form of the wallpaper style (wallpaper group) from which expressions such as 'Aor = A0^ = T = Eod' and 'Aol = Aoq4 =C = Eor' can be confirmed. All possible one-step changes between 'A, C, T, G and E' and 'q^ q2, "3, Q4 and q0,' are shown in Figure 2.

Therefore, this rule for 'E' does not break the postulates for set D, group Z5, and group B.

§4 Methods to obtain complementary sequences from primary DNA

Suppose, from among 'C, A, T, G and E, a base 'Xm' is given; its complementary base 'Xmf' to 'Xm' is defined as follows; for 'Xm = {Exp(m ■ q ■ i)}, m = {0, 1, 2, 3, 4, 5}, then 'Xmf' is obtained by 'Xmf = {Exp((5 - m) ■ q ■ i)}, where '{Exp(5 ■ q ■ i)} = {1} = E'. In this regard,

'X5+ = X0 = X0+ = X5' (13)

The procedure yields specifically 'Af = T' and 'C = G'. Clearly, the complement of 'E' is 'E' itself; E = E'.

Another notation for the 'Xm' expressed as a base can be given. We introduce the one-value function 'QX(m)' that provides the same results,

'Xm=QX(m) = E-mw = (mtimes))'(m = 0,1,2,..., 5). (14)

As for'm' in (14), both positive and negative integers are permissible. Thus, ' Xmf' is expressible as

Xmf=QX(5-m) = E-(5-m)Q = ('5-m'times))'(m = 0,1, 2, 3,4, 5).

A simple example is illustrated below.

Suppose 'Dj' = [A1IT2IC3IE4IG5IT6I.] = [QX(2)|QX(3)|QX(1)|QX(0)|QX(4)|QX(3)|.], then,

'j = [QX(5-2)|QX(5-3)|QX(5-1)|Q X(5-0)|QX(5-4)|Q X(5-3)|...],

= [QX(3)|QX(2)|QX(4)|QX(0)|QX(1)|QX(2)|...], (16)

= [T1|A2|G3|E4 |Cs|A6|.].

In accordance with the wallpaper group in Figure 1, the translations in one direction (e.g., right) over a horizontal line form a cyclic group Pr that contains only {r, r2, r3, r4, re (= r0 = r5 = n)}. This group is isomorphic with group PQ = {q1, q2, q3, q4, q0 (= q5)}, as is the group similarly generated over a vertical line. Similar to 'QX(m), 'Xm' can be expressed using another one-value function rX(m) = Eor"':

Xm=rX(m) = E-rm = E°(r^...^r (m times)) (m = 0,1, 2, 3,4, 5). (17)

Hence, 'Xmf' (the complementary base of 'Xm') is written as

Xmf=rX(5-m) = E-r5-m = E°(r^...^r ('5-m'times)). (18)

Extension to vertical translations is straightforward; 'Xm=uX(5) = E-u5 = E°(u^...^u (m times)), (19)

and its complementary base 'Xmf' can be identified similarly although the order of letters are somewhat different. Consider the following simple example in identifying 'Djf' using 'rX(m)'s;

for 'Dj' = [A1|T2|C3|E4|G5|T6|...] = [rX(2)|rX(3)|rX(1)|rX(0)|rX(4)|rX(3)|...],

by replacing 'QX(m)' by 'rX(m)' in formula (15), the same result is obtained.

According to these rules, 'X1ob[X1^ X4] = X1°r3 = Eor4 = G'. In general, when the i-th component 'b[Xm1 —» Xm2] i

of 'B(m1—m2)' changes Xm1 (= Eorm =E°(m1Q)) to Xm2

(= E-rm2 = E-(m2Q)).

Hence, the highlighted form of the operator vector is expressed as

B(m1—m2) = [••• |b[Xm1—Xm2] i|-] = [. |rm2-m1i| .] = [... | (m2-m1 )q i|...]. (20)

For a further example, given the operator 'B(j—k)' that changes Dj to Dk,

Dj = [C1| A2 |E3 | . |Ci| . |TN-1| AN|EN+1 |EN+2|EN+3 | ,

= [E-r11|E-r22|E-r03 |.|E-r1i|.|E-r3N-1|E-r2N|E-r°N+i|E-r0N+2|E-r°N+3|.],

Dk = [G1 | T2 | C3| . • •| Gi |. • •| CN-1 | TN| EN+1 | EN+2 | EN+3 | ,

= [E-r41 | E-r32 | E-r131 ... | E-r4i | ... | E-r1N-1 | E-r3N | E-r°N+i | E-r°N+2 | E-r°N+3 |...].

With details shown in Appendix D, B(j— k)' takes the form

B(j—k) = [r31|r12|r13 | ...| r3i|...| r3N-1|r1N|r°N+l|r°N+2|r°N+31 .••].

Naturally, the state Dk is obtained through recursively applying the operations, Dj ◦B0—k) = Dk. (Details are presented in Appendix D).

Whereas 'D^'s might have components in reverse order in terms of sense (5' or 3'), there exists however certain 'Dk' such that 'Dk = Djt, (j, k = 0, 1, 2, 3, 4,.)'. With this, 'Djf' is one of the ordinal elements belonging to the same set D. Thus, the symbol't' need only be present when elements are distinct.

§5 Further unifying notation to describe the wallpaper group operation

Consider Figure 6; we assume that the number of right translations 'r' e group P„ (or q e group Pr) is 'a' and the number of up translations 'u' e group P (or 2q (= q2) e group Pr) is 'b' with a, b = .,-2, -1, 0, 1, 2,.. Similarly, with 'd ^ 3q' 'l ^ 4q, the total change can be summarized as x[a, b]'. We can confirm that there exists at least a pair of a, b' that satisfies

'X = E-x[a, b]', (21)

because any base in Figure 6 can be obtained by a finite number of transitions from E'. For instance, A can be expressed as; 'A = Eox[0, 1] = Eox[2, 0] = Eox[1,3] = Eox[2,3] = Eox [4,4]'. However, we remark that 'x[a, b]' means changes of bases from one to another prescribed by the wallpaper pattern. In practice, 'x[a, b] = ra^ub' constitutes a multiple composition of elements of group Z5. In addition, 'x[-a, -b] = r-a^u-b = la^db' or ^ '(-a)w^(-b)(2w) = (-a-2b)w'. E.g., 'x[-3, -2] means 'r-3^u-2 = l3^d2' or ^ '(-3)q^(-2 ■ 2) (q) = (-3 -4)q = (-7)q = (-2)q = 3q = q3'.

For the wallpaper group, the a' and b' should be interpreted in modulo 5 addition. The Cayley table for the wallpaper group are presented in Appendix A.

Within 'the square unit cell' in Figure 1 or 6, there are five pairs of 'a, b' for each base, as for 'A'. Under modulo 5 addition, 'x[a + 5, b + 5] = x[a, b]' holds. Moreover, if 'Xt' is obtained from 'X' using 'X = Eox[a, b], 'Xt' can be determined as

'Xt = E-x-1 [a, b] = E-x[-a, -b]', (22)

or 'Xt = E-x[5-a, 5-b]', (23)

because X' and Xt' are symmetrically disposed with respect to E' over the wallpaper pattern that would be selected as a standard for the definition of a, b'. In practice, for

an arbitrary 'X, 'Xf' can be obtained via (22) or (23) by making use of an arbitrary 'E' as the reference point for the symmetry.

For example, if 'G = Eox[1,2], then according to (22) G = Eox-1[1,2] = Eox[-2, -1] = C or according to (23) Gt = Eox[1,2] = Eox[3,4] = C'. There are an infinite number of identifications for the complementary base for an arbitrary base 'X'. Moreover, if we define the composition for the 'x[a, b]'s as

'x[a1, b1]*x[a2, b2] = x[a1, b1 ] + x[a1, a2] = x[a1 + a2, b1 + b2]', (24)

we can confirm descriptions (20), (22) and (23). As for the operators 'Bm, with 'Dj' expressed as 'Dj = [,„|Eox[ai, bi] i|—], one of the candidates of the appropriate 'B(^jt)'s that produces 'DjoB(jWjt) = D^' is identified:

B0^jt) = [—|x[-2ah —2bii | —] = [,..|r-2aW2bii|...] = [,..|l2aW2bii|...], (25a)

or = [— |r-2ai.(r2)-2bii| — = [—|r-2ai-4bii|—] = [—|l2ai+4bii|—] (using 'u = r2','d = l2'),

or^[— |(-2ai)Q*(-2bi)-(2w) i|—] = [—|(-2ai-4bi)wi| — (using'rm^mw','um^2mw').

The exponents '-2ai -4bi' in (25b) are permitted to take positive or negative integer values.

In these expressions, the rules for the wallpaper group (25a) can also be expressed as either for the linear group or for the rotational group (25b or 25c). More generally,

'Dj = [—|Eox[a0)i, b0)i] i|—]' is changed into 'Dk = [—|Eox[aWi, bwJ i|—], and 'B(j^k)'s that provides 'DjoB(^k) = Dj' is identified as

B0^k) = [—|xa(k)i-a0)i, b(k)i-b0)ii |—] = [—|ra(k)i-a(()i^ub(k)i-b(()ii)—) |= | l-a(k)i+a()i • d-b(k)i+bO)ii | — j .

Also, = [—|ra(k)i-a0)i• (r2)b(k'i-b('ii | —j = [—|ra(k)i-a0)i+2b(k)i-2b0)ii| — | , (26b)

orelse^ [—| (a(k)i-aO)0"•^b(k)i-bO)0 Qi|—] = [—Ka(k)i a()i + 2b(k)i-2b(j)0Qi■

As mentioned in §1, if a certain sequence 'X' has sense <5' ^ 3'>, the complementary sequence 'X^' of a certain sequence 'X' is reversed to <3' ^ 5' >. To aid understanding, we present the following examples: Given

Dj = [A1 | T2 | E3 Ci | . | Gn-1

= [E-x[0, 1]1|E-x[0, -1]2||E°x[0, 0]3|.|E-x[1, 0]i|. .|E-x[-1, 0]n-1 |E-x[0, 1]n|E-x[0, °]N+1|E-x[0, 0]N+2|E-x[0,

then, according to (22), 'Dj' is simply

Djt = [E»x-1[0,1]1|E-x-1[0, 1 ]2 | E-x-1[0, 0]a | ...

.|E-x-1[1,0]i|...|E>x-1[-1, 0]n-1|e.x-1[0, 1]n|E-x-1[0, 0]n+i|E-x-1 [0,0]n+2|E.x-1[0,0]n+3|.j, = [E-xO, -1]1 | E-x[0,1 ]2| E-x[0, 0]a | ...

...|E»x[-1,0]|... |E-x[1, 0]n-1|e-x[0, -1]n|E-x[0, 0]n+i|E.x[0, 0]n+2|E.x[0, °]n+31.], = [T1 | A2 | E3 |... | Gi | ... | cn-1 | tn | En+i | en+2 | en+3 |...].

If we use the optional formula (25a - c), the relation 'DjoB(j—jt) = Djj' is derived. Details are given in Appendix E.

Apart from these examples, additional identities for the wallpaper group can be verified using Figure 1 or 6; e.g.,

'x[1,0]»x[0,1] = x[1,0] + x[0,1] (= r»u) = x[1 + 0,0 + 1] = x[1,1] = x[0, -1](= d)', 'x[2, 0](= r»r) = x[0,1] = u'.'x[3,1]»x[-1,10] = x[3-1,1 + 10] = x[2,11] = x[2,1]

= r2»u1 = (r»r)»u = u»u = l'. We develop various general formulas: 'x[a + 5, b] = x[a, b]', 'x[a, b + 5]= x[a, b]',

'x[2a, -a] = x[0, 0]', 'x[a, 2a] = x[0,0]', (27)

'x[-2a, a] = x[o, o]', 'x[-a, -2a] = x[0, 0]'.

Other unknown rules might underlie the wallpaper pattern.

Concerning style in treating the wallpaper group, examples 'Xm = rX(m) in (16, 17, 19), and QX(m) in (14, 15, 20) could be regarded as a specific combination that are displayed as

'Xm=rX(m) =QX(m) = E-x[a, 0] (a = ..., -2, -1,0,1,2,..., 5,6,...; integer)'. (28)

§6 Treatment of changes of sequences and the insertion/deletion of DNA bases via an optionally generalized operation

Below, we demonstrate, using several examples containing 'E's, changes and inclusion/ exclusion of DNA bases using a more generalized scheme.

For definiteness, let 'Dj' be the sequence 'CGTAT.C.TAJ we consider the change of its '1-3' components 'C1G2T3' into 'G1T2A3, and moreover the insertion of two bases 'GC' between 'T3' and 'A4' denoted '()':

Dj = [C(()1| G(()2 | T(()3 () A(j)4 | . | C(j)i | . | T( )N-1| A( )N |E(()N+1 |E(()N+2 |E(()N+3 | . •

We denote the result of this transformation as Dk,

Dk = [G(k)1 |T(k)2 |A(k)3(G(k)4| C(k)5)A(k)6| .| C(k)i+2| .| T(k)N+11 A(k)N+2 |E(k)N+3 |E(k)N+41 E(k)N+5--- |

The procedure from D to Dk is described recursively to find operator B( — h).

First, two 'E's are inserted after the 3rd component (this change is denoted 'Dj —■ Dh') in preparation for insertion of 'GC';

Dj *Dh = [C(h)l|G(h)2|T(h)3(E(h)4|E(h)5)A(h)4+2| —|C(h)i+2 | —

I II I I I V30]

— I T(h)N-1+2 I A(h)N+2 I E(h)N+1+2 | E(h)N+2+2 | E(h)N+3+2 | —] ■

Thus, 'B(j^h)

= [b[C—C]1 |b[G—>G]2 |b[T—T]3 (b[G—E]4 |b[C—>E]5)b[A—►A]6 | — |b[C—>C]i| — |b[T—T]N-11b[A—'■

This change is in accordance with those rules for vector-like 'Dj's dependent upon

Hence, the operator B(h—k) that produces the change from Dh to Dk is described as:

B(h^k) = [b[C^G]1|b[G^T]2|b[T^A]3(b[E^G]4|b[E^C]5)b[A^A]6| — — |b[C^C]i+2 | — |b[T^T]N+1 |b[A^A]N+2 |b[E^E]N+3 |b[E^E]N+4 |b[E^E]N+5 |

Thereby,

Dh-B(h^k)

= [Ci"b[c^G]l|G2"b[G^T]2|T3"b[T^A]3 (E4"b[E^G]4 | E5 "bp^C^)A6-b[A^A]6 — Ci =b[c^C]i+21 — TN+1 "b[T^T]N+1 AN+2 "b[A^A]N+2|EN+3 "b[E^E]N+3|EN+4,'b[E^E]N+4|EN+5,'b[E^E]N+5| —]-

With reference to Figure 1, 2, 6 or Appendix A,

= [C1 -d11G2 -l21T3 -l3 (E4 I4 | E5 T5) A -n6 | — | Ci+2 -ni+2 | — (33)

—| TN+1 "nN+1| AN+2 "nN+2| EN+3 °nN+3 | EN+4 °nN+4| EN+5 °nN+5| —] ;

= [G1 | T2 | A3 (G4 | C5 ) A6 | — | Ci+2 | — | TN+1 | AN+2 | EN+3 | EN+4 | EN+5 | —] ; (34)

= Dk.(29).

This indicates a code change of the '1-3' components and a 'GC' insertion after the 3rd as described via the two steps: 1) Dj ^ Dh (inserting two 'E's after the '3rd' component), and 2) Dh oB(h^k) = Dk. Note that the exclusion of the '4-5' components 'GC' from Dk and the transformation of the '1-3' components from 'GTA' to 'CGT' constitute the recursive procedure for the inverse operator

'B(k^h) = B(h^k)-1' (35)

Alternatively, 'Dh ^ Dj' is obtained by deleting the two 'E's from the '4-5' components of Dh to yield the initial state 'Dj' in accordance with the characteristics of the vector-like 'Dj's.

In summary, essentially, all transitions (changes and inclusion/exclusion) of a certain sequence within the same single-stranded DNA, whether it has finite or infinite length, can be described in principle within a single operation using only the unique operator B(— ) e group B.

§7 Synthesis of changes, insertion/deletion, and recombination of DNA bases

As a further development, to demonstrate recombination, take two finite sequences 'GETAGT (= Dc1)' and 'ATAGCTA (= Dd1)'. These have vector expressions

Dc1 = [G1E2T3A4G5T | E7E8E9...], (36)

= [G(c1)1 I E(c1)2 I T(c1)3 I A(c1)4 IG (c1)5 I T(c1)6 I E(c1)7 | E(c1)8 | E(c1)9 | • • -],

Dd1 = [A1T2A3G4C5T6A7 | E8E9E10.], (37)

= [A(d1)1 |T(d1)2 | A(d1)3 | G(d1)4 |C(d1)5 |T(d1)6 | A(d1)7 |E(d1)8 |E(d1)9 |E(d1)10 | •••] .

To illustrate for the pair Dc1 and Dd1, we consider recombination to take place between the sequence 'T3A4G5T6' of the (3-6)-th component of 'Dc1' and the 'AGCTA' of the (3-7)-th component of Dd1' at the same instant.

First, in the pair of sequences, a series of E's of complementary size is inserted in 'Dc1' just before the sequence to be converted, and in 'Dd1' just after the sequence to be converted. For example, for 'Dc1', five 'E's, 'EEEEE, of size equivalent to that of 'A3G4C5T6A7' of 'Dd1', are inserted just before 'T3' in 'Dc1' where 'A3G4C5T6A7' is to be located, that is, the interval between 'the 2nd 'E2' and 3rd 'T3' within 'Dc1'. Under this procedure, Dc1 changes into Dc2:

Dc2 = [G1 E2 (EEEEE)T3+5 A4+5 G5+5T6+5 | E7+5E8+5E9+5...], (38)

= [G1E2 (EEEEE) T8A9G10T111 E^E^E^...].

Here, we assume that EEEEE' is changed into A3G4C5T6A7' (originally, the (3-7)-th component of 'Dd1'). In addition, 'T8A9G10Tn' is transformed into the same number of 'E's, 'EEEE, at the same time. By this process, 'Dc2' changes in 'Dc3':

Dc3 = [G1E2(A3G4C5T6A7 ^E 10E11 | E12E13E14.]. (39)

Note that bold type and underline are here merely pedagogical aids to help identify sequence changes. Meanwhile, four 'E's 'EEEE' equivalent in size to 'T3A4G5T6' of 'Dc1' would be inserted after 'A7' of 'Dd1' where 'T3A4G5T6' of 'Dc1' is to be located within 'Dd1'. That is, 'T3A4G5T6' is inserted into the interval between the 7th 'A7' and 8th 'E8' within 'Dd1'. In this procedure, Dd1 changes into Dd2:

Dd2 = |^A1T2A3G4C5T6A7 (EEEE)E8+4E9+4E10+4"-J ,

= [A1T2A3G4C5T6A7 (EEEE)E12E13E14...] .

Furthermore, we change EEEE' into the equivalent-sized T8A9G10T11' (originally, the (3-6)-th components of 'Dc1') while 'A3G4C5T6 A7' is transformed into the equivalent-sized EEEEE'. Through this procedure, Dd2' changes in Dd3':

Dd3 = (T8A9G1°Tn)E12E13E14. (41)

As a result, if we omit the infinite series of E's from right end, we have the recombination (partial conversion between this pair of sequences from 'Dc1, Dd1') with 'Dc1' = 'G1E2T3A4G5T6' being transformed into 'Dc3' = 'G1E2A3G4C5T6A7' and 'Dd1' = 'A1T2A3G4C5T6A7' being transformed into 'Dd3' = 'A1T2T3A4G5T6'. We

define the manipulation of the recombination (partial/total conversion) between 'Dc1, Dd1' in this way.

In the initial stage in the previous illustration, we inserted different sizes of 'E' sequences in each line; however, processes ' Dc1 — Dc2' and 'Dd1 — Dd2' are preferred to be regarded as E' insertions/deletions (see comments prior to equation (5)) and this rule depends upon the characteristics of these vectors (e.g., Dj's).

As previously explained, the operations can be performed in any of the three equivalent linear group, rotational group, and wallpaper group. Choosing the wallpaper group,

Dc2 -B(c2—c3)

= [G1 -n! | E2 -n2(E3-U3 | E4 -I4 | E5T5| Eg-dg | E7-U7)Ts-us | A9'd9 | G10-r10 | Tn-un | E12-ni2 | El3-ni3 | Ei4-ni4 | —],

= [G1 | E2(A3 | G4 | C5 | Tg | A7)Es|E9 | 1 | 1 | E12 | E13 | E14 | —], = Dc3,

where B(c2—c3) = [n1 | n2(u3 | I4 | r5 | dg | u7)us|d9 |r10 | un | n12 | n13 | n14 | —]■ Also,

Dd2 -B(d2—d3)

= [Ai-nx | T2-n2 | A3-d3 | G4°r4 |C5 -I5 |T6-u6 | A7-d7

(Eg -dg | E9 -U9 | E10 -110 | E11 -dn )E12 -n12 | E13 •n13 | E14 -n4 | — ], = [A1 | T2 |E3 114 |Es He || (Tg | A9 | G10 | T11)E12 | E13 | E14 | —],

= Dd3,

where B(d2—d3) = [n | n2 | da | r4 | l5 | u6 |d7 (dg | U9 | I10 | dn )n12 | n13 | n14 | —]. With respect to (42) and (44), the inverse identities are confirmed:

B(c2—c3)-1 = B(d2—d3) ■ (46)

Generally, B(_—_) giving transition 'Dc2 — Dc3' automatically produces an inverse change for 'Dd2 — Dd3', as stated in (46) and reduces troublesome manipulations, even if only partially.

§8 Further applications of the composition category-like prototypal model using additional ribonucleic acid (RNA)

We next comment on other possible applications of the model. The category theorylike construction for treating DNA transcription to RNA might be conceivable, and the combination of the set and the group can comprise a category when these satisfy category theory postulates [48,49]. That is because we believe that in future developments the discussion should embrace category theory as one of the important options.

To begin, according to our description for handling E's, it seems difficult to define inverse elements in a group theoretical way when there are deletions of E's from any place in a sequence because we cannot find sufficient numbers of E's in the target component of Dj.

Thus, we consider the 'morphism f' that transforms the sequence of DNA bases within set D as follows [48,49].

morphism f : X — X, dom(f) = Dj, cod(f) = Dk. Object 'X' is the set of 'Dj's. There exists a morphism '1X' such that '1X^f= f= f^1X' for every 'morphism f', when '1X' = [n1|n2|n3| —|ni| —|nN-1|nN|—] (e group B). If supplemented, the 'morphisms f'

comprise 'group B' (see reference list in Figure 7). The group composition for 'f1' and 'f2' is denoted 'f1*f2'.

As mentioned earlier, sequences of DNA consisting of bases 'C, A, T, and G' are transcribed into RNA consisting of 'C, A, U, and G'. This process can be regarded as the combination of two manipulation; I) transcription from the original DNA sequences (Dj) to those of its complement (D^), and II) alternation from ' C, A, T, and G' to 'C, A, U, and G' (D^ ^ Rj1) (both are illustrated in Figure 8).

Step I

The transformation from the original DNA bases Dj' into the complementary sequence 'D> (e.g., 'TCATEAGCTGA.' ^ AGTAETCGACT...') (for transcription to pre-messenger RNA (pre-mRNA) before splicing) can be performed via the manipulation (13-15, 17, 18, 20, 22, 23, 25a-c) in §3 and §4. 'D/' can be obtained via the linear group (17, 18, 20), the rotational group (14, 15, 20) and also the wallpaper group (21-23, 25a-c, 26a-c). Thereby, morphism p : X ^ Y, dom(p) = Dj, cod(p) = Djj. Object 'Y' is the set of 'Dj's (essentially equivalent to the set of 'Dj's). There exist morphisms '1X' and '1Y' such that '1Y»p = p = p*1X' for 'morphism p', where

'1x = 1y = [n1 | n2 | n31 ... | ni |... | nN-1 | nN | ...]'. (47)

However, in practice, morphism p is one of the Bm's e group B (see Figures 7 and 8).

Morphism f: X—»X. (f: Dj —> Di). Source object: X (= set D), target object: X (= set

D), dom(f) = Dj, cod(f) = Dk. Practically, morphism f is one of the 'Bm's (e group B).

Morphism p : X—>Y. (p: Dj —» Dj*). Source object: X (= set D), target object: Y (=set

D), dom(p) = Dj, cod(p) = Dj*. Practically, morphism p is one of'Bm's (e group B).

Morphism t : Y—>Z. (t: Djt —> Rj1). Source object: Y (= set D), target object: Z

(= set R), dom(x) = Djf, cod(x) = Rj1.

Morphism g = p»i: X—»Z. (g: Dj —> Rjf). Source object: X (= set D), target object: Z

(= set R), dom(g) = Dj, cod(g) = Rj1.

Morphism h: Z-»Z. (h: 'Rj1 —>■ Rj1' or 'Rj Rj'). Source object: Z (= set R),

target object: Z (= set R), dom(h) = Rj1, cod(h) = Rj1. (Rj1, Rj e set R)

Like morphism f, morphism h is one of the 'Bm's (e group B).

Morphism j: Z—>Zs. (j: 'Rj1 —► Rsj+' or 'Rj —> Rsj'). Source object: Z (= set R),

target object: Zs (= set Rs), dom(j) = R^, cod(j) = Rsjf. (Rsjf, Rsj e set Rs)

Figure 7 Definition of category C. A simplistic definition of category C treating the traditional'central dogma" is presented. In practice, any selection of operations (morphisms) is permissible because composition within the category C using any of the three operations belonging to the 'linear group', 'rotational group' or 'wallpaper group' is considered possible. The morphisms f and h correspond to elements 'Bm' of group B, the only difference being the Ts and 'U's. Actually, morphism j is regarded as part of morphism h ('j's and 'set R' are also substitutable for 'Rs^'s and 'set Rs1); all morphisms except for Y an 'g' satisfy the group postulates, and are treated as operations of group B.

Object X (Set D)

[Oiphism f

Dj = [T|C|A|T|E|A|G|C|T|G|A|...]

I | morphism p

—Jmorphism f)

- ObjectY (Set D) -

Dit=[A|G|T|A|E|T|C|G|A|C|T|...] complement - arvDNAs

morphism T

- Object Z (Set R) —

Rjt= [A|G|U|A|E|U|C|G|A|C|U|...]

orphism h

morphism j

Object Zs (Set Rs) -

RSjt = [A|E|E|E|E|U|C|G|A|C|U|...]

pre-mRNAs J

e.g., intron; 2-4th bases 'GUA'

The procedure for transcription from a primary singlestrand DNA to a pre-mRNA

The procedure for splicing from a pre-mRNA to amRNA

Towards translation of RNA for synthesis of protein with (e.g.) <Rsj'> = [AUCGACU...]

Figure 8 Example of a category theory-like scheme on canonical "central dogma" and reference chart. The features of DNA sequencing involving changes, insertion/deletion, and recombination, can receive a group theoretic treatment. A single-stranded 'Dj' ("sense" of double-stranded DNA) is transformed into its complementary sequence 'DjJ' (same as its 'anti-sense') or remains in the same 'Dj' by morphism p. A single-stranded 'DjJ' (same as the "anti-sense" of 'Dj') without discrimination for directions (<5' ^ 3' > or <3' ^ 5'>) is transformed into its pre-messenger RNA (pre-mRNA; 'RjJ') containing 'introns' that are not used in protein synthesis, or remains in the same 'j by morphism t. Then, 'j is transcribed into mature RNA (mRNA; 'Rs^') through RNA splicing. After either the simultaneous deletion of allexplicit 'E's from 'Rs^'s, <RsjJ > 1 (=< Rs^>), or through a sequence of deletions, <RsJ > t (t = 0, 1, 2,...) with additional idels, protein synthesis can be described in subsequent procedures of this scheme. Objects X and Y are in set D, and object Z is in set R; however, object Zs is in set Rs, which is a part of set Z. Over set Rs, group operations are not definable at present.

Step II

Next, we define manipulations that change the above 'DjJ' into 'RjJ' where all 'T's are converted into 'U's; e.g., (DjJ=) [A|G|T|A|E|T|C|G|A|C|T|—] — (RjJ=) [A|G|U|A|E|U| C|G|A|C|U|—]'.

This process can also be expressed in a similar way as transcription. morphism t : Y — Z, dom(T) = D/, cod(p) = RjJ. Object 'Z' is the set of 'RjJ's. There exist morphisms '1Y' and '1Z' such that '1z^t = t = t^1y' for every 'morphism t', where

'1y = 1Z = [n1 | n2 | n31 — | ni | — | nN-1 | nN | —]'■ (48)

(refer to Figures 7 and 8).

Evidently, morphism t does not satisfy the group postulates because the source object 'Y and target object Z' are different and a single set of operations cannot be defined at this stage.

Additionally, as for Steps I and II, the resultant process for morphisms p and t can be expressed as:

morphism g = p^T : X—Z, (49)

dom(g) = Dj, cod(g) = Rjt (see Figures 7 and 8).

There exist morphisms '1X' and '1Z' such that '1Z^g = g = g^x:'- (50)

The only difference between DjJ and Rj is the appearance 'T' and 'U' in the sequences.

Naturally, for RNA base sequences, similar treatments are possible in the single group B:

morphism h : Z ^ Z, dom(h) = Rjj, cod(h) = Rkj (Figures 7 and 8).

There exists morphism '1Z' such that '1Z»h = h = h»1Z'. (51)

Ordinarily, in prokaryotic cells, the DNA sequences are transcribed along their entire length. For eukaryotic cell, a splicing process is needed using nascent pre-messenger RNA (pre-mRNA) where introns of DNA bases are removed and exons are joined before producing a correct protein through translation, resulting in the mature messenger RNA (mRNA). Thus, the previous procedure was about the prokaryotic cell or the pre-translation of pre-mRNA in the eukaryotic cell. Therefore, to treat the products after this RNA splicing procedure in the eukaryotic cell, the following approach might be possible. The removal of introns can be regarded as changes from a certain series of bases to E's as follows.

If 'GUA' is removed from 'A(GUA)EUCGACU...' to become A( )EUCGACU..., this procedure can be described as; 'Rjj ^ Rsjj,

' Rjt = [A1(G2 | U3 | A4 )E5 | U6 | C7 | G8 | A9 | C10 | U111 E12 | E13 | E14 | •]', (52)

'Rsjt = [A1(E2 | E3 | E4 )E5 | U6 | C7 | G8 | A9 | C10 | U111 E12 | E13 | E14 | •..]'. (53)

The 'Rs^' form a set Rs = {Rs^ (j = 1,2,3,.)} that is a part of set R (see Figures 7 and 8).

Hereon, we admit 'E's in the sequences of RNAs (as elements of set Rs) during the operations before morphism f' and after morphism j' to maintain theoretical consistency. Thus, if the result of a series of these maps is 'Rs; j = A1E2E3E4E5U6C7-G8A9C10U11E12E13E14., then the actual RNA sequence should be interpreted as AUC...'. Specifically, an equivalent-sized substitution of some bases in pre-mRNA with 'E's can be written morphism j: Z ^ Zs, dom(j) = Rjj, cod(j) = Rs;j. There exists a morphism '1Zs' such that '1Zs»j = j =j*1Zs'.

'j' changes some series of bases from 'C, A, U, G, E' to an equivalent-sized series of E's within the partial operations of the group B. However, morphism j' fails the group axioms, as inverse might not be definable.

Finally, as in §1, we apply the simultaneous deletions of all explicit 'E's of mRNA other than the trailing 'E's, the state after these deletions being denoted with '< >'; for

' Rsjt = [A 1E2E3E4E5U6 C7 G8 A9 C10U11E^E^E^...]

= [A1 (E2E3E4 )E5U6C7G8A9C10U11E12E13E14•••]',

the description '<Rsjj >= [A1U2C3G4A5C6U7...]' is specified without explicit non-trailing 'E's. In this regard, as in §1, if some indels (insertions/deletions) occur at certain bases of<Rsjj>, as for '<Rsj1j >= [A1U2(E3)G4(E5)C6U7.]' (with the deletion of 'C3' and 'A5'), we state the result as '<<Rsj1j>> = [A1U2G3C4U5.]'. 'Rjj's include < Rsjj >s and '<<Rsjj> > s from the set R and both still satisfy the postulates of group B. This rule is a relative postulate and explicit 'E's are not absolutely forbidden in '<Rsjj>'s or '<<Rsjj>>'s, hence further indels of 'E's into '<Rsjj>'s or '<<Rsjj>>'s are not forbidden.

Also, omissions of explicit 'E's are considered as in '{<Rsj1j>} = [A1U2G4C6U7.], where place numbers 3' and 5' are absent indicating implicitly their presence in the vector. (Note that all products belong to group B.) Similarly, t-tuples of '< >'s are denoted '<<<<Rsjt>>>> (t-tuple) = <Rsjj>t' representing multiple deletions of 'E's (t-times).

Combinations of symbols '{ }' and '< >' are also allowed when necessary, as for example {<{{<Rsj1>}}>}, as long as the subscripted place numbers are adequately recognized/traced.

Nevertheless, the multiple use of '< >' to remove all 'E's in the vector 'Rs/' should have a unique meaning with regard to protein synthesis. As a result, the subsequent reading/translation in line with 'codon'-like '[AUC|GAC|U...]', '[A|UCG|ACU|—]' or '[AU|CGA|CU—]' leads in an ordinal way to a description of protein synthesis. Through the use of '{ }' and/or '< >', the concept 'E' may have benefits, although this may need to be intensely explored in future studies.

The procedure reversing transcription, found for example in retrovirus, is also de-scribable if additional options are added to the scheme. However, these options are omitted at this stage to keep the model simple.

In summary, suppose we have a category C' with objects X', Y', Z', Zs' and morphisms 'f', 'p', 't', 'g', 'h' and 'j'. We affirm that these definitions satisfy the postulates of category. A list is given in Figure 7. Indeed, morphisms other than't' and 'g' are simple group-theoretical products. One of the reasons we have introduced the concept category' is that the translation from single-strand DNAs to RNAs is difficult or impossible to systematize as a group structure. Therefore, if we identify the differences, we can treat all manipulations, except for't' and 'g', based simply on group B.

The expression 'hom(X, X)' denotes all morphisms f: 'from X to X'. Likewise, 'hom(X, Y)' denotes all morphisms p: 'from X to Y'. In addition, 'hom(Y, Z)' denotes all morphisms t: 'from Y to Z, and hom(X, Z) denotes all morphism g: from X to Z. Then, hom (Z, Z) denotes all morphisms h: 'from Z to Z'. Finally, hom(Y, Z) denotes all morphism h: from Y to Z. (Details are displayed in Appendix F)

As is explained in §3 and §4, the rotational group can be regarded as a specific bijection of the wallpaper group [2,44-47], so, we can describe this relationship naturally in a category theory-like way where two categories C1 and C2 are linked.

First, we consider two categories C1 and C2 with a 'functor F' from C1 to C2 written 'F: C1 ^ C2'. For example, the pre-category C is denoted C1 and the product of functor F on category C1 is denoted C2 [48,49]. Note that the only difference between C1 and C2 is assumed to be the nature of its expression; morphism f1 = B1 (e category C1) is based on the wallpaper group in Figure 1 or 6; e.g.,

'B1 = [r1 | l2| u31 ...| ni |...| rN-1 | dN |—] = [.|x[ai, bi]i.O = [-1^*ubii|—] (e group B1)'.

Additionally, morphism f2 = B2 (e category C2) is based on the rotational group over the Gaussian plane in Figure 5; e.g.,

'B2 = ["111 "421 "2 31 — | "0 i | — |"1 N-11 «3 n | —] = [—| (ai + 2bi)" i | —] (e group B2)'.

With regard to the identity morphisms, we have

^X1 = 1Y1 = 1Z1 = 1Zs1 = [n1 | n2 | n3 | — | ni| — | nN-1 | nN | 1X2 = 1Y2 = 1Z2

= 1zs2 = ["011 "02 | "03 | — | "Oi | — | "0 N-11 "ON | —]. (56)

Herein, we view 'functor F: C1 ^ F(C1) (= C2)' in following way [48,49].

(Details are shown in Appendix G)

Note that a similar definition like the composition of Q based on the linear group and C2 based on rotational group is possible, being linked with 'functor F'.

This is satisfied provided an adequate definition of 'Functor F' is given, and we presume that the morphisms described previously formulates a model that renders one of forms of the canonical "central dogma" proposed by Crick in 1958 [26].

In the transcription of RNA bases, the 'RNA splicing' process is well-known, whereby 'intron sequences' are excised, and 'exon sequences' are combined to condense effectual information for further interpretation in protein synthesis. However, as for further processing of the triplets of bases e.g., ACG' and AUG! a considerable number of models have been reported e.g., [12,18-21,33,34,50]. We refrain from pursuing this issue at present.

Results

We added an imaginary base 'E' to the set of actual DNA bases, and composed group Z5 of basic translational operations on grid-points of a cruciform wallpaper pattern constructed of the five base letters. Moreover, using the same five letters, we integrated the wallpaper group as the combination of linear group over the horizontal line and the rotational group based on symmetries of a fivefold phasor diagram on the unit circle in the Gaussian plane. Additionally, changes in the sequences of the DNA bases are treated using set D, the set of all possible sequences of DNA bases that also contain E'. Also, 'Dj's are drawn as polygonal lines graphically. Moreover, by combining group Z5, the operators that rearrange bases of DNA sequences constitute the group B. Using these results, simple changes of sequences, insertions/deletions, and recombination of DNA bases are also treatable via a synthesis of group-theoretical operations between sets D and group B. Together with this, all results obtained for DNA pertain to RNA by replacing T with U. Using these tools, category theory-like language is introduced to describe the canonical "central dogma" that is expected to integrate DNA-based processes, although the overall profile and range of applicability is unclear at this stage. Alternatively, by introducing the manipulations '{ }' and '< >, operations on states of 'E's in 'Dj's/ 'Rj's, whether explicit or not, can be performed in parallel with the conventional description for DNA/RNA sequences.

Discussion

The issue treated in this article is, roughly speaking, the combination of two ideas: one is the wallpaper pattern in the context of DNA sequencing '§1 - §7', and the other is the tentative development towards systematization of molecular/genetic biology in the style of some category-theory-like description '§8'. Essentially, the two are different topics although strongly connected. The former is an independent study on symmetry modeling of DNA sequences, whereas the latter can be re-expressed using different material as long as the basic elements can be treated within a category-theory-like model satisfying group theory-like postulates.

In this article, we considered a group/category theory-like treatment devising an expedient E', grid-point array, and group operations to move over the array. We discussed whether and how a more synthesized description can be constructed, using simplistic postulates of group. Next, we take the basics of category theory to describe processes, although this is only at a preliminary stage.

For an application of our ideas, we have chosen DNA sequencing from the perspective of not only coding sequences of DNA bases but also describing insertions/deletions of DNA sequences using a single operation that is an element of a group. The expeditious E' permits inserting and/or deleting sequences depending on the purpose. Specific notation was introduced so that vector-like DNA sequences and operations can be composed as a set and a group.

Ordinarily, a method to describe DNA sequences is often limited in scope by focusing on only one aspect such as recognizing each base sequentially (e.g., A, G, T, A, C—from 'AGTAC—') [13,33-35], where an operation like 'rotation''transition' or 'conversion' based on a certain solid is often used. Another focus of attention is the rules for interpretation of codons in synthesizing proteins from DNA sequences. The rules are defined to capture the specific activity from the viewpoint of group-like operations [18-22].

It also enables us to treat three manipulations as one type of operation in the group, with easily-imaginable graphic displays such as Figure 4, although it is only an accessorial tool at this stage. Increasing the degree of freedom by one and integrating changes of coding and sequence recombination might yield some polysemous utility.

When inserting/deleting sequences of bases into the main DNA sequence, even if the endpoints of the base series are identified precisely, it appears that manipulations via E's are not always necessary. Nonetheless, to determine the final order of the bases in these cases, we must track base changes from one to the next (including E', even when lost or deleted). If we use the E'-assisted manipulations for coding, we need only to examine the inclusions; the rest remains unchanged in order. Additionally, we assume that when any operation is performed, the position and number of E's should be fixed so that the order of any component of Dj' or Bj' is not changed, at least, during operations (e.g., (A.7)). The exception is specifically the insertion/deletion of E's such as in (29-34) and (36-45).

We briefly point out the notational benefits of the imaginary E's. These are three; 1) to adjust the sorts (number) of bases in DNAs and RNAs (from '4' to '5'), thus enabling group-theoretical composition over the (two-dimensional) plane; 2) to link the nota-tional sequences of DNAs and mRNAs in a single format that can be used in a more compact database to record and analyze genetic information; and 3) to express sequences of DNAs/RNAs as a vector in three different ways: a) with explicit 'E's in the vector, b) with implicit E's in the vector, and c) with all E's omitted in the vector except the trailing E's. The last offers flexibility in storing world-wide genetic data in a single set. We suggest that exhaustiveness is one of the potentialities of the model adding versatility in addressing the possibilities of certain behaviors of DNA/RNA sequences. While that might be far from practical applications at this moment, a more rigorous methodology in the near future may yield a means.

Regarding style of the grid-point/cruciform/wallpaper pattern (Figure 1) in defining the group postulates, one of its advantages is that each base is surrounded by the four others. This symmetrical simplicity is absent in the linear group and the rotational group (Figures 1, 5 and 6), where the relative position of the five bases is fixed and thereby restrictive. Also, it might be crucial that the number 5' is key in enabling composition of the sort provided by the wallpaper group using the cruciform, and an identity element necessary to satisfy the group postulates. Being a prime, 5' will be convenient in further developments of the model exploiting algebraic structures such as rings or fields.

A similar synthesis might be possible between a modulo 7 additive rotational group based on a sevenfold phasor diagram with a space group depending upon six forward/ backward', up/down' and left/right' directions. In practice, a space group is formed that consists of three orthogonal cruciforms comprising the six directions (±x, ±y, ±z) with seven elemental operations {mu(up), md(down), mr(right), ml(left), mf(forward), mb (backward) and mn(no movement)}. These determine the operations of the group, which permute seven bases (prime number) or seven letter-like constituents. Analogous to the fivefold phasor diagram, we draw equispaced elements on the unit circle over the Gaussian plane; suppose 'f = 2n/7 (rad), then the set {f 1(= f), f2(= 2f), f3(= 3f), f4(= 4f), f5(= 5f), f6(= 6^), f 0(= f7 = 0)} parameterizes the rotational group [51], and both are, at least, in partial correspondence. We presume that, in extension, bringing together an n-dimensional space group (using the 2n + 1 elements associated with the ± n-directions and E) and a rotational group based on the n-fold phasor diagram on the unit circle (with 2n + 1 elements as points of the vertex of a polygon) might be possible. For this article, we have just focused on 'n = 2' in § 1—§8.

Apart from the above, the model based on the wallpaper pattern might have a close relationship with 'cellular automata' [52]. Appropriate definitions of the wallpaper pattern for the five bases might find an expression between groups and cellular automata [53].

One consideration concerns whether a more integrated/synthesized style to describe biomolecular processes is possible using only simple, primitive defining rules, in particular, when describing genetic processes such as DNA transcription and RNA synthesis of proteins. Whereas the group postulates might be too restrictive to define molecular behavior, category postulates might enable such schemes to proceed because its postulates are weaker than those defining a group. If the interpretation of DNA by messenger RNA is definable within category theory, and protein synthesis is expressible within the same theory, there might be advantages in having the molecular system classified and treated in a reduced size in the database. At least, we conjecture that these ideas might be valid when clarifying impossible phenomena associated with changes of DNA sequences, resulting in reducing unnecessary, recrementitious efforts or roundabout paths that might encroach on researchers' limited time for investigation. That issue might be avoided if the impossibility of certain themes was known beforehand. From this standpoint, we believe that a mathematical systematization (in a general and unexceptional manner) is crucially important for future molecular/genetic biology.

The limitations of the present model should be noted. First, the wallpaper pattern drawn in Figure 1 is one example of various patterns. In general, the wallpaper groups have been classified into seventeen categories [2,44-47]. There could be other types of patterns like Figure 1 and groups upon which to compose this sort of model. For instance, if we exchange all 'A's for all 'C's, and all 'G's for all 'T's in the model presented in this article, an almost equivalent model '§ 1—§8' is constructed. Other arrangements might provide still unknown advantages that enable models like ours to be treated in a more rational manner. It remains unclear how to construct an optimal method to determine models yielding the wallpaper pattern of Figure 1 and the bijection given in Figure 3, and to develop the categories presented in Figures 7 and 8. The best positions of the five bases should be examined under a rigorous methodology.

Second, a Cartesian vector is defined as a combination of components on which operations are conducted independently. Indeed, we can perform operations on the

i-th component of Dj of set D using the (i + 1)-th component of Bj by adding an 'E' any place before the (i-1)-th component of Dj. This is because the components after the i-th of Bj shift to the right within the vector Bj. Therefore, in appearance, the components at different positions are essentially spectators (e.g., a base C3' cannot change into either 'A5' or G5 by any Bj except via 'E'-assisted manipulations). In this case, after the insertion of two 'E's between the '2' and '3' components, 'C3+2(= C5)' can become either 'A5' or G5' by acting appropriately on Bj at C5. However, that might raise some confusion. For E'-assisted operations (such as 29-34, 38, 40), the results might change according to the place number of inserted/ deleted E's that yields the mis-matches between the i-th' component of Dj' and that of Bj'. We believe further studies are warranted to find a descriptive format for the model.

Third, as for the graphical displays of 'D's in Figure 4, although the sequences of 'Dm's (m = 1, 2, 3) are in reality the same, the respective expressions are not always unique because the presence of the imaginary 'E's changes the shape of each sequence; e.g.;D1 = [A1C2C3( )G4T5E6E7Eg—]' and 'D2 = [A1C2C3(E4E5)G6T7EgE9E10—]' are different over the wallpaper pattern despite being equivalent as real sequences. Although by use of electronic tools, these graphics might be of versatility for detection or identification of DNA sequences, these might produce other confusions in the present form. We hope that more appropriate devices would be performed in future study.

Fourth, DNA transcription to RNA and/or mRNA and translation of RNA and/or mRNA into proteins at the ribosomes are performed using a grammar rule based on a three-base set called a codon'. Codons have information to synthesize twenty types of proteins; for example, CAG' codes for glutamine'. As mentioned before, a number of approaches have been proposed exploit group-theoretic methods. These cover the rules for composition of triplet of bases XXX', the ways of reading codons, and models to compose geometric solids such as the tetrahedron and hexahedron, [i2,i8-2i,33,34,50]. The rules for treating this aspect (transcription and translation of DNA bases' information) are not established in the present article. In addition, there are specific types of codon, such as 'TAA' 'TGA' and 'TAG' which are presently classified as 'stop' or 'halt' commands. Aside from this, there are various rules related to biogenetic activities such as DNA repair, alternative splicing, transposition, and translocation. These specific characterizations are lacking in our model, so, further improvements on this issue are desirable.

Fifth, the traditional symmetry model of DNA bases often is based on the chemical types purine/pyrimidine', amino/keto', and strong/weak hydrogen binding' using bio-molecular characteristics, which often have advantages for their treatments where three-dimensional graphics aid the imagination, and "matricized' expressions are possible [29,35,36]. In our model, we merely use a rule for complementary pairing in §4 and §5. No restriction on couplings between 'C, A, T, G and E' is postulated in the present article. There might occur a number of combinations where non-realistic pairings of bases (e.g., 'A-G', 'C-C', and 'T-E') produce futilities and wastefulness in applications. We hope that future studies can solve this problem.

Sixth, there might be too many speculative conjectures with hypothetical situations those should be used to prove scientific facts using verified methods. Thus, a more

rigorous examination for a rational style with a more effective methodology is necessary.

Our model is far from a complete systematization. However, we believe that it is necessary that some principal breakthrough should be pursued if we intend to systemize a descriptive model, and that if appropriate definitions are devised, that might help to systemize biomolecular/genetic biology in a more optimized manner with greater sophistication to make a significant contribution to the field.

Conclusions

Within the large limitations of our methodology, it is considered that there is fertile ground where variants of the symmetry model for genetic coding based upon a specific wallpaper group are constructible. By integrating the linear group and rotational group over a specific wallpaper pattern, a more integrated formulation based on a group/category theory-like description is open to exploration in applications to a number of topics from molecular/genetic biology.

Appendix A

According to Figures 1, 3 and 6, the following relationships are confirmed straightforwardly between any bases and independently of the type of bases:

d«d = l»u = u»l = r»n = n»r = r, r«r = d»l = l»d = u»n = n»u = u,

l»l = r»u = u»r = d»n = n»d = d, (A.1)

u»u = r»d = d»r = l»n = n»l = l, n»n = r»l = l»r = u»d = d»u = n

Here the symbol signifies 'bijection' and the meaning of 'x[-1, 0]' is explained in §4. Hence, operators that are regarded to effect changes from one base to another can be re-expressed as illustrated in the following examples for various types of component

operations:

= = ¿[a^T] = b[T^G] = b[G^E] = r (^«1) = x[1,0], (A.2)

b[E^A] = b[A^G] = ¿[G^C] = ¿[C^T] = b[T^£] = u (^«2) = x[0,1], (A.3)

b\E^T] = b[T^C] = b[C^G] = b[G^A] = b[A^E] = d (^«3) = x[0, -1], (A.4)

b\E^G] = b[G^T] = b[T^A] = b[A^C] = b[C^E] = l (^«4) = x[-1,0], (A.5)

b[E^E] = b[C^C] = b[A^A] = b[T^T] = b[G^G] = n (^«0(= no rotation) = «5) = x[0, 0]

Appendix B

As for B,

1) Associativity: '(Bj^Bj^ = Bj^B^B])' holds for all positive integers j, k and l.

2) Identity: 'B0= [n1|n2|n3| ... |ni| ... |n( n - 1)|nn |nn +1 |nn + 2|nn + 31 ...]' is an identity element that satisfies ' B0^Bm = Bm^B0 = Bm'. (i = 1,2, 3,...;' ni (=n)' is an element of Z5 (no movement of the point P))

3) Inverses: there exists a unique 'B^' that satisfies 'Bm1^Bm = B^B^ = B0'. Actually, the components of the inverse are the inverses of each individual component.

4) Commutativity: 'B^Bk = Bk^Bj'.

5) Closure law: any 'Bj^Bk' belongs to the set B.

Appendix C

D2'B(2—4)

= [A1 | C2 | C3(E4 | E5)G6 | T7 | An | E8 | E9 | —]

•[n1 | n2 | n3(u4 | d5)n6 | n7 | n8 | n9 | — ] • [h | u2 | d3(r4 | ds)n | l7 | n8 | n9 | —],

= [A1-n1^l1 | C2-n2^u2 | C3-n3^d3(E4-U4^r4 | E5 -d5• d5)G6 -n6• n6| Ty-ny^ly | E8-n8^n8 | E9«n9^9 | — ]■

Again, with reference to Figure 1 or Appendix B,

= [A1»l1 | C2 °u2 | C3»d3 (E4-d4 | E5-r5)G6"n6 | T7»l7 | E8 ^ | E9 -n9 | —], = [C1 | T2 | G3(T4 | C5 )G6 | A7 | E8 | E9 | —]=D4^ ( ■)

Appendix D

Naturally, the series Dk is generated through the following sequence of operations:

R — i-4-1 „3-2 „1-0 I I „4-1 I I „1-3 I „3-2 „0-0 „0-0 „0-0 I 1

B(j—k) = [r 1 | r 2 | r 3 | — | r i | — | r N-1 | r N | r N+1 | r N+2 | r N+3 | —],

= [r31 | r12 | r13 | —| r3i| —| r-2N-1 | r1N| r0N+1 | ^N+2 | r0N+3| —];

_ T„3 |„1 |„1 I |„3 I „-2+5 |„1 |„0 |„0 |„0 I 1

= [r 1 | r 2 | r 31 — | r i | — | r N-1 | r N| r N+1 | r N+2 | r N+31 — ],

= [r31 | r12 | r13 | —| r3i | —| r3N-1 | r1N| ^N+1 | r0N+2 | r0N+3| —] ■

Dj"B(j—k)

= [C1 | A2 | E3 | — | Ci | — | TN_1 | An | En+1 | En+2 | En+3 | — ]-[r31 | r12 | r13 | — | r3i | —

— |r3N-1 |r1N | r0n+1 |r0n+2 |r°n+3 | —],

= [E.r11 | E.r22 | E«r°3 | — | E.r1i | — | E.r3N-1 | E-r2N | E-r0n+1 | E-r0n+2 | E-r0n+31—] »[r31 |r12 |r131 — | r3i| —

— | r3N-1 | r1N | r0n+1 | r0n+2 | r°n+3 | — ] = [E-r1+31 | E-r2^ | E.r0+13 | — | E.r1+3i | —

— | E-r3+V1 | E.r2+1N | E«r°n+1 | E°r°n+2 | E-r°n+31 — ], = [E-r1+31 | E.r2+12 | E-r0+13 | — | E.r1+3i | —

— | Et3+3n-1 | E-r3N | E-r0n+1 | E-r0n+2 | E-r0n+3 | —],

= [E-r41 | E«r32 | E.r13 | — | E«r4i | — | E-rV1 | E-r3N | E-r0n+1 | E-r0n+2 | E-r0n+3 | —], = [E-r41 | E«r32 | E-r13 | — | E-r4i | — | E-r6-V1 | E-r3N | E-A+1 | E-r0n+2 | E-r0n+3 | —],

= [E-r41 | E-r32 | E-r13 | — | E-r4i | — | E-rV1 | E-r3N | E-A+1 | E-A+2 | E-A+31—],

= [G1 | T2 | C3 | — | Gi |—| Cn-1 | Tn | En+1 | En+2 | En+3 |—] = D^

Appendix E

Drjit)

= [E-x[0,1]1 | E-x[0, 1 ]2| E-x[0, 0]3 | — |E-x[1,0]| —

— |E-x[-1, 0]N-1|E-x[0,1]n|E*[0, 0]n+1|E*[0, 0jn+2|E.x[0, 0]n+3|—]

•[x[0, -2]1 | x[0, 2]2|x[0,0]3 | — |x[-2, 0] | — |x[2, 0]N-11 x[0, -2]N|x[0, 0]n+1|x[0, 0]n+2|x[0,0]N+3|— ], = [E^r0^u11|E^r0^u-12|E^r0^u03|^|E^r1^u0i| —

— |E^r-1^u0N-1|E^r0^u1N|Et0^u0n+1|Et0^u0n+2|Et0^u0n+3|^],

•[r0^u-21|r0^u22|r0^u03|^|r-2^u0i|^|r2^u0N-1|r0^u-2N|r0^U0n+1|r0^U0n+2|r0^U0n+3|^], = [E^r0^u1^r0^u-21|E^r0^u-1^r0^u22|E^r0^u0^r0^u03|^|E^r1^u0^r-2^u0i| —

|E^r-1^u0^r2^u0N-1|E^r0^u1^r0^u-2N|E^r0^u0^r0^u0n+1|E^r0^u0^r0^u0n+2|E^r0^u0^r0^u0n+3|^], = [E^r0^u-11|E^r0^u12|E^r0^u03|_|E^r-1^u0i| —

— |E^r1^u0N-1|E^r0^u-1N|E^r0^u0n+1|E^r0^u0n+2|E^r0^u0n+3|^], = [E^d11|E^r(W2|E^r(W3|...|E41^u0i| —

— |E^r1^u0N-1|E^r0^d1N|E^r0^u0n+1|E^r0^u0n+2|E^r0^u0n+3|^], = [T1|A2|Es| —|Gi| —|Cn-1|Tn|En+1|En+2|En+s|—]

= Dj t :

(A:10)

Appendix F

The axioms are:

I) A binary operation and closure law: the combination of two morphisms satisfies hom(X, X) x hom(X, Y) ^ hom(X, Y). Moreover, hom(X, Y) x hom(Y, Z) ^ mor (X, Z) and hom(Y, Z) x hom(Z, Zs) ^ mor (Y, Zs) both hold.

II) Associativity: If f: X ^ X, p: X ^ Y, t: Y ^ Z, g: X ^ Z, h: Z ^ Z, and j: Z ^ Zs. Then, 'fr(p^T) = (frp)^T, 'p^(T^h) = (p^T)^h, 'fr(g^h) = (f^g)•h, and T^(h^j) = (T^h)^j' hold.

III) Identity: there exist morphisms '1X, 1Y, 1Z, 1Zs' such that '1X^f =f= f^1X, and '1y^p = p = p^1X, '1z^t = t = t^1y, '1z^g = g = g^1X, 1z^h = h = h^1z. '1zs^j = j = j^1Z'. In practice,

'1X = 1Y = 1Z = 1Zs = [n1|n2|n3| — |ni|___|nN-1|nN| — ]' satisfies these conditions.

(A. 11)

Appendix G

For Category C1,

morphism f1(= B1(e group B1)): X1^X1, morphism p1: X1 ^Y1,

morphism T1: Y^Z!, ^ 12)

morphism g1 (= : X1^Z1,

morphism h1(= B1(e group B1)): Z1^Z1, morphism j1: Z1^Zs1.

Similarly for category C2, for each object F(X1) = X2, F(Y1) = Y2, F(Z1) = Z2, F(Zs1) = Zs2 (eC2), the following relationships also hold:

morphism F(f1) (= f2 = B2(e group B2)): F(X1 )^F(X1), morphism F(p^ (= p^ : F^^F^), morphism F(T1) (= T2): F(Y1)^F(Z1), morphism F(g1) (= g2 = P2^): F^^F^), morphism F(h1) (= h2 = B2(e group B2)): F(Z1)^F(Z1), morphism F(j1) (= j2): F(Z1)^F(Zs1 )■

Other than these, if relationships F(fi•pi) = F(fi)•F(pi), F^^t^F^^F^), F (тi•hi) = F(тi)•F(hi), F(fi•gi)=F(fi)•F(gi), F(gi•hi) = F(gi)•F(hi), and F(hi•ji) = F (hi)•F(ji) are satisfied, the composition of C1 and C2 linked with 'functor F' is possible although the proof is omitted here.

Furthermore, the following postulates hold: for object X (eQ), 'F(1X) = (eC2)' is true, for object Y (eQ), 'F(1Y) = 1p(Y) (eC2)' and for object Z (eQ), 'F(1Z) = (eC2), is true under the condition:

'F(1x) = 1f(x) = F(1y) = 1f(y) = F(1z) = 1f(z) = ["0 11 "0 21 3 | — |i | — | N-11 "0 N | —]'■

Competing interests

The authors declare that they have no competing interests. Authors' contributions

JS conceived of the main idea of this article and wrote the manuscript. SM revised the manuscript. JIgave advice on potentialversatilities of the modelto the biologicalscience. In addition, allauthors read and approved the final version of the manuscript.

Acknowledgments

The authors wish to acknowledge Katsuji Nishimura, Ken Inada, and Kaoru Sakamoto for providing us with very useful advice during this study.

Author details

department of Psychiatry, Tokyo Women's MedicalUniversity, Tokyo, Japan. 2Depression Prevention Medical Center, Inariyama Takeda Hospital, Kyoto, Japan.

Reeeived: 25 September 2013 Aeeepted: 9 February 2014 Published: 7 May 2014

References

1. Rosen J: Symmetry rules: How science and nature are founded on symmetry. 1 st edition. New York: Springer-Verlag; 2008.

2. Armstrong MA: Groups and symmetry, undergraduate texts in mathematics. New York: Springer-Verlag; 1988.

3. Judson TW: Abstract Algebra: Theory and Applications. Virginia: PWS Publishing Company; 1997.

4. Hungerford TW: Abstract Algebra, An Introduction. 2nd edition. Philadelphia: Saunders College Publishing; 1997.

5. Tung WK: Group theory in physics. Singapore: World Scientific Pub. Co. Inc.; 1985.

6. Unger AA: The abstraet Lorentz transformation group. Am J Phy 1992, 60:815-828.

7. Sexl RU, Ulbantke HU: Relativity, Groups, Particles: Special Relativity and Relativistic Symmetry in Field and Particle Physics. Wien: Springer; 2001.

8. Hamermesh M: Group theory and its application to physical problems. New York: Dover Publications, Inc.; 2012.

9. Ladd M: Symmetry and group theory in chemistry. Cambridge: Woodhead Publishing Limited; 1998.

10. Derome J-R: Biologieal Similarity and Group Theory. J Theor Biol 1977, 65:369-378.

11. Wang J: A eomplete symmetrieal group DNA sequenees and symmetry of poly-eodon sequenees (I). J Biomathematics 2001, 16:129-136.

12. Wang J: A eomplete symmetrieal group DNA sequenees and symmetry of poly-eodon sequenees (II). J Biomathematics 2001, 16:257-265.

13. Chirikjian GS: Group theory and biomoleeular eonformation: I Mathematieal and eomputational models. J Phys Condens Matter 2010, 22:323103.

14. Chirikjian GS: Mathematieal aspeets of moleeular replaeement. I. Algebraie properties of motion spaees. Acta CrystallogrA 2011, 67:435-436.

15. Fischer M, Klaere S, Nguyen MAT, von Haeseler A: On the group theoretieal baekground of assigning stepwise mutations onto phylogenies. Algorithms Mol Bio 2012, 7:36.

16. Bashford JD, Tsohantjis I, Jarvis PD: Codon and nueleotide assignments in a supersymmetrie model of the genetie eode. Phys Lett A 1997, 233:288-481.

(A:13)

17. Bashford JD, Tsohantjis I, Jarvis PD: A supersymmetric model for the evolution of genetic code. Proc Natl Acad Sci USA 1998, 95:987-992.

18. Sánchez R, Morgado E, Grau R: Gene algebra from a genetic code algebraic structure. J Math Biol 2005, 51:431-457.

19. Sánchez R, Grau R: Vector space of the extended base-triplets over the Galois field of five DNA bases alphabet.

World Acad Sci Eng Technol, Int J Comp, Inf Sci Eng 2007,1:5.

20. Sánchez R, Grau R: An algebraic hypothesis about the primeval genetic code architecture. Math Biosci 2009, 221:60-76.

21. Sánchez R, Grau R: A novel Lie algebra of the genetic code over the Galois field of four DNA bases. Math Biosci 2006, 202:156-174.

22. Rietman EA, Karp RL, Tuszynski JA: Review and application of group theory to molecular systems biology. Theor Biol and Med Modell 2011, 8:21.

23. Korn F: Elementary Structures reconsidered: Lévi-Strauss on kinship. London: Routledge; 2004.

24. Crick FHC: Codon-anticodon pairing: The wobble hypothesis. J Mol Biol 1966, 19:548-555.

25. Crick FHC: The origin of the genetic code. J Mol Biol 1968, 38:367-379.

26. Crick FHC: On protein synthesis. In Symp Soc Exp Biol 1958, 12:138-163.

27. Bashford JD, Jarvis PD: The genetic code as a periodic table. Biosystems 2000, 57:147-161.

28. Bíró T, Czirók A, Vicsek T, Major B: A application of vector space techniques to DNA. Fractals 1998, 6:205-210.

29. Beland P, Allen TF: The origin and evolution of the genetic code. J Theor Biol 1994, 170:359-365.

30. Epstein CJ: Role of the amino-acid "code" and of selection for conformation in the evolution of proteins. Nature 1966, 210:25-28.

31. Jukes TH, Osawa S: Evolutionary changes in the genetic code. Comp Biochem Physiol 1993, B 106:489-494.

32. Jukes TH: Evolution of the amino acid code: Inferences from mitochondrial codes. J Mol Evol 1983,19:219-225.

33. Pickover CA: DNA and protein tetragrams. J Mol Graphics 1992,10:2-6.

34. Trainor LEH, Rowe GW, Szabo VL: A tetrahedral representation of poly-codon sequences and a possible origin of codon degeneracy. J Theor Biol 1984,108:459-468.

35. Zhang R, Zhang CT: Z curves, an intuitive tool for visualizing and analyzing the DNA sequences. J Biomol Str Dyn 1994, 11:767-782.

36. Zhang CT: A symmetrical theory of DNA sequences and its applications. J Theor Biol 1997, 187:297-306.

37. Duplij D, Duplij S: DNA sequence representation by trianders and determinative degree of nucleotides. J Zhejiang Univ (Sci) 2005, 6B:743-755.

38. Rushdi A, Tuqan J, Strohmer T: Map-invariant spectral analysis for the identification of DNA periodicities.

EURASIP J Bioinform Syst Biol 2012, 2012:16.

39. Zupan J, Randic M: Algorithm for coding DNA sequences into "spectrum-like" and "Zigzag" representations. J Chem Inf Model 2005,45:309-313.

40. Jafarzadeh N, Iranmanesh A: A novel graphical and numerical representation for analyzing DNA sequences based on codons. MATCH Commun Math Comput Chem 2012, 68:611 -620.

41. He P, Wang J: Numerical characterization of DNA primary sequence. Internet ElecJ Mol Des 2002, 1:668-674.

42. Nandy A, Harle M, Basak SC: Mathematical descriptors of DNA sequences: Development and applications.

ARKIVOC 2006, ix:211 -238.

43. Sawamura J, Morishita S, Ishigooka J: A group-theoretical notation for disease states: an example using the psychiatric rating scale. Theor Biol Med Model 2012, 9:28.

44. Martin GE: Transformation Geometry. New York: Springer-Verlag; 1983.

45. Lockwood EH, Macmillan RH: Geometric symmetry. Cambridge (England): Cambridge University press; 1978.

46. Liu Y, Collins RT: Skewed symmetry groups. In Proc. IEEE Conf. Computer Vision and Pattern Recognition. ; 2001:872-879.

47. Liu Y: A computational model for periodic pattern perception based on frieze and wallpaper groups. IEEE Trans PAMI 2004, 26(3):354-371.

48. Awodey S: Category Theory (Oxford Logic Guides). 2nd edition. New York: Oxford University Press, Inc.; 2010.

49. Mac Lane S: Categories for the working mathematician. 2nd edition. New York: Springer-Verlag; 1998.

50. D'Onofrio D, Abel D, Johnson DE: Dichotomy in the definition of prescriptive information suggests both prescribed data and prescribed algorithms: biosemiotics applications in genomic systems. Theoret Biol Med Modell 2012, 9:8.

51. Chung KW, Chan HSY, Wang BN: Tessellations with symmetries of the wallpaper groups and the modular group in the hyperbolic 3-space form dynamics. Comput Graph 2001, 25:333-341.

52. Butler JT: A note on cellular automata simulations. Inf Control 1974, 26:286-295.

53. Ceccherini-Silberstein TG, Machi A, Scarabotti F: Amenable groups and cellular automata. Ann Inst Fourier (Genoble) 1999, 49(issue 2):673-685.

doi:10.1186/1742-4682-11-18

Cite this article as: Sawamura et al.: A symmetry model for genetic coding via a wallpaper group composed of the traditional four bases and an imaginary base E: Towards category theory-like systematization of molecular/genetic biology. Theoretical Biology and Medical Modelling 2014 11:18.