A skew field is a division ring that has a non-commutative multiplication operation. Wedderburn's Theorem states that there are no finite skew fields, i.e. any finite division ring is always a field. The most famous example of a skew field are Hamilton's quaternions.