Polynomial identity algebra