Abstract <p> Let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(t\)</EquationSource> </InlineEquation> be a chosen positive integer. A subgroup <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> of a finite group <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is said to be <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathrm{K}\)</EquationSource> </InlineEquation>-<InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb{P}_{t}\)</EquationSource> </InlineEquation>-subnormal in <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> if there exists a chain of subgroups <Equation ID="Equi"> <EquationSource Format="TEX">\(H=H_{ 0} \leq H_{1} \leq \cdots \leq H_{m-1} \leq H_{m}=G\)</EquationSource> </Equation> such that either <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(H_{i-1}\)</EquationSource> </InlineEquation> is normal in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(H_{i}\)</EquationSource> </InlineEquation> or <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(|H_{i} : H_{i-1}|\)</EquationSource> </InlineEquation> is some prime <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(p\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(p-1\)</EquationSource> </InlineEquation> is not divisible by <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\((t+1)\)</EquationSource> </InlineEquation>st powers of primes for any <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(i=1,\dots, m\)</EquationSource> </InlineEquation>. In this paper, properties of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathrm{K}\)</EquationSource> </InlineEquation>-<InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathbb{P}_{t}\)</EquationSource> </InlineEquation>-subnormal subgroups are obtained. It is proved that all (supersolvable) groups with <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathrm{K}\)</EquationSource> </InlineEquation>-<InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathbb{P}_{t}\)</EquationSource> </InlineEquation>-subnormal Sylow subgroups form a hereditary saturated formation, and its local definition is found. </p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Subgroup Embeddings in a Finite Group: between Subnormality and \(\mathrm{K}\)-\(\mathbb{P}\)-Subnormality

  • A. F. Vasil’ev,
  • T. I. Vasil’eva

摘要

Abstract

Let \(t\) be a chosen positive integer. A subgroup \(H\) of a finite group \(G\) is said to be \(\mathrm{K}\) - \(\mathbb{P}_{t}\) -subnormal in \(G\) if there exists a chain of subgroups \(H=H_{ 0} \leq H_{1} \leq \cdots \leq H_{m-1} \leq H_{m}=G\) such that either \(H_{i-1}\) is normal in \(H_{i}\) or \(|H_{i} : H_{i-1}|\) is some prime \(p\) and \(p-1\) is not divisible by \((t+1)\) st powers of primes for any \(i=1,\dots, m\) . In this paper, properties of \(\mathrm{K}\) - \(\mathbb{P}_{t}\) -subnormal subgroups are obtained. It is proved that all (supersolvable) groups with \(\mathrm{K}\) - \(\mathbb{P}_{t}\) -subnormal Sylow subgroups form a hereditary saturated formation, and its local definition is found.