ThmDex – An index of mathematical definitions, results, and conjectures.
F10749
Formulation 1
Let $\mathbb{C}$ be the D372: Set of complex numbers.
Let $+$ be the D606: Real addition operation.
Let $\cdot$ be the D610: Real multiplication operation.
The complex multiplication operation is the D554: Binary operation \begin{equation} \mathbb{C} \times \mathbb{C} \to \mathbb{C}, \quad (a, b) (c, d) = (a \cdot c - b \cdot d, a \cdot d + b \cdot c) \end{equation}