Semidistributive Laurent series rings (Q2062108)

A module \(M\) is said to be distributive (respectively, uniserial) if the submodule lattice of \(M\) is distributive (respectively, is a chain). Any uniserial module is distributive but the ring of integers is a distributive non-uniserial ring as a \(\mathbb{Z}\)-module. Direct sums of distributive (respectively, uniserial) modules are called semidistributive (respectively, serial) modules. If \(A\) is a ring with automorphism \(\phi\), then \(A((x, \phi))\) denotes the skew Laurent series ring with coefficient in \(A\) where the addition is naturally defined and multiplication is defined by the relation \(x^{n}a=\phi^{n}(a)x^{n}\) (\(a\in A, n\in\mathbb{N}\)). If \(\phi = 1_{A}\), we obtain the ordinary Laurent series ring \(A((x))\). It was shown in [the author, Laurent series rings and related rings. Berlin: De Gruyter (2020; Zbl 1462.16001), Chapter 13] that \(A((x,\phi))\) is a right distributive semilocal ring if and only if \(A\) is a finite direct product of right uniserial right Artinian rings \(A_{i}\) and \(\phi(A_{i})=A_{i}\) for all \(i\). Furthermore, it was proved in [the author, J. Algebra Appl. 20, No. 3, Article ID 2150035, 2 p. (2021; Zbl 1492.16046)] that the ring \(A((x, \phi)\) is right serial of and only if \(A\) is a right serial right Artinian ring. The following three statements are the main results of the paper under review: \begin{itemize} \item[1.] If \(A((x,\phi))\) is a right semidistributive semilocal ring, then \(A\) is a right semidistributive right Artinian ring and \(A((x,\phi))\) is a right Artinian ring. \item[2.] Assume that \(\phi(e)=e\) for every local idempotent \(e\in A\). Then \(A((x,\phi))\) is a right semidistributive semilocal ring if and only if \(A\) is a right semidistributive right Artinian ring. In this case, \(A((x,\phi))\) is a right Artinian ring. \item[3.] \(A((x))\) is a right semidistributive semilocal ring if and only if \(A\) is a right semidistributive right Artinian ring. In this case, \(A((x))\) is a right Artinian ring. \end{itemize} The author also gives an example of a right Artinian semidistributive ring \(A((x))\) which is not right serial and states some open problems.