Abstract <p> Let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> be a finite group and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\pi(G)\)</EquationSource> </InlineEquation> denote the set of all primes dividing the order of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sigma=\{\sigma_i\mid i\in I\}\)</EquationSource> </InlineEquation> be some partition of the set <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb{P}\)</EquationSource> </InlineEquation> of all primes and <Equation ID="Equi"> <EquationSource Format="TEX">\(\sigma(G) =\{\sigma_i\mid \sigma_i\cap\pi(G)\neq\emptyset, i\in I\}.\)</EquationSource> </Equation> A set <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal{H}\)</EquationSource> </InlineEquation> of subgroups of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is said to be a complete Hall <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-set of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> if every member <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\neq 1\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal{H}\)</EquationSource> </InlineEquation> is a Hall <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\sigma_i\)</EquationSource> </InlineEquation>-subgroup of <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> for some <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\sigma_i\in\sigma\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathcal{H}\)</EquationSource> </InlineEquation> contains exactly one Hall <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\sigma_i\)</EquationSource> </InlineEquation>-subgroup of <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> for every <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\sigma_i\in \sigma(G)\)</EquationSource> </InlineEquation>. A group <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is said to be a <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-full group if <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> possesses a complete Hall <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-set. A subgroup <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is called <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-permutable in <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> if <InlineEquation ID="IEq29"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> possesses a complete Hall <InlineEquation ID="IEq30"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-set <InlineEquation ID="IEq31"> <EquationSource Format="TEX">\(\mathcal{H}\)</EquationSource> </InlineEquation> such that <Equation ID="Equii"> <EquationSource Format="TEX">\(HA^x=A^xH \quad \text{for all} \ \ A\in\mathcal{H}\quad \text{and all}\ \ x\in G.\)</EquationSource> </Equation> A subgroup <InlineEquation ID="IEq32"> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq33"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is <InlineEquation ID="IEq34"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-permutably embedded in <InlineEquation ID="IEq35"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> if <InlineEquation ID="IEq36"> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> is <InlineEquation ID="IEq37"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-full and for every <InlineEquation ID="IEq38"> <EquationSource Format="TEX">\(\sigma_i\in\sigma(H)\)</EquationSource> </InlineEquation>, every Hall <InlineEquation ID="IEq39"> <EquationSource Format="TEX">\(\sigma_i\)</EquationSource> </InlineEquation>-subgroup of <InlineEquation ID="IEq40"> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> is also a Hall <InlineEquation ID="IEq41"> <EquationSource Format="TEX">\(\sigma_i\)</EquationSource> </InlineEquation>-subgroup of some <InlineEquation ID="IEq42"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-permutable subgroup of <InlineEquation ID="IEq43"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation>. A subgroup <InlineEquation ID="IEq44"> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq45"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is said to be <InlineEquation ID="IEq46"> <EquationSource Format="TEX">\(s\sigma\)</EquationSource> </InlineEquation>-quasinormal in <InlineEquation ID="IEq47"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> if there exists a <InlineEquation ID="IEq48"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-full subgroup <InlineEquation ID="IEq49"> <EquationSource Format="TEX">\(T\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq50"> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> such that <InlineEquation ID="IEq51"> <EquationSource Format="TEX">\(G=HT\)</EquationSource> </InlineEquation> and for all <InlineEquation ID="IEq52"> <EquationSource Format="TEX">\(\sigma_i\in\sigma(T)\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq53"> <EquationSource Format="TEX">\(H\)</EquationSource> </InlineEquation> permutes with every Hall <InlineEquation ID="IEq54"> <EquationSource Format="TEX">\(\sigma_i\)</EquationSource> </InlineEquation>-subgroup of <InlineEquation ID="IEq55"> <EquationSource Format="TEX">\(T\)</EquationSource> </InlineEquation>. In this paper, we investigate the structure of finite groups by <InlineEquation ID="IEq56"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-permutably embedded and <InlineEquation ID="IEq57"> <EquationSource Format="TEX">\(s\sigma\)</EquationSource> </InlineEquation>-quasinormal subgroups. In particular, some new criterias of <InlineEquation ID="IEq58"> <EquationSource Format="TEX">\(\sigma\)</EquationSource> </InlineEquation>-solvability, <InlineEquation ID="IEq59"> <EquationSource Format="TEX">\(p\)</EquationSource> </InlineEquation>-nilpotency, supersolubility of a group are obtained. </p>

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

On \(\sigma\)-Permutably Embedded and \(s\sigma\)-Quasinormal Subgroups of Finite Groups

  • X. Zhong,
  • Y. Li,
  • W. Meng

摘要

Abstract

Let \(G\) be a finite group and \(\pi(G)\) denote the set of all primes dividing the order of \(G\) . Let \(\sigma=\{\sigma_i\mid i\in I\}\) be some partition of the set \(\mathbb{P}\) of all primes and \(\sigma(G) =\{\sigma_i\mid \sigma_i\cap\pi(G)\neq\emptyset, i\in I\}.\) A set \(\mathcal{H}\) of subgroups of \(G\) is said to be a complete Hall \(\sigma\) -set of \(G\) if every member \(\neq 1\) of \(\mathcal{H}\) is a Hall \(\sigma_i\) -subgroup of \(G\) for some \(\sigma_i\in\sigma\) and \(\mathcal{H}\) contains exactly one Hall \(\sigma_i\) -subgroup of \(G\) for every \(\sigma_i\in \sigma(G)\) . A group \(G\) is said to be a \(\sigma\) -full group if \(G\) possesses a complete Hall \(\sigma\) -set. A subgroup \(H\) of \(G\) is called \(\sigma\) -permutable in \(G\) if \(G\) possesses a complete Hall \(\sigma\) -set \(\mathcal{H}\) such that \(HA^x=A^xH \quad \text{for all} \ \ A\in\mathcal{H}\quad \text{and all}\ \ x\in G.\) A subgroup \(H\) of \(G\) is \(\sigma\) -permutably embedded in \(G\) if \(H\) is \(\sigma\) -full and for every \(\sigma_i\in\sigma(H)\) , every Hall \(\sigma_i\) -subgroup of \(H\) is also a Hall \(\sigma_i\) -subgroup of some \(\sigma\) -permutable subgroup of \(G\) . A subgroup \(H\) of \(G\) is said to be \(s\sigma\) -quasinormal in \(G\) if there exists a \(\sigma\) -full subgroup \(T\) of \(G\) such that \(G=HT\) and for all \(\sigma_i\in\sigma(T)\) , \(H\) permutes with every Hall \(\sigma_i\) -subgroup of \(T\) . In this paper, we investigate the structure of finite groups by \(\sigma\) -permutably embedded and \(s\sigma\) -quasinormal subgroups. In particular, some new criterias of \(\sigma\) -solvability, \(p\) -nilpotency, supersolubility of a group are obtained.