Iteration of operations on classes of groups
type: Item
instance of: scholarly article
title: Iteration of operations on classes of groups
zbMATH Open document ID: 0536.20014
DOI: 10.1016/0021-8693(83)90016-9
published in: Journal of Algebra
publication date: 1983-01-01T00:00:00Z
review text: Let \({\mathcal K}\), \({\mathcal M}\), and \({\mathcal N}\) be the operations on classes of groups defined as follows: For every class of groups \({\mathfrak X}\), \({\mathcal K}{\mathfrak X}\) consists of all groups which are set-theoretical unions of their normal \({\mathfrak X}\)-subgroups, \({\mathcal M}{\mathfrak X}\) consists of all groups in which every finite set of elements lies in a normal \({\mathfrak X}\)-subgroup and \({\mathcal N}{\mathfrak X}\) consists of all groups generated by their normal \({\mathfrak X}\)-subgroups. For the class \({\mathfrak A}\) of abelian groups and every ordinal \(\alpha\), \textit{P. G. Kontorovich} [Mat. Sb., Nov. Ser. 28(70), 79-88 (1951; Zbl 0042.017)] constructed the class \({\mathcal K}^{\alpha}{\mathfrak A}\) by iterated application of \({\mathcal K}\) and introduced the closure operations generated by \({\mathcal K}\) as \(\bar {\mathcal K}{\mathfrak A}=\cup_{\alpha}{\mathcal K}^{\alpha}{\mathfrak A}.\) Then in his paper [Algebra Mat. Logika, 62-71 (1966; Zbl 0204.346)] \textit{L. A. Kaluzhnin} constructed the class \(\bar {\mathcal M}{\mathfrak F}\), where \({\mathfrak F}\) is the class of finite groups and in that paper he posed the question whether there exist groups in \(\bar {\mathcal M}{\mathfrak F}\) not belonging to \({\mathcal M}^{\omega +1}{\mathfrak F}\). The author provides in this paper an affirmative answer to this question. His study is based on comparing the actions of \({\mathcal M}\), \({\mathcal K}\) and \({\mathcal N}\) and he proves that \(\sigma({\mathfrak A},{\mathcal K})\leq \omega^{\omega}+1,\quad \sigma({\mathfrak F},{\mathcal M})\leq \omega^{\omega}+1\) where \(\sigma\) (\({\mathfrak A},{\mathcal K})\) denotes the minimal ordinal satisfying \({\mathcal K}^{\sigma}{\mathfrak A}=\bar {\mathcal K}{\mathfrak A}.\) Using wreath products of groups, he shows that \({\mathcal M}^{\omega^ 2}{\mathfrak X}\neq {\mathcal M}^{\omega^ 2+1}{\mathfrak X}\) and \({\mathcal N}^{\omega}{\mathfrak X}\neq {\mat…
Mathematics Subject Classification ID: 20E10
Mathematics Subject Classification ID: 20E22
zbMATH DE Number: 3851360
zbMATH Keywords: operations on classes of groups
zbMATH Keywords: closure operations
zbMATH Keywords: wreath products
reviewed by: C. G. Chehata
MaRDI profile type: Publication
full work available at URL: 0021-8693(83)90016-9
OpenAlex ID: W2029721615
cites work: Q5654235
cites work: Q5603000
cites work: Q5606634
cites work: Q4078232
cites work: A prime Baer group
cites work: Subjunctive and locally coalescent classes of groups
author: Eliyahu Rips
Recommended article: On multiplicatively-additive iteration groups
Recommended article: Q5752969
Recommended article: Group axioms for iteration
Recommended article: Iterated identities and iterational depth of groups
Recommended article: Groups with iterated restrictions on conjugacy classes
Recommended article: On iterated group actions and direct products
Recommended article: Iterations and Groups of Formal Transformations
Recommended article: THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
description: scientific article; zbMATH DE number 3851360