Property: polynomial identity

Definition: There exists an element of $\mathbb Z\langle x_1,\ldots x_n\rangle$ for which any set of $n$ ring elements satisfies the polynomials

Metaproperties

This property has the following metaproperties
  • passes to subrings
  • passes to quotient rings
  • stable under finite products