Let be a finitely generated principal ideal domain and
. It is proved that arbitrary
F-algebra which satisfies the identity
f(x)=0 is commutative if and only if either
a1 is a unit or
, where
l is a unit,
pi the are irreducible,
i < s, and there are the following conditions: