Bourbaki

Example

Tag 0D3D, permanent. Cite it as [Bourbaki, Tag 0D3D].

Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens

Corollary 3 applies in particular in the following two situations:

a) Consider a noetherian integrally closed ring AA, a separable extension LL of its field of fractions, of finite degree nn such that n1An1_A is invertible in AA, and take for BB the integral closure of AA in LL (V, §1§ 1, No. 6, Corollary 1 of Proposition 18).

b) Consider a noetherian integrally closed ring BB and a finite group GG of automorphisms of BB, such that Card(G)1B\mathrm{Card}(G) 1_B is invertible in BB. Take for AA the ring of elements of BB invariant under the action of GG. Let us verify that we are in a particular case of a). The group GG operates on the field of the

In particular, if B is a Macaulay ring, the same is true of A.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.