Doubly Sequenceable Groups
Given a sequence ${\bf g}: g_0,\ldots, g_{m}$, in a finite group $G$ with $g_0=1_G$, let ${\bf \bar g}: \bar g_0,\ldots, \bar g_{m}$, be the sequence defined by $\bar g_0=1_G$ and $\bar g_i=g_{i-1}^{-1}g_i$ for $1\leq i \leq m$. We say that $G$ is doubly sequenceable if there exists a sequence ${\bf g}$ in $G$ such that every element of $G$ appears exactly twice in each of ${\bf g}$ and ${\bf \bar g}$. If a group $G$ is abelian, odd, sequenceable, R-sequenceable, or terraceable, then $G$ is doubly sequenceable. In this paper, we show that if $N$ is an odd or sequenceable group and $H$ is an abelian group, then $N \times H$ is doubly sequenceable.
\section{Introduction}

Let $G$ be a finite group with $n$ elements and ${\bf g}: g_0,\ldots, g_{kn-1},$ be a sequence of elements of $G$ such that $g_0=1_G$, where $1_G$ is the identity element of $G$. The sequence of consecutive quotients ${\bf \bar g}$ is defined by ${\bar g}_0=1_G$ and ${\bar g}_i=g_{i-1}^{-1}g_{i}$ for $1\leq i \leq kn-1$. We say that ${\bf g}$ is a {\it $k$-graceful ordering} if each element of $G$ appears exactly $k$ times in ${\bf g}$ and exactly $k$ times in ${\bf \bar g}$. 

When $G$ is the cyclic group $\mathbb{Z}_n$ of order $n$, a 1-graceful ordering is related to the notion of a DDP permutation (where DDP stands for the {\it distinct difference property}). A DDP permutation of $\{1,2,\ldots, n\}$ is a permutation $x_1,\ldots, x_n$, such that $x_{i+1}-x_{i} \neq x_{j+1}-x_j$ for all $1\leq i<j <n$. Batten and Sane showed that there exist at least $2^{n-1}$ DDP permutations of order $n$; \cite{BattenSane,BellWang}. 

A {\it modular} DDP sequence $x_1,\ldots, x_n$, is a permutation of elements of $\mathbb{Z}_n$ such that $x_{i+1}-x_{i} \neq x_{j+1}-x_j \pmod n$ for all $1\leq i<j <n$. A 1-graceful ordering of $\mathbb{Z}_n$ is a modular DDP sequence with $x_1=0$. Interestingly, the first example of a 1-graceful ordering came from music theory. F. H. Klein in 1925 gave an example of an all-interval twelve-tone row, which is written below in integers modulo 12; \cite{Ferentz,Klein}. 
\begin{align}\nonumber
{\bf g}: &~ 0, 11, 7, 4, 2, 9, 3, 8, 10, 1, 5, 6;\\ \nonumber
{\bf \bar g}: & ~0, 11, 8, 9, 10, 7, 6, 5, 2, 3, 4, 1.
\end{align}

DDP permutations are related to Costas arrays, where the condition that $x_{i+1}-x_{i} \neq x_{j+1}-x_j$ for all $1\leq i<j <n$, is replaced by the stronger condition that vectors $(j-i, x_j-x_i)$, $i\neq j$, are all distinct \cite{Costas1, Costas2}. Costas arrays are rarer and more difficult to construct \cite{Golomb1, Golomb2, Golomb3}. 



Another related notion to graceful ordering of groups is the notion of {\it graceful labeling} of graphs. A graceful labeling of a graph $G$ with $n$ edges is a labeling of the vertices with a subset of $\{0,\ldots, n\}$ such that distinct vertices have distinct labels and the {\it absolute differences} of labels at the endpoints of the edges are all distinct. Graceful labeling of graphs were first studied by Rosa in connection to Ringel’s conjecture \cite{Rosa}. Rosa observed that Ringel’s conjecture follows from the {\it graceful tree conjecture}, which states that every tree has a graceful labeling \cite{Gallian,MPS}. If $G$ is a directed path and we consider the differences modulo $n+1$ instead of absolute differences, we arrive at modular DDP sequences. 

Graceful orderings are the natural extension of modular DDP sequences to groups. A finite abelian group has a 1-graceful ordering if and only if it has a unique element of order 2, or equivalently, if and only if it is the direct product of an odd abelian group with $\mathbb{Z}_{2^n}$ for some $n\geq 1$; \cite{JK}. Therefore, if $G$ is an odd abelian group, by projecting a 1-graceful ordering of $G \times \mathbb{Z}_2$ onto $G$, one obtains a 2-graceful ordering of $G$. Our main theorem below generalizes this result to all finite abelian groups. 

\begin{theorem}\label{main}
Every finite abelian group has a $2$-graceful ordering. 
\end{theorem}

We conjecture that all nonabelian groups also have 2-graceful orderings. This is true at least for nilpotent odd groups, since if $K$ is a nilpotent odd group, then $K\times \mathbb{Z}_2$ has a 1-graceful ordering \cite{JK}. 


This is how this paper is organized. In Section \ref{lift}, we show that if $H$ is an abelian group with a 2-graceful ordering, then $H \times \mathbb{Z}_{k}$ has a 2-graceful ordering, where $k$ is odd or a power of 2 grater than 2 (Theorems \ref{extodd} and \ref{extpower2}). In Section \ref{maint}, we construct explicit examples of 2-graceful orderings of $\mathbb{Z}_k$ and $(\mathbb{Z}_2)^n$, $n\geq 1$. Theorem \ref{main} then follows from these and the classification of finite abelian groups. 


\section{Lifting 2-Graceful Orderings}\label{lift}


Let ${\bf h}: h_0,\ldots, h_{2n-1},$ be a 2-graceful ordering of $H$ and ${\bf g}: g_0,\ldots, g_{2kn-1},$ be a 2-graceful ordering of $G=H \times \mathbb{Z}_k$. We say that ${\bf g}$ is a lift of ${\bf h}$ by $\mathbb{Z}_k$ if $\pi(g_{i+2tn})=h_i$ for all $0\leq i \leq 2n-1$ and $0\leq t \leq k-1$, where $\pi: G \rightarrow H$ is the projection onto the first component. In this section, we show that every 2-graceful ordering of $H$ has a lift by $\mathbb{Z}_k$, when $k$ is odd or a power of 2 greater than 2. 


\begin{theorem}\label{extodd}
Let $H$ be an abelian group that has a $2$-graceful ordering. If $m$ is odd, then $H \times \mathbb{Z}_m$ has a $2$-graceful ordering. 
\end{theorem}


\begin{proof}
Let ${\bf h}: h_0,\ldots, h_{2n-1}$, be a $2$-graceful ordering in $H$. We define a 2-graceful ordering ${\bf g}$ in $H \times \mathbb{Z}_m$ as follows. Given $0\leq i \leq 2mn-1$, we write $i=2qn+r$, where $0\leq q \leq m-1$ and $0\leq r \leq 2n-1$, and let
$$g_i=\begin{cases}
(h_r,-q) & \mbox{if $r$ is even,}\\
(h_r,q+1) & \mbox{if $r$ is odd.}
\end{cases} \Rightarrow \bar g_i=\begin{cases}
(\bar h_r,-2q) & \mbox{if $r=0$,}\\
(\bar h_r,2q+1) & \mbox{if $r$ is odd,}\\
(\bar h_r,-2q-1) & \mbox{otherwise.}
\end{cases}
$$

We first show that every $(h,t)\in H \times \mathbb{Z}_m$ appears twice in ${\bf g}$. Let $p,q \in \{0,\ldots, m-1\}$ such that $p=-t \pmod m$ and $q=t-1 \pmod m$. Since every element of $H$ appears twice in ${\bf h}$, there exist distinct values $r,s \in \{0,\ldots, 2n-1\}$ such that $h_{r}=h_{s}=h$. If $r$ is even, we let $i=2pn+r$, and if $r$ is odd, we let $i=2qn+r$. Similarly, if $s$ is even, we let $j=2pn+s$, and if $s$ is odd, we let $j=2qn+s$. We note that $i \neq j$, since $r \neq s$. It follows that $g_i=g_j=(h,t)$, and so every element of $H \times \mathbb{Z}_m$ appears at least twice, hence exactly twice, in ${\bf g}$.

Next, we show that every $(u, v) \in H \times \mathbb{Z}_m$ appears twice in ${\bf \bar g}$. Since every element of $H$ appears twice in ${\bf \bar h}$, there exist $r,s \in \{0,\ldots, 2n-1\}$ such that $\bar h_{r}=\bar h_{s}=u$. Suppose that $u \neq 0$, and so $r,s>0$. Since $m$ is odd, there exist $p,q \in \{0,\ldots, m-1\}$ such that $2p+1=-v \pmod m$ and $2q+1=v \pmod m$. If $r$ is even, we let $i=2pn+r$, and if $r$ is odd, we let $i=2qn+r$. Similarly, if $s$ is even, we let $j=2pn+s$, and if $s$ is odd, we let $j=2qn+s$. It follows that $i \neq j$ and $\bar g_i=\bar g_j=(u,v)$ in this case. If $u=0$, let $p,q \in \{0,\ldots, m-1\}$ such that $-2p=v \pmod m$ and $2q+1= v \pmod m$. Let $i=2pn$ and $j=2qn+2n-1$. It follows that $\bar g_i=\bar g_j=(u,v)$ in this case as well. Therefore, every element of $H \times \mathbb{Z}_m$ appears at least twice, hence exactly twice, in ${\bf \bar g}$, and so $\bf g$ is a 2-graceful ordering of $H \times \mathbb{Z}_m$.
\end{proof}



We will use three special permutations of $\mathbb{Z}_{2^n}$ (described in the following lemma) to construct lifts by $\mathbb{Z}_{2^n}$, $n\geq 2$. Since these permutations cannot exist when $n=1$, this method only applies when $n\geq 2$. 

Given permutations $R$ and $S$ of $\mathbb{Z}_k$, we write $R \perp S$ if for every $v\in \mathbb{Z}_k$ there exist $\alpha, \beta \in \{0,\ldots, k-1\}$ such that one of the following occurs
\begin{itemize}
\item[i)] $\alpha \neq \beta$ and $R(\alpha)-\alpha=R(\beta)-\beta=v$,
\item[ii)] $\alpha \neq \beta$ and $S(\alpha)-\alpha=S(\beta)-\beta=v$,
\item[iii)] or $R(\alpha)-\alpha=S(\beta)-\beta=v$. 
\end{itemize}
In other words, $R \perp S$ means that the lists $R(i)-i,S(i)-i, 0\leq i \leq k-1$, altogether include every element of $\mathbb{Z}_k$ exactly twice. 

In the lemma below, by a {\it cyclic} permutation, we mean a permutation consisting of one nontrivial cycle (with no fixed points). 




\begin{lemma}\label{lemtec}
If $n\geq 2$, then there exist permutations $X,B,D: \mathbb{Z}_{2^n} \rightarrow \mathbb{Z}_{2^n}$ such that
\begin{itemize}
\item[i)] $X \perp X^{-1}$;
\item[ii)] $B \perp D$;
\item[iii)] Both $DB$ and $DX^{-1}BX$ are cyclic permutations. 
\end{itemize}
\end{lemma}

\begin{proof}
If $n=2$, let $B(i)=1-i$ and $D(i)=-i$ for $0\leq i \leq 3$, and $X: 0 \mapsto 1, 1 \mapsto 3, 2 \mapsto 2, 3 \mapsto 0$. It is straightforward to verify the conditions (i-iii) in this case. Thus, suppose that $n>2$. Let $B(i)=2^{n-2}-1-i$ and $D(i)=-i$ for $0\leq i \leq 2^n-1$. It is again straightforward to see that $B$ and $D$ are permutations and $B \perp D$. Next, we define
\begin{equation}\label{defxi}
X(i)=\begin{cases} 2i+1 & \mbox{if $0\leq i \leq 2^{n-3}-1$}, \\
          2i+2^{n-2}+1    & \mbox{if $2^{n-3} \leq i \leq 3 \times 2^{n-3}-1$}, \\
       2i+ 2^{n-1}+1   & \mbox{if $3 \times 2^{n-3} \leq i \leq 2^{n-1}-1$},\\
       -X(2^n-i-1)+2^{n-2}-1& \mbox{if $2^{n-1} \leq i \leq 2^n-1$}.
\end{cases}
\end{equation}
To show that $X$ is a permutation, we need to show that $X$ is onto. First, let $k\in \{0,\ldots, 2^n-1\}$ be an odd number. If $1\leq k \leq 2^{n-2}-1$, then $X((k-1)/2)=k$. If $2^{n-2}+1 \leq k \leq 2^{n-1}-1$, then $X((k-1+2^{n-1})/2)=k$. Finally, if $2^{n-1}+1 \leq k \leq 2^n-1$, then $X((k-1-2^{n-2})/2)=k$. It follows that every odd number modulo $2^n$ belongs to the image of $X$. Next, let $k\in \{0,\ldots, 2^n-1\}$ be an even number. Then $2^{n-2}-1-k$ modulo $2^n$ equals an odd number $k’$ in the set $\{0,\ldots,2^n-1\}$. Therefore, there exists $0\leq i \leq 2^n-1$ such that $X(i)=k’$, and so $X(2^n-i-1)=k$. We have shown that $X$ is onto, hence it is a permutation of $\mathbb{Z}_{2^n}$.

To verify property (i), it is sufficient to show that for every $0\leq k \leq 2^{n-1}$ the equations $X(i)-i=k$ and $j-X(j)=k$ together have at least two solutions. If $0\leq k \leq 2^{n-3}-1$, then $X(i)-i=k$ for $i=k-1$ (if $k=0$, let $i=2^{n-1}-1$), while $j-X(j)=k$ for $j=2^{n-1}-k-1$. The equation $X(i)-i=2^{n-3}$ has two solutions $i=2^{n-3}-1$ and $i=7 \times 2^{n-3}$. If $2^{n-3}+1 \leq k \leq 2^{n-2}-1$, then $X(i)-i=k$ for $i=3 \times 2^{n-2}+k$, while $j-X(j)=k$ for $j=2^n-k$. If $2^{n-2} \leq k \leq 3 \times 2^{n-3}-1$, then $X(i)-i=k$ for $i=k+2^{n-2}$, while $j-X(j)=k$ for $j=2^n-k$. If $k=3 \times 2^{n-3}$, then $j-X(j)=k$ has two solutions $j=3 \times 2^{n-3}-1$ and $j=5 \times 2^{n-3}$. If $3\times 2^{n-3}+1 \leq k \leq 2^{n-1}$, then $X(i)-i=k$ for $i=k-2^{n-2}-1$, while $j-X(j)=k$ for $j=3\times 2^{n-2}-1-k$. 

To verify property (iii), note that $DB(i)=D(2^{n-2}-1-i)=i+1-2^{n-2}$, which is a cyclic permutation modulo $2^{n}$, since $1-2^{n-2}$ is odd (here we are using the assumption that $n>2$). Moreover, we have
$$DX^{-1}BX(i)=DX^{-1}(2^{n-2}-1-X(i))=D(-i-1)=i+1,$$
modulo $2^n$, by the last line in equation \eqref{defxi}, hence $DX^{-1}BX$ is a cyclic permutation. This completes the proof of Lemma \ref{lemtec}.
\end{proof}




Now, we are ready to describe an algorithm to construct lifts of 2-graceful orderings by $\mathbb{Z}_{2^n}$, $n\geq 2$. 


\begin{theorem}\label{extpower2}
If $H$ has a 2-graceful ordering, then $G=H \times \mathbb{Z}_{2^n}$ has a 2-graceful ordering for every $n\geq 2$. 
\end{theorem}


\begin{proof}
Let $|H|=m$ and ${\bf h}: h_0,\ldots, h_{2m-1},$ be a 2-graceful ordering of $H$ and $\bf \bar h$ be the corresponding sequence of consecutive differences. Let $\sigma: \{0,\ldots, 2m-1\} \rightarrow \{0,\ldots, 2m-1\}$ be the one-to-one correspondence such that $\sigma(i) \neq i$ and $\bar h_{i}=\bar h_{\sigma(i)}$ for all $0\leq i \leq 2m-1$. Let
\begin{align}\nonumber
S & = \{i: 1\leq i<\sigma(0)<\sigma(i) \leq 2m-1\};\\ \nonumber
T & = \{i: i, \sigma(i) \in [1,\sigma(0)-1]~or~i,\sigma(i) \in [\sigma(0)+1,2m-1]\}.
\end{align}
Choose any subset $S’\subseteq S$ comprised of $\lceil |S|/2 \rceil$ elements of $S$, where $\lceil x \rceil$ denotes the least integer greater than or equal to $x$. Also, choose any subset $T’ \subseteq T$ such that for every $i\in T$ one has either $i \in T’$ or $\sigma(i) \in T’$ but not both. Next, for $0\leq i \leq 2m-1$, we define a permutation $P_i$ by letting
$$P_i=\begin{cases} 
X & \mbox{if $i \in S’ \cup T’$ or $\sigma(i) \in S \backslash S’$}; \\
X^{-1} & \mbox{if $i  \in S \backslash S’$ or $\sigma(i) \in S’ \cup T’$;}\\
D & \mbox{if $i=0$}\\
B & \mbox{if $i=\sigma(0)$}\\
\end{cases}
$$
One has $P_i \perp P_{\sigma(i)}$, since if $i\neq 0, \sigma(0)$ and $P_i=X$ then $P_{\sigma(i)}=X^{-1}$, while $P_0=D$ and $P_{\sigma(0)}=B$ (recall from Lemma \ref{lemtec} that $X \perp X^{-1}$ and $B \perp D$). Given $i\in \mathbb{Z}$, let $0\leq i’ \leq 2m-1$ such that $i=i’ \pmod{2m}$, and let $h_i=h_{i’}$ and $P_i=P_{i’}$. 

One has $\{1,\ldots, \sigma(0)-1\}=S’ \cup (S \backslash S’) \cup T^{\prime \prime}$, where $T^{\prime \prime}= T \cap \{1,\ldots, \sigma(0)-1\}$. If $i \in T^{\prime \prime}$, then $i, \sigma(i) \in\{1,\ldots, \sigma(0)-1\}$ and $P_iP_{\sigma(i)}=XX^{-1}$ or $X^{-1}X$ and equals the identity permutation in either case. If $i\in S’$, then $P_i=X$, while if $i \in S \backslash S’$, then $P_i=X^{-1}$. It follows that $P_{\sigma(0)-1}\cdots P_1=X^{|S’|}X^{-|S\backslash S’|}$ and similarly $P_{2m-1}\cdots P_{\sigma(0)+1}=X^{-|S’|}X^{|S \backslash S’|}$. Since $|S’|=\lceil |S|/2 \rceil$, we have $|S’|-|S\backslash S’|=0$ or 1. Therefore, $\hat P=P_{2m}P_{2m-1}\cdots P_1=DX^{-1}BX$ (if $|S|$ is odd) or $P_{2m}P_{2m-1}\cdots P_1=DB$ (if $|S|$ is even). It follows from Lemma \ref{lemtec} that $\hat{P}$ is a cyclic permutation. 


We now define sequences ${\bf t}$ in $\mathbb{Z}_{2^n}$ and ${\bf g}$ in $G=H \times \mathbb{Z}_{2^n}$ by letting $t_0=0$ and
$$t_k=P_k\cdots P_1(0)=\prod_{j=k}^1 P_j(0);~g_j=(h_j,t_j),$$   
where $0\leq j \leq 2^{n+1}m-1$. To show that each element of $G$ is listed twice in ${\bf g}$, it is sufficient to show that, given $0\leq i \leq 2m-1$, the terms $t_{i+2km}$, $0\leq k \leq 2^n-1$, are distinct. First, suppose $i>0$ and let $L_i=\prod_{j=i}^{1}P_j$ and $M_i=\prod_{j=2m}^{i+1}P_j$ and note that $L_iM_i=\prod_{j=2m}^{1}P_j={\hat P}$ is a cyclic permutation. It follows that $M_iL_i$ is also a cyclic permutation, since $M_iL_i=M_i(L_iM_i)M_i^{-1}$ has the same cycle structure as $L_iM_i$. Then, one has
\begin{align}\nonumber
t_{i+2(k+1)m} &=\prod_{j=i+2(k+1)m}^1 P_j (0)=\prod_{j=i+2(k+1)m}^{i+2km+1}P_j(t_{i+2km})\\ \nonumber 
&=\prod_{j=2m+i}^{i+1}P_j(t_{i+2km})=\prod_{j=2m}^{i+1}P_j \prod_{j=2m+i}^{2m+1}P_j(t_{i+2km})\\ \nonumber
&=\prod_{j=2m}^{i+1}P_j \prod_{j=i}^{1}P_j(t_{i+2km})=M_iL_i(t_{i+2km}). 
\end{align}
Since $M_iL_i$ is a cyclic permutation, the terms $t_i,t_{i+2m},\ldots, t_{i+2(2^n-1)m}$, are all distinct. If $i=0$, then a similar argument shows that $$t_{2(k+1)m}=\prod_{i=2m}^1P_i(t_{2km})=\hat P(t_{2km}),$$ and again, since $\hat P$ is a cyclic permutation, the terms $t_{2km}$, $0\leq k \leq 2^n-1$, are all distinct in this case as well. 

Next, we show that every element $(u,v)\in G$ is listed twice in $\bf \bar g$. There exists $0\leq i \leq 2m-1$ such that $\bar h_i=\bar h_{\sigma(i)}=u$. Also, since $P_i \perp P_{\sigma(i)}$, there exist $\alpha,\beta \in \{0,\ldots, 2^n-1\}$ such that one of the following occurs:
\begin{itemize}
\item[(i)] $\alpha \neq \beta$ and $P_i(\alpha)-\alpha=P_i(\beta)-\beta=v$,
\item[(ii)] $\alpha \neq \beta$ and $P_{\sigma(i)}(\alpha)-\alpha=P_{\sigma(i)}(\beta)-\beta=v$,
\item[(iii)] or $P_i(\alpha)-\alpha=P_{\sigma(i)}(\beta)-\beta=v$. 
\end{itemize}
Suppose that (i) occurs. Since the terms $t_{i-1+2km}$, $0\leq k \leq 2^n-1$, are all distinct, there exist distinct values $k,l\in \{0,\ldots, 2^n-1\}$ such that $t_{i-1+2km}=\alpha$ and $t_{i-1+2lm}=\beta$. Then 
\begin{align}\nonumber
\bar g_{i+2km} &=(\bar h_{i+2km}, \bar t_{i+2km}) \\ \nonumber
& = (\bar h_i, -t_{i+2km-1}+t_{i+2km}) \\ \nonumber
& =(u,-t_{i-1+2km}+P_{i+2km}(t_{i-1+2km})) \\ \nonumber
&=(u,-\alpha+P_i(\alpha))=(u,v),
\end{align}
and similarly $\bar g_{i+2lm}=(u,v)$. Therefore, $(u,v)$ is listed in ${\bf \bar g}$ at least twice. It follows similarly in case (ii) that $(u,v)$ appears twice in ${\bf \bar g}$ as well. Thus, suppose (iii) occurs. Choose $k,l \in \{0,\ldots, 2^n-1\}$ such that $t_{i-1+2km}=\alpha$ and $t_{\sigma(i)-1+2lm}=\beta$. It then follows that $\bar g_{i+2km}=(\bar h_i, -\alpha+P_i(\alpha))=(u,v)$ and $\bar g_{\sigma(i)+2lm}=(\bar h_{\sigma(i)},-\beta+P_{\sigma(i)}(\beta))=(u,v)$. We have shown that every $(u,v) \in G$ appears at least twice, hence exactly twice, in ${\bf \bar g}$. This completes the proof of Theorem \ref{extpower2}.
\end{proof}

Let ${\bf h}$ be a 2-graceful ordering of $H$ and ${\bf g}$ be a lift of ${\bf h}$ by $\mathbb{Z}_k$. If $\pi_1,\pi_2: H \times \mathbb{Z}_k \rightarrow H$ are the projection onto the first and second components and $\phi: \mathbb{Z}_k \rightarrow \mathbb{Z}_k$ is an automorphism, then $\hat \phi({\bf g})$ defined by $\hat \phi(g_i)=(\pi_1(g_i), \phi(\pi_2(g_i)))$, $0\leq i \leq 2k|H|-1$, is a 2-graceful ordering of $H \times \mathbb{Z}_k$. It follows from Theorems \ref{extodd} and \ref{extpower2} that every 2-graceful ordering of $H$ has at least $\phi(k)$ lifts by $\mathbb{Z}_k$, where $k$ is odd or a power of 2 greater than 2. 


\section{Proof of the Main Theorem}\label{maint}
In this section, we prove our main theorem which states that every abelian group has a 2-graceful ordering. We first need a lemma to construct a 2-graceful ordering in $(\mathbb{Z}_{2})^n$ using the field structure of $GF(2^n)$, the field with $2^n$ elements. Recall that the additive group of $GF(2^n)$, being a vector space over $\mathbb{Z}_2$, is isomorphic to $(\mathbb{Z}_{2})^n$. 


\begin{lemma}\label{2factor}
There exists a 2-Graceful ordering of $(\mathbb{Z}_{2})^n$ for every $n\geq 1$. 
\end{lemma}

\begin{proof}
Let $GF(2^n)$ be a field of $m=2^n$ elements and let $\alpha$ be a primitive element in $GF(2^n)$. Let $1\leq k \leq m-1$ such that $\alpha^{k+1}=1-\frac{1}{\alpha(1-\alpha)}$. To show such $k$ exists, we note that $\alpha \neq (\alpha-1)^2$ (since $\alpha$ is a generator), hence $1-\frac{1}{\alpha(1-\alpha)}\neq 0$, and so such $k$ exists because $\alpha$ is a generator. Let ${\bf g}:g_0,\ldots, g_{m-1}$, such that
$$g_i=\begin{cases}
0 & i=0; \\
\frac{1-\alpha^{i}}{1-\alpha} & 1\leq i \leq  k+1; \\
\frac{1}{\alpha(1-\alpha)^2} & i=k+2;\\
\frac{1-\alpha^{i-1}}{1-\alpha} & k+3 \leq i \leq m-1;\\
\frac{1}{1-\alpha} & i=m; \\
\frac{1}{\alpha(1-\alpha)} & i=m+1;\\
\frac{1-\alpha^{i-m}}{\alpha(1-\alpha)} & m+2 \leq i \leq 2m-1.
\end{cases}
 \Rightarrow \bar g_i=\begin{cases}
0 & i=0; \\
\alpha^{i-1} & 1\leq i \leq  k+1; \\
0 & i=k+2;\\
\alpha^{i-2} & k+3 \leq i \leq m-1;\\
\frac{1}{\alpha(1-\alpha)} & i=m; \\
\frac{1}{\alpha} & i=m+1;\\
\frac{\alpha^{i-m-1}}{\alpha(1-\alpha)} & m+2 \leq i \leq 2m-1.
\end{cases}
$$
It is straightforward although tedious to check that $g$ is a 2-graceful ordering of $(\mathbb{Z}_2)^n$.
\end{proof}

Next, we construct a 2-graceful ordering for $\mathbb{Z}_m$ for all $m\geq 2$. 

\begin{lemma}\label{zm}
The group $\mathbb{Z}_m$ has a 2-graceful ordering for every $m\geq 2$. 
\end{lemma}

\begin{proof}
For $0\leq i \leq 2m-1$, let $g_i=(-1)^i \lceil i/2 \rceil$ and so $\bar g_i=(-1)^ii$. Then ${\bf g}$ is a 2-graceful ordering of $\mathbb{Z}_m$. 
\end{proof}




Now, we are ready to prove Theorem \ref{main}. 
\\
\\
\noindent {\it Proof of Theorem 1.} Let $G$ be a finite abelian group. By the classification of finite abelian groups, we can write $G=(\mathbb{Z}_2)^n \times  \prod_{i=1}^k \mathbb{Z}_{m_i}$, where $n \geq 0$ and each $m_i$, $1\leq i \leq k$, is either an odd number or a power of 2 greater than 2. 

If $n>0$, then starting with a 2-graceful ordering of $(\mathbb{Z}_2)^n$ (which exists by Lemma \ref{2factor}) and using a simple induction together with Theorems \ref{extodd} and \ref{extpower2} imply that $G$ has a 2-graceful ordering. Thus, suppose that $n=0$. By Lemma \ref{zm}, the group $\mathbb{Z}_{m_1}$ has a 2-graceful ordering. Again, a finite induction starting with $\mathbb{Z}_{m_1}$ using Theorems \ref{extodd} and \ref{extpower2} imply that $G$ has a 2-graceful ordering. $\hfill \square$








2022-08-31T02:20:53.000
2208
2208.14334
en
https://arxiv.org/abs/2208.14334
Given a sequence ${\bf g}: g_0,\ldots, g_{m}$, in a finite group $G$ with $g_0=1_G$, let ${\bf \bar g}: \bar g_0,\ldots, \bar g_{m}$, be the sequence defined by $\bar g_0=1_G$ and $\bar g_i=g_{i-1}^{-1}g_i$ for $1\leq i \leq m$. We say that $G$ is doubly sequenceable if there exists a sequence ${\bf g}$ in $G$ such that every element of $G$ appears exactly twice in each of ${\bf g}$ and ${\bf \bar g}$. If a group $G$ is abelian, odd, sequenceable, R-sequenceable, or terraceable, then $G$ is doubly sequenceable. In this paper, we show that if $N$ is an odd or sequenceable group and $H$ is an abelian group, then $N \times H$ is doubly sequenceable.
Group Theory (math.GR); Number Theory (math.NT)
Doubly Sequenceable Groups
Qwen/Qwen-72B
1. YES
2. YES