En la serie de potencia formal suena$\mathbb{F}[[x]]$ sobre un campo$\mathbb{F}$ de la característica$p>0$, considere un elemento de la forma$f=\sum_{i=0}^\infty a_ix^{p^i}$. Deje que$R$ denote la subálgebra unitaria de$\mathbb{F}[[x]]$ generada por$x$ y$f$.
En mi trabajo reciente me encontré con el siguiente problema:
PREGUNTA. ¿Cuándo es$R$ un dominio ideal principal?
Por supuesto, esto es trivial siempre que$x$ pertenece a la subálgebra generada por$f$ (o viceversa).
