Example
Tag 01X9, permanent. Cite it as [Bourbaki, Tag 01X9].
Topologie algébrique, chapter III, § 2. Homotopie et chemins
Let G be the subgroup of formed by the square matrices of order whose determinant is strictly positive. The group G is connected and locally path-connected.
According to A, III, p. 104, prop. 17, the group is generated by the elements (for such that and ). The mappings from into are continuous, their images are connected subsets of ; since they all contain the identity matrix , their union is connected (TG, I, p. 81, prop. 2). Consequently, the group is connected (TG, III, p. 8, prop. 7). Let A be the subgroup of G formed by the matrices of the form diag(1 ), with ; it is connected and one has . It follows that the group G is connected. Since it is the inverse image of by the determinant mapping of into , it is an open subset of ; it is therefore locally arcwise connected (corollary above), as well as arcwise connected (III, p. 261, corollary 1).
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.