Extreme Reidemeister spectra of finite groups

Basic Information

• Paper ID: 2311.12594
• Title: Extreme Reidemeister spectra of finite groups
• Author: Sam Tertooy (KU Leuven Campus Kulak Kortrijk)
• Classification: math.GR (Group Theory)
• Publication Date: November 21, 2023
• Paper Link: https://arxiv.org/abs/2311.12594

Abstract

This paper extends the concepts of the "$R_\infty$-property" and "complete (extended) Reidemeister spectrum" to finite groups in a meaningful way. By studying small-order groups and (quasi-)simple groups, concrete examples of finite groups possessing these properties are provided.

Research Background and Motivation

Problem Background

1. Twisted Conjugacy Theory: In group theory, for an endomorphism φ of a group G, two elements g₁, g₂ are called φ-twisted conjugate if there exists h∈G such that g₁ = hg₂φ(h)⁻¹. This creates an equivalence relation whose equivalence classes are called φ-twisted conjugacy classes or Reidemeister classes.
2. Traditional Research Focus: Twisted conjugacy theory has primarily focused on infinite groups, where the Reidemeister number can be infinite. For infinite groups, two extreme cases exist:
   • R∞-property: The Reidemeister number of all automorphisms is infinite
   • Complete Reidemeister spectrum: Every positive integer and infinity appear as the Reidemeister number of some automorphism
3. Challenges for Finite Groups: For finite groups, these extreme cases cannot be directly applied, since the Reidemeister number is bounded by k(G) (the number of conjugacy classes of G).

Research Motivation

1. Theoretical Completeness: Need to define analogous extreme property concepts for finite groups, making the theoretical framework more complete
2. Classification Problem: Identify which finite groups possess these extreme properties
3. Computational Verification: Utilize computational tools such as GAP to verify theoretical predictions

Core Contributions

1. Concept Extension: Define "trivial Reidemeister spectrum" and "trivial extended Reidemeister spectrum" concepts for finite groups
2. Complete Characterization: Provide complete characterization theorems for groups possessing these properties
3. Concrete Examples: Computationally determine all examples of small-order groups with these properties
4. Theoretical Analysis: Prove that finite groups cannot possess complete Reidemeister spectrum, and identify the only 5 groups with complete extended Reidemeister spectrum
5. Open Problems: Propose multiple valuable research questions

Detailed Methodology

Basic Definitions and Theoretical Foundations

Computation of Reidemeister Numbers

For a finite group G and endomorphism φ, the Fel'shtyn-Hill theorem gives: $R(\phi) = \#\text{Fix}(\Phi)$ where Φ is the map induced by φ on the set of conjugacy classes C(G).

Key Inequality

For any endomorphism φ of a finite group G: $R(\phi) \leq k(G)$ Equality holds if and only if φ is class-preserving.

Core Concept Definitions

Trivial Reidemeister Spectrum

Definition 3.1: A finite group G has trivial Reidemeister spectrum if $\text{SpecR}(G) = \{k(G)\}$

Characterization Theorem 3.2: A finite group G has trivial Reidemeister spectrum if and only if every automorphism of G is class-preserving.

Trivial Extended Reidemeister Spectrum

Definition 4.1: A finite group G has trivial extended Reidemeister spectrum if $\text{ESpecR}(G) = \{1, k(G)\}$

Characterization Theorem 4.2: A finite group G has trivial extended Reidemeister spectrum if and only if every endomorphism of G is either class-preserving or has no fixed points.

Technical Innovations

1. Adaptive Definitions: Cleverly adapt the extreme concepts of infinite groups to the finite group case
2. Computational Methods: Combine theoretical analysis with computational verification to systematically search for groups with specific properties
3. Structural Analysis: Utilize group structure properties (such as center, normal subgroups, etc.) to exclude certain group families

Experimental Setup

Computational Tools

• GAP System: Groups, Algorithms, and Programming system
• SmallGrp Package: Small groups library
• SmallClassNr Package: Library of groups with small conjugacy class numbers
• TwistedConjugacy Package: Twisted conjugacy computation package

Search Scope

1. Small-order groups: All groups of order less than 512
2. Groups with small conjugacy class numbers: All groups with fewer than 15 conjugacy classes
3. Special group families: Simple groups, quasi-simple groups, etc.

Verification Method

For each group G, compute the Reidemeister numbers of all its endomorphisms and construct the complete (extended) Reidemeister spectrum.

Experimental Results

Groups with Trivial Reidemeister Spectrum

Small-order group results: Among groups of order less than 512, 35 groups with trivial Reidemeister spectrum were found, including:

• Symmetric groups Sₙ (n≠6)
• Holomorphs Hol(Zₙ) (n odd)
• Certain p-groups (such as 128,932)

Simple group results: Finite simple groups with trivial outer automorphism group all have trivial Reidemeister spectrum, including:

• Symplectic groups S₂ₙ(2) (n>2)
• Exceptional Lie-type groups E₈(p), F₄(p), G₂(p), etc.
• Mathieu groups M₁₁, M₂₃, M₂₄
• Conway groups, Fischer groups and other sporadic simple groups

Groups with Trivial Extended Reidemeister Spectrum

Only extremely few examples were found:

• Cyclic groups of prime order Zₚ
• Certain simple and quasi-simple groups with trivial outer automorphism group

Groups with Complete Extended Reidemeister Spectrum

Important Discovery: Only 5 groups have complete extended Reidemeister spectrum:

Exclusion Results

Theorem 5.8: The following group families cannot possess complete extended Reidemeister spectrum:

• Groups of odd order
• Nilpotent groups
• Quasi-simple groups

Related Work

Historical Development

1. Fel'shtyn-Hill (1990s): First studied twisted conjugacy on finite groups
2. Taback-Wong (2007): Introduced the R∞-property concept
3. Senden (2017-2023): Systematically studied Reidemeister spectra of finite groups

Theoretical Foundations

1. Orbit-Stabilizer Theorem: Used to compute Reidemeister numbers
2. Feit-Seitz Theorem: Concerning class-preserving automorphisms of simple groups
3. Wielandt Theorem: Concerning the construction of complete groups

Conclusions and Discussion

Main Conclusions

1. Successful Concept Extension: Successfully extended the extreme Reidemeister spectrum concepts of infinite groups to finite groups
2. Classification Progress: Provided complete classification results for small-order groups
3. Structural Insights: Revealed deep connections between group structure and Reidemeister spectrum
4. Rarity Discovery: Groups with complete extended Reidemeister spectrum are extremely rare

Open Problems

Problem 3.4: Does there exist a finite group G satisfying: trivial Reidemeister spectrum, Out(G)≠1, and Z(G)=1?

Problem 4.7: Are groups with trivial extended Reidemeister spectrum but non-trivial Reidemeister spectrum only Zₚ (p≥3)?

Conjecture 5.9: The 5 groups in Table 3 are the only finite groups with complete extended Reidemeister spectrum.

Limitations

1. Computational Constraints: Search scope is limited by computational capacity
2. Theoretical Gaps: Proofs of certain exclusion results depend on specific group structure properties
3. Incomplete Classification: Classification remains incomplete for certain group families

In-Depth Evaluation

Strengths

1. Conceptual Innovation: Cleverly adapts infinite group theory to finite groups while maintaining mathematical consistency
2. Theory-Computation Integration: Combines rigorous theoretical analysis with extensive computational verification
3. Strong Systematicity: Systematically investigates the problem from multiple perspectives (small groups, simple groups, quasi-simple groups)
4. Profound Results: Discovers the important phenomenon of rarity of groups with complete extended Reidemeister spectrum

Weaknesses

1. Search Scope: Although already quite extensive, may miss examples of larger order
2. Certain Proofs: Proofs of some exclusion results are highly technical; more elegant arguments may exist
3. Applicability: Practical application value of theoretical results requires further exploration

Impact

1. Theoretical Contribution: Provides new research directions for twisted conjugacy theory of finite groups
2. Methodological Value: Demonstrates the research paradigm combining theoretical analysis with computational verification
3. Subsequent Research: Open problems provide clear targets for future research

Applicable Scenarios

1. Pure Mathematics Research: Group theory, fixed-point theory in algebraic topology
2. Computational Group Theory: Provides new research problems for computational group theory
3. Teaching Applications: Can serve as a research case study in advanced group theory courses

References

The paper cites 25 important references, primarily including:

• Pioneering work by Fel'shtyn & Hill
• Research by Taback & Wong on the R∞-property
• Systematic research by Senden on Reidemeister spectra of finite groups
• Classical textbooks and monographs in group theory

Overall Assessment: This is a high-quality group theory research paper that successfully extends an important infinite group concept to the finite group case, obtaining profound results through theoretical analysis and computational verification. The paper's main value lies in conceptual innovation and the discovery of the important phenomenon of rarity of groups with complete extended Reidemeister spectrum.