No label defined (Q4368946)

Let \(N\) be a right, zero symmetric nearring with an identity. If \(N\) is not a ring, then the attempt to produce a polynomial nearring \(N[x]\) by defining addition and multiplication as one does in the case of rings fails since multiplication is not associative. The problem then, is to define a polynomial nearring \(N[x]\) so that \(N[x]\) is indeed a nearring and if \(N\) happens to be a ring, then \(N[x]\) coincides with the usual ring of polynomials. Using an approach recommended by A. P. J. van der Walt, the author does just that. Let \(K\) be the set of nonnegative integers and let \(N^K\) be the collection of all functions from \(K\) into \(N\), that is, the collection of all infinite sequences of elements of \(N\). Define a product from \(N^K\times N\) to \(N^K\) by \((a_0,a_1,a_2,\dots,a_n,\dots)b=(a_0b,a_1b,a_2b,\dots,a_nb,\dots)\) and denote by \(M_N(N^K)\) all those selfmaps \(f\) of \(N^K\) such that \(f(ab)=f(a)b\) for all \(a\in N^K\) and all \(b\in N\). Then \(M_N(N^K)\) is a nearring under pointwise addition and composition. For each \(b\in N\), define a map \(L_b\) in \(M_N(N^K)\) by \(L_b(a_0,a_1,a_2,\dots,a_n,\dots)=(ba_0,ba_1,ba_2\dots ba_n,\dots)\). Then \(A_N=\{L_b:b\in N\}\) is a subnearring of \(M_N(N^K)\) which is isomorphic to \(N\) and so is identified with \(N\). Next, define a shift operator \(x\) in \(M_N(N^K)\) by \(x(a_0,a_1,a_2,\dots,a_n,\dots)=(0,a_0,a_1,\dots,a_n,\dots)\). The polynomial nearring \(N[x]\) is defined to be the subnearring of \(M_N(N^K)\) which is generated by \(A_N\cup\{x\}\). The author then goes on to derive various analogues of properties of rings of polynomials for the nearrings \(N[x]\). For the entire collection see [Zbl 0874.00036].