Bourbaki

Definition 3

Tag 0DLT, permanent. Cite it as [Bourbaki, Tag 0DLT].

Algebra, chapter IX, § 6. Propriétés spéciales aux formes hermitiennes

Let L be a hermitian space over a field A, T the space of translations of L. A displacement (resp. similitude) of L is any affine bijection u of L onto L such that the linear mapping φ\varphi associated with u in T (Chapter II, 2nd ed., App. II, No. 4) is unitary (resp. is a similitude).

The group of translations is a normal subgroup of the affine group; it is therefore a normal subgroup of the group of similitudes and of the group of displacements. For every a∈La \in L, let GaG_a be the group of similitudes (resp. displacements) leaving a fixed; if L is identified with T by taking a as origin, GaG_a is the group of similitudes (resp. the unitary group) of T. Every similitude (resp. displacement) u can be written, in one and only one way, in the form u=u1t1u = u_1 t_1 where u1∈Gau_1 \in G_a and t1∈Tt_1 \in T, and also in the form u=t2u2u = t_2 u_2 where u2∈Gau_2 \in G_a and t2∈Tt_2 \in T; moreover u2=u1u_2 = u_1 and t2=u1t1u1−1t_2 = u_1 t_1 u_1^{-1} (Chapter II, 2nd ed., App. II, No. 4).

Let uu be a similitude in L, φ\varphi the associated similitude in T. The multiplier of φ\varphi is also called the multiplier of uu (No. 5). If this multiplier is denoted by α(u)\alpha(u), the mapping u→α(u)u \to \alpha(u) is a homomorphism of the group of similitudes of L into the multiplicative group of the invertible elements of the center of A; its kernel is the group of displacements, which is therefore a normal subgroup of the group of similitudes. When A is commutative and L is of finite dimension, there are, between the determinant det uu (equal by definition to det φ\varphi) and α(u)\alpha(u), the same relations as in No. 5. The displacements uu such that det u=1u = 1 form a normal subgroup of the group of displacements; this subgroup is of index 2 if A is a commutative field of characteristic ≠2\neq 2 and J is the identity.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.