Assertion: free algebra | /r/HasProperty | free ideal rings
Facets:
Source sentences:
text: Free algebras over division rings are free ideal rings.