Artinian-finitary groups are locally normal-finitary. (Q556972)

Let \(M\) be a module over a commutative ring \(R\). The finitary automorphism group \(\text{F}\Aut_R(M)\) of \(M\) over \(R\) consists of all \(R\)-automorphisms \(g\) of \(M\) such that \(M(g-1)\) is \(R\)-Noetherian. Analogously, the Artinian-finitary automorphism group \(\text{F}_1\Aut_R(M)\) is defined to consist of those \(R\)-automorphisms for which \(M(g-1)\) is \(R\)-Artinian. There turns out to be a close relationship between these two groups. The main results of the present paper are the following, the first of which is referred to in the paper's title. Theorem 1: For every finite subset \(X\subseteq F:=\text{F}_1\Aut_R(M)\), there is a commutative Noetherian \(R\)-algebra \(T\) and \(T\)-module \(L\) such that \(\langle X^F\rangle\) (the normal closure of \(X\) in \(F\)) is isomorphic to a subgroup of \(\text{F}\Aut_T(L)\). -- Theorem 2: Let \(G\) be a subgroup of \(\text{F}_1\Aut_R(M)\) and suppose that \(N:=[M,G]\) is \(R\)-isomorphic to a section of a direct power of an Artinian \(R\)-module \(Q\). Then there exists a commutative Noetherian \(R\)-algebra \(T\) and a \(T\)-module \(L\) such that \(G\) is isomorphic to a subgroup of \(\text{F}\Aut_T(L)\). The author points out that the hypotheses and conclusion of Theorem 2 are satisfied in each of the following cases: (a) \(M\) is Artinian; (b) \(N\) is Artinian; (c) \(G\) is finitely generated; (d) the sum of Artinian submodules of \(M\) is Artinian; (e) \(M/C_M(G)\) is Artinian; (f) there exists an Artinian \(R\)-module \(Q\) such that, for each \(g\in G\), \(M/C_M(g)\) is a section of a direct power of \(Q\); (g) \(N\) is residually a section of some fixed Artinian \(R\)-module \(Q\); (h) \(M/C_M(G)\) is a section of a direct power of some Artinian \(R\)-module \(Q\). Thus Theorem 2 generalizes some results from [\textit{B. A. F. Wehrfritz}, J. Group Theory 7, No. 2, 243-253 (2004; Zbl 1112.20047)].