Complex Numbers form Field

Theorem
Consider the algebraic structure $$\left({\mathbb{C}, +, \times}\right)$$, where:


 * $$\mathbb{C}$$ is the set of all complex numbers;
 * $$+$$ is the operation of complex addition;
 * $$\times$$ is the operation of complex multiplication;

Then $$\left({\mathbb{C}, +, \times}\right)$$ forms a field.

Proof

 * From Additive Group of Complex Numbers, we have that $$\left({\mathbb{C}, +}\right)$$ forms an abelian group.


 * From Multiplicative Group of Complex Numbers, we have that $$\left({\mathbb{C}^*, \times}\right)$$ forms an abelian group.


 * Finally, we have that Complex Multiplication Distributes over Complex Addition.

Thus all the criteria are fulfilled, and $$\left({\mathbb{C}, +, \times}\right)$$ is a field.