Wedderburn

Last updated January 27, 2022

Statement

Let $F$ be a field.

1. Assume the characteristic is not 2. Then any division $F$-algebra with $F$-dimension 4 is a quaternion algebra.
2. We may replace “division” above with “central simple”.