TY - JOUR

T1 - Compound orthomorphisms of the cyclic group

AU - Stones, Douglas Stuart

AU - Wanless, Ian Murray

PY - 2010

Y1 - 2010

N2 - An orthomorphism I? of is a permutation of such that iI?(i)a??i is also a permutation. We say I? is canonical if I?(0)=0 and define zn to be the number of canonical orthomorphisms of . If n=dt and whenever then I? is called d-compound. An orthomorphism of is called compatible if it is d-compound for all divisors d of n. An orthomorphism I? of is called a polynomial orthomorphism if there exists an integer polynomial f such that for all i. We develop the theory of compound, compatible and polynomial orthomorphisms and the relationships between these classes.
We show that there are exactly canonical d-compound orthomorphisms of and each can be defined by d orthomorphisms of and one orthomorphism of . It is known that for prime n; we show that for composite n. We then deduce that for all n, where Rn is the number of reduced Latin squares of order n. We find the value of for (a) n60, (b) and (c) when n is a prime of the form 23k+1. Let I>n and I?n be the number of canonical compatible and canonical polynomial orthomorphisms, respectively. We give a formula for I>n and find necessary and sufficient conditions for I>n=I?n to hold. Finally, we find a new sufficient condition for when a partial orthomorphism can be completed to a d-compound orthomorphism.

AB - An orthomorphism I? of is a permutation of such that iI?(i)a??i is also a permutation. We say I? is canonical if I?(0)=0 and define zn to be the number of canonical orthomorphisms of . If n=dt and whenever then I? is called d-compound. An orthomorphism of is called compatible if it is d-compound for all divisors d of n. An orthomorphism I? of is called a polynomial orthomorphism if there exists an integer polynomial f such that for all i. We develop the theory of compound, compatible and polynomial orthomorphisms and the relationships between these classes.
We show that there are exactly canonical d-compound orthomorphisms of and each can be defined by d orthomorphisms of and one orthomorphism of . It is known that for prime n; we show that for composite n. We then deduce that for all n, where Rn is the number of reduced Latin squares of order n. We find the value of for (a) n60, (b) and (c) when n is a prime of the form 23k+1. Let I>n and I?n be the number of canonical compatible and canonical polynomial orthomorphisms, respectively. We give a formula for I>n and find necessary and sufficient conditions for I>n=I?n to hold. Finally, we find a new sufficient condition for when a partial orthomorphism can be completed to a d-compound orthomorphism.

UR - http://rmenet.monash.edu.au/RMENet/publications.asp?cView=EditPublication&cRef=2010000338

U2 - 10.1016/j.ffa.2010.04.001

DO - 10.1016/j.ffa.2010.04.001

M3 - Article

SP - 277

EP - 289

JO - Finite Fields and their Applications

JF - Finite Fields and their Applications

SN - 1071-5797

IS - 4

ER -