Algebraic Structure of Complex Numbers
When you come to quadratic equations you will be confronted with an entity (or nonentity) whose name is written this way  √1, and pronounced "square root of minus one." Mary Everest Boole 
Complex numbers are points in the plane endowed with additional structure. We consider the set
(x_{1}, y_{1}) = (x_{2}, y_{2}) iff x_{1} = x_{2} and y_{1} = y_{2}.
With two operations  addition and multiplication  defined below, the set R^{2} becomes the set C of complex numbers. R^{2} considered as a set of complex numbers C is called Argand diagram or Argand plane or Gauss plane.
Addition
(x_{1}, y_{1}) + (x_{2}, y_{2}) = (x_{1} + x_{2}, y_{1} + y_{2}).
Multiplication
(x_{1}, y_{1})(x_{2}, y_{2}) = (x_{1}x_{2}  y_{1}y_{2}, x_{1}y_{2} + x_{2}y_{1}).
Addition is defined componentwise in a relatively standard way that extends to spaces of higher dimension. Multiplication on the other hand is peculiar to complex numbers. It only has weakened analogues in R^{4} (quaternions) and R^{8} (octonions).
Addition and multiplication of complex numbers inheret most of the properties of addition and multiplication of real numbers:
z + w = w + z and  (Commutativity),  
(Associativity),  
(Distributive Law). 
Several complex numbers play exclusive roles. For example, the number (0, 0) has the properties of 0:
(x, y) + (0, 0) = (x, y) and
(x, y)(0, 0) = (0, 0).
It is therefore natural to identify it with 0. The symbol is exactly the same as used to identify the "real" 0. We shall see shortly that there is a good reason to think of the two zeros  real and complex  as one and the same number.
Another complex number of consequence is (1, 0). This number plays an important role in multiplication that stems from the following property:
(x, y)(1, 0)  = (x·1  y·0, x·0 + y·1) 
= (x, y). 
Among complex numbers (1, 0) behaves like the real unit 1 among the real numbers. Again, there is a good reason to say that the two are one and the same. It is customary to write
The third number of importance is (0, 1). It has the remarkable feature of having a negative square. More accurately,
(i) 

In engineering sciences, the number (0, 1) is sometimes denoted as j. Elsewhere, it is standard to denote it i:
(x, y)(0, 1)  = (x·0  y·1, x·1 + y·0) 
= (y, x). 
If you compare two points (x, y) and (y, x) on the plane (even if for hust a few specific values of a and y) and join the two to the origin, you'll be able to observe that the two segments are perpendicular to each other. Moreover, the latter is obtained from the former by rotation through 90^{o} in the positive (counterclockwise) direction.
The theory of complex numbers can be developed wholy in algebraic terms, see, for example, Landau. Often, however, both on elementary and advanced level drawing from geometric intuition is extremely useful. Numbers
(1)  x = (x, 0). 
Note that previously we already did this for x = 0 and x = 1. The identification (1) is also supported algebraically. For, algebraically, x and
(x_{1}, 0) + (x_{2}, 0) = (x_{1} + x_{2}, 0) and
(x_{1}, 0)(x_{2}, 0) = (x_{1}x_{2}, 0),
as if the second component (0) was not present. With (1) in mind, we can write
(x, y)  = (x, 0) + (0, y) 
= (x, 0) + (y, 0)(0, 1)  
= x + yi, 
which is called the algebraic form of complex number (x, y):
x + yi = (x, y).
With (1), we easily multiply complex numbers by real:
r(x, y) = (r, 0)(x, y) = (rx, ry),
naturally. Which of course introduces nothing new but a convenience of notations. In the algebraic form, the addition and multiplication are redefined as
(x_{1} + y_{1}i) + (x_{2} + y_{2}i) = (x_{1} + x_{2}) + (y_{1} + y_{2})i and
(x_{1} + y_{1}i)(x_{2} + y_{2}i) = (x_{1}x_{2}  y_{1}y_{2}) + (x_{1}y_{2} + x_{2}y_{1})i.
Without (1), i^{2} would for ever remain (1, 0). Taking (1) into account we obtain the famous identity
(2)  i^{2} = (0, 1)^{2} = (1, 0) = 1. 
The possibility of embedding of the set R of reals into the set of complex numbers C, as defined by (1), is probably the single most important property of complex numbers. For, without (1) and (2), the theory of complex numbers would not deliver the closure to the branch of algebra that drove much of its development, viz., the search for the roots of polynomial equations.
The two parts of the complex number z = x + yi have special notations:
x = Re(z), y = Im(z).
Both real and imaginary parts of a complex number are real and any complex number can be written as
z = Re(z) + i·Im(z).
Re and Im are mnemonics for Real and Imaginary. Neither is less real or more imaginary than the other. In the complex plane the axes also are referred to as real and imaginary, although both are real enough to the extent that the only way to distinguish between the two is by means of orientation: the rotation from the real to the imaginary axis proceeds counterclockwise. Complex numbers for which the real part is 0, i.e., the numbers in the form yi, for some real y, are said to be purely imaginary.
With every complex number (x + yi) we associate another complex number (x  yi) which is called its conjugate. The conjugate of number z is most often denoted with a bar over it, sometimes with an asterisk to the right of it, occasionally with an apostrophe and even less often with the plain symbol Conj as in
Conj(z) = z* = z' = z.
For technical reasons, I prefer using the least common notations, z' or Conj(z):
Conj(x + yi) = (x + yi)' = x  yi.
The importance of the conjugate stems from the following fact:
(x + yi)(x + yi)' = (x + yi)(x  yi) = x^{2} + y^{2},
which, for any complex number z = x + yi, is a nonnegative real number. The nonnegative square root of this number is called the modulus or absolute value of complex number z:
(m)  x + yi = √x² + y² 
From the Pythagorean theorem, z is the distance from the point represented by z (or the point with complex coordinate z and real coordinates
The operator Conj is an involution, its square is the identity operator:
Conj(Conj(z)) = z'' = z
and therefore
z^{2} = z·z' = z'^{2}.
Also
(zw)' = z'·w',
which easily submits to direct verification. The definition of modulus is consistent with the definition of the absolute value of the real numbers:
(x, 0) = x.
In addition, it has several important properties:
(m_{1})  z ≥ 0, z = 0 iff z = 0. 
(m_{2})  zw = z·w. 
(m_{3})  z + w ≤ z + w. 
The latter is known as the triangle inequality. Geometrically, it's a feature inherited from Euclid. It can be obtained from the Argand diagram, i.e. from the identification of complex numbers with points in a plane with a reference to a triangle inequality valid in the Euclidean plane. It can also be derived algebraically. (m_{1}) follows from the definition. (m_{2}) is a consequence of the basic laws
zw^{2}  = (zw)·(zw)' 
= z·w·z'·w'  
= [z·z']·[w·w']  
= z^{2}·w^{2}  
= (z·w)^{2}. 
In particular, for a real r > 0, rz = rz, for any complex z.
Since z is the distance to the origin, z = 1 is the equation of the unit circle centered at the origin. Points on the unit circle are associated with an angle such that those points and only them have the form
z = cosa + i·sina.
For any z ≠ 0, z/z = 1 which means that z/z lies on the unit circle and therefore has the above form for some a. If we denote z = r, then z can be written as
(3)  z = r(cosa + i·sina), 
which is known as the trigonometric form of complex number, its polar representation.
If z ≠ 0 and a_{1} and a_{2} satisfy (3), then they differ by a factor of 2p:
a_{1}  a_{2} = k·2p,
where k an integer. In other words,
a_{1} = a_{2} (mod 2p).
There is a unique a[0, 2p), which denotes a halfopen interval from 0 to 2p in which 0 is included but 2p is not. This a is called the argument of z denoted arg(z):
z = z·(cos(arg(z)) + i·sin(arg(z))),
where arg(z)[0, 2p). Zero is not assigned an argument. Thus the argument of a complex number is a real number in a limited interval. The extended argument Arg(z) of a number z is the set of all real numbers congruent to arg(z) modulo 2p:
Arg(z)  = {a: a = arg(z) (mod 2p))}  
= {arg(z) + k·2p: kN}. 
So that
z = z·(cos(a) + i·sin(a)), for any aArg(z).
Obviously, the number i = (0, 1) plays a special role in the theory of complex numbers. From the properties of sine and cosine, arg(i) = p/2. Furthermore,
i·(x, y)  = (0, 1)·(x, y) 
= (0·x  1·y, 0·y + 1·x)  
= (y, x). 
Treated as two vectors, (x, y) and (y, x) are immediately seen to be orthogonal, with the latter obtained from the former by a rotation through p/2 in the positive direction.
(There is a dynamic illustration of the properties of complex numbers and the operations discussed here.)
References
 T. Andreescu, D. Andrica, Complex Numbers From A to ... Z, Birkhäuser, 2006
 C. W. Dodge, Euclidean Geometry and Transformations, Dover, 2004 (reprint of 1972 edition)
 Liangshin Hahn, Complex Numbers & Geometry, MAA, 1994
 E. Landau, Foundations of Analisys, Chelsea Publ, 3^{rd} edition, 1966
 C. Zwikker, The Advanced Geometry of Plane Curves and Their Applications, Dover, 2005
Complex Numbers
 Algebraic Structure of Complex Numbers
 Division of Complex Numbers
 Useful Identities Among Complex Numbers
 Useful Inequalities Among Complex Numbers
 Trigonometric Form of Complex Numbers
 Real and Complex Products of Complex Numbers
 Complex Numbers and Geometry
 Plane Isometries As Complex Functions
 Remarks on the History of Complex Numbers
 Complex Numbers: an Interactive Gizmo
 Cartesian Coordinate System
 Fundamental Theorem of Algebra
 Complex Number To a Complex Power May Be Real
 One can't compare two complex numbers
 Riemann Sphere and Möbius Transformation
 Problems
Contact Front page Contents Algebra
Copyright © 19962018 Alexander Bogomolny
67005165