Frobenius Theorem (real Division Algebras)

Frobenius Theorem (real Division Algebras)

In mathematics, more specifically in abstract algebra, the Frobenius theorem, proved by Ferdinand Georg Frobenius in 1877, characterizes the finite-dimensional associative division algebras over the real numbers. According to the theorem, every such algebra is isomorphic to one of the following:

  • R (the real numbers)
  • C (the complex numbers)
  • H (the quaternions).

These algebras have dimensions 1, 2, and 4, respectively. Of these three algebras, the real and complex numbers are commutative, but the quaternions are not.

This theorem is closely related to Hurwitz's theorem, which states that the only normed division algebras over the real numbers are R, C, H, and the (non-associative) algebra O of octonions.

Read more about Frobenius Theorem (real Division Algebras):  Proof, Pontryagin Variant

Famous quotes containing the words theorem and/or division:

    “To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
    —Albert Camus (1913–1960)

    “Affection, indulgence, and humor alike are powerless against the instinct of children to rebel. It is essential to their minds and their wills as exercise is to their bodies. If they have no reasons, they will invent them, like nations bound on war. It is hard to imagine families limp enough always to be at peace. Wherever there is character there will be conflict. The best that children and parents can hope for is that the wounds of their conflict may not be too deep or too lasting.”
    —New York State Division of Youth Newsletter (20th century)