1: \begin{abstract}

2: 		Idempotent elements are a well-studied part of ring theory, with several identities of the idempotents in $\Z / m\Z$ already known. Although the idempotents are not closed under addition, there are still interesting additive identities that can be derived and used.

3: 		%However, even without group structure on these idempotents, there are still more additive identities that can be derived and used.  

4: 		

5: 		In this paper, we give several new identities on idempotents in $\Z / m\Z$. 

6: 		%We provide a new definition of idempotent lattices over $\Z / m\Z$, and show that this is equivalent to the standard definition.

7: 		We relate finite sublattices over $\Z / k\Z$ for all integers $k$ to an infinite lattice that is embedded in the divisibility lattice on $\N$ and to each other as sublattices of this infinite lattice. Using this relation, we generalize several identities on idempotents in $\Z/ m\Z$ to those involving idempotents related to these finite sublattices.

8: 		

9: 		Finally, as an application of the above idempotent identities, we derive an algorithm for calculating modular exponentiation over $\Z/ m\Z$.

10: 		

11: 		%Let $p_i$ be the $i^{th}$ prime for $i \in \N$. We call a sublattice of the infinite divisibility lattice on $\N$ \emph{consistent} if there exists a set $S \subseteq \N$, a set $T \subseteq S$, and sequence $E = (e_1, e_2, \ldots)$ of nonnegative integers so that all elements of $\mathcal{L}$ are of the form $\prod_{i \in K} p_i^{e_i}$ for $T \subseteq K \subseteq S$. When $S$ is finite and $T = \emptyset$, this lattice $\mathcal{L}$ is isomorphic to the lattice of idempotents modulo $m = \prod_{i \in S} p_i^{e_i}$. We generalize several identities on the idempotents in $\Z/m\Z$ to identities on finite consistent sublattices. We provide some applications of these identities to modular exponentiation.

12: 	\end{abstract}

13: