8508c7bbb2098aac.tex
1: \begin{abstract}
2: Given an abelian group $G$, it is natural to ask whether there
3: exists a permutation $\pi$ of $G$ that ``destroys'' all nontrivial
4: 3-term arithmetic progressions (APs), in the sense that $\pi(b)
5: - \pi(a) \neq \pi(c) - \pi(b)$ for every ordered triple $(a,b,c) \in
6: G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved
7: for infinite groups $G$ by Hegarty, who showed that there exists
8: an AP-destroying permutation of $G$ if and only if $G/\Omega_2(G)$
9: has the same cardinality as $G$, where $\Omega_2(G)$ denotes the
10: subgroup of all elements in $G$ whose order divides $2$. In the
11: case when $G$ is finite, however, only partial results have been
12: obtained thus far. Hegarty has conjectured that an AP-destroying
13: permutation of $G$ exists if $G = \ZZ/n\ZZ$ for all $n \neq 2,3,5,7$,
14: and together with Martinsson, he has proven the conjecture for
15: all $n > 1.4 \times 10^{14}$. In this paper, we show that if $p$
16: is a prime and $k$ is a positive integer, then there is an AP-destroying
17: permutation of the elementary $p$-group $(\ZZ/p\ZZ)^k$ if and only
18: if $p$ is odd and $(p,k) \not\in \{(3,1),(5,1), (7,1)\}$.
19: \end{abstract}