Another article on the number of homomorphisms

Basic Information

• Paper ID: 2511.16552
• Title: Another article on the number of homomorphisms
• Author: Alexander V. Khudyakov (Faculty of Mechanics and Mathematics, Moscow State University)
• Classification: math.GR (Group Theory)
• Publication Date: November 25, 2025
• Paper Link: https://arxiv.org/abs/2511.16552

Abstract

This paper extends the class of abelian groups for which the Asai-Yoshida conjecture on the number of crossed homomorphisms holds. The paper proves a general result connecting divisibility problems in groups with the Asai-Yoshida conjecture. An important corollary is: for finite groups F and G, if F/F' is a product of a cyclic group and a group with cube-free exponent, then |Hom(F,G)| is divisible by gcd(|G|, |F:F'|).

Research Background and Motivation

Problem to be Solved

This paper investigates a classical problem in group theory: the divisibility of the number of group homomorphisms. Specifically, it studies what integers divide |Hom(F,G)|, the number of homomorphisms from a finite group F to a finite group G.

Significance of the Problem

This problem has profound theoretical significance, connecting multiple classical theorems in group theory:

1. Frobenius Theorem (1895): The number of solutions to x^n=1 in a finite group G is divisible by gcd(|G|, n)
2. Solomon Theorem (1969): In any group, when the number of equations is less than the number of unknowns, the number of solutions to coefficient-free equation systems is divisible by the order of the group
3. Yoshida Theorem (1993): The number of homomorphisms from a finite abelian group M to a finite group G is divisible by gcd(|G|, |M|)

Limitations of Existing Approaches

Asai and Yoshida conjectured in 1993 that for finite non-abelian groups F and finite groups G, |Hom(F,G)| should be divisible by gcd(|G|, |F:F'|) (where F' is the commutator subgroup of F). However, proving this conjecture depends on the more fundamental crossed homomorphism conjecture:

Asai-Yoshida Conjecture: The number of crossed homomorphisms from a finite abelian group M to a finite group H (with M acting on H) is divisible by gcd(|H|, |M|).

This conjecture has only been verified in limited cases:

• Abelian H AT99
• Special 2-groups ANT03
• M = Z/p^nZ × (Z/pZ)^m × Z/p²Z ACNT23

Research Motivation

The author aims to:

1. Extend the class of groups for which the Asai-Yoshida conjecture holds
2. Establish a general framework unifying divisibility problems within crossed homomorphism theory
3. Provide more tools and insights for eventual proof of the main conjecture

Core Contributions

1. Extended the scope of the Asai-Yoshida conjecture: Proved that the crossed homomorphism conjecture holds for abelian groups of the form M = Z/p^nZ × (Z/pZ)^m × (Z/p²Z)^k (Theorem 4.1)
2. Established a general theoretical framework (Theorem 2.7): Generalized the BKV theorem from Z/nZ-indexed groups to arbitrary finitely generated abelian M-indexed groups, proving that this generalization is possible if and only if the Asai-Yoshida conjecture holds for M
3. Proved the case of special p-groups (Theorem 4.8): For finite p-groups H where every non-abelian subgroup has an elementary abelian center, the crossed homomorphism conjecture holds
4. Obtained new results on the number of homomorphisms (Corollary 3.4): For finite groups F and G, if F/F' is a product of a cyclic group and a group with cube-free exponent, then |Hom(F,G)| is divisible by gcd(|G|, |F:F'|)
5. Provided systematic reduction methods: Proved that the general case can be reduced to the case of p-groups (Corollary 3.3)

Detailed Methodology

Task Definition

Core Concepts:

1. Crossed homomorphism: Given a group M acting on a group H, a map α: M → H is called a crossed homomorphism if α(ab) = α(a)^b · α(b) for all a,b ∈ M
2. M-indexed group: A group F equipped with a surjective homomorphism to a finitely generated abelian group M (denoted deg: F → M)
3. Tail of a homomorphism: For a homomorphism φ: F → G, its tail is a pair (φ_0, φ_H), where φ_0 is the restriction of φ to ker deg, and φ_H is the map from F to the left cosets of G/H
4. φ-core: H_φ = ∩_{f∈F} H^{φ(f)} ∩ C(φ(ker deg)), a subgroup of H on which M acts naturally

Research Goal: Prove that under specific conditions, the number of crossed homomorphisms M → H is divisible by |H|

Core Technical Framework

1. Tail Decomposition Lemma (Lemma 2.6)

This is the key tool connecting homomorphism counting with crossed homomorphism counting:

Lemma: Homomorphisms with the same tail as φ are precisely those of the form f ↦ φ(f)α(deg f), where α is a crossed homomorphism M → H_φ. In particular, the number of homomorphisms with the same tail equals the number of crossed homomorphisms M → H_φ.

Proof Strategy:

• The map α: M → H_φ defines a homomorphism if and only if α is a crossed homomorphism
• Verification that α(ab) = α(a)^b·α(b) is equivalent to the homomorphism condition

2. Generalized BKV Theorem (Theorem 2.7)

Theorem Statement: Let M be a finitely generated abelian group whose order is a multiple of the order of H (H is a subgroup of G), and Φ be the set of homomorphisms from M-indexed group F to G. If:

1. Φ is invariant under conjugation by elements of H
2. For any φ ∈ Φ, every homomorphism with the same tail as φ belongs to Φ

and for every subgroup H* of H and every action of M on H*, the number of crossed homomorphisms M → H* is divisible by |H*|,

then |Φ| is divisible by |H|.

Proof Strategy:

• Define an equivalence relation on Φ: φ ~ ψ if and only if their tails are conjugate by an element of H
• Prove that each equivalence class has size divisible by |H|
• Two steps:
  1. The number of distinct tails equivalent to φ equals |H : H_φ|
  2. The number of homomorphisms with the same tail is divisible by |H_φ| (by Lemma 2.6 and hypothesis)

3. Inductive Proof Strategy

For the case M = Z/p^nZ × (Z/pZ)^m × (Z/p²Z)^k:

Base Case: When M is cyclic, by Example 2.4 the number of crossed homomorphisms is exactly |H|

Inductive Step: Assume M = M_0 × Z/p^sZ, s ∈ {1,2}

Key Observation (Lemma 4.3): If the order of Z_H = H ∩ Z(M ⋉ H) is divisible by p^s, then the proof can be completed via "translation" technique:

• Conjugation action of H on tails
• Translation action of Hom(Z/p^sZ, Z_H) on tails
• These two actions commute; combined orbit lengths are divisible by |H|

Two Cases:

1. s = 1: Z_H is always non-trivial in finite p-groups (unless H is trivial), Lemma 4.3 applies directly
2. s = 2: More complex case requiring:
   • Construction of extended group M̂ = M_0 × ⟨â⟩_∞
   • Embedding sections M → M ⋉ H into larger set Φ
   • Application of BKV theorem to Φ
   • Via Lemmas 4.5 and 4.6, either directly obtain divisibility or find element of order p² in Z_H

Technical Innovations

1. Unified Framework: Unified Frobenius, Solomon, and Yoshida theorems within a single framework, revealing their essential connection through crossed homomorphism theory
2. Tail Analysis Technique: Systematically used tail decomposition of homomorphisms to reduce complex homomorphism counting to crossed homomorphism counting
3. Translation Trick: Cleverly constructed divisible orbits using translation actions of central elements
4. Extension-Restriction Method: Embedded finite groups into infinite cyclic extensions, utilized known BKV theorem, then analyzed restriction conditions
5. Application of Observation 2.8: Relaxed conditions of Theorem 2.7, requiring verification of crossed homomorphism conjecture only for φ-cores

Experimental Setup

As a pure mathematics theoretical paper, this work involves no experimental setup, datasets, or numerical experiments. All results are rigorous mathematical proofs.

Experimental Results

Main Theorems

Theorem 4.1: Let M = Z/p^nZ × (Z/pZ)^m × (Z/p²Z)^k, p a prime, and H a group on which M acts. Then the number of crossed homomorphisms M → H is divisible by gcd(|H|, ord M).

Theorem 4.8: Let H be a finite p-group where every non-abelian subgroup has an elementary abelian center. Then for every finite abelian p-group M acting on H, the number of crossed homomorphisms M → H is divisible by gcd(|H|, ord M).

This class of groups includes semidihedral groups, generalized quaternion groups, and dihedral 2-groups.

Corollaries

Corollary 3.4: For finite groups F and G, if for each p-torsion part (F/F')_p of F/F' and each subgroup H of G (with (F/F')_p acting on H), the number of crossed homomorphisms M_p → H is divisible by |H| (when |H| divides ord(F/F')_p), then the number of homomorphisms |Hom(F,G)| is divisible by gcd(|G|, |F:F'|).

Combined with Theorem 4.1, this means: When F/F' is a product of a cyclic group and a group with cube-free exponent, |Hom(F,G)| is divisible by gcd(|G|, |F:F'|).

Theoretical Significance

1. Extended Known Results: Extended from M = Z/p^nZ × (Z/pZ)^m × Z/p²Z to M = Z/p^nZ × (Z/pZ)^m × (Z/p²Z)^k
2. Unified Multiple Classical Theorems: Proved that Frobenius and Solomon theorems are special cases of the BKV theorem
3. Established Equivalence: Proved that the possibility of generalizing BKV theorem to M-indexed groups is precisely equivalent to the Asai-Yoshida conjecture holding for M

Related Work

Historical Development

1. Frobenius (1895): Proved that the number of solutions to x^n=1 in a finite group is divisible by gcd(|G|,n)
2. P. Hall (1936): First to address crossed homomorphism problems for cyclic groups
3. Solomon (1969): Proved general theorem on the number of solutions to equation systems
4. Yoshida (1993): Proved abelian case and proposed general conjecture with Asai
5. Asai-Takegahara (1999): Verified the case of abelian H
6. Asai-Niwasaki-Takegahara (2003): Handled rank 2 abelian groups and special 2-groups
7. Klyachko-Mkrtchyan (2017): Proved BKV theorem for n=0 case
8. Brusyanskaya-Klyachko-Vasil'ev (2019): Complete proof of BKV theorem
9. Asai-Chigira-Niwasaki-Takegahara (2023): Extended to M = Z/p^nZ × (Z/pZ)^m × Z/p²Z

Position of This Work

This paper advances the field in the following ways:

1. Extended from single Z/p²Z factor to multiple (Z/p²Z)^k
2. Established precise equivalence between BKV theorem generalization and Asai-Yoshida conjecture
3. Provided new methods for handling special classes of p-groups

Conclusions and Discussion

Main Conclusions

1. Technical Level: Proved that the Asai-Yoshida conjecture holds for groups of the form M = Z/p^nZ × (Z/pZ)^m × (Z/p²Z)^k
2. Theoretical Level: Established precise connection between divisibility problems for indexed groups and crossed homomorphism theory
3. Application Level: For finite groups with quotient F/F' of specific structure, established divisibility of |Hom(F,G)|

Limitations

1. General Case Unresolved: The Asai-Yoshida conjecture remains open for general abelian groups, particularly those involving higher p-power factors (Z/p³Z, Z/p⁴Z, ...)
2. Cube-Free Restriction: Main application results require F/F' to have cube-free exponent, excluding many important groups
3. p-Group Limitation: Although Theorem 4.8 handles a class of p-groups, the condition "non-abelian subgroups have elementary abelian center" remains quite restrictive
4. Lack of Constructivity: Proofs are primarily existential, providing no effective algorithms for computing the number of crossed homomorphisms

Future Directions

1. Generalization to Higher Orders: Handle cases like M = Z/p^nZ × (Z/pZ)^m × (Z/p³Z)^k
2. Non-abelian Cases: Explore whether some results can extend to non-abelian M
3. Computational Methods: Develop algorithms for actually computing the number of crossed homomorphisms
4. Application Extensions: Apply these divisibility results to representation theory, homological algebra, and other fields

In-Depth Evaluation

Strengths

1. Theoretical Depth:
   • Reveals deep connections between multiple classical theorems
   • Establishes equivalence between BKV theorem generalization and Asai-Yoshida conjecture (Theorem 2.7), an important meta-theorem
   • Proof techniques are sophisticated, particularly the use of tail decomposition and translation tricks
2. Technical Innovation:
   • Lemma 2.6 systematizes tail analysis methods
   • Lemma 4.3's translation technique elegantly handles cases with sufficient central elements
   • Extension-restriction method (M̂ construction) innovatively leverages known BKV theorem
3. Importance of Results:
   • Substantially extends the verified range of the Asai-Yoshida conjecture
   • Theorem 4.8 provides complete answer for special p-group classes
   • Provides new tools for eventual resolution of the general conjecture
4. Writing Quality:
   • Clear structure, progressing from special to general, simple to complex
   • Numerous examples (Examples 2.2-2.5) aid understanding
   • Well-developed notation system with clear conventions

Weaknesses

1. Technical Limitations:
   • Inductive step for s=2 is quite technical, relying on multiple auxiliary lemmas
   • Remark 4.7 indicates the method does not directly extend to higher p-powers
   • Necessity of the condition "non-abelian subgroups have elementary abelian center" in Theorem 4.8 is insufficiently discussed
2. Result Scope:
   • Main results limited to abelian groups of specific forms
   • The "cube-free exponent" condition in Corollary 3.4 may be restrictive in practical applications
   • Still distant from completely resolving the Asai-Yoshida conjecture
3. Missing Content:
   • No concrete examples demonstrating applications of new results
   • Computational complexity not discussed
   • Lacks intuitive explanation for why Z/p³Z case is difficult
4. Proof Details:
   • Some places cite "known results" without explicit references (e.g., Lemma 2.6)
   • Brauer lemma statement followed by "will not be used further" lacks clear motivation

Impact

1. Theoretical Contribution:
   • Makes substantial progress on a classical problem in group theory
   • Meta-theoretical nature of Theorem 2.7 may inspire research on other problems
   • Paves the way for eventual resolution of the Asai-Yoshida conjecture
2. Methodological Value:
   • Tail analysis technique may apply to other homomorphism counting problems
   • Translation trick may be useful in other divisibility problems
   • Extension-restriction method demonstrates innovative use of known results
3. Practical Value:
   • For specific group types, provides definitive results on divisibility of homomorphism numbers
   • Potential applications in cryptography, coding theory, and related fields
4. Reproducibility:
   • As pure mathematical proofs, results are completely verifiable
   • Proof steps are clear and can be checked and generalized by mathematicians

Applicable Scenarios

1. Group Theory Research: Study of finite group homomorphisms, representations, and structure theory
2. Homological Algebra: Crossed homomorphisms closely relate to group cohomology; results may apply to cohomology group computations
3. Algebraic Topology: Homomorphism counting problems in fundamental group and covering space theory
4. Theoretical Computer Science: Group algorithms, symmetry analysis
5. Cryptography: Security analysis of group-theoretic cryptographic systems

References

The paper cites key literature in the field:

1. Frobenius (1895): Foundational divisibility theorem
2. P. Hall (1936): First treatment of crossed homomorphisms for cyclic groups
3. Solomon (1969): General theory of equation system solutions
4. Brauer (1969): Lemma on conjugacy
5. Yoshida (1993), Asai-Yoshida (1993): Formulation of main conjecture
6. Asai-Takegahara (1999): Proof for abelian case
7. Asai-Niwasaki-Takegahara (2003): Rank 2 case
8. Klyachko-Mkrtchyan (2017): Original BKV theorem
9. Brusyanskaya-Klyachko-Vasil'ev (2019): Complete BKV theorem
10. Asai-Chigira-Niwasaki-Takegahara (2023): Recent progress

Overall Assessment: This is a high-quality group theory research paper making substantial progress on a classical problem. The theoretical framework is elegant, proof techniques are innovative, and results are significant. While not completely resolving the Asai-Yoshida conjecture, it substantially extends the known range and provides new research tools. For group theorists, particularly those studying homomorphism counting and divisibility problems, this is essential reading. The meta-theoretical nature of Theorem 2.7 may have lasting impact on research methodology in the field.