Affine group

Last updated September 23, 2024

In mathematics, the affine group or general affine group of any affine space is the group of all invertible affine transformations from the space into itself. In the case of a Euclidean space (where the associated field of scalars is the real numbers), the affine group consists of those functions from the space to itself such that the image of every line is a line.

Relation to general linear group
Construction from general linear group
Stabilizer of a point
Matrix representation
Character table of Aff(Fp)
Planar affine group over the reals
Other affine groups and subgroups
General case
Special affine group
Projective subgroup
Isometries of Euclidean space
Poincaré group
See also
Notes
References

Over any field, the affine group may be viewed as a matrix group in a natural way. If the associated field of scalars is the real or complex field, then the affine group is a Lie group.

Relation to general linear group

Construction from general linear group

Concretely, given a vector space $V$ , it has an underlying affine space $A$ obtained by "forgetting" the origin, with $V$ acting by translations, and the affine group of $A$ can be described concretely as the semidirect product of $V$ by $GL(V)$ , the general linear group of $V$ :

\operatorname {Aff} (V)=V\rtimes \operatorname {GL} (V)

The action of $GL(V)$ on $V$ is the natural one (linear transformations are automorphisms), so this defines a semidirect product.

In terms of matrices, one writes:

\operatorname {Aff} (n,K)=K^{n}\rtimes \operatorname {GL} (n,K)

where here the natural action of $GL(n, K)$ on $K n$ is matrix multiplication of a vector.

Stabilizer of a point

Given the affine group of an affine space $A$ , the stabilizer of a point $p$ is isomorphic to the general linear group of the same dimension (so the stabilizer of a point in $Aff(2, R)$ is isomorphic to $GL(2, R)$ ); formally, it is the general linear group of the vector space $(A, p)$ : recall that if one fixes a point, an affine space becomes a vector space.

All these subgroups are conjugate, where conjugation is given by translation from $p$ to $q$ (which is uniquely defined), however, no particular subgroup is a natural choice, since no point is special – this corresponds to the multiple choices of transverse subgroup, or splitting of the short exact sequence

1\to V\to V\rtimes \operatorname {GL} (V)\to \operatorname {GL} (V)\to 1\,.

In the case that the affine group was constructed by starting with a vector space, the subgroup that stabilizes the origin (of the vector space) is the original $GL(V)$ .

Matrix representation

Representing the affine group as a semidirect product of $V$ by $GL(V)$ , then by construction of the semidirect product, the elements are pairs $(v, M)$ , where $v$ is a vector in $V$ and $M$ is a linear transform in $GL(V)$ , and multiplication is given by

(v,M)\cdot (w,N)=(v+Mw,MN)\,.

This can be represented as the $(n + 1) \times (n + 1)$ block matrix

\left({\begin{array}{c|c}M&v\\\hline 0&1\end{array}}\right)

where $M$ is an $n \times n$ matrix over $K$ , $v$ an $n \times 1$ column vector, 0 is a $1 \times n$ row of zeros, and 1 is the 1 × 1 identity block matrix.

Formally, $Aff(V)$ is naturally isomorphic to a subgroup of $GL(V \oplus K)$ , with $V$ embedded as the affine plane ${(v, 1) | v \in V}$ , namely the stabilizer of this affine plane; the above matrix formulation is the (transpose of the) realization of this, with the $n \times n$ and $1 \times 1$ blocks corresponding to the direct sum decomposition $V \oplus K$ .

A similar representation is any $(n + 1) \times (n + 1)$ matrix in which the entries in each column sum to 1.^[1] The similarity $P$ for passing from the above kind to this kind is the $(n + 1) \times (n + 1)$ identity matrix with the bottom row replaced by a row of all ones.

Each of these two classes of matrices is closed under matrix multiplication.

The simplest paradigm may well be the case $n = 1$ , that is, the upper triangular 2 × 2 matrices representing the affine group in one dimension. It is a two-parameter non-Abelian Lie group, so with merely two generators (Lie algebra elements), $A$ and $B$ , such that $[A, B] = B$ , where

A=\left({\begin{array}{cc}1&0\\0&0\end{array}}\right),\qquad B=\left({\begin{array}{cc}0&1\\0&0\end{array}}\right)\,,

so that

e^{aA+bB}=\left({\begin{array}{cc}e^{a}&{\tfrac {b}{a}}(e^{a}-1)\\0&1\end{array}}\right)\,.

Character table of $Aff(F p)$

$Aff(F p)$ has order $p (p - 1)$ . Since

{\begin{pmatrix}c&d\\0&1\end{pmatrix}}{\begin{pmatrix}a&b\\0&1\end{pmatrix}}{\begin{pmatrix}c&d\\0&1\end{pmatrix}}^{-1}={\begin{pmatrix}a&(1-a)d+bc\\0&1\end{pmatrix}}\,,

we know $Aff(F p)$ has $p$ conjugacy classes, namely

{\begin{aligned}C_{id}&=\left\{{\begin{pmatrix}1&0\\0&1\end{pmatrix}}\right\}\,,\\[6pt]C_{1}&=\left\{{\begin{pmatrix}1&b\\0&1\end{pmatrix}}{\Bigg |}b\in \mathbf {F} _{p}^{*}\right\}\,,\\[6pt]{\Bigg \{}C_{a}&=\left\{{\begin{pmatrix}a&b\\0&1\end{pmatrix}}{\Bigg |}b\in \mathbf {F} _{p}\right\}{\Bigg |}a\in \mathbf {F} _{p}\setminus \{0,1\}{\Bigg \}}\,.\end{aligned}}

Then we know that $Aff(F p)$ has $p$ irreducible representations. By above paragraph (§ Matrix representation), there exist $p - 1$ one-dimensional representations, decided by the homomorphism

\rho _{k}:\operatorname {Aff} (\mathbf {F} _{p})\to \mathbb {C} ^{*}

for $k = 1, 2,\dots p - 1$ , where

\rho _{k}{\begin{pmatrix}a&b\\0&1\end{pmatrix}}=\exp \left({\frac {2ikj\pi }{p-1}}\right)

and $i 2 = -1$ , $a = g j$ , $g$ is a generator of the group $F * p$ . Then compare with the order of $F p$ , we have

p(p-1)=p-1+\chi _{p}^{2}\,,

hence $χ p = p - 1$ is the dimension of the last irreducible representation. Finally using the orthogonality of irreducible representations, we can complete the character table of $Aff(F p)$ :

{\begin{array}{c|cccccc}&{\color {Blue}C_{id}}&{\color {Blue}C_{1}}&{\color {Blue}C_{g}}&{\color {Blue}C_{g^{2}}}&{\color {Gray}\dots }&{\color {Blue}C_{g^{p-2}}}\\\hline {\color {Blue}\chi _{1}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Blue}e^{\frac {2\pi i}{p-1}}}&{\color {Blue}e^{\frac {4\pi i}{p-1}}}&{\color {Gray}\dots }&{\color {Blue}e^{\frac {2\pi (p-2)i}{p-1}}}\\{\color {Blue}\chi _{2}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Blue}e^{\frac {4\pi i}{p-1}}}&{\color {Blue}e^{\frac {8\pi i}{p-1}}}&{\color {Gray}\dots }&{\color {Blue}e^{\frac {4\pi (p-2)i}{p-1}}}\\{\color {Blue}\chi _{3}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Blue}e^{\frac {6\pi i}{p-1}}}&{\color {Blue}e^{\frac {12\pi i}{p-1}}}&{\color {Gray}\dots }&{\color {Blue}e^{\frac {6\pi (p-2)i}{p-1}}}\\{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }&{\color {Gray}\dots }\\{\color {Blue}\chi _{p-1}}&{\color {Gray}1}&{\color {Gray}1}&{\color {Gray}1}&{\color {Gray}1}&{\color {Gray}\dots }&{\color {Gray}1}\\{\color {Blue}\chi _{p}}&{\color {Gray}p-1}&{\color {Gray}-1}&{\color {Gray}0}&{\color {Gray}0}&{\color {Gray}\dots }&{\color {Gray}0}\end{array}}

Planar affine group over the reals

The elements of $\operatorname {Aff} (2,\mathbb {R} )$ can take a simple form on a well-chosen affine coordinate system. More precisely, given an affine transformation of an affine plane over the reals, an affine coordinate system exists on which it has one of the following forms, where $a$ , $b$ , and $t$ are real numbers (the given conditions insure that transformations are invertible, but not for making the classes distinct; for example, the identity belongs to all the classes).

{\begin{aligned}{\text{1.}}&&(x,y)&\mapsto (x+a,y+b),\\[3pt]{\text{2.}}&&(x,y)&\mapsto (ax,by),&\qquad {\text{where }}ab\neq 0,\\[3pt]{\text{3.}}&&(x,y)&\mapsto (ax,y+b),&\qquad {\text{where }}a\neq 0,\\[3pt]{\text{4.}}&&(x,y)&\mapsto (ax+y,ay),&\qquad {\text{where }}a\neq 0,\\[3pt]{\text{5.}}&&(x,y)&\mapsto (x+y,y+a)\\[3pt]{\text{6.}}&&(x,y)&\mapsto (a(x\cos t+y\sin t),a(-x\sin t+y\cos t)),&\qquad {\text{where }}a\neq 0.\end{aligned}}

Case 1 corresponds to translations.

Case 2 corresponds to scalings that may differ in two different directions. When working with a Euclidean plane these directions need not be perpendicular, since the coordinate axes need not be perpendicular.

Case 3 corresponds to a scaling in one direction and a translation in another one.

Case 4 corresponds to a shear mapping combined with a dilation.

Case 5 corresponds to a shear mapping combined with a dilation.

Case 6 corresponds to similarities when the coordinate axes are perpendicular.

The affine transformations without any fixed point belong to cases 1, 3, and 5. The transformations that do not preserve the orientation of the plane belong to cases 2 (with $ab < 0$ ) or 3 (with $a < 0$ ).

The proof may be done by first remarking that if an affine transformation has no fixed point, then the matrix of the associated linear map has an eigenvalue equal to one, and then using the Jordan normal form theorem for real matrices.

Other affine groups and subgroups

General case

Given any subgroup $G < GL(V)$ of the general linear group, one can produce an affine group, sometimes denoted $Aff(G)$ , analogously as $Aff(G) := V ⋊ G$ .

More generally and abstractly, given any group $G$ and a representation $\rho :G\to \operatorname {GL} (V)$ of $G$ on a vector space $V$ , one gets^{[note 1]} an associated affine group $V ⋊ ρ G$ : one can say that the affine group obtained is "a group extension by a vector representation", and, as above, one has the short exact sequence $1\to V\to V\rtimes _{\rho }G\to G\to 1.$

Special affine group

The subset of all invertible affine transformations that preserve a fixed volume form up to sign is called the special affine group. (The transformations themselves are sometimes called equiaffinities.) This group is the affine analogue of the special linear group. In terms of the semi-direct product, the special affine group consists of all pairs $(M, v)$ with $|\det(M)|=1$ , that is, the affine transformations $x\mapsto Mx+v$ where $M$ is a linear transformation of whose determinant has absolute value 1 and $v$ is any fixed translation vector.^[2]^[3]

The subgroup of the special affine group consisting of those transformations whose linear part has determinant 1 is the group of orientation- and volume-preserving maps. Algebraically, this group is a semidirect product $SL(V)\ltimes V$ of the special linear group of $V$ with the translations. It is generated by the shear mappings.

Projective subgroup

Presuming knowledge of projectivity and the projective group of projective geometry, the affine group can be easily specified. For example, Günter Ewald wrote:^[4]

The set

{\mathfrak {P}}

of all projective collineations of

P n

is a group which we may call the projective group of

P n

. If we proceed from

P n

to the affine space

A n

by declaring a hyperplane

ω

to be a hyperplane at infinity, we obtain the affine group

{\mathfrak {A}}

of

A n

as the subgroup of

{\mathfrak {P}}

consisting of all elements of

{\mathfrak {P}}

that leave

ω

fixed.

{\mathfrak {A}}\subset {\mathfrak {P}}

Isometries of Euclidean space

When the affine space $A$ is a Euclidean space (over the field of real numbers), the group ${\mathcal {E}}$ of distance-preserving maps ( isometries ) of $A$ is a subgroup of the affine group. Algebraically, this group is a semidirect product $O(V)\ltimes V$ of the orthogonal group of $V$ with the translations. Geometrically, it is the subgroup of the affine group generated by the orthogonal reflections.

Poincaré group

The Poincaré group is the affine group of the Lorentz group $O(1,3)$ :

\mathbf {R} ^{1,3}\rtimes \operatorname {O} (1,3)

This example is very important in relativity.

Notes

↑ Since $GL(V) < Aut(V)$ . Note that this containment is in general proper, since by "automorphisms" one means group automorphisms, i.e., they preserve the group structure on $V$ (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over $R$ .

Related Research Articles

In mathematics, the determinant is a scalar-valued function of the entries of a square matrix. The determinant of a matrix $A$ is commonly denoted $det(A)$ , $det A$ , or $| A |$ . Its value characterizes some properties of the matrix and the linear map represented, on a given basis, by the matrix. In particular, the determinant is nonzero if and only if the matrix is invertible and the corresponding linear map is an isomorphism.

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.

In mathematics, and more specifically in linear algebra, a linear map is a mapping $between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism.$

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

In linear algebra, the trace of a square matrix $A$ , denoted $tr(A)$ , is defined to be the sum of elements on the main diagonal of $A$ . The trace is only defined for a square matrix.

<span class="mw-page-title-main">Multivariate normal distribution</span> Generalization of the one-dimensional normal distribution to higher dimensions

In probability theory and statistics, the multivariate normal distribution, multivariate Gaussian distribution, or joint normal distribution is a generalization of the one-dimensional (univariate) normal distribution to higher dimensions. One definition is that a random vector is said to be k-variate normally distributed if every linear combination of its k components has a univariate normal distribution. Its importance derives mainly from the multivariate central limit theorem. The multivariate normal distribution is often used to describe, at least approximately, any set of (possibly) correlated real-valued random variables, each of which clusters around a mean value.

In group theory, the quaternion group Q₈ (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset $of the quaternions under multiplication. It is given by the group presentation$

In mathematics, the orthogonal group in dimension $n$ , denoted $O(n)$ , is the group of distance-preserving transformations of a Euclidean space of dimension $n$ that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of $n \times n$ orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space $under the operation of composition.$

<span class="mw-page-title-main">Symplectic group</span> Mathematical group

In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted $Sp(2 n, F)$ and $Sp(n)$ for positive integer n and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by $. Many authors prefer slightly different notations, usually differing by factors of 2 . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2 n, C) is denoted C n, and Sp(n) is the compact real form of Sp(2 n, C) . Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n .$

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C), and it has as a subgroup the special unitary group, consisting of those unitary matrices with determinant 1.

In mathematics, the special unitary group of degree $n$ , denoted $SU(n)$ , is the Lie group of $n \times n$ unitary matrices with determinant 1.

In mathematics, the indefinite orthogonal group, O(p, q) is the Lie group of all linear transformations of an n-dimensional real vector space that leave invariant a nondegenerate, symmetric bilinear form of signature (p, q), where n = p + q. It is also called the pseudo-orthogonal group or generalized orthogonal group. The dimension of the group is n(n − 1)/2.

In mathematics, the modular group is the projective special linear group $of 2 × 2 matrices with integer coefficients and determinant 1. The matrices A and −A are identified. The modular group acts on the upper-half of the complex plane by fractional linear transformations, and the name "modular group" comes from the relation to moduli spaces and not from modular arithmetic.$

In mathematics, the Heisenberg group $, named after Werner Heisenberg, is the group of 3\times3 upper triangular matrices of the form$

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

<span class="mw-page-title-main">Holonomy</span> Concept in differential geometry

In differential geometry, the holonomy of a connection on a smooth manifold is the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. Holonomy is a general geometrical consequence of the curvature of the connection. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features.

In differential geometry, the torsion tensor is a tensor that is associated to any affine connection. The torsion tensor is bilinear map of two input vectors $, that produces an output vector representing the displacement within a tangent space when the tangent space is developed along an infinitesimal parallelogram whose sides are . It is skew symmetric in its inputs, because developing over the parallelogram in the opposite sense produces the opposite displacement, similarly to how a screw moves in opposite ways when it is twisted in two directions.$

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup $of as modular forms. They are eigenforms of the hyperbolic Laplace operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to modular forms, Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.$

<span class="mw-page-title-main">Exponential map (Lie theory)</span> Map from a Lie algebra to its Lie group

In the theory of Lie groups, the exponential map is a map from the Lie algebra $of a Lie group to the group, which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups.$

References

↑ Poole, David G. (November 1995). "The Stochastic Group". American Mathematical Monthly . 102 (9): 798–801. doi:10.1080/00029890.1995.12004664.
↑ Berger, M. (1987). Geometry. Vol. 1. Berlin Heidelberg: Springer-Verlag. Section 2.7.6. ISBN 9780534000349.
↑ Ewald, Günter (1971). Geometry: An Introduction. Belmont: Wadsworth. Section 4.12. ISBN 9780534000349.
↑ Ewald, Günter (1971). Geometry: An Introduction. Belmont: Wadsworth. p. 241. ISBN 9780534000349.

Lyndon, Roger (1985). "Section VI.1". Groups and Geometry . Cambridge University Press. ISBN 0-521-31694-4.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[2] Since $GL(V) < Aut(V)$ . Note that this containment is in general proper, since by "automorphisms" one means group automorphisms, i.e., they preserve the group structure on $V$ (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over $R$ .

[1] Poole, David G. (November 1995). "The Stochastic Group". American Mathematical Monthly . 102 (9): 798–801. doi:10.1080/00029890.1995.12004664.

[3] Berger, M. (1987). Geometry. Vol. 1. Berlin Heidelberg: Springer-Verlag. Section 2.7.6. ISBN 9780534000349.

[4] Ewald, Günter (1971). Geometry: An Introduction. Belmont: Wadsworth. Section 4.12. ISBN 9780534000349.

[5] Ewald, Günter (1971). Geometry: An Introduction. Belmont: Wadsworth. p. 241. ISBN 9780534000349.

[1]

[note 1]

[2]

[3]

[4]