Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.37042

On $π$-nilpotencies of finite skew braces

L. Gong·M. Damele·V. Pérez-Calabuig·A. Rodríguez-Durà
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $π$ be a set of primes. We extend the theory of left and right $π$-nilpotency in skew braces beyond the nilpotent type setting, and introduce the study of central $π$-nilpotency for finite skew braces. We investigate the relationships between these three notions, and a characterisation of central $π$-nilpotency in terms of chief factors is also established. This leads to the introduction of the $π$-Fitting ideal of a skew brace, for which we prove a local analogue of Fitting's theorem and provide a description in terms of centralisers of chief factors. Finally, we introduce the $π$-core of a skew brace and investigate its relationship with $π$-ideals and central $π$-nilpotency.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

L. Gong, M. Damele, V. Pérez-Calabuig, A. Rodríguez-Durà. 2026-10-27. On $π$-nilpotencies of finite skew braces. https://arxiv.org/abs/2610.37042

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The double coset problem for parabolic subgroups of braid groups

We solve the double coset problem for arbitrary parabolic subgroups of the $n$-strand braid group $B_n$, by reducing it to the simultaneous conjugacy problem in the larger group $B_{n+1}$. The resulting decision algorithm is uniform in the braid index and the supplied subgroup generators. We also formulate the reduction for general group embeddings, and apply it to additional commuting constraints, several other spherical Artin types, and finite direct products.

math.GR↗
arXiv2026

Matrix Waring Problem-III

Let $n,k$ be positive integers and $q$ be a prime power. We prove that there exists a real constant $C_k$ depending only on $k$ such that if $ \# M_n(\mathbb{F}_q) > C_k$ then every element in $M_n(\mathbb{F}_q)$ is a sum of two $k$th powers, proving Larsen's conjecture.

math.GR↗
arXiv2026

Failure of the congruence Hasse principle for commutators in orientable surface groups

Ghosh, Meiri and Sarnak showed that the commutator equation over $\mathrm{SL}_2(\mathbb{Z})$ satisfies a profinite local to global principle, and that for a prime $\ell\equiv\pm1$ mod $5$ it fails for $\mathrm{SL}_2(\mathbb{Z}[1/\ell])$ with a reciprocity obstruction. We extend the failure to surface groups. For the genus-$2$ surface group $Γ_2$ we construct an explicit representation $ρ:Γ_2\to\mathrm{SL}_2(\mathcal{O}_{K,S})$, where $K=\mathbb{Q}(\sqrt{5})$ and $\mathcal{O}_{K,S}=\mathbb{Z}[\frac{1+\sqrt{5}}{2},\frac{1}{10}]$, whose quotients modulo the maximal ideals are the full groups $\mathrm{SL}_2(\mathbb{F}_q)$ except in residue characteristic $3$, where the quotient has order $24$. For every $k\ge2$ the word $[a_1,b_1]^k$ is not a commutator in $Γ_2$, while its image is a commutator in every one of these quotients. The same holds for every surface group $Γ_g$ with $g\ge2$.

math.GR↗