1: \begin{abstract}

2: For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group

3: is finitely generated, it is known that the group of units of $R$ is finitely generated, as well.

4: Our main results are algorithms to compute generators and the structure of this group.

5: This is achieved by reducing the task first to the case of reduced rings, then to torsion-free reduced rings,

6: and finally to an order in a reduced ring. The simplified cases are treated via a calculation of 

7: exponent lattices and various algorithms to compute the minimal primes, primitive idempotents, and other basic

8: objects. All algorithms have been implemented and are available as a {\tt SageMath} package. Whenever possible,

9: the time complexity of the described methods is tracked carefully.  

10: \end{abstract}

11: