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 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 , let be the group of similitudes (resp. displacements) leaving a fixed; if L is identified with T by taking a as origin, 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 where and , and also in the form where and ; moreover and (Chapter II, 2nd ed., App. II, No. 4).
Let be a similitude in L, the associated similitude in T. The multiplier of is also called the multiplier of (No. 5). If this multiplier is denoted by , the mapping 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 (equal by definition to det ) and , the same relations as in No. 5. The displacements such that det form a normal subgroup of the group of displacements; this subgroup is of index 2 if A is a commutative field of characteristic 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.