The Dirac Sea

We give an alternate definition of the free Dirac field featuring an explicit construction of the Dirac sea. The treatment employs a semi-infinite wedge product of Hilbert spaces. We also show that the construction is equivalent to the standard Fock space construction.