Assertion: trigonometric identity | /r/HasProperty | xy - yx
Facets:
Source sentences:
text: Every commutative ring is a PI-ring, satisfying the polynomial identity XY - YX = 0.