zbMATH — the first resource for mathematics

On normal verbal embeddings of groups. (English) Zbl 0953.20017
Let \(H\) be a group and \(V\) a set of words. An \(nV\)-embedding \(\nu\) of \(H\) into a group \(G\) is a monomorphism \(\nu\colon H\mapsto G\) such that \(\nu(H)\) is a normal subgroup of \(G\) and \(\nu(H)\subseteq V(G)\). The group \(H\) is said to be \(nV\)-embeddable if there is a group \(G\) and an \(nV\)-embedding of \(H\) into \(G\).
The main result of the article (Theorem 1) is the following: if \(V\) is a set of words and \(H\) is a group then \(H\) is \(nV\)-embeddable if and only if \(V(\operatorname{Aut}(H))\supseteq\text{Inn}(H)\). Theorem 2 states that if \(H\) is a non-trivial Abelian group then \(H\) is \(nV\)-embeddable into a nilpotent group \(G\) and that \(H\) is \(nV\)-embeddable into an Abelian group if and only if \(V\) has some consequence of the form \(x^n=1\).
Theorem 3 deals with the case when \(H\) is solvable and \(V\) consists of one of the words \([x_1,x_2]\), \(x^\ell\), \(\gamma_c(x_1,\dots,x_c)\) and \(\delta_n(x_1,\dots,x_{2^n})\) where \(\gamma_c(x_1,\dots,x_c)=[x_1,\dots,x_c]\) and \(\delta_n(x_1,\dots,x_{2^n})\) is defined as follows: \(\delta_0=x\) and \(\delta_{n+1}(x_1,\dots,x_{2^{n+1}})=[\delta_n(x_1,\dots,x_{2^n}),\delta_n(x_1,\dots,x_{2^n})]\). In this case \(H\) is \(nV\)-embeddable into some solvable group \(G\) if and only if \(\operatorname{Aut}(H)\) contains a solvable subgroup \(B\) with \(V(B)\supseteq\text{Inn}(H)\). Theorem 4 states that if \(V\) consists of the word \([x_1,x_2]\) then the nilpotent group \(H\) is \(nV\)-embeddable into some nilpotent group \(G\) if and only if there is a nilpotent subgroup \(B\) of \(\operatorname{Aut}(H)\) such that \(V(B)\supseteq\text{Inn}(H)\) and the extension of \(H\) by \(B\) is nilpotent.
The last result (Theorem 5) is devoted to \(nV\)-embeddings of symmetric groups. It states that (i) the symmetric groups \(S_2\) and \(S_1\) and symmetric groups over an infinite set are \(nV\)-embeddable; (ii) the groups \(S_n\) with \(n\geq 3\), \(n\neq 6\) are \(nV\)-embeddable if and only if \(S_n=V(S_n)\); (iii) the group \(S_6\) is \(nV\)-embeddable if and only if \(\text{Inn}(S_6)\subseteq V\langle\text{Inn}(S_6),\omega\rangle\) where \(\omega\) is an arbitrary outer automorphism of \(S_6\).

20E10 Quasivarieties and varieties of groups
20E07 Subgroup theorems; subgroup growth
20E22 Extensions, wreath products, and other compositions of groups
20F28 Automorphism groups of groups
Full Text: DOI
[1] R. Baer, ”Die Kompositionsreihe der Gruppe aller eineindeutigen Abbildungen einer unendlichen Menge auf sich,”Stud. Math.,5, 15–17 (1934). · JFM 60.0892.03
[2] N. Blackburn, ”On prime power groups in which the derived group has two generators,”Proc. Cambridge Philos. Soc.,53, 19–27 (1957). · Zbl 0077.03202
[3] W. Burnside, ”On some properties of groups whose orders are powers of primes,”Proc. London Math. Soc. (2),11, 225–245 (1912). · JFM 43.0198.02
[4] R. Dark, ”On subnormal embedding theorems of groups,”J. London Math. Soc.,43, 387–390 (1968). · Zbl 0157.05401
[5] H. Heineken, ”Normal embeddings ofp-groups intop-groups,”Proc. Edinburgh Math. Soc.,35, 309–314 (1992). · Zbl 0792.20018
[6] H. Heineken and J. C. Lennox, ”The subnormal embedding of complete groups,”J. Algebra,9, 435–445 (1984). · Zbl 0547.20018
[7] H. Heineken and V. H. Mikaelian, ”Über dienV-Einbettbarkeit von den einigen Klassen der Gruppen,” in preparation.
[8] O. Hölder, ”Bildung zusammengesetzter Gruppen,”Math. Ann.,46, 312–422 (1895). · JFM 26.0160.01
[9] M. I. Kargapolov and Yu. I. Merzlyakov,Fundamentals of the Theory of Groups [in Russian], Nauka, Moscow (1982). · Zbl 0508.20001
[10] V. H. Mikaelian, ”Subnormal embedding theorems for groups,” to appear. · Zbl 1030.20016
[11] D. W. Miller, ”On a theorem of Hölder,”Amer. Math. Monthly,65, No. 4, 252–254 (1958). · Zbl 0083.01904
[12] Hanna Neumann,Varieties of Groups, Springer Verlag, Berlin (1968). · Zbl 1245.01028
[13] D. J. S. Robinson,A Course in the Theory of Groups, Springer-Verlag, New York-Berlin-Heidelberg (1996).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.