<figure><img src="image_1.png" /></figure>

HAL
open science

# Chirality in Geometric Algebra

Michel Petitjean

► To cite this version:

Michel Petitjean. Chirality in Geometric Algebra. Mathematics, 2021, 9 (13), pp.1521. 10.3390/math9131521. hal-03275488

HAL Id: hal-03275488

https://hal.science/hal-03275488

Submitted on 4 Jul 2021

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_2.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
Article

# Chirality in Geometric Algebra

Michel Petitjean<fnref n="1" />,<fnref n="2" /> ID

**Abstract:** We define chirality in the context of chiral algebra. We show that it coincides with the more general chirality definition that appears in the literature, which does not require the existence of a quadratic space. Neither matrix representation of the orthogonal group nor complex numbers are used.

**Keywords:** chirality; symmetry; reflections; geometric algebra

**MSC:** 11E88; 15A66

## 1. Introduction to Symmetry and Chirality

Although symmetry and chirality have been known about for millennia, in the arts, architecture, and elsewhere they have recently received a mathematical definition establishing consensual terminology. It is necessary to mention several important contributions.

According to science historian Joseph Gal [1], Pasteur discovered molecular chirality in 1848, but used the term *dissymmetry* (a detailed history is given in Gal's paper). However, *dissymmetry* should not be confused with *asymmetry*, which means a lack of both direct and indirect symmetry.

The terms *chiral* and *chirality* were introduced later, in 1894, by Lord Kelvin [2,3], and *dissymmetry* is now obsolete. Quoting Lord Kelvin: *I call any geometrical figure, or group of points, chiral, and say that it has chirality if its image in a plane mirror, ideally realized, cannot be brought to coincide with itself*. This definition is clear, but it is not mathematical, in a modern sense. It was thought for Euclidean spaces rather than for the spacetime, but it is still widely used for teaching.

The term chirality was reintroduced in 1946 by Eddington [4], who wrote that the term was introduced by Kelvin. He also used the terms *right-handed* and *left-handed*, and that seems to have been at the basis of the use of these terms in quantum field theory and related fields.

Symmetry has been studied extensively in geometric algebra [5,6]. Chirality is intimately related to symmetry. A mathematical definition of symmetry can be found in [7]. It works in many cases, such as for geometric figures (with or without *colors*, as encountered in arts), for functions, probability distributions, graphs, matrices, strings, etc. This definition assumed the existence of a metric, but in fact, none of the axioms defining a true metric was necessary to define isometries. Therefore, it works in geometric algebra, for which intervals are preserved, rather than distances. In particular, it permits definition of what can be qualified as symmetric or not, as recalled in Definitions 1 and 2. Then, Definition 4 of chirality works in geometric algebra.

**Definition 1.** An object is a function with its input argument in a metric space [7].

The space of the returned values should be defined by the user. By extension, we retain here the term *object* when the metric is not a true one, as it happens in geometric algebra.

<figure><img src="image_3.png" /></figure>

### check for updates

**Citation:** Petitjean, M. Chirality in Geometric Algebra. Mathematics 2021, 9, 1521. https://doi.org/10.3390/math9131521

Academic Editor: Gabriel Eduard Vilcu

Received: 11 May 2021

Accepted: 26 June 2021

Published: 29 June 2021

**Publisher's Note:** MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

<figure><img src="image_4.png" /></figure>

**Copyright:** © 2021 by the author. License MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).

<footnote n="1">¹ BFA, CNRS UMR 8251, INSERM ERL U1133, Université de Paris, 75013 Paris, France; petitjean.chiral@gmail.com or michel.petitjean@univ-paris-diderot.fr</footnote>

<footnote n="2">² E-pôle de Génoinformatique, CNRS UMR 7592, Institut Jacques Monod, 75013 Paris, France</footnote>
**Definition 1.** *An object is symmetric when it is invariant under an isometry which is not the identity [7].*

Definition 1 is pertinent in the case of the spacetime, where a physical quantity, called a field, receives a value at each point of the spacetime. Such a field should not be confused with a mathematical field, which is an algebraic structure. For example, in physics, a scalar field is a field returning a scalar value, while in mathematics, a field of scalars is a set over which is defined a vector space. Then, we retrieve the well-known classical definitions.

**Definition 2.** *An object is symmetric when it is invariant under an isometry which is not the identity [7].*

In physics, Definition 2 corresponds to global symmetry. Local symmetry and gauge symmetry are other concepts commonly encountered in physics [8]. Nevertheless, supplying them a mathematical definition working outside physics does not fall in the scope of this paper.

In the Euclidean case, rotations are classified as direct isometries, while a reflection and the compositions of rotations with an odd number of reflections are classified as indirect isometries.

The definition of direct and indirect symmetries which is retained here in Definition 3, is not the classical one related to orientation preserving operators. It is a more general one [9], which recovers the classical one in the case of Euclidean spaces. It does not require the existence of a vector space. We recall it below.

**Definition 3.** (a) An isometry is direct when it can be expressed as a product of squared isometries, a squared isometry being the composition of an isometry with itself.

(b) An isometry which is not direct is an indirect isometry.

Then, we retrieve the classical definition of chirality.

**Definition 4.** *An object is achiral when it is invariant under an indirect isometry. If no indirect isometry leaves an object invariant, it is chiral.*

In this paper, we show that Definition 3 works in geometric algebra, and that the isometries of the orthogonal group are classified accordingly in Section 4.5. The main result is given in Theorem 13.

## 2. Basic Concepts

The basics of geometric algebra can be found in [10–12]. Here we consider a vector space $V$ over a field $F$. In all what follows, we set $F = \mathbb{R}$. The dimension $n$ of $V$ is finite. The space $V$ is equipped with a non-degenerate quadratic form $Q$, which is not required to be positive definite. The signature of $Q$ is $(p, q, 0)$, with $p + q = n$. In this section, unless otherwise stated, $u, v, x$ and $y$ are vectors of $V$.

The quadratic space $(V, Q)$ is endowed with the symmetric bilinear form:

$$ \beta(u, v) = \frac{1}{2} [Q(u + v) - Q(u) - Q(v)] \qquad (1) $$

In the three next subsections, we just list known facts and results that are needed further in the text.

### 2.1. The Geometric Product

* For any vector $u, Q(u) = \beta(u, u)$.

* The inner product between two vectors $u$ and $v$ is: $u \cdot v = \beta(u, v)$.

* The subspace of isotropic vectors can be non-empty. It happens for the Minkowski space, where isotropic vectors are called lightlike.

* The interval between two vectors $u$ and $v$ is: $S_{u,v}^2 = Q(u - v) = (u - v) \cdot (u - v)$. The interval $S_{u,v}$ is defined by its square, but this square can be negative.
* The exterior product (or wedge product) of $u$ and $v$ is denoted $u \wedge v$.

* The geometric product of $u$ and $v$ is: $uv = u \cdot v + u \wedge v$.

* The geometric product can be extended to an arbitrary number of vectors. It is associative. It is distributive over the addition of the algebra.

* The symmetric part $u \cdot v = v \cdot u$ of the geometric product $uv$ is a scalar.

* Its antisymmetric part $u \wedge v = -v \wedge u$, is a bivector.

## 2.2. Invertible Vectors

* For any vector $u, u \wedge u = 0$, and $uu = u \cdot u$.

* For any vectors $u$ and $v$, $u^2 v^2 = (u \cdot v)^2 - (u \wedge v)^2$.

* Two vectors $u$ and $v$ are said to be orthogonal when $u \cdot v = 0$.

* A unit vector $u$ is such that $u \cdot u = \pm 1$.

* The inverse of a vector $v$, $v \cdot v \neq 0$ is: $v^{-1} = \frac{1}{v \cdot v} v$. It is such that $vv^{-1} = v^{-1}v = 1$. Isotropic vectors cannot be scaled to unit and cannot be inverted.

## 2.3. Projections and Reflections

* The projection $x_{\parallel v}$ of a vector $x$ onto an invertible vector $v$ is: $x_{\parallel v} = (x \cdot v)v^{-1}$.

* The rejection part of $x$ is: $x_{\perp v} = x - x_{\parallel v}$. Thus, $x_{\perp v} = (x \wedge v)v^{-1}$.

* $x_{\perp v}$ and $v$ are orthogonal because $x_{\perp v} \cdot v = 0$; $x \cdot x = x_{\parallel v} \cdot x_{\parallel v} + x_{\perp v} \cdot x_{\perp v}$.

* The reflection $\sigma_v$ is an operator which transforms a vector $x$ into its reflected image through the hyperplane orthogonal to $v$: $\sigma_v(x) = -x_{\parallel v} + x_{\perp v}$.

* It is deduced the following expression of $\sigma_v(x)$:

$$ \sigma_v(x) = -vxv^{-1} \qquad (2) $$

In the literature, the opposite of the right side of Equation (2) is sometimes called the sandwiching product.

* A reflection is linear, involutive, and bijective.

* The reflection $\sigma_v$ is invariant when $v$ is multiplied by a non-null constant $\lambda$: $\sigma_v = \sigma_{\lambda v}$. Therefore, Equation (2) can be expressed with the unit vector $u = \frac{1}{|v \cdot v|^{1/2}} v$, which is such that $u \cdot u = \operatorname{sgn}(v \cdot v) = \pm 1$.

$$ \sigma_u(x) = -\epsilon_u u x u, \quad \epsilon_u = \operatorname{sgn}(u \cdot u) \qquad (3) $$

**Lemma 1.** Given an invertible vector $v$, the reflection $\sigma_v$ preserves intervals.

**Proof.** Consider any vector $x$; $\sigma_v(x) \cdot \sigma_v(x) = vxv^{-1} \cdot vxv^{-1}$, i.e., $\sigma_v(x) \cdot \sigma_v(x) = vxv^{-1}vxv^{-1}$. Then, $xx = x \cdot x$, and it comes that $\sigma_v(x) \cdot \sigma_v(x) = x \cdot x$. Similarly, for any two vectors $x$ and $y$, $\sigma_v(x - y) \cdot \sigma_v(x - y) = (x - y) \cdot (x - y)$. $\square$

**Lemma 2.** Given an invertible vector $v$, the reflection $\sigma_v$ preserves the inner product.

**Proof.** Consider any two vectors $x$ and $y$. Using Equation (1), express $\sigma_v(x) \cdot \sigma_v(y)$ as a linear combination of squared vectors, then apply Lemma 1. $\square$

**Theorem 1.** The composition of any number of reflections is a bijection of $V$ onto $V$ preserving the inner product.

**Proof.** Apply Lemma 2 and remember that a reflection is a bijection of $V$ onto $V$. $\square$

According to [10], a product of vectors is called a versor, and it is called a $k$-versor when it is factorized into a product of $k$ vectors. A scalar is a 0-versor. When a versor $S$ is a product of $k$ vectors, the product expressed in reverse order is denoted $S^+$. An even
versor S which is such that $S^\dagger S = +1$ is called a rotor. A rotation R is a product of an even number of reflections which is so that $R(x) = S^\dagger xS$, where S is a rotor.

Reflections and compositions of reflections are operators preserving intervals. It is why we call these operators *isometries*, even if the quadratic space is not a true metric space. Reflections generate a group by their composition, called the real orthogonal group $O(p,q; \mathbb{R})$, denoted here $O(p,q)$, with $p+q=n$. When $Q$ is positive definite, $q=0$, and $O(p,q)$ is denoted $O(n)$. Translations are also called isometries because, visibly, they preserve intervals. Translations are affine transformations, they are not members of $O(p,q)$. However, a modern treatment of translations exists in geometric algebra [5,6]. The Euclidean group is a semidirect product of $O(n)$ and the group of translations. According to Cartan-Dieudonné theorem, any element of the orthogonal group can be generated by at most $n$ reflections: see [13], or Theorem 3.20 in [14].

Some other classical results are given in the next section. In all subsequent sections, we neglect translations. Thus, for convenience and by abuse of language, we use the word *isometry* as being synonym of a member of the orthogonal group. As for the geometric product, we do not use any symbol to denote products or compositions of isometries. That will raise no ambiguity because it will be clear from the context.

**3. Basis Vectors, Commutation, Anticommutation and Pseudoscalars**

**3.1. Basis Vectors**

The bilinear form $\beta$ is defined from the non-degenerate quadratic form $Q$ in Equation (1), which is always expressible with a $n$ by $n$ nonsingular square matrix $B$. This latter can be considered to be symmetric, without loss of generality ($Q$ is invariant when $B$ is replaced by its transposed $B^t$ or by $(B+B^t)/2$). The matrix $B$ represents a linear automorphism $\mathcal{B}$ of $V$ onto $V$. This latter has $n$ real eigenvalues and $n$ eigenvectors. For convenience, we assume that these $n$ eigenvalues are ordered in non-increasing order, so that the $p$ first eigenvalues are positive and the $q = n-p$ last eigenvalues are negative.

The quadratic space $(V, Q)$ has $n$ basis vectors $e_i$, $1 \le i \le n$. These latter can be chosen as the eigenvectors associated with the eigenvalues of the linear automorphism $\mathcal{B}$. It follows that $e_i \cdot e_j = \beta(e_i, e_j) = 0$ when $i \neq j$. Then, the $n$ eigenvectors are normalized: $e_i \cdot e_i = +1$ for $1 \le i \le p$, and $e_i \cdot e_i = -1$ for $(p+1) \le i \le n$.

**3.2. Commutation and Anticommutation**

**Theorem 2.** The product of any two vectors $u$ and $v$ cannot commute when $(u \cdot u)(v \cdot v) < 0$. The product of two invertible vectors commute if and only if they are colinear.

**Proof.** Let $u$ and $v$ be two vectors of $V$. If $u$ and $v$ are colinear, $uv = vu$.

Conversely, we assume that $vu = uv$. Thus, $u \wedge v = 0$, $uv = u \cdot v$, and $uvvu = (u \cdot u)(v \cdot v) = (u \cdot v)^2$.

It follows that the quantity $(u \cdot u)(v \cdot v)$ cannot be negative.

We assume that $u$ and $v$ are invertible and that $vu = uv$. Then, $v = uvu^{-1}$, i.e.,
$$ v = u \frac{u \cdot v}{u \cdot u}. \quad \square $$

**Corollary 1.** The reflections $\sigma_u$ and $\sigma_v$, respectively along the invertible vectors $u$ and $v$, are equal if and only if $u$ and $v$ are colinear.

**Proof.** Obviously, the colinearity of $u$ and $v$ implies that $\sigma_u = \sigma_v$.

Conversely, if we assume that $\sigma_u = \sigma_v$, we have both $\sigma_u(v) = -uvu^{-1}$ and $\sigma_v(v) = -v$, from which $uvu^{-1} = v$, i.e., $uv = vu = u \cdot v$. Apply Theorem 2. $\square$

Any two distinct basis vectors $e_i$ and $e_j$ are orthogonal. We deduce that $e_i e_j = -e_j e_i$. This is the anticommutation rule, a cornerstone in the theory of Clifford algebras.

**Theorem 3.** The product of two distinct reflections $\sigma_u$ and $\sigma_v$, respectively along the invertible vectors $u$ and $v$, is commutative if and only if $u$ and $v$ are orthogonal. If so, it is involutive.
**Proof.** We define $\epsilon_u = \operatorname{sgn}(u \cdot u)$ and $\epsilon_v = \operatorname{sgn}(v \cdot v)$, and we assume that $u$ and $v$ are unit vectors, without loss of generality. From Equation (3), we obtain that $vuxuv = uvxvu$ for any vector $x$. We deduce that $4(u \cdot v)x(u \wedge v) = (uv + vu)x(uv - vu) = uvxuv - vuxvu$. Setting $x = u$, we obtain $(u \cdot v)u(u \wedge v) = 0$. Thus, either $u \cdot v = 0$ or $u(u \wedge v) = 0$. However, in this latter situation, we would have $u(uv) = u(u \cdot v)$, meaning that $u$ and $v$ are colinear, and that $\sigma_u = \sigma_v$ due to Corollary 1.

Conversely, if $u \cdot v = 0$, $uv = -vu$, $vuxuv = uvxvu$, and $\sigma_v\sigma_u = \sigma_u\sigma_v$.

If $\sigma_v\sigma_u$ is commutative, it is involutive because $(\sigma_v\sigma_u)^2 = (\sigma_v\sigma_u)(\sigma_u\sigma_v)$. $\square$

### 3.3. Pseudoscalars

**Lemma 3.** The wedge product of $m$ vectors of $V$, $v_1 \wedge \dots \wedge v_m$, is null when one of these vectors is linearly dependent on the other ones.

**Proof.** Express each of the $m$ vectors with the basis vectors and develop the product. Each term contains twice one of the basis vectors, so, all terms are null. $\square$

**Definition 5.** We define the following $n$-blade, of grade $n$:

$$ \omega = e_1 e_2 \dots e_n, \text{ i.e., } \omega = e_1 \wedge e_2 \wedge \dots \wedge e_n. $$

**Theorem 4.** The following properties of $\omega$ stand:

(a) For any $v \in V$, $\omega \wedge v = 0$, $\omega^\dagger \wedge v = 0$; $wv = (-1)^{n-1}vw$, $w^\dagger v = (-1)^{n-1}vw^\dagger$.

(b) When $n$ is odd, $\omega$ commutes with any multivector, and when $n$ is even, $\omega$ commutes with even grade multivectors and it anticommutes with odd grade multivectors. Same conclusions for $\omega^\dagger$.

(c) $\omega^2 = (-1)^{q+\frac{n(n-1)}{2}}$; $(\omega^\dagger)^2 = (-1)^{q+\frac{n(n-1)}{2}}$; $\omega^\dagger = (-1)^{\frac{n(n-1)}{2}}\omega$; $\omega^\dagger\omega = \omega\omega^\dagger = (-1)^q$.

(d) $\omega$ and $\omega^\dagger$ are pseudoscalars.

**Proof.** (a) $v$ is linearly dependent on the $n$ basis vectors: apply Lemma 3.

(a)-(c) Apply the anticommutation rule; $\omega e_i = (-1)^{n-1}e_i\omega$, and $\omega^\dagger e_i = (-1)^{n-1}e_i\omega^\dagger$, $1 \le i \le n$.

(d) $\omega$ is a pseudoscalar, but not a scalar, because its sign changes under a sign change of anyone of the basis vectors. Similarly, $\omega^\dagger$ is a pseudoscalar. $\square$

## 4. Direct and Indirect Isometries

Here, we retain Definition 3 as the general definition of direct and indirect isometries (see Section 1). The subset of $O(p, q)$ containing the direct isometries is denoted $O^D(p, q)$. It is not empty because it contains the identity. The subset of $O(p, q)$ containing the indirect isometries is denoted $O^I(p, q)$. The members of the orthogonal group can be classified as direct or indirect, as shown further.

### 4.1. Case of a Single Reflection

**Theorem 5.** A single reflection cannot be decomposed into an even number of reflections.

**Proof.** The proof is immediate in the case of Euclidean spaces, but it is recalled that the meaning of indirect isometries is the one of Definition 3. We consider a reflection $\sigma_u$ along an invertible vector $u$. We assume that $\sigma_u$ is a product of $2m$ reflections, $m \ge 1$.

Let $\sigma_{v_i}$ be these reflections, $1 \le i \le 2m$, each $\sigma_{v_i}$ being a reflection along the invertible vector $v_i$.

The image of each basis vector $e_i$, $1 \le i \le n$, is: $\sigma_u(e_i) = (-1)^{2m}(v_{2m} \dots v_1)e_i$ ($v_1^{-1} \dots v_{2m-1}$).

Then, the product $\Pi$ of the $n$ images is: $\Pi = \sigma_u(e_1)\dots\sigma_u(e_n) = (v_{2m} \dots v_1)\omega$ ($v_1^{-1} \dots v_{2m-1}$), where $\omega$ is the pseudoscalar introduced in Section 3.3. Discarding if $n$ is even or odd, from Theorem 4b, $\omega$ commutes with any even grade multivector, and thus it commutes with any product of an even number of vectors because such product is a
linear combination of even grade multivectors. Therefore, the product of these n images is
$\Pi = \omega$.

However, the product of the *n* images should be: $\Pi = (-1)^n(ue_1u^{-1}) \dots (ue_nu^{-1})$, i.e., $\Pi = (-1)^n(u\omega u^{-1})$. From Theorem 4b, $\omega$ commutes with $u$ when $n$ is odd, and $\omega$ anticommutes with $u$ when $n$ is even. In both cases, $\Pi = -\omega$, a contradiction (the pseudoscalar $\omega$ is not null because $\omega^4 = 1$). $\square$

**Corollary 2.** *A single reflection is an indirect isometry.*

**Proof.** A product of squared isometries is the product of an even number of isometries. Then, apply Theorem 5. $\square$

**Corollary 3.** The set $O^1(p,q)$ is not empty: it contains at least the single reflections.

When $n = 1$, all vectors are colinear, $O^1(1,0)$ and $O^1(0,1)$ contain only one reflection each.

## 4.2. Square Root of a Rotation

**Lemma 4.** Let $u$ and $v$ be two unit vectors of $V$, so that $u \cdot u = v \cdot v$. Either $u + v$ or $u - v$ is invertible. Both can be invertible.

**Proof.** We define $\epsilon_u = u \cdot u$ and $\epsilon_v = v \cdot v$. We assume that $\epsilon_u = \epsilon_v$ and we assume that both $(u+v) \cdot (u+v) = 0$ and $(u-v) \cdot (u-v) = 0$. Then, $\epsilon_u + \epsilon_v + 2u \cdot v = 0$ and $\epsilon_u + \epsilon_v - 2u \cdot v = 0$. By summation, $\epsilon_u + \epsilon_v = 0$, a contradiction. $\square$

**Lemma 5.** Let $\sigma_u$ and $\sigma_v$ be the reflections respectively associated with the invertible unit vectors $u$ and $v$. When $u \cdot u$ and $v \cdot v$ have the same sign:

* (a) If $(u+v) \cdot (u+v) \neq 0$, the operators $R_1 = \sigma_{(u+v)}\sigma_u$ and $R_2 = \sigma_v\sigma_{(u+v)}$ are equal.

* (b) If $(u-v) \cdot (u-v) \neq 0$, the operators $R_3 = \sigma_{(u-v)}\sigma_u$ and $R_4 = \sigma_v\sigma_{(u-v)}$ are equal.

**Proof.** We define $\epsilon_u = \operatorname{sgn}(u \cdot u)$ and $\epsilon_v = \operatorname{sgn}(v \cdot v)$.

* (a): $(u+v) \cdot (u+v) \neq 0$. The reflected images $x_1$ of a vector $x$ by $R_1$ and $x_2$ by $R_2$ are:
  $x_1 = \frac{\epsilon_u}{(u+v) \cdot (u+v)}(u+v)uxu(u+v)$, and $x_2 = \frac{\epsilon_v}{(u+v) \cdot (u+v)}v(u+v)x(u+v)v$.

$[(u+v) \cdot (u+v)](x_1 - x_2) = (u+v)uxu(u+v) - v(u+v)x(u+v)v$.

$[(u+v) \cdot (u+v)](x_1 - x_2) = (\epsilon_u - \epsilon_v)(x+vuxuv)$, then $R_1(x) = R_2(x)$ when $\epsilon_u = \epsilon_v$.

* (b): $(u-v) \cdot (u-v) \neq 0$. Replacing $u+v$ by $u-v$, in case (a), we obtain:

$[(u-v) \cdot (u-v)](x_1 - x_2) = (\epsilon_u - \epsilon_v)(x+vuxuv)$, then $R_3(x) = R_4(x)$ when $\epsilon_u = \epsilon_v$.

<figure><img src="image_5.png" /></figure>

**Theorem 6.** Let $\sigma_v\sigma_u$ be the composition of the reflections $\sigma_u$ and $\sigma_v$, respectively associated with the unit vectors $u$ and $v$. When $\operatorname{sgn}(u \cdot u) = \operatorname{sgn}(v \cdot v)$, $\sigma_v\sigma_u$ is a rotation, and it can be written as the square of an isometry. It is a direct isometry.

**Proof.** $[\sigma_v\sigma_u](x) = \epsilon_u\epsilon_vvuxuv$. It is assumed that $\epsilon_u = \operatorname{sgn}(u \cdot u)$ and $\epsilon_v = \operatorname{sgn}(v \cdot v)$ are equal.

(a) We assume that $(u+v) \cdot (u+v) \neq 0$.

From Lemma 5a, $R_1 = \sigma_{(u+v)}\sigma_u$ and $R_2 = \sigma_v\sigma_{(u+v)}$ are equal, thus $R_2R_1$ is a square.

$$ [R_2 R_1](x) = \frac{\epsilon_u \epsilon_v}{[(u+v) \cdot (u+v)]^2} v(u+v) [(u+v)uxu(u+v)] (u+v)v = \epsilon_u \epsilon_v vuxuv. $$

Thus, for any vector $x$, $[\sigma_v\sigma_u](x) = [R_2 R_1](x)$, therefore $\sigma_v\sigma_u$ is a square.

(b) We assume that $(u-v) \cdot (u-v) \neq 0$.

The proof is the same as in case (a), using Lemma 5b rather than Lemma 5a:
$R_3 = \sigma_{(u-v)}\sigma_u$ and $R_4 = \sigma_v\sigma_{(u-v)}$ are equal, $R_3R_4$ is a square, and $\sigma_v\sigma_u$ is a square.

From Lemma 4, necessarily either case (a) or case (b) occurs, therefore the rotation $\sigma_v\sigma_u$ is a square. According to Definition 3, it is a direct isometry. $\square$
In the Euclidean case, Theorem 6 means that a rotation in the plane containing $u$ and $v$ is the product of two equal rotations of half the angle defined by $u$ and $v$. Since the sense of neither $u$ nor $v$ is meaningful, two supplementary angles are considered.

**Corollary 4.** *A product of rotations is a rotation, and it is a direct isometry.*

**Proof.** Apply Theorem 6, or see this corollary as a consequence of Theorem 1 in [9]: a product of direct isometries is a direct isometry. □

In the case of $\mathbb{R}^{1,3}$, which is used to modelize the spacetime in special relativity, the vectors with a positive square are called timelike, and the vectors with a negative square are called spacelike. and the vectors with a null square are called lightlike. In Theorem 6, the case where $u \in V^-$ and $v \in V^-$ correspond to spatial rotations. The case where the rotation is in a plane defined by one timelike vector and one spacelike vector is a boost, and corresponds to a hyperbolic rotation [15]. Other cases targeted by Theorem 6 correspond to compositions of rotations and boosts. Thus, boosts are direct isometries, as mentioned in [16].

### 4.3. Full Reflection and Reversal Operators

**Definition 6.** We denote by $\sigma_{e_i}$ the reflection along the basis vector $e_i$, $1 \le i \le n$, and we define the full reflection as the product: $\sigma_{\omega} = \sigma_{e_n}\sigma_{e_{n-1}}\dots\sigma_{e_1}$.

**Theorem 7.** (a) The full reflection is an involution which transforms any vector of $V$ into its opposite. (b) It commutes with any isometry of $O(p, q)$.

**Proof.** (a) For any $x \in V$, $\sigma_{\omega}(x) = (-1)^n \omega^\dagger x \omega (-1)^q$, where $\omega$ is the pseudoscalar defined in Section 3.3. Applying Theorem 4b,c, it comes that $\sigma_{\omega}(x) = -x$. Thus, $\sigma_{\omega}$ is an involution.

(b) Let $\sigma_u(x) = -uxu\epsilon_u$ be the image of $x$ by the reflection along a unit vector $u$, with $\epsilon_u = u^2$.

We have $\sigma_{\omega}(x)\sigma_{u}(x) = \sigma_{u}(x)\sigma_{\omega}(x)$ because $w^{\dagger}(uxu)w = u(w^{\dagger}xw)u$ (see Theorem 4b).

Then, any isometry of $O(p, q)$ being a product of reflections, it commutes with $\sigma_{\omega}$. □

**Theorem 8.** *When $n$ is odd, $\sigma_{\omega}$ is an indirect isometry.*

**Proof.** The proof is immediate in the case of Euclidean spaces, but it is recalled that the meaning of indirect isometries is the one of Definition 3. We assume that $\sigma_{\omega}$ is a product of 2m reflections, $m \ge 1$. Let $\sigma_{v_i}$ be these reflections, $1 \le i \le 2m$, each $\sigma_{v_i}$ being a reflection along the invertible vector $v_i$. The image of each basis vector $e_i$, $1 \le i \le n$, is: $\sigma_{\omega}(e_i) = (-1)^{2m}(v_{2m} \dots v_1)e_i(v_1^{-1} \dots v_{2m}^{-1})$. Then, the product $\Pi$ of the $n$ images is: $\Pi = \sigma_{\omega}(e_1)\dots\sigma_{\omega}(e_n) = (v_{2m} \dots v_1)\omega(v_1^{-1} \dots v_{2m}^{-1})$. Discarding if $n$ is even or odd, from Theorem 4b, $\omega$ commutes with any even grade multivector, and thus it commutes with any product of an even number of vectors because such product is a linear combination of even grade multivectors. Therefore, the product of these $n$ images is $\Pi = \omega$. However, this product should be: $\Pi = (-e_1)\dots(-e_n) = (-1)^n\omega$, a contradiction when $n$ is odd. □

**Theorem 9.** *Assuming that the signature of the quadratic form is such that $p \ge 1$ and $q \ge 1$, the isometry $S_{p,p+1} = \sigma_{e_{p+1}}\sigma_{e_p} = \sigma_{e_p}\sigma_{e_{p+1}}$, is an involution, and it is an indirect isometry.*

**Proof.** When $p=0$ or $q=0$, $S_{p,p+1}$ does not exist, so we assume that $p \ge 1$ and $q \ge 1$.

From Theorem 3, $\sigma_{e_p}\sigma_{e_{p+1}} = \sigma_{e_{p+1}}\sigma_{e_p}$, and $S_{p,p+1}$ is involutive.

(a) Case where $p$ and $q$ are odd (thus, $p-1, q-1$, and $n$, are even).

The full reflection is written: $\sigma_{\omega} = (\sigma_{e_n}\sigma_{e_{n-1}})\dots(\sigma_{e_{p+3}}\sigma_{e_{p+2}})S_{p,p+1}(\sigma_{e_{p-1}}\sigma_{e_{p-2}})\dots(\sigma_{e_2}\sigma_{e_1})$.

In this product, the reflections are sequentially grouped into $n/2$ pairs. Except $S_{p,p+1}$, these pairs of reflections generate rotations because their two supporting basis vectors
have their squares with the same sign (see Theorem 6). It follows that $\sigma_{\omega}$ is a product of a rotation by $S_{p,p+1}$ and by another rotation. If $S_{p,p+1}$ would be a product of squares, $\sigma_{\omega}$ would also be a product of squares, a contradiction (Theorem 8), thus $S_{p,p+1}$ is an indirect isometry.

(b) Case where $p$ is odd and $q$ is even.

We consider $V$ as a subspace of a larger space, of odd dimensionality, with a quadratic form of signature $(p, q + 1, 0)$, so that there is one more unit basis vector of negative square, $e_{n+1}$. From part (a) of the proof, $S_{p,p+1}$ cannot be written as a product of squares. Thus, $S_{p,p+1}$ cannot be written as a product of squares in $V$: it is an indirect isometry.

(c) Case where $p$ is even and $q$ is odd. The proof is similar to part (b), with a quadratic form of signature $(p + 1, q, 0)$.

(d) Case where $p$ and $q$ are even. The proof is similar to parts (b) and (c), with a quadratic form of signature $(p + 1, q + 1, 0)$. $\square$

**Theorem 10.** When $n$ is even:

(a) When $p$ and $q$ are even, $\sigma_{\omega}$ is a direct isometry.

(b) When $p$ and $q$ are odd, $\sigma_{\omega}$ is an indirect isometry.

**Proof.** It is recalled that the meaning of indirect isometries is the one of Definition 3.

(a) When $p$ and $q$ are even, $\sigma_{\omega} = (\sigma_{e_n}\sigma_{e_{n-1}}) \cdots (\sigma_{e_{p+2}}\sigma_{e_{p+1}}) (\sigma_{e_p}\sigma_{e_{p-1}}) \cdots (\sigma_{e_2}\sigma_{e_1})$.

In this product, the reflections are sequentially grouped into $n/2$ pairs, so that each of these pairs of reflections generates a rotation because their two supporting basis vectors have their squares with the same sign (see Theorem 6). It follows that $\sigma_{\omega}$ is a product of rotations, and as such it can be written as a product of squares.

(b) When $p$ and $q$ are odd, $n$ is even. As in part (a) of the proof of Theorem 9, we have $\sigma_{\omega} = (\sigma_{e_n}\sigma_{e_{n-1}}) \cdots (\sigma_{e_{p+3}}\sigma_{e_{p+2}})S_{p,p+1} (\sigma_{e_{p-1}}\sigma_{e_{p-2}}) \cdots (\sigma_{e_2}\sigma_{e_1})$, where $S_{p,p+1}$ is an indirect isometry and the $(n/2)-1$ other pairs of reflections generate rotations. If $\sigma_{\omega}$ would be a product of squares, we could write $S_{p,p+1}$ as a product of squares, a contradiction. Therefore, $\sigma_{\omega}$ is an indirect isometry. $\square$

**Definition 7.** We define two reversal operators, $\sigma_{\omega_+}$ and $\sigma_{\omega_-}$.

When $p \ge 1$, $\sigma_{\omega_+} = \sigma_{e_p}\sigma_{e_{p-1}} \cdots \sigma_{e_1}$. When $q \ge 1$, $\sigma_{\omega_-} = \sigma_{e_n}\sigma_{e_{n-1}} \cdots \sigma_{e_{p+1}}$.

**Theorem 11.** The following properties stand:

$\sigma_{\omega_+}$ is an involution. It inverts the sign of the $p$ first components of any vector.

$\sigma_{\omega_-}$ is an involution. It inverts the sign of the $q$ last components of any vector.

The two reversal operators commute: $\sigma_{\omega_-}\sigma_{\omega_+} = \sigma_{\omega_+}\sigma_{\omega_-} = \sigma_{\omega}$.

**Proof.** Use Theorem 3 and Equation (3). $\square$

In the case where $\mathbb{R}^{1,3}$ is used to modelize the spacetime (mainly in special relativity), $\sigma_{\omega_+}$ is the time reversal, and $\sigma_{\omega_-}$ is the parity reversal.

In the case where $\mathbb{R}^{3,1}$ is used to modelize the spacetime (mainly in general relativity), $\sigma_{\omega_+}$ is the parity reversal, and $\sigma_{\omega_-}$ is the time reversal.

### 4.4. Case of Non-Existence of a Square Root

**Theorem 12.** Let $\sigma_v\sigma_u$ be the composition of the reflections $\sigma_u$ and $\sigma_v$, respectively associated with the invertible vectors $u$ and $v$. When $\operatorname{sgn}(u \cdot u) \ne \operatorname{sgn}(v \cdot v)$, $\sigma_v\sigma_u$ is an indirect isometry, and it has no square root.

**Proof.** We assume that $p \ge 1$ and $q \ge 1$ (if not, all squared vectors have the same sign, $\sigma_v\sigma_u$ cannot exist). We remember that the indirect isometry $S_{p,p+1} = \sigma_{e_{p+1}}\sigma_{e_p}$ (also equal to $\sigma_{e_p}\sigma_{e_{p+1}}$), is an involution (Theorem 9). We observe that for any two invertible vectors $u$ and $v$ with their squares of opposite signs, the product of reflections $\sigma_v\sigma_u$ is an indirect isometry because, when $u^2 > 0$ and $v^2 < 0$, $\sigma_v\sigma_u = (\sigma_v\sigma_{e_{p+1}})(\sigma_{e_{p+1}}\sigma_{e_p})(\sigma_{e_p}\sigma_u)$, and when
$u^2 < 0$ and $v^2 > 0$, $\sigma_v\sigma_u = (\sigma_v\sigma_{e_p})(\sigma_{e_p}\sigma_{e_{p+1}})(\sigma_{e_{p+1}}\sigma_u)$, which means in both cases that $\sigma_v\sigma_u$ is a product of a rotation by an indirect isometry and by a rotation, whence $\sigma_v\sigma_u$ is an indirect isometry.

It is not a product of squares, so it cannot be a square. $\square$

This non-existence of a square root is to compare with the case where $sgn(u \cdot u) = sgn(v \cdot v)$, for which the square root exists (Theorem 6).

### 4.5. Classification of Isometries

This classification is based on Definition 3. We know that the identity is a direct isometry because it is the square of any reflection, and that a product of rotations is a direct isometry (see Corollary 4).

We also know that a single reflection is an indirect isometry (see Corollary 2), and that the full reflection is an indirect isometry, except when $p$ and $q$ are even, in which case the full reflection is a direct isometry (Theorems 8 and 10).

The full classification of the isometries of $O(p, q)$ is performed with Theorem 13, with the help of Lemma 6.

**Lemma 6.** *T being any isometry of $O(p, q)$, T and $S_{p,p+1}TS_{p,p+1}$ either are both direct isometries or are both indirect isometries.*

**Proof.** We remember that $S_{p,p+1}$ is an involution (Theorem 9). We assume that $T$ is a direct isometry, so that it can be written: $T = T_m^2 T_{m-1}^2 \dots T_1^2$, where $T_k, 1 \le k \le m$, are any isometries. If $S_{p,p+1}TS_{p,p+1}$ would be an indirect isometry, we would have $S_{p,p+1}TS_{p,p+1} = (S_{p,p+1}T_m S_{p,p+1})^2 (S_{p,p+1}T_{m-1} S_{p,p+1})^2 \dots (S_{p,p+1}T_1 S_{p,p+1})^2$, where the right side of this equality is a product of squares, a contradiction.

We assume that $T$ is an indirect isometry, so that it cannot be written as a product of squares. If $S_{p,p+1}TS_{p,p+1}$ could be written as a product of squares, i.e., $S_{p,p+1}TS_{p,p+1} = T_m^2 T_{m-1}^2 \dots T_1^2$, where $T_k, 1 \le k \le m$, are any isometries, we would have: $T = S_{p,p+1}(S_{p,p+1}TS_{p,p+1})S_{p,p+1}$, i.e.,

$$T = (S_{p,p+1}T_m S_{p,p+1})^2 (S_{p,p+1}T_{m-1} S_{p,p+1})^2 \dots (S_{p,p+1}T_1 S_{p,p+1})^2,$$ where the right side of this equality is a product of squares, a contradiction. $\square$

Before proving Theorem 13, which classifies the isometries of $O(p, q)$, we recall that a product of direct isometries is a direct isometry, and that a product of a direct isometry by an indirect isometry (or conversely), is an indirect isometry. This is true in general, not only in quadratic spaces [9].

However, we recall that Definition 3 of direct and indirect isometries is not the classical one.

**Theorem 13.** A product of reflections is classified as direct or indirect as follows:

(a) When the product contains an odd number of reflections, it is an indirect isometry.

When the product contains an even number of reflections:

(b) It is a direct isometry when an even number of the squares of the supporting vectors have a negative sign, and the squares of the other supporting vectors have a positive sign.

(c) It is an indirect isometry when an odd number of the squares of the supporting vectors have a negative sign, and the squares of the other supporting vectors have a positive sign.

**Proof.** (a) We assume that the product of an odd number of reflections can be written as a product of squares. If so, one of these reflections can be decomposed into an even number of reflections, a contradiction (see Theorem 5).

(b) and (c), case $p = 0$ or $q = 0$. All vectors have their squares with a common sign.

In case (b), a product of an even number of reflections is a direct isometry because it is a product of rotations (Corollary 4).
In case (c), a product of an odd number of reflections is a product of a rotation by a
single reflection, so it cannot be a direct isometry because a single reflection is an indirect
isometry (Corollary 2).

• (b) and (c), case $p \ge 1$ and $q \ge 1$. We notice that given an isometry $T$, of direct or indirect nature, multiplying $T$ on its right or on its left by any rotation, gives another isometry, $T'$, but $T$ and $T'$ have the same direct or indirect nature because a rotation is a direct isometry.

We are in the case where $T$ contains an even number of reflections, so that their product
can be partitioned into pairs of consecutive reflections. We consider a pair of consecutive
reflections $\sigma_u$ and $\sigma_v$, supported respectively by the invertible vectors, $u$ and $v$.

When $u^2 > 0$ and $v^2 < 0$, $\sigma_v\sigma_u = (\sigma_v\sigma_{e_{p+1}})(\sigma_{e_{p+1}}\sigma_{e_p})(\sigma_{e_p}\sigma_u)$, and when $u^2 < 0$ and $v^2 > 0$, $\sigma_v\sigma_u = (\sigma_v\sigma_{e_p})(\sigma_{e_p}\sigma_{e_{p+1}})(\sigma_{e_{p+1}}\sigma_u)$, If there is no such pair, $T$ is a product of rotations, and case (b) of the theorem is proved. If there are such pairs, each one is an indirect isometry (see Theorem 12), and rewriting $T$ with replacement of each of them by a triplet of pairs as above, does not change the direct or indirect nature of $T$, because each triplet of pairs contains two rotations and one occurrence of the indirect isometry $S_{p,p+1}$ (see Theorem 9).

The expression of $T$ contains now only rotations and one or several occurrences of $S_{p,p+1}$. When two occurrences of $S_{p,p+1}$ are consecutive in $T$, their product is the identity, and it can be removed from $T$ (that does not change the direct or indirect nature of $T$). If no occurrence of $S_{p,p+1}$ remains, only rotations remain, and case (b) of the theorem is proved.

If it happens that the rightmost occurrence of $S_{p,p+1}$ in $T$ is followed on the right by a product of rotations, we multiply $T$ on its right by the inverse of this product of rotations, so that only the identity remains at the right of the rightmost occurrence of $S_{p,p+1}$. We perform similarly on the left, so that only the identity remains at the left of the leftmost occurrence of $S_{p,p+1}$. These identities are removed, and as noticed previously, it remains the expression of another isometry, $T'$, so that $T$ and $T'$ have the same direct or indirect nature.

At this step of the proof, $T'$ has one occurrence of $S_{p,p+1}$ at its left and one at its right. If these latter two occurrences of $S_{p,p+1}$ coincide, i.e., only one occurrence of $S_{p,p+1}$ remains, $T'$ and $T$ are indirect isometries, and case (c) is proved. We multiply $T'$ on its left by $S_{p,p+1}$, and on its right by $S_{p,p+1}$. That changes neither the even or odd parity of the number of occurrences $S_{p,p+1}$, nor the direct or indirect nature of $T'$ (see Lemma 6). Remembering that $S_{p,p+1}$ is involutive, we remove the identity on the left of $T'$ and the identity on its right. As noticed previously, the rotations which stand now at the right and at the left of $T'$ can be eliminated, and we retrieve again $S_{p,p+1}$ at the right and at the left of $T'$. We return at the beginning of the current step of the proof, with several occurrences of $S_{p,p+1}$ decreased by two units. This step of the proof is repeated until it remains either one occurrence of $S_{p,p+1}$, which proves case (c), or none, which proves case (b). $\square$

4.6. *Comments on the Classification of Isometries*

When $p \ge 1$ and $q \ge 1$, the real orthogonal group $O(p, q)$ is a Lie group containing four connected components [17]. These components can be identified with the involutive operators defined in Section 4.3.

1. The component containing the identity, I.

2. The component containing the reversal operator $\sigma_{\omega_+}$.

3. The component containing the reversal operator $\sigma_{\omega_-}$.

4. The component containing the full reflection $\sigma_{\omega} = \sigma_{\omega_{+}}\sigma_{\omega_{-}} = \sigma_{\omega_{-}}\sigma_{\omega_{+}}$.

When $p=0$ or $q=0$, case (c) of Theorem 13 cannot be encountered. It means that the product of two indirect isometries is always a direct isometry. When $q=0$, as it happens in the Euclidean case, $O(p,q)$ contains only the components 1 and 2. The component 1 is the direct subgroup (that is, the special orthogonal group $SO(n)$, or rotation group), and the component 2 contains the indirect isometries. When $p=0$, $O(p,q)$ contains only the components 1 and 3.

In the case of $\mathbb{R}^{1,3}$, which is used to modelize the spacetime in special relativity, the Lorentz group is isomorphic to $O(1,3)$. The time reversal $T$ can be identified with $\sigma_{\omega_+}$, and
the parity inversion $P$ can be identified $\sigma_{\omega_-}$. The components of the full Lorentz group are as follows.

1. The component 1 is the proper orthochronous Lorentz group.

2. The component 2 contains the antichronous proper Lorentz transformations.

3. The component 3 contains the orthochronous improper Lorentz transformations.

4. The component 4 contains the antichronous improper Lorentz transformations.

The even/odd paradigm which states that the product of two indirect isometries should be a direct isometry does not work anymore (Theorem 13). In the case of the Lorentz group, it means that $PT$ is classified as an indirect isometry (this result was proved in [16] using a matrix representation of the Lorentz group). This is a consequence of Definition 3.

The direct versus indirect classification based on Definition 3 may appear to be counterintuitive. To support that, we observe that $\{I, \sigma_{\omega_+}, \sigma_{\omega_-}, \sigma_{\omega}\}$, a discrete subgroup of $O(p, q)$, is isomorphic to the Klein 4-group, as shown in Figure 1.

<table><caption>**Figure 1.** The Cayley table of the Klein 4-group. On the left: the general case, with three colors: $R$: Red, $G$: Green, $B$: Blue. On the middle: case of the discrete subgroup of $O(p, q)$: $\{I, \sigma_{\omega_+}, \sigma_{\omega_-}, \sigma_{\omega}\}$. On the right: case of the discrete subgroup of the Lorentz group: $\{I, T, P, PT\}$.</caption><thead><tr><th></th><th>I</th><th>R</th><th>G</th><th>B</th><th></th><th>I</th><th>σ<sub>ω+</sub></th><th>σ<sub>ω-</sub></th><th>σ<sub>ω</sub></th><th></th><th>I</th><th>T</th><th>P</th><th>PT</th></tr></thead><tbody><tr><th>I</th><td>I</td><td>R</td><td>G</td><td>B</td><td>I</td><td>I</td><td>σ<sub>ω+</sub></td><td>σ<sub>ω-</sub></td><td>σ<sub>ω</sub></td><td>I</td><td>I</td><td>T</td><td>P</td><td>PT</td></tr><tr><th>R</th><td>R</td><td>I</td><td>B</td><td>G</td><td>σ<sub>ω+</sub></td><td>σ<sub>ω+</sub></td><td>I</td><td>σ<sub>ω</sub></td><td>σ<sub>ω-</sub></td><td>T</td><td>T</td><td>I</td><td>PT</td><td>P</td></tr><tr><th>G</th><td>G</td><td>B</td><td>I</td><td>R</td><td>σ<sub>ω-</sub></td><td>σ<sub>ω-</sub></td><td>σ<sub>ω</sub></td><td>I</td><td>σ<sub>ω+</sub></td><td>P</td><td>P</td><td>PT</td><td>I</td><td>T</td></tr><tr><th>B</th><td>B</td><td>G</td><td>R</td><td>I</td><td>σ<sub>ω</sub></td><td>σ<sub>ω</sub></td><td>σ<sub>ω-</sub></td><td>σ<sub>ω+</sub></td><td>I</td><td>PT</td><td>PT</td><td>P</td><td>T</td><td>I</td></tr></tbody></table>

In Figure 1, the three colors $R$, $G$, $B$, play equivalent roles. There is no reason to classify $B$ (or $R$, or $G$), with $I$. Thus, it is more natural to classify $\sigma_{\omega_+}$, $\sigma_{\omega_-}$ and $\sigma_{\omega}$ together, as indirect isometries, rather than to follow the even/odd paradigm, which intuitively leads to classify $\sigma_{\omega}$ (or $PT$) with $I$, as a direct isometry, as it happens in the Euclidean case.

Anyway, whichever terminology is used, the four components of $O(p, q)$ are known since a long time. However, the direct versus indirect definition of isometries presented in Section 4, works for any metric space, not only for quadratic spaces. This definition induced general rules of composition of isometries, except for the composition of indirect isometries [9]. These latter, presented in Section 4.5 (Theorem 13), are specific to quadratic spaces.

## 5. Discussion

Here, due to their importance, we must give a rough idea of how the terms *chirality*, *right-handed* and *left-handed* are used in modern physics. For a rigorous and pedagogical presentation, see [8]. Chirality is often related to the so-called $\gamma^5$ matrix, denoted here in contravariant notation. This matrix is generally defined as $\gamma^5 = \pm i\gamma^0\gamma^1\gamma^2\gamma^3$, where $i$ is the imaginary number of square $-1$, and where the four gamma matrices $\gamma^0, \gamma^1, \gamma^2$, and $\gamma^3$, generate a matrix representation of the Clifford algebra $Cl_{1,3}(\mathbb{R})$. Here, we notice that in our presentation of geometric algebra, we did not encounter imaginary numbers. The gamma matrices satisfy to the anticommutation rules. Their squares are respectively $+1, -1, -1, -1$, using an abuse of notation for matrices that we retain in the rest of this paragraph. In the $(1/2, 0) \oplus (0, 1/2)$ representation of the Lorentz group, the gamma matrices have 4 lines and 4 columns, and act on Dirac bispinors, which are elements of $\mathbb{C}^4$. The Dirac bispinors goes back to 1928, when Dirac predicted the existence of the positron, using a four components vector, each component being a complex wavefunction (there are two wavefunctions for the electron, with spins $+1/2$ and $-1/2$, and two for the positron, with spins $+1/2$ and $-1/2$). However, at this time, neither spinors, nor Clifford algebra, and nor chirality were mentioned by Dirac. In a particular basis called the Weyl basis, the matrices $(1 - \gamma^5)/2$ and $(1 + \gamma^5)/2$ respectively projects Dirac bispinors to obtain their *left-handed* part (their two first components, associated with the eigenvalue $-1$) and their
*right-handed* part (their two last components, associated with the eigenvalue +1). This
appears to be the main explanation why $\gamma^5$ is called the *chirality operator*. To conclude about
the physical concept of chirality, we can say that despite its mathematical foundations, it is
unclear how to use it as a general definition of chirality.

Then, in 1952, Weyl explained in his book what are symmetry and chirality, their
importance in nature, arts and science, and their strong relation with groups [18]. This book
is sometimes cited as a reference for a definition of symmetry, but no unifying mathematical
definition of symmetry and chirality was given there.

Finally, a dozen mathematical structures were named chiral in 2004 by Beilinson and Drinfeld [19], such as chiral algebra and chiral homology, without reference to older chirality concepts. Investigating the relations between these mathematical structures and Definition 4 of chirality, is out of the scope of this paper.

To conclude, as noticed in [20], there is a need for consensual mathematical definitions
in the field of symmetry and chirality, in order to avoid ambiguities in the literature.

**Funding:** This research received no external funding.

**Institutional Review Board Statement:** Not applicable.

**Informed Consent Statement:** Not applicable.

**Data Availability Statement:** No data were generated during the study.

**Conflicts of Interest:** The author declares no conflict of interest.

**References**

1. Gal, J. Louis Pasteur, chemical linguist: founding the language of stereochemistry. *Helv. Chim. Acta* **2019**, *102*, e1900098.10.1002/hlca.201900098. [CrossRef]

2. Kelvin, W.T.B. *The Molecular Tactics of a Crystal*; Clarendon Press: Oxford, UK, 1894; Chapter 22, p. 27.

3. Kelvin, W.T.B. *Baltimore Lectures on Molecular Dynamics and the Wave Theory of Light*; C.J. Clay and Sons, Cambridge University Press Warehouse: London, UK, 1904; Chapter 22, Appendix H, Footnote, p. 619.

4. Eddington, A. *Fundamental Theory*; Cambridge University Press: Cambridge, UK, 1946; p. 111.

5. Hestenes, D.; Holt, J.W. Crystallographic space groups in geometric algebra. *J. Math. Phys.* **2007**, *48*, 023514.10.1063/1.2426416. [CrossRef]

6. Hitzer, E.; Perwass, C. Interactive 3D space group visualization with CLUCalc and the Clifford geometric algebra description of space group. *Adv. Appl. Clifford Alg.* **2010**, *20*, 631–658.10.1007/s00006-010-0214-z. [CrossRef]

7. Petitjean, M. A definition of symmetry. *Symmetry Cult. Sci.* **2007**, *18*, 99–119. Available online: https://hal.archives-ouvertes.fr/hal-01552499 (accessed on 5 April 2021).

8. Schwichtenberg, J. *Physics from Symmetry*; Springer: Cham, Switzerland, 2018; Chapters 3.7, 6.3 and 7.4.

9. Petitjean, M. Chirality in metric spaces. In memoriam Michel Deza. *Optim. Lett.* **2020**, *14*, 329–338.10.1007/s11590-017-1189-7. [CrossRef]

10. Hestenes, D.; Sobczyk, G. *Clifford Algebra to Geometric Calculus. A Unified Language for Mathematics and Physics*; D. Reidel Publising Co.: Dordreht, The Netherlands, 1984; Chapters 1 and 3.8.

11. Macdonald, A. An elementary construction of the geometric algebra. *Adv. Appl. Clifford Alg.* **2002**, *12*, 1–6.10.1007/BF03161249. [CrossRef]

12. Doran, C.; Lasenby, A. *Geometric Algebra for Physicists*; Cambridge University Press: Cambridge, UK, 2013; Chapters 1, 2 and 4.

13. Aragón-González, G.; Aragón, J.; Rodríguez-Andrade, M. The decomposition of an orthogonal transformation as a product of reflections. *J. Math. Phys.* **2006**, *47*, 013509.10.1063/1.2161072. [CrossRef]

14. Artin, E. *Geometric Algebra*; Interscience: New York, NY, USA, 1957; Chapter III.4, pp. 129–131.

15. Lasenby, A. Geometric algebra as a unifying language for physics and engineering and its use in the study of gravity. *Adv. Appl. Clifford Alg.* **2017**, *27*, 733–759.10.1007/s00006-016-0700-z. [CrossRef]

16. Petitjean, M. About chirality in Minkowski spacetime. *Symmetry* **2019**, *11*, 1320.10.3390/sym11050662. [CrossRef]

17. Vaz, J.; Da Rocha, R., Jr. *An Introduction to Clifford Algebras and Spinors*; Oxford University Press: Oxford, UK, 2016; Chapter 5.1, p. 122.

18. Weyl, H. *Symmetry*; Princeton University Press: Princeton, NJ, USA, 1952.

19. Beilinson, A.; Drinfeld, V. *Chiral Algebras*; AMS Colloquium Publications: Providence, RI, USA, 2004; Chapter 3.

20. Petitjean M. Symmetry, antisymmetry and chirality: Use and misuse of terminology. *Symmetry* **2021**, *13*, 603.10.3390/sym13040603. [CrossRef]