Abstract.
Let H\(^*\) be an unstable algebra over the Steenrod algebra, and let \(S\subset{\rm H^*}\) be a multiplicatively closed subset. inherits an action of the Steenrod algebra from H\(^*\), which is, however, in general no longer unstable. In this note we consider the following three statements.
(1)] H\(^*\) is Noetherian,
(2) the integral closure, \(\overline{{\rm H^*}_{S^{-1}{\rm H^*}}}\), of H\(^*\) in the localization with respect to S is Noetherian,
(3) \(\overline{{\rm H^*}_{S^{-1}{\rm H^*}}}={\cal Un}(S^{-1}{\rm H^*})\), where \({\cal Un}(-)\) denotes the unstable part.
If the set S contains only (nonzero) nonzero divisors and the algebras are reduced then
\[ (1) \Leftrightarrow (2) . \]
If S contains zerodivisors, then only \((1) \Rightarrow (2)\) remains true, to show the converse is false we construct a counterexample. The implication \((1) \Rightarrow (3)\) is always true, while \((3) \Rightarrow (2)\) needs a bunch of technical assumptions to remain true. However, none of them can be removed: we illustrate this also with examples. Finally, as a technical tool, we characterize \(\Delta\)-finite algebras.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received February 8, 1999 / in final form August 16, 1999 / Published online July 20, 2000
Rights and permissions
About this article
Cite this article
Neusel, M. Localizations over the Steenrod algebra The lost chapter. Math Z 235, 353–378 (2000). https://doi.org/10.1007/s002090000155
Issue Date:
DOI: https://doi.org/10.1007/s002090000155