Difference between revisions of "Space over an algebra"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
Ulf Rehmann (talk | contribs) m (Undo revision 48752 by Ulf Rehmann (talk)) Tag: Undo |
||
Line 1: | Line 1: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
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]]). | 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> | |
− | |||
− | |||
− | |||
− | |||
− | where | + | 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 |
− | is a continuous algebra automorphism. The | ||
− | dimensional affine space over an algebra, of rank | ||
− | over a certain field, has a unique model (representation) in the | ||
− | dimensional affine space over the same field. In this model, every point | ||
− | of the affine space over the algebra is mapped to a point of the | ||
− | dimensional affine space over the field considered whose coordinates are the expansion coefficients of the coordinates of | ||
− | in the basis elements of the algebra. If the basis elements | ||
− | |||
− | 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> | |
− | |||
− | |||
− | where | + | 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 |
− | are the [[structure constant]]s of the algebra, then each basis element | ||
− | 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> | |
− | |||
− | where | + | 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 |
− | identical | ||
− | dimensional blocks | ||
− | 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 | ||
− | 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> | |
− | |||
− | |||
− | where | + | 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 |
− | 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> | |
− | |||
− | |||
− | The scalar square of a vector | + | 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. |
− | determines a metric invariant of the pair of points | ||
− | 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 | ||
− | for which | ||
− | or | ||
− | one obtains Hermitian, or quadratic symplectic, spaces over an algebra. | ||
− | The variety of one-dimensional submodules of an | + | 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 |
− | dimensional unital module over an algebra | ||
− | is called the | ||
− | dimensional projective space over | ||
− | 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> | |
− | |||
− | |||
− | where | + | 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 |
− | 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> | |
− | |||
− | |||
− | where | + | 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 |
− | is a continuous algebra [[anti-automorphism]], and | ||
− | 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 | ||
− | 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> | |
− | |||
− | |||
− | |||
− | If | + | 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. |
− | is a real number, then the invariant | ||
− | for which | ||
− | 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 103: | Line 41: | ||
====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==== |
Revision as of 14:53, 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
![]() |
where is a continuous algebra automorphism. The
-dimensional affine space over an algebra, of rank
over a certain field, has a unique model (representation) in the
-dimensional affine space over the same field. In this model, every point
of the affine space over the algebra is mapped to a point of the
-dimensional affine space over the field considered whose coordinates are the expansion coefficients of the coordinates of
in the basis elements of the algebra. If the basis elements
,
, of the algebra are related by structure equations
![]() |
where are the structure constants of the algebra, then each basis element
corresponds in the model to the linear transformation with matrix
![]() | (*) |
where identical
-dimensional blocks
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
, in the first case with the property
![]() |
where is an involutory anti-automorphism (an involution) of the algebra, and in the second case with the property
![]() |
The scalar square of a vector determines a metric invariant of the pair of points
. 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
for which
or
, one obtains Hermitian, or quadratic symplectic, spaces over an algebra.
The variety of one-dimensional submodules of an -dimensional unital module over an algebra
is called the
-dimensional projective space over
; 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
![]() |
where is a continuous algebra automorphism, and correlations have the form
![]() |
where is a continuous algebra anti-automorphism, and
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
of the corresponding submodules determine metric invariants of the points of these spaces by means of the cross ratio
![]() |
If is a real number, then the invariant
for which
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 ![]() ![]() ![]() ![]() ![]() |
Space over an algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Space_over_an_algebra&oldid=48752