Finite Groups with Some Subgroups of Prime Power Order Satisfying the Partial $$ \Pi $$-property

Abstract Let H be a subgroup of a finite group G . We say that H satisfies the partial $$ \Pi $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Π</mml:mi> </mml:math> -property in G if there exists a G -chief series $$ \varGamma _{G}: 1 =G_{0}&lt; G_{1}&lt; \cdot \cdot \cdot &lt; G_{n}= G $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>Γ</mml:mi> <mml:mi>G</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:mn>1</mml:mn> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo>&lt;</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>&lt;</mml:mo> <mml:mo>·</mml:mo> <mml:mo>·</mml:mo> <mml:mo>·</mml:mo> <mml:mo>&lt;</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>=</mml:mo> <mml:mi>G</mml:mi> </mml:mrow> </mml:math> of G such that $$ | G / G_{i-1}: N _{G/G_{i-1}} (HG_{i-1}/G_{i-1}\cap G_{i}/G_{i-1})| $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>G</mml:mi> <mml:mo>/</mml:mo> </mml:mrow> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>:</mml:mo> <mml:msub> <mml:mi>N</mml:mi> <mml:mrow> <mml:mi>G</mml:mi> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>H</mml:mi> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>∩</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>)</mml:mo> </mml:mrow> <mml:mrow> <mml:mo>|</mml:mo> </mml:mrow> </mml:mrow> </mml:math> is a $$ \pi (HG_{i-1}/G_{i-1}\cap G_{i}/G_{i-1}) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>π</mml:mi> <mml:mo>(</mml:mo> <mml:mi>H</mml:mi> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>∩</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> -number for every G -chief factor $$ G_{i}/G_{i-1} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> of $$ \varGamma _{G} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>Γ</mml:mi> <mml:mi>G</mml:mi> </mml:msub> </mml:math> , $$1\le i\le n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>≤</mml:mo> <mml:mi>i</mml:mi> <mml:mo>≤</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:math> . In this paper, we investigate the structure of a finite group G under the assumption that some subgroups of prime power order satisfy the partial $$ \Pi $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Π</mml:mi> </mml:math> -property.

Authors

Institutions

Publication Details

Journal
Communications in Mathematics and Statistics
Published
2024-12-23
DOI
https://doi.org/10.1007/s40304-024-00408-3
Primary Topic
Finite Group Theory Research
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Finite Groups with Some Subgroups of Prime Power Order Satisfying the Partial $$ \Pi $$-property

A. Ballester‐Bolinches, Zhengtian Qiu
Communications in Mathematics and Statistics
Finite Group Theory Research
article

Finite Groups with Some Subgroups of Prime Power Order Satisfying the Partial $$ \Pi $$-property

A. Ballester‐Bolinches, Zhengtian Qiu
article en

Abstract

Abstract Let H be a subgroup of a finite group G . We say that H satisfies the partial $$ \Pi $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Π</mml:mi> </mml:math> -property in G if there exists a G -chief series $$ \varGamma _{G}: 1 =G_{0}&lt; G_{1}&lt; \cdot \cdot \cdot &lt; G_{n}= G $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>Γ</mml:mi> <mml:mi>G</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:mn>1</mml:mn> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo>&lt;</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>&lt;</mml:mo> <mml:mo>·</mml:mo> <mml:mo>·</mml:mo> <mml:mo>·</mml:mo> <mml:mo>&lt;</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>=</mml:mo> <mml:mi>G</mml:mi> </mml:mrow> </mml:math> of G such that $$ | G / G_{i-1}: N _{G/G_{i-1}} (HG_{i-1}/G_{i-1}\cap G_{i}/G_{i-1})| $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>G</mml:mi> <mml:mo>/</mml:mo> </mml:mrow> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>:</mml:mo> <mml:msub> <mml:mi>N</mml:mi> <mml:mrow> <mml:mi>G</mml:mi> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>H</mml:mi> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>∩</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>)</mml:mo> </mml:mrow> <mml:mrow> <mml:mo>|</mml:mo> </mml:mrow> </mml:mrow> </mml:math> is a $$ \pi (HG_{i-1}/G_{i-1}\cap G_{i}/G_{i-1}) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>π</mml:mi> <mml:mo>(</mml:mo> <mml:mi>H</mml:mi> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>∩</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> -number for every G -chief factor $$ G_{i}/G_{i-1} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>G</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mi>G</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> of $$ \varGamma _{G} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>Γ</mml:mi> <mml:mi>G</mml:mi> </mml:msub> </mml:math> , $$1\le i\le n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>≤</mml:mo> <mml:mi>i</mml:mi> <mml:mo>≤</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:math> . In this paper, we investigate the structure of a finite group G under the assumption that some subgroups of prime power order satisfy the partial $$ \Pi $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Π</mml:mi> </mml:math> -property.

Communications in Mathematics and Statistics
Southwest University (CN), Universitat de València (ES)
Universitat de València, China Scholarship Council
Openalex Percentile: Top 57%
Finite Group Theory Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.