Through discussing the transformation of the invariant ideals, we firstly prove that the T-functor can only decrease the embedding dimension in the category of unstable algebras over the Steenrod algebra. As a corolla...Through discussing the transformation of the invariant ideals, we firstly prove that the T-functor can only decrease the embedding dimension in the category of unstable algebras over the Steenrod algebra. As a corollary we obtain that the T-functor preserves the hypersurfaces in the category of unstable algebras. Then with the applications of these results to invariant theory, we provide an alternative proof that if the invariant of a finite group is a hypersurface, then so are its stabilizer subgroups. Moreover, by several counter-examples we demonstrate that if the invariants of the stabilizer subgroups or Sylow p-subgroups are hypersurfaces, the invariant of the group itself is not necessarily a hypersurface.展开更多
基金Supported by the National Natural Science Foundation of China(Grant No.11371343)
文摘Through discussing the transformation of the invariant ideals, we firstly prove that the T-functor can only decrease the embedding dimension in the category of unstable algebras over the Steenrod algebra. As a corollary we obtain that the T-functor preserves the hypersurfaces in the category of unstable algebras. Then with the applications of these results to invariant theory, we provide an alternative proof that if the invariant of a finite group is a hypersurface, then so are its stabilizer subgroups. Moreover, by several counter-examples we demonstrate that if the invariants of the stabilizer subgroups or Sylow p-subgroups are hypersurfaces, the invariant of the group itself is not necessarily a hypersurface.
