Complex Numbers under Addition form Abelian Group

From ProofWiki
Jump to navigation Jump to search


Let $\C$ be the set of complex numbers.

The structure $\struct {\C, +}$ is an infinite abelian group.


Taking the group axioms in turn:

$\text G 0$: Closure

Complex Addition is Closed.


$\text G 1$: Associativity

Complex Addition is Associative.


$\text G 2$: Identity

From Complex Addition Identity is Zero, we have that the identity element of $\struct {\C, +}$ is the complex number $0 + 0 i$:

$\paren {x + i y} + \paren {0 + 0 i} = \paren {x + 0} + i \paren {y + 0} = x + i y$

and similarly for $\paren {0 + 0 i} + \paren {x + i y}$.


$\text G 3$: Inverses

From Inverse for Complex Addition, the inverse of $x + i y \in \struct {\C, +}$ is $-x - i y$.


$\text C$: Commutativity

Complex Addition is Commutative.



Complex Numbers are Uncountable.