Related papers: Some model theory of profinite groups

We introduce a strong form of Oliver's p-group conjecture and derive a reformulation in terms of the modular representation theory of a quotient group. The Sylow p-subgroups of the symmetric group S_n and of the general linear group…

A profinite group G is just infinite if every non-trivial closed normal subgroup of G is of finite index, and hereditarily just infinite if every open subgroup is just infinite. Hereditarily just infinite profinite groups need not be…

We describe the structure of ``K-approximate subgroups'' of torsion-free nilpotent groups, paying particular attention to Lie groups. Three other works, by Fisher-Katz-Peng, Sanders and Tao, have appeared which independently address related…

This paper gives a complete classification of the finite groups that contain a strongly closed p-subgroup for p any prime.

We construct a correspondence between the cohomology groups of a group $G$ relative to a family of subgroups $\famS$ and the classes of `relative extensions' of $G$ by abelian groups, modulo a certain equivalence relation. We establish this…

Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…

We study groups having the property that every non-cyclic subgroup contains its centralizer. The structure of nilpotent and supersolvable groups in this class is described. We also classify finite $p$-groups and finite simple groups with…

We study a natural generalization of inverse systems of finite regular covering spaces. A limit of such a system is a fibration whose fibres are profinite topological groups. However, as shown in a previous paper (Conner-Herfort-Pavesic:…

Consideration of certain properties of group rings and their ideals search

This paper formulates a group condition which is enjoyed by absolute Galois groups, and which guarantees that profinite groups satisfying the condition can be approximated as an inverse limit of groups which are profinite analogues of…

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…

The basics of Intuitionistic Kripke-Platek set theory are developed, and some independence results among related classically equivalent theories are shown using Kripke models.

For each subgroup of GL_2(F_p) or order divisible by p, generated by (pseudo-)reflections, we compute the ideals of stable and generalized invariants. These groups and these ideals are related to the cohomology of compact Lie groups,…

We study the group of ends of a pro-p group G and prove a pro-p analog of Stallings' decomposition theorem.

In this paper, we study the structure of finite groups with a large number of conjugacy classes of $p$-elements for some prime $p$. As consequences, we obtain some new criteria for the existence of normal $p$-complements in finite groups.

We introduce block pro-fusion systems for blocks of profinite groups, prove a profinite version of Puig's structure theorem for nilpotent blocks, and use it to show that there is only one Morita equivalence class of blocks having the…

In this paper we give an overview on $L^p$-factorizations of Lie group representations and introduce the notion of smooth $L^p$-factorization.

A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…

Let $\mathfrak C$ be a class of finite groups which is closed for subgroups, quotients and direct products. Given a profinite group $G$ and an element $x\in G$, we denote by $P_{\mathfrak{C}}(x,G)$ the probability that $x$ and a randomly…

We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is…