Dedekind Poisson Algebras over Arbitrary Fields

Abstract

We study Poisson algebras in which every Poisson subalgebra is a Poisson ideal, called Dedekind Poisson algebras, over arbitrary fields and without any finite-dimensionality assumption. In characteristic different from 2, combining the two operations by $x\ast y=xy+[x,y]$ connects the problem with Outcalt's classical classification of power-associative H-algebras and yields the same structural type. We obtain a complete classification by a direct two-operation argument valid in every characteristic. This approach also shows that characteristic 2 retains additional Poisson information which cannot be recovered from the single product $\ast$.