Multiplicative and Exponential Variations of Orthomorphisms of Cyclic Groups

An orthomorphism is a permutation $\sigma$ of $\{1, \dots, n-1\}$ for which $x + \sigma(x) \mod n$ is also a permutation on $\{1, \dots, n-1\}$. Eberhard, Manners, Mrazovi\'c, showed that the number of such orthomorphisms is $(\sqrt{e} + o(1)) \cdot \frac{n!^2}{n^n}$ for odd $n$ and zero otherwise. In this paper we prove two analogs of these results where $x+\sigma(x)$ is replaced by $x \sigma(x)$ (a "multiplicative orthomorphism") or with $x^{\sigma(x)}$ (an "exponential orthomorphism"). Namely, we show that no multiplicative orthomorphisms exist for $n > 2$ but that exponential orthomorphisms exist whenever $n$ is twice a prime $p$ such that $p-1$ is squarefree. In the latter case we then estimate the number of exponential orthomorphisms.Comment: 11 pages, 1 figur

Resolvable Mendelsohn designs and finite Frobenius groups

We prove the existence and give constructions of a $(p(k)-1)$-fold perfect resolvable $(v, k, 1)$-Mendelsohn design for any integers $v > k \ge 2$ with $v \equiv 1 \mod k$ such that there exists a finite Frobenius group whose kernel $K$ has order $v$ and whose complement contains an element $\phi$ of order $k$, where $p(k)$ is the least prime factor of $k$. Such a design admits $K \rtimes \langle \phi \rangle$ as a group of automorphisms and is perfect when $k$ is a prime. As an application we prove that for any integer $v = p_{1}^{e_1} \ldots p_{t}^{e_t} \ge 3$ in prime factorization, and any prime $k$ dividing $p_{i}^{e_i} - 1$ for $1 \le i \le t$, there exists a resolvable perfect $(v, k, 1)$-Mendelsohn design that admits a Frobenius group as a group of automorphisms. We also prove that, if $k$ is even and divides $p_{i} - 1$ for $1 \le i \le t$, then there are at least $\varphi(k)^t$ resolvable $(v, k, 1)$-Mendelsohn designs that admit a Frobenius group as a group of automorphisms, where $\varphi$ is Euler's totient function.Comment: Final versio