Characterising Clifford parallelisms among Clifford-like parallelisms

We recall the notions of Clifford and Clifford-like parallelisms in a 3-dimensional projective double space. In a previous paper the authors proved that the linear part of the full automorphism group of a Clifford parallelism is the same for all Clifford-like parallelisms which can be associated to it. In this paper, instead, we study the action of such group on parallel classes thus achieving our main results on characterisation of the Clifford parallelisms among Clifford-like ones.


Introduction
It is a widely used strategy in mathematics to define a new structure by modifying a given one.The definition of a Clifford-like parallelism from [7] and [17], which is recalled in Section 2, follows these lines.The starting point is a projective double space (P, , r ), that is, a projective space P together with a left parallelism and a right parallelism r on its line set such that the so-called double space axiom (DS) is satisfied.The given parallelisms and r are called the Clifford parallelisms of (P, , r ) in analogy to the classical example arising from the three-dimensional elliptic space over the real numbers.The parallel classes of and r are then used to define parallelisms that are Clifford-like w.r.t.(P, , r ).Among them are the initially given parallelisms and r .We restrict ourselves most of the time to the case when P is three-dimensional, and we make use of an algebraic description of such a double space in terms of an appropriate fourdimensional algebra H over a commutative field F. Thereby we adopt the notation P(H F ), , r and we have to distinguish two cases, (A) and (B).In case (A), H is a quaternion skew field with centre F, the left and right parallelisms do not coincide and, in general, there are Clifford-like parallelisms of P(H F ), , r different from and r .In case (B), H is a commutative extension field of F satisfying some extra property, and = r is the only Clifford-like parallelism of P(H F ), , r .We include case (B) for the sake of completeness and in order to obtain a unified exposition that covers both cases, even though several of our results are trivial in case (B).
In Section 3 we study automorphisms of a Clifford-like parallelism of a projective double space P(H F ), , r being motivated by the following result: if a projective collineation of P(H F ) preserves at least one Clifford-like parallelism of P(H F ), , r , then all its Clifford-like parallelisms are preserved. 1This follows from [18,Thm. 3.5] in case (A) and holds trivially in case (B).In our algebraic setting these projective collineations are induced by F-linear transformations of H which are described in Subsection 3.1, where we determine all F-semilinear automorphisms of the right parallelism.In preparation for Section 4, we exhibit for a quaternion skew field H the orbits of certain points and lines of P(H F ) under the group of inner automorphisms of H and we determine all r -classes that are fixed under a left translation of H.
The main results are stated in Section 4. In Theorem 4.1, we consider a threedimensional projective space P that is made into a double space in two ways.If there exists a parallelism on P that is Clifford-like w.r.t.both double space structures then the given double spaces coincide up to a change of the attributes "left" and "right" in one of them.This finding improves [17,Thm. 4.15] (see Corollary 4.2) and it simplifies matters considerably.Indeed, when dealing with a Clifford-like parallelism, there is only one corresponding double space structure in the background.In Theorems 4.3, 4.5 and 4.6 we characterise the Clifford parallelisms among the Clifford-like parallelism of P(H F ), , r via the existence of automorphisms with specific properties.For example, Theorem 4.3 establishes that a Clifford-like parallelism of P(H F ), , r is Clifford precisely when it admits an automorphism that fixes all its parallel classes and acts non-trivially on the point set of the projective space P(H F ).
Next, let us emphasise that some of our investigations are in continuity with classical results on dilatations in kinematic spaces.For example, in our proof of Theorem 4.3 we could use the fact that the existence of a proper non-trivial dilatation (namely a non-identical collineation with a fixed point and the property that all parallel classes remain invariant) is possible only in the commutative case, i.e. in our case (B) (see [35,Teorema 2] or [27, (II.10)]).We decided instead to include a short direct proof in order to keep the paper self-contained.There are also neat connections to the theory of Sperner spaces and (generalised) translation structures; we refer the interested reader to [1], [38], [39] and the many references given there.
Finally, another remark seems appropriate.Any Clifford-like parallelism on the three-dimensional real projective space is Clifford (see Remark 3.6).The Clifford parallelisms on this space are the only topological parallelisms that admit an automorphism group of dimension at least 4; see [33] and the intimately related articles [3], [5], [31], [32].In contrast to our considerations, in this beautiful result only the "size" of an automorphism group is taken into account and not its action on the parallel classes.

Preliminaries on Clifford and Clifford-like parallelisms
A parallelism on a projective space P is an equivalence relation on the set L of lines such that each point of P is incident with precisely one line from each equivalence class.(If P is a finite projective space then a parallelism is also called a packing or a resolution.)For each line M ∈ L we write S(M) for the parallel class of M, that is, the equivalence class containing M. This notation arises quite naturally, since any parallel class is in fact a spread (of lines) of P. When considering several parallelisms, we distinguish among the above notions and symbols by adding appropriate attributes, subscripts or superscripts.We refer to [2], [20, Ch. 17], [22], [23] and [24, § 14] for a wealth of results about parallelisms and further references.
Let P and P be projective spaces with parallelisms and , respectively and let κ be a collineation of P to P such that, for all lines M, N ∈ L, M N implies κ(M) κ(N).Then κ takes any -class to a -class by [18,Lemma 2.1].Such a κ is frequently called an isomorphism2 of (P, ) to (P , ).
Suppose that a projective space P is endowed with two (not necessarily distinct) parallelisms, a left parallelism and a right parallelism r .Following [25], (P, , r ) constitutes a projective double space if the following axiom is satisfied.
(DS) For all triangles p 0 , p 1 , p 2 in P there exists a common point of the lines M 1 and M 2 that are defined as follows.M 1 is the line through p 2 that is left parallel to the join of p 0 and p 1 , M 2 is the line through p 1 that is right parallel to the join of p 0 and p 2 .
Given a projective double space (P, , r ) each of and r is referred to as a Clifford parallelism3 of (P, , r ).More generally, a Clifford-like parallelism of (P, , r ) is defined as a parallelism on P such that, for all M, N ∈ L, M N implies M N or M r N (see [17,Def. 3.2]).Each parallel class of a Clifford-like parallelism of (P, , r ) is a left or a right parallel class: see [17,Thm. 3.1], where this topic appears in the wider context of "blends" of parallelisms.A Clifford-like parallelism of (P, , r ) is said to be proper if it does not coincide with one of and r .In what follows, whenever we say that a parallelism on a projective space P is Clifford (respectively Clifford-like) it is intended that P can be made into a double space (P, , r ) such that is one of its Clifford (respectively Clifford-like) parallelisms.
An algebraic description-up to isomorphism-of all projective double spaces (P, , r ) that contain at least two distinct lines and satisfy the so-called "prism axiom" was given in [25].It is based on quaternion skew fields and purely inseparable commutative field extensions of characteristic two.According to [26,Satz 1] and [28,Satz 2], the prism axiom appearing in [25] is redundant; see also the surveys in [24, § 14] and [22, pp. 112-115].This is why we omit to consider this axiom here.From now on we exhibit exclusively three-dimensional projective double spaces. 4We therefore recall only their algebraic description in the next few paragraphs.
We adopt the following settings throughout this article: F denotes a commutative field and H is an F-algebra with unit 1 H satisfying one of the following conditions.
( The projective space on the vector space H F , in symbols P(H F ), is understood to be the set of all subspaces of H F with incidence being symmetrised inclusion.We adopt the usual geometric terms: Points, lines, and planes of P(H F ) are the subspaces of H F with vector dimension one, two, and three, respectively; the set of all lines is written as L(H F ).The following notions rely on H F being an Falgebra.In P(H F ), lines M and N are defined to be left parallel, M N, if λ c (M) = N for some c ∈ H * .Similarly, M and N are said to be right parallel, M r N, if ρ c (M) = N for some c ∈ H * .Then P(H F ), , r is a projective double space.The parallelisms and r are distinct in case (A) and identical in case (B).
Remark 2.1.The left and right parallelism w.r.t.(H, +, •) are the same as the right and left parallelism defined by the opposite field of H. So, from a geometric point of view, the choice of the attributes "left" and "right" is immaterial.
The multiplication on the field (H, +, •) may be altered without changing the associated projective double space P(H F ), , r .Let us choose any e ∈ H * .Then we can define a multiplication • e on H via x • e y := x • e −1 • y for all x, y ∈ H.This makes (H, +, • e ) into an F-algebra, which will briefly be written as H e .The left translation λ e (w.r.t.H) is an F-linear isomorphism of H to H e , whence the arbitrarily chosen element e ∈ H * turns out to be the unit element of H e .The projective double spaces arising from the F-algebras H and H e are the same, since λ h = λ e h•e and ρ h = ρ e e•h for all h ∈ H * .Let us briefly sketch a more conceptual verification of our second observation.The point Fe and the parallelisms and r can be used to make the point set P(H F ) into a two-sided incidence group with unit element Fe [25, §3].(The prism axiom appearing in [25] can be avoided [26, Satz 1], [28,Satz 2].)Then, using the group structure on P(H F ), the F-vector space H can be endowed with a multiplication making it into a field with unit element e (see [9,Satz 1] and [45,Hauptsatz]).This field, which coincides with our H e , therefore provides an alternative description of the projective double space P(H F ), , r .
Let A(H F ) ⊂ L(H F ) denote the star of lines with centre F1.By (1), each line L ∈ A(H F ) is readily seen to be a maximal commutative subfield of H and hence an F-subalgebra.Next, we recall an explicit construction that gives all Clifford-like parallelisms of P(H F ), , r .Upon choosing any H * -invariant subset F ⊆ A(H F ), one obtains a partition of L(H F ) by taking the left parallel classes of all lines in F and the right parallel classes of all lines in A(H F ) \ F. This partition determines an equivalence relation, which turns out to be a Clifford-like parallelism of P(H F ), , r .See [17,Thm. 4.10] for a proof in the case when (A) applies; in case (B) the result is trivial due to = = r .
Remark 2.3.Let be any parallelism on P(H F ) and let S(M), M ∈ L(H F ), be one of its parallel classes.We recall that the kernel of the spread S(M) consists of all endomorphisms ϕ of the abelian group (H, +) such that ϕ(N) ⊆ N for all N ∈ S(M).This kernel, which will be denoted by K H, S(M) , is a field; see, for example, [34,Thm. 1.6].Consequently, if ϕ ∈ K H, S(M) and ϕ 0, then ϕ(N) = N for all N ∈ S(M).The following simple reasoning will repeatedly be used.If Proposition 2.4.If Clifford parallelisms and on a three-dimensional projective space have two distinct parallel classes in common, then these parallelisms coincide.
Proof.By virtue of the algebraic description of all projective double spaces and by Remark 2.1, we may assume the following.The parallelism is the right parallelism r coming from an F-algebra (H, +, •) subject to (A) or (B).There is a multiplication • : H × H → H making the F-vector space H F into an F-algebra (H, +, • ) subject to (A) or (B) such that coincides with the right parallelism r arising from (H, +, • ).These algebras share a common unit element 1 ∈ H * , say.
Remark 2.5.Note that the above theorem may alternatively be established by using the one-to-one correspondence between Clifford parallelisms and external planes to the Klein quadric (see [16,Cor. 4.5]).

Automorphisms, their orbits and actions
This section is devoted to deepen the study of the automorphisms of the Clifford parallelisms of a three-dimensional projective double space P(H F ), , r as described in Section 2. In particular we obtain a description of the orbits of certain points and lines under the action of the group H * , and we characterise the right parallel classes fixed (as a set) by a given left translation.In order to avoid trivialities, we shall repeatedly confine ourselves to case (A).These findings will lead us in Section 4 to the proof of our main results.

Automorphisms
In this subsection H always denotes an F-algebra subject to (A) or (B).Given any parallelism on P(H F ), we are going to use from now on the phrase automorphism of for any β in the general semilinear group ΓL(H F ) that acts as a -preserving collineation on P(H F ).The symbol Γ denotes the automorphism group of .This terminology is in accordance with the one in [18].h The Clifford parallelisms of the projective double space P(H F ), , r give rise to automorphism groups Γ =: Γ and Γ r =: Γ r .These groups coincide, that is, In case (A), a proof can be derived from [36, p. 166 Lemma 3.1.Let S r (M) be the right parallel class of a line M ∈ L(H F ).The elements of the kernel K H, S r (M) are precisely the mappings λ g with g ranging in the line that contains the point F1 and is right parallel to M. Consequently, A similar result holds with the role of "left" and "right" interchanged.
Any line L ∈ A(H F ) is a commutative quadratic extension field of F contained in H.The above Lemma illustrates the rather obvious result that the restriction to L of the representation λ (respectively ρ) provides an isomorphism of the field L onto the kernel of the right (respectively left) parallel class of the line L.This proves anew that all left and right parallel classes are regular spreads (see [7, 4.8 Cor.], [15,Prop. 3.5] or [16,Prop. 4.3]).Maybe less obvious is the following conclusion.Any semilinear transformation ϕ ∈ ΓL(H F ) that fixes all lines of one right (respectively left) parallel class is a left (respectively right) translation and therefore in the automorphism group Γ = Γ r .
In the next proposition we describe the automorphism group Γ = Γ r .Alternative proofs, which cover only the case when H is a quaternion skew field, can be retrieved from [6,Sect. 4 where Aut(H/F) denotes the group of all automorphisms of the field H that fix F as a set.
Proof.A direct verification shows that the group Aut(H/F) is a subgroup of Γ r .
As we noted at the beginning of this subsection, the same applies for the group λ(H * ).For all γ ∈ Γ r and all lines M ∈ L(H F ), we have Using ( 4), this implies that λ(H * ) is a normal subgroup of Γ r .
Let us choose any β ∈ Γ r .We define we proceed as follows.There is a line L with 1, z ∈ L. Applying (6) to γ := ϕ and together with Remark 2.3 establishes (7).For all x, y ∈ H, we have so that ϕ is an automorphism of the field H. Furthermore, ϕ(1) = 1 together with ϕ being F-semilinear implies ϕ(F) = F.
Take notice that F is the centre of the quaternion skew field H in case (A) and so under these circumstances Aut(H/F) = Aut(H).
Suppose that ϕ ∈ Aut(H/F) is F-linear or, equivalently, that ϕ fixes F elementwise.Then ϕ ∈ H * is an inner automorphism of the field H.In case (A), this follows from the theorem of Skolem-Noether [21, Thm.4.9].In case (B), any inner automorphism of H is trivial and ϕ = id H , since any h ∈ H * \ F * is a double zero of the polynomial h 2 + t 2 ∈ F[t], which is the minimal polynomial of h over F. So, by (5), the group of all F-linear automorphisms of r can be written in the form Let be any Clifford-like parallelism of P(H F ), , r .The group appearing in (8) coincides with the group Γ ∩ GL(H F ) comprising all F-linear automorphisms of (see [18,Thm. 3.5]).The problem to determine the full automorphism group Γ without extra assumptions on H, F or seems to be open.Partial solutions can be found [18,Sect. 3].The examples in [18,Sect. 4] show the existence of proper Clifford-like parallelisms satisfying Γ = Γ = Γ r and also of proper Clifford-like parallelisms satisfying Γ ⊂ Γ = Γ r .

Orbits under the group of inner automorphisms
In this subsection H denotes an F-algebra subject to (A), that is, a quaternion skew field with centre F. The following outcomes fail in case (B), since there the group of inner automorphisms is trivial.
Recall that, given any h ∈ H, the trace and the norm of h are the elements of F defined, respectively, by tr(h) = h + h and N(h) = hh = hh, where h denotes the conjugate of h.The conjugation is an antiautomorphism of H of order 2 that fixes F elementwise.The identity h 2 − tr(h)h + N(h) = 0 holds for any h ∈ H.The norm N is a multiplicative quadratic form and its associated symmetric bilinear form is The form • , • is non-degenerate and so the mapping sending each subspace X of H F to its orthogonal subspace X ⊥ is a polarity of P(H F ).The next result is briefly mentioned in [7, Rem.4.5] and [30, p. 76, Ex. 10] (Char F 2 only).For the sake of completeness, a proof will be presented below.Lemma 3.3.Given quaternions q 1 , q 2 ∈ H there exists an inner automorphism of H taking q 1 to q 2 if, and only if, tr(q 1 ) = tr(q 2 ) and N(q 1 ) = N(q 2 ).
Proof.From tr(q 1 ) = tr(q 2 ) and N(q 1 ) = N(q 2 ), the quaternions q 1 , q 2 are zeros of the polynomial m(t) = t 2 − tr(q 1 )t + N(q 1 ) ∈ F[t].If m(t) is reducible over F, then m(t) has no zeros in H outside F. Thus q 1 ∈ F and m(t) = (t − q 1 ) 2 .Now m(q 2 ) = 0 yields q 2 = q 1 , whence the identity id H is a solution.On the other hand, if m(t) is irreducible over F, then id F can be extended in a unique way to an isomorphism γ of the commutative field F1 ⊕ Fq 1 ⊂ H onto the commutative field F1 ⊕ Fq 2 ⊂ H such that γ(q 1 ) = q 2 ; see, for example, [8,Prop. 7.2.2].By the theorem of Skolem-Noether [21, Thm.4.9], this γ extends to an inner automorphism of H.
The proof of the converse is straightforward.
The above result describes the orbits under the action of the inner automorphism group H * on quaternions. 7By considering the vector space H F as an affine space, the orbit of any q ∈ H is the intersection of the affine quadric {x ∈ H | N(x) = N(q)} with the hyperplane {x ∈ H | tr(x) = tr(q)}.Here, however, we aim at providing a description of the orbits of the points of P(H F ) under the action of H * .Since the behaviour of the points of the plane (F1) ⊥ = {x ∈ H | tr(x) = 0} is different from that of any other point, these points will be excluded in the next proposition.
Proposition 3.4.Let H be a quaternion skew field with centre F and let Fq, q ∈ H * , be a point of P(H F ) such that tr(q) 0. Then the following hold.
(a) The orbit of Fq under the action of the group H * of inner automorphisms of H is a quadric of P(H F ), say O q , which is given by the quadratic form (b) If q ∈ F * , then O q consists of a single point.
(c) If q ∈ H * \ F * , then O q is an elliptic quadric, no line through F1 is tangent to O q , and the polar form of ω q is non-degenerate.
(b) The quadric O q , q ∈ F * , is the H * -orbit of F1, whence it consists of this single point only.
(c) The point F1 is not in the H * -orbit of Fq and so F1 is off the quadric O q .From q + q = tr(q) ∈ F * and ω q (q) = 0, the line joining Fq and F1 meets O q residually at Fq Fq and so it is not tangent to O q .Also, the point Fq is a regular point of O q .By the transitive action of the group H * on the points of O q , the same applies to all other points of O q .The quadric O q cannot be ruled, because it does not contain any point of the plane {x ∈ H | tr(x) = 0}.
If Char F 2 then the polar form of ω q is non-degenerate, since otherwise O q would contain a singular point.In the case of Char F = 2 the form ω q is nondegenerate, because it merely is a non-zero scalar multiple of the non-degenerate alternating bilinear form • , • from (9).Proposition 3.5.Let H be a quaternion skew field with centre F and, in P(H F ), let L be a line that passes through the point F1 and is not contained in the plane (F1) ⊥ .Every plane through an arbitrary line in the H * -orbit of L contains infinitely many lines of this orbit.
Proof.By virtue of the action of H * on H * (L), it is enough to show the assertion for an arbitrary plane E passing through L.
On the line L, we can pick one point, say Fq, other than F1 such that tr(q) 0. By Proposition 3.4, the orbit of Fq is an elliptic quadric O q .Furthermore, the line L is a bisecant of this quadric that meets O q at Fq and Fq Fq.The plane E contains the bisecant L of O q and so E cannot be a tangent plane of O q .This implies that E intersects O q along a regular conic.As F is infinite, so is this conic.By joining each of the points of the conic with F1 we get infinitely many lines through F1 in the plane E. All of them are in H * (L).
Remark 3.6.The orbit of any line L ∈ A(H F ) under the group H * is infinite [10,Thm. 3].This result was improved in [46] by showing that any such orbit has cardinality |F|.Limited to the case of quaternion skew fields and lines of A(H F ) that are not in (F1) ⊥ , the last proposition enriches this result with a geometric insight.
From [17,Thm. 4.12], the group H * acts transitively on A(H F ) if, and only if, F is a formally real pythagorean field and H is an "ordinary" quaternion skew field with centre F. Precisely under these circumstances, P(H F ), , r admits no proper Clifford-like parallelisms.

Parallel classes fixed by automorphisms
First, let P(H F ), , r be a projective double space as specified in Section 2. Suppose that a left translation λ g , g ∈ H * , acts as a non-identical collineation on P(H F ). Hence g ∈ H * \ F * .Any line M ∈ L(H F ) is left parallel to its image λ g (M) and so λ g fixes all left parallel classes.As we saw in Lemma 3.1, S r (F1 ⊕ Fg) is the only right parallel class that is fixed linewise under λ g .If λ g fixes also all lines of a left parallel class, then Lemma 3.1 forces λ g to be a right translation as well, that is, g has to be in the centre of H.In case (A) this gives a contradiction.In case (B), H is a commutative field and so this condition imposes no restriction on g; due to = r , the given λ g fixes precisely one left parallel class linewise, namely S (F1 ⊕ Fg).
For the rest of this subsection we confine ourselves to the case (A).
Proposition 3.7.Let H be a quaternion skew field with centre F and let g ∈ H * \ F * .In P(H F ), , r , a right parallel class is invariant under the left translation λ g precisely when it is of the form S r (M), where M is a line satisfying at least one of the following conditions: Proof.(a) Suppose that (10) holds.From Lemma 3.1, all lines of the right parallel class S r (M) are fixed under λ g .(b) Suppose that a line M satisfies (11).The line M ⊥ is left parallel and right parallel to M (see [17,Cor. 4.4]) and it is contained in (F1) ⊥ .The line gM is also left parallel to M. As M ⊥ and gM are incident with the plane (F1) ⊥ , they share a common point and so they must coincide.Taking into account that λ g ∈ Γ r and M ⊥ r M we obtain λ g S r (M) = S r (gM) = S r (M ⊥ ) = S r (M), as required.(c) Conversely, any λ g -invariant right parallel class can be written as S r (M) with F1 ⊆ M. Then λ g (M) M r λ g (M).Again from [17,Cor. 4.4], there are only two possibilities.First, λ g (M) = gM = M, which implies Fg ⊆ M and establishes (10).Second, Remark 3.8.Figures 1 and 2 depict the possible cases in Proposition 3.7 under the assumption Char F 2 and Char F = 2, respectively.In all cases, there are distinct points F1 and Fg as well as distinct planes (F1) ⊥ and g −1 (F1) ⊥ .Furthermore, (F1 The pictures on the left-hand side show the situation when F1 g −1 (F1) ⊥ or, in other words, when Fg (F1) ⊥ , which in turn is equivalent to tr(g) 0.Here there are no lines M subject to (11).The pictures on the right-hand side show the opposite situation.Here the set of all lines M that satisfy (11) comprises a pencil of lines.In detail, the circumstances are as follows.

Main results
The definition of a Clifford-like parallelism in [17,Def. 3.2] is essentially based on a given projective double space (P, , r ).We are thus led to the problem of whether or not distinct projective double spaces can share a Clifford-like parallelism.
Theorem 4.1.Let P(H F ), , r be a projective double space, where H is an Falgebra subject to (A) or (B).Furthermore, let and r be parallelisms such that P(H F ), , r is also a projective double space.Suppose that a parallelism of P(H F ) is Clifford-like with respect to both double space structures.Then, possibly up to a change of the attributes "left" and "right" in one of these double spaces, = and r = r .
Proof.First, we consider case (A).We take any line of the star A(H F ).We noted in Remark 3.6 that the orbit of this line under the group H * of all inner automorphisms of H is infinite.Thus there are three mutually distinct lines, say L 1 , L 2 and L 3 , in this orbit.From [17,Thm. 4.10], the -classes of these lines are of the same kind w.r.t.P(H F ), , r , i.e., we have either Next, we turn to case (B).There exist three mutually distinct lines L 1 , L 2 , L 3 ∈ A(H F ). Their -classes are of the same kind w.r.t.P(H F ), , r due to = r = .
In both cases, the parallel classes S(L n ), n ∈ {1, 2, 3}, are mutually distinct.Consequently, among them there are at least two distinct classes of the same kind w.r.t. the double space (P(H F ), , r ).Up to a change of notation, we may assume S(L n ) = S r (L n ) = S r (L n ) for n ∈ {1, 2}.Now Proposition 2.4 shows that the Clifford parallelisms r and r coincide.This in turn forces = , since the left parallelism is uniquely determined by the right one (see [24, pp. 75-76] or [19, §6]).
Corollary 4.2.Any Clifford-like parallelism of P(H F ), , r other than and r is not Clifford.
Proof.Assume to the contrary that =: is Clifford.Then there is a parallelism, say r , such that P(H F ), , r is a projective double space.Applying Theorem 4.1 gives therefore = or = r , a contradiction.
The above corollary, when restricted to case (A), is just a reformulation of [17,Thm. 4.15].Therefore, the rather technical proof in [17], which relies on H being a quaternion skew field, can now be avoided.
Our final results provide the announced characterisations of Clifford parallelisms among Clifford-like parallelisms.
Theorem 4.3.Let be a Clifford-like parallelism of P(H F ), , r , where H is an F-algebra subject to (A) or (B).Then the following assertions are equivalent.From now on we deal with case (A) only.We select one line N 1 through F1 that is not in (F1) ⊥ .We assume w.l.o.g. that the parallel class S(N 1 ) is a left parallel class.(Otherwise, we have to interchange the attributes "left" and "right" in what follows.)Let g := β(1).We consider the left translation λ g and the product We choose one N ∈ H * (N 1 ).Then the parallel class S(N) is a left parallel class.Thus Formula (13) and α(1) = 1 ∈ N together force α(N) = N.By Proposition 3.5, every plane through N contains at least two lines from the orbit H * (N 1 ), and so any such plane is fixed under α.The lines and planes through F1 are the "points" and "lines" of a projective plane; "incidence" is given by symmetrised inclusion.Our α acts on this projective plane as a collineation.By the above, all "lines" through the "point" N are fixed under α, and so N serves as a "centre" of this collineation.
But N may vary in the orbit H * (N 1 ), which comprises more than one line by the theorem of Cartan-Brauer-Hua [29, (13.17)].Consequently, this collineation has more than one "centre", that is, α fixes all lines of the star A(H F ).We now consider the action of α on the projective space P(H F ). Since all lines of A(H F ) are fixed, α acts as a perspective collineation with centre F1.This implies that α is F-linear.Since α and λ −1 g are F-linear, so is β.[18,Thm. 3.5]) and λ −1 g ∈ Γ ∩ GL(H F ) follows α ∈ Γ ∩ GL(H F ). Now pick any line L ∈ L(H F ).The left parallel line to L through F1 is fixed under α ∈ Γ , whence we have L α(L).On the other hand, L is incident with at least one plane through F1.This plane is α-invariant.Therefore the left parallel lines L and α(L) are coplanar, which in turn implies L = α(L).So we arrive at α = c id H for some c ∈ F * .Now, using α(1) = 1, we end up with α = id H .
Case (ii).Let F1 ⊆ g −1 (F1) ⊥ and M 1 (F1) ⊥ .We choose any plane E other than g −1 (F1) ⊥ through the line M 1 .Let M E denote the set of all lines that are incident with E and belong to H * (M 1 ).By Proposition 3.5, the set M E is infinite.From Proposition 3.7 and (14), any line M ∈ M E has to satisfy (10) or (11), that is M = F1 ⊕ Fg or M = g −1 (F1) ⊥ ∩ E. This implies |M E | ≤ 2, an absurdity.
Remark 4.4.Note that, as a consequence of the previous theorem, the group of automorphisms that preserve all parallel classes with respect to a given Cliffordlike parallelism of P(H F ), , r is contained in GL(H F ). Moreover this group is the group of left translations (or right translations respectively) precisely when = r (respectively = ).If, on the other hand, is a proper Clifford-like parallelism, then this group is the group of all λ g with g ∈ F * , thus, from the projective point of view, it comprises only the identity map.Theorem 4.5.Let be a Clifford-like parallelism of P(H F ), , r , where H is an F-algebra subject to (A) or (B).Then the following assertions are equivalent.
(a) The parallelism is Clifford and r .
(b) The parallelism admits an automorphism β ∈ Γ that stabilises a single parallel class of and, furthermore, fixes all lines of this particular parallel class.
(b) ⇒ (a).The only β-invariant parallel class can be written in the form S(L) with L ∈ A(H F ). Let us assume that S(L) is a right parallel class.Since all lines of S r (L) are fixed under β, we obtain β ∈ K H, S r (L) * = λ(L * ) from Lemma 3.1.Consequently, all left parallel classes are stabilised under β, whence none of them is a parallel class of .This shows = r .
Theorem 4.6.Let be a Clifford-like parallelism of P(H F ), , r , where H is an F-algebra subject to (A) or (B).Then the following assertions are equivalent.(c) The parallelism admits an automorphism β ∈ Γ that stabilises all its parallel classes, fixes at least one of its parallel classes linewise, and acts as a non-identical collineation on the projective space P(H F ).

( a )
The parallelism is Clifford.(b)The parallelism admits an automorphism β ∈ Γ that stabilises all its parallel classes and acts as a non-identical collineation on the projective space P(H F ).Proof.(a) ⇒ (b).There exists a g ∈ H * \ F * .Corollary 4.2 shows that = or = r .In the first case the left translation λ g has the required properties, in the second case the same applies to the right translation ρ g .(b)⇒ (a) In case (B), = r implies that = is Clifford.

( a )
The parallelism is Clifford and = r .(b) If an automorphism β ∈ Γ fixes all lines of at least one parallel class of , then all parallel classes of are stabilised under β .
A) H is a quaternion skew field with centre F1 H .(B) H is a commutative field with degree [H : F1 H ] = 4 and such that h 2 ∈ F1 H for all h ∈ H.All F-linear endomorphisms of H F constitute the F-algebra End(H F ).The left regular representation λ : H → End(H F ) sends each h ∈ H to the mapping λ(h) =: λ h given as λ h (x) := hx for all x ∈ H.The image λ(H) is an isomorphic copy of the field H within End(H F ).The elements of the multiplicative group 5 λ(H * ) = GL(H H ) are the left translations.Similarly, the right regular representation ρ : H → End(H F ) sends each h ∈ H to ρ(h) =: ρ h given as ρ h (x) := xh for all x ∈ H.In this way we obtain ρ(H) as an antiisomorphic copy of H within End(H F ) and the group of right translations 6 ρ(H * ) = GL( H H). For all g, h ∈ H, the mappings λ g and ρ h commute.The multiplicative group H * admits the representation ( ) :H * → GL(H F ) sending each h ∈ H * to h := λ −1 h • ρ h , whichis an inner automorphism of the field H. Clearly, in case (B) the group H * comprises only the identity id H .