Let be a finitely generated module over a commutative ring
and let be a submodule. For each positive integer ,
let is the th tensor power of as an
-module. Let be the subgroup of
-linear automorphisms of that preserve . We let
act on by
.
(a) Let generate as an -module, and
let
Here is the symmetric group on letters, and
denotes the sign of . Show that for
, we have for some .
(b) Suppose is a free -module with a basis
and suppose is generated by . Show that as
in (a) can be extended to a basis of .
(c) Assumptions are as in (b). Show that
.