Abelian Algebras: Sums, Products, Duals, Powers
Abelian Algebras: Sums, Products, Duals, Powers
A vector is usually expressed in Cartesian coordinates but can be converted (in Abelian algebras) to the same number of "dual" or "polar" coordinates . Three cases of Abelian algebras are shown, based on the Abelian cyclic groups , (or ×), and ×. In each case, a twofold symmetry converts the unsigned group elements into half as many real ) vector elements via the minus sign, giving complex, hyperbolic, and terplex algebras, each with vector duals, division, powers, and roots.
{x,y,…}
{α,β,…}
C
4
K
C
2
C
2
C
3
C
2
(
C
1
Case 1, , shows complex Cartesian/polar duals , as the familiar complex plane (the Argand–Wessel diagram), related by , . Vectors and appear as Cartesian points (arrowheads) and polar points (radius, angle pairs). Vector addition is Abelian, (the translated second vector is shown as a dashed line from the head of the first). Vector multiplication and powers are less familiar; is the oriented area of the parallelogram . The power slider changes or animates . The inverse power, , is also shown. As these can become large, they are scaled down by half in the graphics. Division is multiplication by .
{x,y}~{ρ,θ}
x=ρcos(θ)
y=ρsin(θ)
A
B
{x,y}
{ρ,θ}
A+B=B+A
AB
p
A
AB
(0,A,AB,B)
p
-p
A
-1
A
You can click the components of or to change them by the current setting of "step"; the values and the diagram respond. Note that angles add, , while lengths multiply—the length of is the product of the lengths of and . The radii and angles can be stepped after switching from Cartesian to polar. Clicking "restore" returns to the original settings.
A
B
∠AB=∠A+∠B
AB
A
B
Case 2, based on the Klein four-group , has often been rediscovered as the hyperbolic plane, double numbers, Study numbers, Cayley–Klein algebra, perplex numbers, etc. It has two linear conserved factors and , which combine to conserve =-. This defines a hyperbolic dual with an "ulna" (named by analogy with "radius") and a hyperbolic angle . Unlike , which is restricted to one quadrant, the angle exists in all octants. It is shown here as labeled hyperbolic arcs, replacing the circular arcs of case 1. As complex angles and a branch cut are involved, the "" option only accesses a limited region (, ), and angle addition is only correct up to .
K
x+y
x-y
2
u
2
x
2
y
u
ϕ=arctanh(x/y)
arctanh(z)
ρθ
x>0
|y|<x
πi/2
Case 3, , is a little-known "terplex" algebra that can be simulated (with loss of information and elegance) by projection onto the complex plane. It has three degrees of freedom; in the Cartesian formulation and in the polar (cylindrical coordinates) formulation. Click the "triagonal" or ) and drag until it shrinks to a central point, corresponding to projection onto the complex plane. The pale triangles show the projection onto for each Cartesian vector, or onto and in cylindrical coordinates.
C
3
{a,b,c}
{δ,ρ,θ}
(a=b=c
ρ=0
c=0
ρ=0
δ=0