An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

From MaRDI portal





The authors give a term equivalence between the simply \(k\)-cyclic Post algebra of order \(p\), \( L_{p, k}\), and the finite field \(F(p^k)\) with constants \(F(p)\). By using Lagrange polynomials they give an explicit procedure to obtain an interpretation \(\Phi_1\) of the variety \(\nu (L_{p, k})\) generated by \(L_{p, k}\) into the variety \(\nu(F(p^k))\) generated by \(F(p^k)\) and an interpretation \(\Phi_2\) of \(\nu(F(p^k))\) into \(\nu (L_{p, k})\) such that \(\Phi_2 \Phi_1 (B) = B\) for every \(B \in \nu(L_{p, k})\) and \(\Phi_1 \Phi_2 (R) = R\) for every \(R \in \nu(F(p^k))\).











This page was built for publication: An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861578)