1: \begin{abstract}

2:   \normalsize \noindent The main purpose of this paper is to develop

3:   new algorithms for computing invariant rings in a general

4:   setting. This includes invariants of nonreductive groups but also of

5:   groups acting on algebras over certain rings. In particular, we

6:   present an algorithm for computing invariants of a finite group

7:   acting on a finitely generated algebra over a Euclidean ring. This

8:   may be viewed as a first step in ``computational arithmetic

9:   invariant theory.'' As a special case, the algorithm can compute

10:   multiplicative invariant rings. Other algorithms are applicable to

11:   nonreductive groups and are, when applied to reductive groups, often

12:   faster than the algorithms known to date.

13: 

14:   The main tool is a generalized and modified version of an ideal that

15:   was already used by Derksen in his algorithm for computing

16:   invariants of linearly reductive groups. As a further application,

17:   these so-called extended Derksen ideals give rise to

18:   invariantization maps, which turn an arbitrary ring element into an

19:   invariant.

20: 

21:   For the most part, the algorithms of this paper have been

22:   implemented. \\ \\

23:   {\em Key words: Algorithmic invariant theory, multiplicative

24:     invariant theory, arithmetic invariant theory, invariantization,

25:     Italian problem, additive group.}

26: \end{abstract}

27: