Related papers: Identity theorem for pro-$p$-groups

We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. This is a consequence of a structure theorem making clear the inter-relation between the…

We establish conditions under which the fundamental group of a graph of finite $p$-groups is necessarily residually $p$-finite. The technique of proof is independent of previously established results of this type, and the result is also…

This paper contains a stronger version of a final identification theorem for the `generic' groups of finite Morley rank.

We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.

We give a new proof of Quillen's conjecture for solvable groups via a geometric and explicit method. For p-solvable groups, we provide both a new proof using the Classification of Finite Simple Groups and an asymptotic version without…

Let $G$ be a finite group of order divisible by a prime $p$ and let $P\in\Syl_p(G)$. We prove a recent conjecture by Hung stating that $|\Irr_{p'}(G)|\geq \frac{\exp(P/P')-1}{p-1}+2\sqrt{p-1}-1.$ Let $a\geq 2$ be an integer and suppose that…

In this paper we study the ratio between the number of $p$-elements and the order of a Sylow $p$-subgroup of a finite group $G$. As well known, this ratio is a positive integer and we conjecture that, for every group $G$, it is at least the…

We prove astonishing identities generated by compositions of positive integers. In passing, we obtain two new identities for Stirling numbers of the first kind. In the two last sections we clarify an algebraic sense of these identities and…

Our aim is to transfer several foundational results from the modular representation theory of finite groups to the wider context of profinite groups. We are thus interested in profinite modules over the completed group algebra k[[G]] of a…

We prove a Structure Identity Principle for theories defined on types of $h$-level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.

We present an algebraic structure in modules over integer rings with cardinality prime powers, which allows to define bases. With such structure, we prove a similar version for the basis extension theorem of linear algebra over fields.…

Let $G$ be a reductive group over a field $k$ which is algebraically closed of characteristic $p \neq 0$. We prove a structure theorem for a class of subgroup schemes of $G$, for $p$ bounded below by the Coxeter number of $G$. As…

We introduce a notion of permutation presentations of modules over finite groups, and completely determine finite groups over which every module has a permutation presentation. To get this result, we prove that every coflasque module over a…

We prove denominator identities for the periplectic Lie superalgebra $\mathfrak{p}(n)$, thereby completing the problem of finding denominator identities for all simple classical finite-dimensional Lie superalgebras.

We prove the pro-$p$ version of the Karras, Pietrowski, Solitar, Cohen and Scott result stating that a virtually free group acts on a tree with finite vertex stabilizers. If a virtually free pro-$p$ group $G$ has finite centralizes of all…

Let $G$ be a finite $p$-group with normal subgroup $N$, and $R$ a complete discrete valuation ring in mixed characteristic. We characterize permutation $RG$-modules in terms of modules for $RN$ and $R[G/N]$. The result generalizes both the…

We prove a topological version of the section conjecture for the profinite completion of the fundamental group of finite CW-complexes equipped with the action of a group of prime order $p$ whose $p$-torsion cohomology can be killed by…

The celebrated Stallings' decomposition theorem states that the splitting of a finite index subgroup $H$ of a finitely generated group $G$ as an amalgamated free product or an HNN-extension over a finite group implies the same for $G$. We…

An identity is proved connecting two finite sums of inverse tangents. This identity is discretized version of Jacobi's imaginary transformation for the modular angle from the theory of elliptic functions. Some other related identities are…

Among the generalizations of Serre's theorem on the homotopy groups of a finite complex we isolate the one proposed by Dwyer and Wilkerson. Even though the spaces they consider must be 2-connected, we show that it can be used to both…