Tengo el siguiente problema:
Sea$R$ un anillo conmutativo con identidad y$\phi: R \rightarrow R$ un automorfismo de anillo. Si$F=\lbrace r\in R | \phi(r)=r \rbrace$, muestra que$\phi^2$ es el mapa de identidad implica que cada elemento de$R$ es la raíz de un polinomio monic de grado dos en$F[x]$.
He intentado construir el polinomio explícitamente, pero no he tenido suerte. He considerado intentar usar un argumento utilizando índices, pero no estoy seguro de cómo hacerlo.