A theorem about maximal Cohen-Macaulay modules
Abstract
It is shown in a local strongly F-regular ring there exits natural number e0 so that if M is any finitely generated maximal Cohen-Macaulay module then the pushforward of M under the e0th iterate of the Frobenius endomorphism contains a free summand. Consequently, the torsion subgroup of the divisor class group of a local strongly F-regular ring is finite.
0