Bilateral $\mathcal Z$-transform of exponential
In complete analogy with the bilateral Laplace transform of $x(t)=e^{-at}$ (which doesn't exist), the bilateral $\mathcal{Z}$-transform of $a^n$ doesn't exist either. The series

$$\sum_{n=-\infty}^{\infty}a^nz^{-n}$$

converges nowhere, simply because $a^n$ grows without bounds for $n\rightarrow -\infty$ if $|a|&lt;1$, or for $n\rightarrow\infty$ if $|a|&gt;1$. Of course, for $|a|=1$ there series doesn't converge either.

EDIT:

As for your computation of the $\mathcal{Z}$-transform of $a^n$, the mistake lies in the fact that in addition to the algebraic expression of the transform you also need to consider the region of convergence. If you split $a^n$ (as you did) as

$$a^n=a^nu[n]+a^nu[-n-1]\tag{1}$$

you can compute the $\mathcal{Z}$-transform of both right-hand side expressions separately:

$$\mathcal{Z}\{a^nu[n]\}=\frac{z}{z-a},\quad |z|&gt;|a|\\
\mathcal{Z}\{a^nu[-n-1]\}=-\frac{z}{z-a},\quad |z|&lt;|a|\tag{2}$$

Note that the region of convergence (ROC) for the first part is outside the circle with radius $|a|$, whereas the ROC of the second part is inside the circle with radius $|a|$. The ROC of the total expression would be the overlap of the two ROCs, which is zero. Consequently, the sum doesn't converge anywhere and the $\mathcal{Z}$-transform of the total expression doesn't exist.