$T$-ideals, identities of algebras Polynomial identity rings mathematics