Length-preserving monomorphisms for some algebras of operations (Q2398344)

Let \(p\) be an odd prime and let \(\mathcal{Q}(p)\) be the universal Steenrod algebra (see [\textit{J. P. May}, Lect. Notes Math. 168, 153--231 (1970; Zbl 0242.55023), \textit{A. Ciampella} and \textit{L. A. Lomonaco}, Commun. Algebra 32, No. 7, 2589--2607 (2004; Zbl 1061.55014)]). The aim of this paper is to prove the following theorem: Every lenght-preserving algebra monomorphism of \(\mathcal{Q}(p)\) is an isomorphism. As a consequence, the authors hope to clarify the (non)-existence of a fractal structure for \(\mathcal{Q}(p)\). Let us recall that a fractal structure for \(\mathcal{Q}(p)\) is a sequence of nested subalgebras of \(\mathcal{Q}(p)\), all isomorphic to \(\mathcal{Q}(p)\).