We have, hence
is injective and
is surjective.
Let K be a cubic field andan integral basis. We have (for example)
. If K is a Galois cubic field, then
. Otherwise,
is a number field of degree 6, with Galois group isomorphic to
, and
is fixed by the transposition
of order 2, hence belongs to a cubic subfield, and so
is isomorphic to K. In fact, by choosing the numbering such that
and
,
is even equal to K, not only conjugate to it. Note also that we cannot have
otherwise
would be reducible.