Compass Geometry

7. Inversive geometry and involutory quandles.

Consider now the algebraic operation of inversion, >, and its properties on circles. First, circles remain fixed upon inversion in themselves. Second, inverting twice in the same circle is the identity operation. Third, inversion preserves inversion in the sense that if B inverts A and A', then B>C inverts A>C and A'>C.

Distributivity

In the diagram above, the initial three circles are A, B, and C. Then D = A>B, E = A>C, F = B>C, and G is both (A>B)>C, and (A>C)>(B>C). In other words, > distributes over itself on the right. Distributivity for points

In order to verify this statement, it suffices to show that

when P is a point. For if the identity holds for all points P of A, then it holds for A itself.

In the diagram to the right, P is a given point, and B and C are given circles. The point Q = P>B, R = P>C, the circle F = B>C as before, and the point S will equal both Q>C and R>F.

To see that S does equal both of these, it is enough to note that Q is characterized as the point that all the circles pass through which are orthogonal to B and pass through P, that R>F is analogously characterized as the point that all the circles pass through which are orthogonal to F and pass through R, and that inversion through C preserves circles and orthogonality of circles.

Involutive quandles

Algebraically, the three properties of inversion in circles are the following three identities.

A set equipped with a binary operation > satisfying these three axioms is called a involutory quandle. We'll follow the notational convention for > that when parentheses are left out of an expression, operations are to be performed from left to right.

It may appear at first sight that these properties are somewhat mysterious, but they're not. Any time you consider the involutions in a group (elements of order 2 in a group), or a conjugacy class of involutions, then conjugation as a binary operation forms a involutory quandle. That is, when > is defined by x>y = yxy-1, which is the same as yxy when y is an involution, then > satisfies Q1 through Q3. Each of the three axioms is easily verified.

That's just the situation we have when we consider inversions in circles in inversive geometry. The group is the Möbius group of inversive transformations, transformations that preserve circles. The inversions form a conjugacy class of involutions. (They're not all the involutions; for instance, half-turns are also involutions.)

Incidentally, when any conjugacy class is considered, a quandle results, but it's only an involutory quandle conjugacy classes of involutions are considered. For a quandle, axiom Q2 is weakened.



March, 2002.
David E. Joyce
Department of Mathematics and Computer Science
Clark University
Worcester, MA 01610

Email: djoyce@clarku.edu
My Homepage