Assertion: division ring | /r/HasProperty | commutative
Facets:
value: by wedderburn's theorem
type: OTHER
Source sentences:
text: By Wedderburn's theorem, every finite division ring is commutative, and therefore a finite field.
text: However, by Wedderburn's little theorem all finite division rings are commutative and therefore finite fields.