Remark
Tag 0DOA, permanent. Cite it as [Bourbaki, Tag 0DOA].
Algebra, chapter IX, § 10. Angles
When –1 belongs to the class mod. in question, one generally chooses in such a way that , which determines it up to sign. When this class contains 1 but not –1, one generally chooses in such a way that , which again determines it up to sign.
No. 2
ANGLES
This being so, every element of can be written, in one and only one way, in the form
(1)
where belong to ; the element of the projective field (Chap. II, 2nd ed., App. III, No. 5) is denoted by ; it depends only on the class of mod. ; thus defines, by passing to the quotient, a mapping of into the projective field , which we shall again denote by by abuse of language. We shall often write and instead of and . We have and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.