Exercise 17, § 2
Tag 0031, permanent. Cite it as [Bourbaki, Tag 0031].
Algebra, VIII, p. 42
Let A be a ring, an integer, and .
a) Suppose that the ring A is local. Prove that there exist matrices in that are products of matrices of the form (II, §10, No. 13, p. 361) and an invertible element of A, such that we have PXQ = diag(1 ) (follow the proof of Proposition 14 of loc. cit.).
b) Suppose that the ring A is Euclidean (VII, §1, p. 49, Exercise 7). Prove the same result.
c) If A is a local ring or a Euclidean commutative ring, then the group is generated by the matrices .
d) Suppose that A is local, and denote its maximal ideal by . Prove that every matrix in with invertible image in is itself invertible (use Lemma 1 of II, §10, No. 13, p. 361).
Solution
No solution has been written yet.
Cited by
Cites
- II, §10, No. 13, p. 361
- Lemma 1 of II, §10, No. 13, p. 361 not in this corpus