# Projective algebra

in the narrow sense

An algebra of points on a projective line; projectively-invariant constructions for defining addition and multiplication of points on a projective line $l$, lying in a projective plane $\pi$ for which the Desargues assumption holds. These constructions depend on the choice of three distinct points $O, E, U$ on $l$.

## Contents

### Construction I

determines for any two points $A, B$ different from $U$ a third point $A + B$, also different from $U$ and called the sum of $A$ and $B$. One draws in $\pi$ three straight lines $a$, $b$ and $u$, different from $l$, forming a triangle and passing through $A$, $B$ and $U$, respectively. Let $P$ be the point of intersection of $u$ and $a$, let $Q$ be that of $u$ and $b$, $R$ that of $OQ$ and $a$, and $S$ that of $b$ and $UR$. Then $PS$ intersects $l$ in the point $T = A + B$( for the general case see Fig. a). It turns out that the point thus constructed depends on $A$, $B$, $O$, and $U$ only, and not on the choice of the straight lines or the point $E$. Figure: p075160a

### Construction II

determines for any two points $A, B$ different from $U$ a third point $A \cdot B$, also different from $U$ and called the product of $A$ and $B$. One draws in $\pi$ three straight lines $a$, $b$ and $u$, different from $l$, forming a triangle and passing through $A$, $B$ and $U$, respectively. Let $P$ be the point of intersection of $u$ and $a$, let $Q$ be that of $u$ and $b$, $R$ that of $EQ$ and $a$, and $S$ that of $OR$ and $b$. Then $PS$ intersects $l$ in the point $T = A \cdot B$( for the general case see Fig. b). It turns out that the point thus constructed depends on $A$, $B$, $O$, $E$, $U$ only, and not on the choice of the straight lines $a$, $b$ and $u$. The points of the line $l$( distinct from $U$) form a skew-field $K ( O, E, U)$ under these operations of addition and multiplication. Interchanging $A$ and $B$ in construction II leads to an anti-isomorphic skew-field $K ^ {*} ( O, E, U)$. If $O _ {1} , E _ {1} , U _ {1}$ is another triple of points on a straight line $l _ {1}$ in $\pi$, then the corresponding skew-field $K _ {1} ( O _ {1} , E _ {1} , U _ {1} )$ is isomorphic to $K ( O, E, U)$, since there is a projective correspondence between $l$ and $l _ {1}$. Therefore, any skew-field isomorphic to it is simply called a skew-field of the given projective plane (or even of the given projective geometry). One also says that one has a projective geometry over the skew-field $K$. In the general cases of constructions I and II there figure four points $P$, $Q$, $R$, $S$, lying in one plane and no three of which are collinear; these form a complete quadrangle with three pairs of opposite sides $PQ$, $RS$; $PS$, $QR$; and $PR$, $QS$. The points $X, Y, Z$ of intersection of these pairs of opposite sides are called diagonal points, while the straight lines joining diagonal points are called diagonals. A special case, not indicated in the figure, corresponds to the situation that $X, Y, Z$ are collinear (see Fano postulate). Figure: p075160b

Similar constructions can be carried out in a pencil of straight lines passing through a point, using a complete quadrilateral, a figure dual to a quadrangle, and leading to a skew-field $K ^ {*}$ anti-isomorphic to $K$.

The properties of the projective line $l$ as an algebraic system are determined by the geometric (projectively-invariant) properties of the projective plane in which $l$ lies. E.g., commutativity of $K$ is equivalent to the Pappus axiom being true; Fano's postulate is equivalent to the characteristic of $K$ being different from 2; if $K$ has no other automorphisms but inner ones, then every projective transformation is a collineation, etc.

Using the skew-field $K$ on the straight line, and hence in the projective space containing the line, one can introduce projective coordinates, giving an algebraic model of the projective space, so that the contents of the projective geometry is, in essence, determined by properties of the same skew-field $K$ over which it is constructed.

In the wide sense, in projective geometry one studies the set of subspaces of projective space, which is a complemented modular lattice. Here one does not require the space to be finite-dimensional, but imposes the condition of completeness, existence of a homogeneous basis, etc. Accordingly, one can establish various connections with the theory of prime and regular rings, the theory of Abelian operator groups and other branches of algebra.

How to Cite This Entry:
Projective algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_algebra&oldid=48314
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article