Proposition 64.31.5. If $\Lambda $ is Noetherian then $C(\Lambda )$ is a finitely generated $\Lambda $-module. Moreover, if $\Lambda $ is a field with prime subfield $\mathbf{F} \subset \Lambda $ then
\[ C(\Lambda )=(C(\mathbf{F}))\otimes _{\mathbf{F}}\Lambda \]
compatibly with $T_ v$ acting.
Comments (0)
There are also: