Units of compatible nearrings. II. (Q1759672): Difference between revisions

This paper is a continuation of part I [\textit{E. Aichinger} et al., Monatsh. Math. 164, No. 2, 119-132 (2011; Zbl 1241.16030)] studying the units of a compatible nearring \(R\) satisfying the descending chain condition on right ideals (dccr). Let \(G\) be a faithful compatible \(R\)-module and \(H\) an \(R\)-ideal of \(G\). They first show that if \(H\) is a minimal submodule of \(G\) that is a nonring module, then for some specific \(n\), \(1+\text{Ann}_R(G/H)\) and \(M_0(H)\times(\bigtimes_{i=2}^nM(H))\) are isomorphic as multiplicative semigroups. Moreover, under the isomorphism, \(U(1+\text{Ann}_R(G/H))\) and \(S_{|H\setminus\{0\}|}\times(\bigtimes_{i=2}^nS_{|H|})\) are isomorphic, while \(1+(\text{Ann}_R(G/H)\cap J_2(R))\) and \(\{1\}\times(\bigtimes_{i=2}^nS_{|H|})\) are isomorphic. Next, they treat the case when \(H\) is a direct sum of isomorphic minimal \(R\)-ideals of \(G\) that are ring modules. In this case, \(H\) can be viewed as a vector space over the field of \(R\)-endomorphisms of a minimal \(R\)-ideal of \(G\) contained in \(H\). With some further conditions on \(H\), \(1+\text{Ann}_R(G/H)\) is isomorphic to a direct product of some multiplicative semigroups of linear transformations and affine transformations. The unit group \(U(1+\text{Ann}_R(G/H))\) and the multiplicative semigroup \(1+(\text{Ann}_R(G/H)\cap J_2(R))\) are also identified using the isomorphism. The results enable them to determine the order of the unit group of the polynomial nearrings \(I(G)\), \(A(G)\) and \(E(G)\) for many finite groups \(G\). A special principal series of \(R\)-ideals is introduced in the last section, and is named a \(c\)-chain. When a nearring \(R\) has a faithful compatible \(R\)-module \(G\) that has a \(c\)-chain, the number \(|U(R)|/|R|\) can be expressed using the orders of the annihilators of the quotient modules, and that of the quotient nearrings. In particular, if \(H\) is a minimal \(R\)-ideal of \(G\) such that \(G\) and \(G/H\) are not coprime, then one of \(|R|\), \(|U(R)|\) and \(|J_2(R)|\) can be used to determine the other two. Finally, they prove the following result. Let \(G\) be a faithful tame \(R\)-module, and let \(\Phi(G)\) be the Frattini \(R\)-subgroup of \(G\). If \(1+J_2(R)\) consists of units, then \(G\) has a \(c\)-chain if and only if \(G/\Phi(G)\) contains a complete set of representatives of the isomorphism classes of minimal \(R\)-modules.