Complex Numbers under Addition form Infinite Abelian Group

Theorem

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

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

Proof

From Complex Numbers under Addition form Group, $\struct {\C, +}$ is a group.

Then:

Complex Addition is Commutative

and:

Complex Numbers are Uncountable.

$\blacksquare$

Sources

• 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text I$: Algebraic Structures: $\S 7$: Semigroups and Groups: Example $7.1$
• 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 34$. Examples of groups: $(1)$
• 1982: P.M. Cohn: Algebra Volume 1 (2nd ed.) ... (previous) ... (next): $\S 3.2$: Groups; the axioms: Examples of groups $\text{(i)}$
• 1996: John F. Humphreys: A Course in Group Theory ... (previous) ... (next): Chapter $1$: Definitions and Examples: Example $1.4$