Skew braces with no proper left ideals

Technical Summary: Skew Braces with No Proper Left Ideals

Problem Statement
The paper addresses the classification of finite left-simple skew braces. A skew brace $A = (A, \cdot, \circ)$ is defined as a set equipped with two group operations, $(A, \cdot)$ and $(A, \circ)$, satisfying the brace relation $a \circ (b \cdot c) = (a \circ b) \cdot a^{-1} \cdot (a \circ c)$. A skew brace is termed left-simple if $A \neq 1$ and it possesses no left ideals other than the trivial subgroup $\{1\}$ and $A$ itself. A left ideal is defined as a subgroup of $(A, \cdot)$ invariant under the action of the map $\lambda_a(x) = a^{-1} \cdot (a \circ x)$.

The author notes that while the classification of finite simple groups is a foundational result, a complete classification of finite left-simple skew braces remains an open problem. The paper aims to provide a partial classification, specifically focusing on the structure of the additive group $(A, \cdot)$. Since characteristic subgroups of $(A, \cdot)$ are left ideals, the additive group of a finite left-simple skew brace must be characteristically simple, implying $(A, \cdot) \cong T^n$ for some finite simple group $T$ and integer $n \geq 1$.

Methodology
The methodology relies on the interplay between the group-theoretic properties of the additive group $(A, \cdot)$ and the multiplicative group $(A, \circ)$ via the homomorphism $\lambda: (A, \circ) \to \text{Aut}(A, \cdot)$.

1. Case Analysis by Additive Structure: The proof is divided based on whether $T$ is abelian or non-abelian, and whether $n=1$ or $n \geq 2$.
2. Modular Representation Theory: For the case where $(A, \cdot)$ is an elementary abelian $p$-group ($T = C_p$), the problem is translated into the irreducibility of a linear representation of the $p$-group $(A, \circ)$ over $\mathbb{F}_p$.
3. Factorization of Almost Simple Groups: For the non-abelian case ($n=1$), the author utilizes the fact that the image of the product of the lambda and rho maps, $\Gamma = \text{Im}(\lambda)\text{Im}(\rho)$, forms an almost simple group with socle $T$. The proof proceeds by analyzing core-free factorizations $\Gamma = \text{Im}(\lambda)\text{Im}(\rho)$ where one factor is solvable. This involves exhaustive checking against known classifications of such factorizations in finite almost simple groups (citing results from [9]).
4. Group Action and Transitivity: For the case $n \geq 2$, the proof examines the projection of the image of $\rho$ onto the symmetric group $S_n$. It establishes that if $A$ is left-simple, this projection must be transitive to prevent the existence of non-trivial left ideals formed by direct products of copies of $T$.

Key Contributions and Results

• Classification of Elementary Abelian Additive Groups:

  • Theorem 1.2: If $(A, \cdot) \cong C_p^n$ (elementary abelian), then $A$ is left-simple if and only if $n=1$.
  • Corollary 1.3: Up to isomorphism, the only finite left-simple skew braces with an elementary abelian additive group are the trivial ones, $F_p = (F_p, +, +)$, where $+$ is the usual addition. This is derived from the fact that irreducible representations of finite $p$-groups in characteristic $p$ are necessarily trivial. The paper establishes this result specifically for the case where the additive group is a direct power of a cyclic group of prime order.

• Classification of Non-Abelian Additive Groups ($T^n$):

  • Theorem 1.4(a) (Case $n=1$): If $(A, \cdot) \cong T$ where $T$ is a non-abelian simple group, then $A$ is left-simple if and only if $A$ is an almost trivial skew brace (defined by $a \circ b = b \cdot a$ for all $a, b \in A$). The proof demonstrates that any non-almost-trivial structure leads to a contradiction regarding the solvability of factors in the factorization of the associated almost simple group.
  • Theorem 1.4(b) (Case $n \geq 2$): If $(A, \cdot) \cong T^n$ with $T$ non-abelian simple and $n \geq 2$, and $A$ is left-simple, then:
    1. $(A, \circ)$ is isomorphic to a subgroup of $\text{Aut}(T^n) \cong \text{Aut}(T) \wr S_n$.
    2. The projection of this subgroup onto $S_n$ is a transitive subgroup.
    3. The image of $\lambda$ intersects trivially with the inner automorphism group $\text{Inn}(A, \cdot)$.
  • Remark 3.2: The author provides a concrete example showing the restrictiveness of these conditions. For $T = A_5$, a left-simple skew brace $(A_5^n, \cdot, \circ)$ can only exist if $n$ divides $|Out(A_5)|^n \cdot n!$ in a specific way, and notably, no such structure exists for $n=2$ because $A_5^2$ lacks subgroups of the required indices.

Significance and Connection to Hopf–Galois Theory
The paper explicitly links its results to the theory of minimal Hopf–Galois structures on finite Galois extensions. Citing the correspondence established in [11], the author notes that minimal Hopf–Galois structures on a Galois extension $L/K$ with Galois group $(G, \circ)$ correspond bijectively to left-simple skew braces on $G$.

Consequently, the classification results presented in Theorems 1.2 and 1.4 provide a partial classification of minimal Hopf–Galois structures:

• Minimal structures on extensions with elementary abelian Galois groups are restricted to the classical group ring structure.
• Minimal structures on extensions with non-abelian simple Galois groups correspond to the canonical non-classical (almost trivial) structure.
• For extensions with Galois groups isomorphic to $T^n$ ($n \geq 2$), the existence of minimal structures is heavily constrained by the transitivity of the associated permutation group and the intersection properties of the lambda map.

The paper concludes that while a full classification of finite simple skew braces (which are a stronger condition than left-simple) remains out of reach, the characterization of left-simple skew braces offers a significant step toward understanding minimal Hopf–Galois structures.