# Revista Matemática Iberoamericana

Full-Text PDF (235 KB) | Metadata | Table of Contents | RMI summary

**Volume 33, Issue 4, 2017, pp. 1487–1499**

**DOI: 10.4171/RMI/979**

Published online: 2017-11-17

Polynomials of degree 4 defining units

Osnel Broche^{[1]}and Ángel del Río

^{[2]}(1) Universidade Federal de Lavras, Brazil

(2) Universidad de Murcia, Spain

If $x$ is the generator of a cyclic group of order $n$ then every element of the group ring $\mathbb Z \langle x \rangle$ is the result of evaluating $x$ at a polynomial of degree smaller than $n$ with integral coefficients. When such an evaluation result into a unit we say that the polynomial defines a unit on order $n$. Marciniak and Sehgal have classified the polynomials of degree at most 3 defining units. The number of such polynomials is finite. However the number of polynomials of degree 4 defining units on order 5 is infinite and we give the full list of such polynomials. We prove that (up to a sign) every irreducible polynomial of degree 4 defining a unit on an order greater than 5 is of the form $a(X^4+1)+b(X^3+X)+(1-2a-2b)X^2$ and obtain conditions for a polynomial of this form to define a unit. As an application we prove that if $n$ is greater than 5 then the number of polynomials of degree 4 defining units on order $n$ is finite and for $n\le 10$ we give explicitly all the polynomials of degree 4 defining units on order $n$. We also include a conjecture on what we expect to be the full list of polynomials of degree 4 defining units, which is based on computer aided calculations.

*Keywords: *Group rings, units

Broche Osnel, del Río Ángel: Polynomials of degree 4 defining units. *Rev. Mat. Iberoam.* 33 (2017), 1487-1499. doi: 10.4171/RMI/979