polynomial identity algebra