Namespaces
Variants
Actions

Difference between revisions of "Space over an algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
 
(5 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A space with a [[Differential-geometric structure|differential-geometric structure]] whose points can be provided with coordinates from some algebra. In most cases the algebra is assumed to be associative with identity, and sometimes alternative with identity (cf. [[Associative rings and algebras|Associative rings and algebras]]; [[Alternative rings and algebras|Alternative rings and algebras]]).
+
<!--
 +
s0862101.png
 +
$#A+1 = 40 n = 5
 +
$#C+1 = 40 : ~/encyclopedia/old_files/data/S086/S.0806210 Space over an algebra
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A space with a [[differential-geometric structure]] whose points can be provided with coordinates from some algebra. In most cases the algebra is assumed to be associative with identity, and sometimes alternative with identity (cf. [[Associative rings and algebras]]; [[Alternative rings and algebras]]).
  
 
To construct a large class of spaces over an algebra one can start with a module over the algebra, whose definition can be obtained from that of a vector space over a skew-field by replacing the skew-field by an associative algebra with identity (cf. [[#References|[1]]], [[#References|[3]]]). By relating to the elements of the module, called vectors, new elements, called points, related to the vectors by the same axioms as the points of an affine space are related to its vectors, one obtains an affine space over an associative algebra with identity. The affine transformations in the affine space over an algebra have coordinate representation
 
To construct a large class of spaces over an algebra one can start with a module over the algebra, whose definition can be obtained from that of a vector space over a skew-field by replacing the skew-field by an associative algebra with identity (cf. [[#References|[1]]], [[#References|[3]]]). By relating to the elements of the module, called vectors, new elements, called points, related to the vectors by the same axioms as the points of an affine space are related to its vectors, one obtains an affine space over an associative algebra with identity. The affine transformations in the affine space over an algebra have coordinate representation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862101.png" /></td> </tr></table>
+
$$
 +
{}  ^  \prime  x  ^ {i}  = \
 +
\sum _ { j=1 } ^ { n }
 +
A _ {j}  ^ {i} f ( x  ^ {j} ) + a  ^ {i} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862102.png" /> is a continuous algebra automorphism. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862103.png" />-dimensional affine space over an algebra, of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862104.png" /> over a certain field, has a unique model (representation) in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862105.png" />-dimensional affine space over the same field. In this model, every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862106.png" /> of the affine space over the algebra is mapped to a point of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862107.png" />-dimensional affine space over the field considered whose coordinates are the expansion coefficients of the coordinates of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862108.png" /> in the basis elements of the algebra. If the basis elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s0862109.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621010.png" />, of the algebra are related by structure equations
+
where $  f $
 +
is a continuous algebra automorphism. The $  n $-
 +
dimensional affine space over an algebra, of rank $  r $
 +
over a certain field, has a unique model (representation) in the $  nr $-
 +
dimensional affine space over the same field. In this model, every point $  x $
 +
of the affine space over the algebra is mapped to a point of the $  nr $-
 +
dimensional affine space over the field considered whose coordinates are the expansion coefficients of the coordinates of $  x $
 +
in the basis elements of the algebra. If the basis elements $  \epsilon _ {A} $,  
 +
$  A = 1 \dots r $,  
 +
of the algebra are related by structure equations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621011.png" /></td> </tr></table>
+
$$
 +
\epsilon _ {A} \epsilon _ {B}  = \gamma _ {AB}  ^ {C} \epsilon _ {C} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621012.png" /> are the [[structure constant]]s of the algebra, then each basis element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621013.png" /> corresponds in the model to the linear transformation with matrix
+
where $  \gamma _ {AB}  ^ {C} $
 +
are the [[structure constant]]s of the algebra, then each basis element $  \epsilon _ {A} $
 +
corresponds in the model to the linear transformation with matrix
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
$$ \tag{* }
 +
\left \|
 +
\begin{array}{ccc}
 +
\gamma _ {A}  &\dots  & 0 \\
 +
\dots  &\dots  &\dots  \\
 +
0  &\dots  &\gamma _ {A}  \\
 +
\end{array}
 +
\right \| ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621015.png" /> identical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621016.png" />-dimensional blocks <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621017.png" /> occupy the principal diagonal. In affine spaces over algebras one can specify a Hermitian metric (Euclidean and pseudo-Euclidean), while in the case of commutative algebras even a quadratic (Euclidean and pseudo-Euclidean) metric can be given. To do this one defines in a unital module a scalar vector product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621018.png" />, in the first case with the property
+
where $  n $
 +
identical $  r $-
 +
dimensional blocks $  \gamma _ {A} = \| \gamma _ {AB}  ^ {C} \| $
 +
occupy the principal diagonal. In affine spaces over algebras one can specify a Hermitian metric (Euclidean and pseudo-Euclidean), while in the case of commutative algebras even a quadratic (Euclidean and pseudo-Euclidean) metric can be given. To do this one defines in a [[unital module]] a scalar vector product $  ( \mathbf a , \mathbf b ) $,  
 +
in the first case with the property
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621019.png" /></td> </tr></table>
+
$$
 +
( \mathbf a , \mathbf b )  = ( \mathbf b , \mathbf a )  ^ {I} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621020.png" /> is an involutory anti-automorphism (an involution) of the algebra, and in the second case with the property
+
where $  I $
 +
is an involutory anti-automorphism (an involution) of the algebra, and in the second case with the property
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621021.png" /></td> </tr></table>
+
$$
 +
( \mathbf a , \mathbf b )  = ( \mathbf b , \mathbf a ) .
 +
$$
  
The scalar square of a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621022.png" /> determines a metric invariant of the pair of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621023.png" />. The motions of Euclidean and pseudo-Euclidean spaces are the affine transformations preserving the scalar vector product. Replacing in the definition of elliptic and hyperbolic spaces over an algebra the scalar vector product by a scalar vector product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621024.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621025.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621026.png" />, one obtains Hermitian, or quadratic symplectic, spaces over an algebra.
+
The scalar square of a vector $  \overrightarrow{AB } $
 +
determines a metric invariant of the pair of points $  A , B $.  
 +
The motions of Euclidean and pseudo-Euclidean spaces are the affine transformations preserving the scalar vector product. Replacing in the definition of elliptic and hyperbolic spaces over an algebra the scalar vector product by a scalar vector product $  ( \mathbf x , \mathbf y ) $
 +
for which $  ( \mathbf x , \mathbf y ) = ( \mathbf y , \mathbf x )  ^ {I} $
 +
or $  ( \mathbf x , \mathbf y ) = - ( \mathbf x , \mathbf y ) $,  
 +
one obtains Hermitian, or quadratic symplectic, spaces over an algebra.
  
The variety of one-dimensional submodules of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621027.png" />-dimensional unital module over an algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621028.png" /> is called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621029.png" />-dimensional projective space over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621030.png" />; its points are the one-dimensional submodules, while the projective coordinates of a point are the coordinates of any vector generating the corresponding one-dimensional submodule. In a projective space over an algebra one defines collineations and correlations as in a projective space over a field (cf. [[Collineation|Collineation]]; [[Correlation|Correlation]]). In projective coordinates, collineations have the form
+
The variety of one-dimensional submodules of an $  ( n+ 1 ) $-
 +
dimensional unital module over an algebra $  K $
 +
is called the $  n $-
 +
dimensional projective space over $  K $;  
 +
its points are the one-dimensional submodules, while the projective coordinates of a point are the coordinates of any vector generating the corresponding one-dimensional submodule. In a projective space over an algebra one defines collineations and correlations as in a projective space over a field (cf. [[Collineation|Collineation]]; [[Correlation|Correlation]]). In projective coordinates, collineations have the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621031.png" /></td> </tr></table>
+
$$
 +
{}  ^  \prime  x  ^ {i}  = \sum _ { j=1 } ^ { n+1 } A _ {j}  ^ {i} f ( x  ^ {j} ) ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621032.png" /> is a continuous algebra automorphism, and correlations have the form
+
where $  f $
 +
is a continuous algebra automorphism, and correlations have the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621033.png" /></td> </tr></table>
+
$$
 +
{}  ^  \prime  u _ {i}  = \sum _ { j=1 } ^ { n }  f ( x  ^ {j} ) A _ {ij} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621034.png" /> is a continuous algebra [[anti-automorphism]], and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621035.png" /> are projective hyperplane coordinates. The introduction of a scalar vector product in a unital module makes it possible to define in a projective space constructed by means of this module Hermitian, or in the case of a commutative algebra — quadratic elliptic and hyperbolic, metrics. The scalar products of vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621036.png" /> of the corresponding submodules determine metric invariants of the points of these spaces by means of the cross ratio
+
where $  f $
 +
is a continuous algebra [[anti-automorphism]], and $  u _ {i} $
 +
are projective hyperplane coordinates. The introduction of a scalar vector product in a unital module makes it possible to define in a projective space constructed by means of this module Hermitian, or in the case of a commutative algebra — quadratic elliptic and hyperbolic, metrics. The scalar products of vectors $  ( \mathbf x , \mathbf y ) $
 +
of the corresponding submodules determine metric invariants of the points of these spaces by means of the cross ratio
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621037.png" /></td> </tr></table>
+
$$
 +
= ( \mathbf x , \mathbf x )  ^ {-1} ( \mathbf x , \mathbf y ) ( \mathbf y , \mathbf y )
 +
^ {-1} ( \mathbf y , \mathbf x ) .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621038.png" /> is a real number, then the invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621039.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621040.png" /> is called the distance between the corresponding points (cf. [[#References|[2]]]). Projective, elliptic, hyperbolic, and symplectic spaces over real simple algebras (e.g., the algebras of real, complex or quaternion matrices) have the property that their fundamental groups are simple Lie groups of an infinite series. Euclidean, pseudo-Euclidean, quasi-elliptic, quasi-hyperbolic, and quasi-symplectic spaces over the same algebras have the property that their fundamental groups are quasi-simple Lie groups of the same series (cf. [[#References|[2]]]); the same property is shared by projective, elliptic, hyperbolic, and symplectic spaces over semi-simple algebras, to which also belongs the algebra of dual numbers.
+
If $  W $
 +
is a real number, then the invariant $  \omega $
 +
for which $  W = \cos  ^ {2}  \omega $
 +
is called the distance between the corresponding points (cf. [[#References|[2]]]). Projective, elliptic, hyperbolic, and symplectic spaces over real simple algebras (e.g., the algebras of real, complex or quaternion matrices) have the property that their fundamental groups are simple Lie groups of an infinite series. Euclidean, pseudo-Euclidean, quasi-elliptic, quasi-hyperbolic, and quasi-symplectic spaces over the same algebras have the property that their fundamental groups are quasi-simple Lie groups of the same series (cf. [[#References|[2]]]); the same property is shared by projective, elliptic, hyperbolic, and symplectic spaces over semi-simple algebras, to which also belongs the algebra of dual numbers.
  
 
Projective and Hermitian (elliptic and parabolic) planes over alternative algebras are defined in a more involved manner. Their fundamental groups are simple or quasi-simple Lie groups of certain exceptional types.
 
Projective and Hermitian (elliptic and parabolic) planes over alternative algebras are defined in a more involved manner. Their fundamental groups are simple or quasi-simple Lie groups of certain exceptional types.
Line 41: Line 110:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Algebra: Algebraic structures. Linear algebra" , '''1''' , Addison-Wesley  (1974)  pp. Chapt.1;2  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  B.A. Rozenfel'd,  "Non-Euclidean spaces" , Moscow  (1969)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  W. Benz,  "Vorlesungen über Geometrie der Algebren" , Springer  (1973)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Algebra: Algebraic structures. Linear algebra" , '''1''' , Addison-Wesley  (1974)  pp. Chapt.1;2  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  B.A. Rozenfel'd,  "Non-Euclidean spaces" , Moscow  (1969)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  W. Benz,  "Vorlesungen über Geometrie der Algebren" , Springer  (1973)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
For a general theory of projective planes and spaces over rings of stable rank 2, which class of rings encompasses the finite-dimensional algebras, see [[#References|[a1]]]–[[#References|[a3]]]. For projective spaces over full matrix rings, in particular, see [[#References|[a4]]].
+
For a general theory of projective planes and spaces over rings of [[stable rank]] 2, which class of rings encompasses the finite-dimensional algebras, see [[#References|[a1]]]–[[#References|[a3]]]. For projective spaces over full matrix rings, in particular, see [[#References|[a4]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  F.D. Veldkamp,  "Projective planes over rings of stable rank 2"  ''Geom. Dedicata'' , '''11'''  (1981)  pp. 285–308</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  F.D. Veldkamp,  "Projective ring planes and their homomorphisms"  R. Kaya (ed.)  et al. (ed.) , ''Rings and Geometry. NATO Adv. Study Inst., Instanbul 1984'' , Reidel  pp. 289–350</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  F.D. Veldkamp,  "Projective Barbilian spaces"  ''Resultate Math.'' , '''12'''  (1987)  pp. 222–240; 434–449</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J.A. Thas,  "The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621041.png" />-dimensional projective space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621042.png" /> over the total matrix algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621043.png" /> of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621044.png" />-matrices with elements in the Galois field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086210/s08621045.png" />"  ''Rend. Mat.'' , '''4'''  (1971)  pp. 459–532</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  F.D. Veldkamp,  "Projective planes over rings of stable rank 2"  ''Geom. Dedicata'' , '''11'''  (1981)  pp. 285–308</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  F.D. Veldkamp,  "Projective ring planes and their homomorphisms"  R. Kaya (ed.)  et al. (ed.) , ''Rings and Geometry. NATO Adv. Study Inst., Instanbul 1984'' , Reidel  pp. 289–350</TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top">  F.D. Veldkamp,  "Projective Barbilian spaces"  ''Resultate Math.'' , '''12'''  (1987)  pp. 222–240; 434–449</TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top">  J.A. Thas,  "The $m$-dimensional projective space $S_m(M_n(\mathrm{GF}(q)))$ over the total matrix algebra $M_n(\mathrm{GF}(q))$ of the $n\times n$-matrices with elements in the Galois field $\mathrm{GF}(q)$"  ''Rend. Mat.'' , '''4'''  (1971)  pp. 459–532</TD></TR>
 +
</table>

Latest revision as of 16:55, 7 June 2020


A space with a differential-geometric structure whose points can be provided with coordinates from some algebra. In most cases the algebra is assumed to be associative with identity, and sometimes alternative with identity (cf. Associative rings and algebras; Alternative rings and algebras).

To construct a large class of spaces over an algebra one can start with a module over the algebra, whose definition can be obtained from that of a vector space over a skew-field by replacing the skew-field by an associative algebra with identity (cf. [1], [3]). By relating to the elements of the module, called vectors, new elements, called points, related to the vectors by the same axioms as the points of an affine space are related to its vectors, one obtains an affine space over an associative algebra with identity. The affine transformations in the affine space over an algebra have coordinate representation

$$ {} ^ \prime x ^ {i} = \ \sum _ { j=1 } ^ { n } A _ {j} ^ {i} f ( x ^ {j} ) + a ^ {i} , $$

where $ f $ is a continuous algebra automorphism. The $ n $- dimensional affine space over an algebra, of rank $ r $ over a certain field, has a unique model (representation) in the $ nr $- dimensional affine space over the same field. In this model, every point $ x $ of the affine space over the algebra is mapped to a point of the $ nr $- dimensional affine space over the field considered whose coordinates are the expansion coefficients of the coordinates of $ x $ in the basis elements of the algebra. If the basis elements $ \epsilon _ {A} $, $ A = 1 \dots r $, of the algebra are related by structure equations

$$ \epsilon _ {A} \epsilon _ {B} = \gamma _ {AB} ^ {C} \epsilon _ {C} , $$

where $ \gamma _ {AB} ^ {C} $ are the structure constants of the algebra, then each basis element $ \epsilon _ {A} $ corresponds in the model to the linear transformation with matrix

$$ \tag{* } \left \| \begin{array}{ccc} \gamma _ {A} &\dots & 0 \\ \dots &\dots &\dots \\ 0 &\dots &\gamma _ {A} \\ \end{array} \right \| , $$

where $ n $ identical $ r $- dimensional blocks $ \gamma _ {A} = \| \gamma _ {AB} ^ {C} \| $ occupy the principal diagonal. In affine spaces over algebras one can specify a Hermitian metric (Euclidean and pseudo-Euclidean), while in the case of commutative algebras even a quadratic (Euclidean and pseudo-Euclidean) metric can be given. To do this one defines in a unital module a scalar vector product $ ( \mathbf a , \mathbf b ) $, in the first case with the property

$$ ( \mathbf a , \mathbf b ) = ( \mathbf b , \mathbf a ) ^ {I} , $$

where $ I $ is an involutory anti-automorphism (an involution) of the algebra, and in the second case with the property

$$ ( \mathbf a , \mathbf b ) = ( \mathbf b , \mathbf a ) . $$

The scalar square of a vector $ \overrightarrow{AB } $ determines a metric invariant of the pair of points $ A , B $. The motions of Euclidean and pseudo-Euclidean spaces are the affine transformations preserving the scalar vector product. Replacing in the definition of elliptic and hyperbolic spaces over an algebra the scalar vector product by a scalar vector product $ ( \mathbf x , \mathbf y ) $ for which $ ( \mathbf x , \mathbf y ) = ( \mathbf y , \mathbf x ) ^ {I} $ or $ ( \mathbf x , \mathbf y ) = - ( \mathbf x , \mathbf y ) $, one obtains Hermitian, or quadratic symplectic, spaces over an algebra.

The variety of one-dimensional submodules of an $ ( n+ 1 ) $- dimensional unital module over an algebra $ K $ is called the $ n $- dimensional projective space over $ K $; its points are the one-dimensional submodules, while the projective coordinates of a point are the coordinates of any vector generating the corresponding one-dimensional submodule. In a projective space over an algebra one defines collineations and correlations as in a projective space over a field (cf. Collineation; Correlation). In projective coordinates, collineations have the form

$$ {} ^ \prime x ^ {i} = \sum _ { j=1 } ^ { n+1 } A _ {j} ^ {i} f ( x ^ {j} ) , $$

where $ f $ is a continuous algebra automorphism, and correlations have the form

$$ {} ^ \prime u _ {i} = \sum _ { j=1 } ^ { n } f ( x ^ {j} ) A _ {ij} , $$

where $ f $ is a continuous algebra anti-automorphism, and $ u _ {i} $ are projective hyperplane coordinates. The introduction of a scalar vector product in a unital module makes it possible to define in a projective space constructed by means of this module Hermitian, or in the case of a commutative algebra — quadratic elliptic and hyperbolic, metrics. The scalar products of vectors $ ( \mathbf x , \mathbf y ) $ of the corresponding submodules determine metric invariants of the points of these spaces by means of the cross ratio

$$ W = ( \mathbf x , \mathbf x ) ^ {-1} ( \mathbf x , \mathbf y ) ( \mathbf y , \mathbf y ) ^ {-1} ( \mathbf y , \mathbf x ) . $$

If $ W $ is a real number, then the invariant $ \omega $ for which $ W = \cos ^ {2} \omega $ is called the distance between the corresponding points (cf. [2]). Projective, elliptic, hyperbolic, and symplectic spaces over real simple algebras (e.g., the algebras of real, complex or quaternion matrices) have the property that their fundamental groups are simple Lie groups of an infinite series. Euclidean, pseudo-Euclidean, quasi-elliptic, quasi-hyperbolic, and quasi-symplectic spaces over the same algebras have the property that their fundamental groups are quasi-simple Lie groups of the same series (cf. [2]); the same property is shared by projective, elliptic, hyperbolic, and symplectic spaces over semi-simple algebras, to which also belongs the algebra of dual numbers.

Projective and Hermitian (elliptic and parabolic) planes over alternative algebras are defined in a more involved manner. Their fundamental groups are simple or quasi-simple Lie groups of certain exceptional types.

References

[1] N. Bourbaki, "Elements of mathematics. Algebra: Algebraic structures. Linear algebra" , 1 , Addison-Wesley (1974) pp. Chapt.1;2 (Translated from French)
[2] B.A. Rozenfel'd, "Non-Euclidean spaces" , Moscow (1969) (In Russian)
[3] W. Benz, "Vorlesungen über Geometrie der Algebren" , Springer (1973)

Comments

For a general theory of projective planes and spaces over rings of stable rank 2, which class of rings encompasses the finite-dimensional algebras, see [a1][a3]. For projective spaces over full matrix rings, in particular, see [a4].

References

[a1] F.D. Veldkamp, "Projective planes over rings of stable rank 2" Geom. Dedicata , 11 (1981) pp. 285–308
[a2] F.D. Veldkamp, "Projective ring planes and their homomorphisms" R. Kaya (ed.) et al. (ed.) , Rings and Geometry. NATO Adv. Study Inst., Instanbul 1984 , Reidel pp. 289–350
[a3] F.D. Veldkamp, "Projective Barbilian spaces" Resultate Math. , 12 (1987) pp. 222–240; 434–449
[a4] J.A. Thas, "The $m$-dimensional projective space $S_m(M_n(\mathrm{GF}(q)))$ over the total matrix algebra $M_n(\mathrm{GF}(q))$ of the $n\times n$-matrices with elements in the Galois field $\mathrm{GF}(q)$" Rend. Mat. , 4 (1971) pp. 459–532
How to Cite This Entry:
Space over an algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Space_over_an_algebra&oldid=39396
This article was adapted from an original article by B.A. Rozen'feldA.P. Shirokov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article