Bourbaki

Exercise 4, § 1

Commutative Algebra, VII, 546

Let A\mathbf{A} be a completely integrally closed domain and mm a maximal ideal of A\mathbf{A}. Show that, either mm is invertible, or mm is not divisorial and A:m=A\mathbf{A}: m = \mathbf{A}. (Note that, if mm is not invertible, necessarily rn.(A:m)k=mrn. (A:m)^k = m for every integer k>0k > 0.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.