polynomial identity ring