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

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))\).