Factorial extensions of regular local rings and invariants of finite groups.
A polynomial f in the set {Xⁿ+Yⁿ, Xⁿ +Yⁿ-Zⁿ, Xⁿ +Yⁿ+Zⁿ, Xⁿ +Yⁿ-1} lends itself to an elementary proof of the following theorem: if the coordinate ring over ℚ of f is factorial, then n is one or two. We give a list of problems suggested by this result.