Strongly closed subgroups of finite groups

Fusion systems of blocks with nontrivial strongly closed subgroups

In this paper, we find some exotic fusion systems which have non-trivial strongly closed subgroups, and we prove these fusion systems are also not realizable by p-blocks of finite groups.

On free decompositions of verbally closed subgroups of free products of finite groups

For a subgroup of a free product of finite groups, we obtain necessary conditions (on its Kurosh decomposition) to be verbally closed.

Weakly Closed Unipotent Subgroups in Chevalley Groups

The goal of this note is to classify the weakly closed unipotent subgroups in the split Chevalley groups. In an application we show under some mild assumptions on the characteristic that the Lie algebra of a connected simple algebraic group fails to be a so called 2F-module.

弱分支群的非闭子群

Non-closed subgroups of weakly branch groups

针对作用于足够正则根树的弱分支群G，构造两类非闭子群连续族：一类含非ERF子群，另一类在额外假设下含ERF子群，均在G的完备或同余拓扑中不闭。

Counting the Closed Subgroups of Profinite Groups

The sets of closed and closed-normal subgroups of a profinite group carry a natural profinite topology. Through a combination of algebraic and topological methods the size of these subgroup spaces is calculated, and the spaces partially classified up to homeomorphism.

Strongly p-embedded subgroups

We study finite groups which possess a strongly p-embedded subgroup for some odd prime p. The main results of the paper will be applied in the ongoing project to classify the simple groups of local characteristic p.

Verbally closed virtually free subgroups

A theorem of Myasnikov and Roman'kov says that any verbally closed subgroup of a finitely generated free group is a retract. We prove that all free (and many virtually free) verbally closed subgroups are retracts in any finitely generated group.

论有限群（profinite group）的闭子群格

On the lattice of closed subgroups of a profinite group

本文研究有限群的闭子群格与开子群格，证明前循环群是唯一具有分配子群格的有限群，并刻画了满足戴德金模律的有限群，还讨论了子群格同构下的结构信息传递及相关可分解性与数量问题。

Virtually free finite-normal-subgroup-free groups are strongly verbally closed

Any virtually free group $H$ containing no non-trivial finite normal subgroup (e.g., the infinite dihedral group) is a retract of any finitely generated group containing $H$ as a verbally closed subgroup.

置换群中相对闭合的子群及其 cyclic 正则正规子群

Relatively closed subgroups of permutation groups with a cyclic regular normal subgroup

本文研究了具有 cyclic 正则正规子群的置换群中闭合子群的结构，通过分类最小非平凡一维仿射关联方案，扩展了最近的Muzychuk对一维仿射秩3图的分类结果。

On groups with a strongly embedded unitary subgroup

The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\inπ(B)$ and $2\notinπ(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$ of a group $G$ is called {\it finite} if for all $ g\in G $ the subgroups $ \langle a, a^g \rangle $ are finite. In the paper, it is proved that the group with finite element of order $4$ and strongly embedded subgroup isomorphic to the Borel subgroup of $U_3(Q)$ over a locally finite field $Q$ of characteristic $2$ is locally finite and isomorphic to the group…

On strongly $p$-embedded subgroups of Lie rank 2

Suppose that $p$ is a prime, $G$ is a finite group and $H$ is a strongly $p$-embedded subgroup in $G$. We consider the possibility that $F^*(H)$ is a simple group of Lie rank 2 defined in characteristic $p$.

On strongly quasiconvex subgroups

We develop a theory of \emph{strongly quasiconvex subgroups} of an arbitrary finitely generated group. Strong quasiconvexity generalizes quasiconvexity in hyperbolic groups and is preserved under quasi-isometry. We show that strongly quasiconvex subgroups are also more reflexive of the ambient groups geometry than the stable subgroups defined by Durham-Taylor, while still having many analogous properties to those of quasiconvex subgroups of hyperbolic groups. We characterize strongly quasiconvex subgroups in terms of the lower relative divergence of ambient groups with respect to them. We also…

Strongly dense free subgroups of semisimple algebraic groups II

It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show that the same is true for as long as the transcendence degree of the field is at least $1$ in characteristic zero and at least $2$ in positive characteristic. We also consider related questions for surface groups.

Influence of strongly closed 2-subgroups on the structure of finite groups

Let $H\leq K$ be subgroups of a group G. We say that H is strongly closed in K with respect to G if whenever $a^g \in K$ where $a \in H, g \in G,$ then $a^g \in H.$ In this paper, we investigate the structure of a group G under the assumption that every subgroup of order $2^m$ (and 4 if m = 1) of a 2- Sylow subgroup S of G is strongly closed in S with respect to G. Some results related to 2-nilpotence and supersolvability of a group G are obtained. This is a complement to Guo and Wei (J. Group Theory 13 (2010), no. 2, 267-276).

A characterization of normal subgroups via n-closed sets

Let (G, *) be a semigroup, D subset of G, and n >= 2 be an integer. We say that (D, *) is an n-closed subset of G if a_1* ... *a_n in D for every a_1, ..., a_n in D. Hence every closed set is a 2-closed set. The concept of n-closed sets arise in so many natural examples. For example, let D be the set of all odd integers, then (D, +) is a 3-closed subset of (Z, +) that is not a 2-closed subset of (Z, +). If K = {1, 4, 7, 10, ...}, then (K, +) is a 4-closed subset of (Z, +) that is not an n-closed subset of (Z, +) for n = 2, 3. In this paper, we show that if (H, *) is a subgroup of a group (G, *…

A note on closed subgroups of compact Lie groups

We reduce the classification of finite subgroups in compact Lie groups to that of quasi-simple ones, prove the number of conjugacy classes is finite and each cojugacy class is Zariski closed in mapping space, and classify "strongly controlling fusions" symmetric pairs.

Closed subgroups of free profinite monoids are projective profinite groups

We prove that the class of closed subgroups of free profinite monoids is precisely the class of projective profinite groups. In particular, the profinite groups associated to minimal symbolic dynamical systems by Almeida are projective. Our result answers a question raised by Lubotzky during the lecture of Almeida at the Fields Workshop on Profinite Groups and Applications, Carleton University, August 2005. We also prove that any finite subsemigroup of a free profinite monoid consists of idempotents.

Definable subgroups in $SL\_2$ over a p-adically closed field

The aim of this paper is to describe all definable subgroups of SL2(K), for K a p-adically closed field. We begin by giving some "frame subgroups" which contain all nilpotent or solvable subgroups of SL2(K). A complete description is givien for K a p-adically closed field, some results are generalizable to K a field elementarily equivalent to a finite extension of Qp and an almost complete description is given for Q an p . We give also some indications about genericity and generosity in SL2(K).

强 verbally closed 群的有限正规子群

Finite normal subgroups of strongly verbally closed groups

本文将有限强 verbally closed 群的中心为其直因子的结论推广至任意强 verbally closed 群的有限正规子群，并由此证明具有非阿贝尔挠子群的有限生成幂零群不是强 verbally closed 的。

On normal subgroups of compact groups

Among compact Hausdorff groups G whose maximal profinite quotient is finitely generated, we characterize those that possess a proper dense normal subgroup. We also prove that the abstract commutator subgroup [H,G] is closed for every closed normal subgroup H of G.

Strongly Quasiconvex subgroups in graphs of groups

Given a graph of groups $\mathcal{G} = (Γ, \{G_v\}, \{G_e\})$ with certain conditions on vertex groups and $G$ acts acylindrically on its Bass-Serre tree $T$. Let $H$ be a finitely generated subgroup of $G$. We prove the following statements equivalence: $H$ has finite height, $(G, T, H)$ is a $A/QI$--triple, $H$ is strongly quasiconvex and virtually free in $G$. We also give a condition to determine whether strong quasiconvexity in a group is preserved under amalgams.

Cocompact amenable closed subgroups: weakly inequivalent representations in the left-regular representation

We show that if $H \leq G$ is a closed amenable and cocompact subgroup of a unimodular locally compact group, then the reduced group C*-algebra of $G$ is not simple. Equivalently, there are unitary representations of $G$ that are weakly contained in the left-regular representation, but not weakly equivalent to it. We discuss applications of this result and pose the problem to construct non-discrete topologically simple groups with a cocompact amenable closed subgroup but without a Gelfand pair.

生成不可定向闭曲面的level $2$映射类群的扭转子群

Generating the twist subgroup of the level $2$ mapping class group of a non-orientable closed surface

本文为不可定向闭曲面的映射类群中由Dehn扭转生成且在Z2同调上平凡作用的子群，构造了两个小生成集。

On closed subgroups of precompact groups

It is a Theorem of W.~ W. Comfort and K.~ A. Ross that if $G$ is a subgroup of a compact Abelian group, and $S$ denotes those continuous homomorphisms from $G$ to the one-dimensional torus, then the topology on $G$ is the initial topology given by $S$. {Assume that $H$ is a subgroup of $G$. We study how} the choice of $S$ affects the topological placement and properties of $H$ in $G$. Among other results, we have {made significant} progress toward the solution of the following specific questions: How many totally bounded group topologies does $G$ admit such that $H$ is a closed (dense) subgrou…

闭近似子群：紧致性、顺从性与近似格

Closed approximate subgroups: compactness, amenability and approximate lattices

本文研究了局部紧群的闭近似子群与近似格，利用好模型概念证明了 Cartan 闭子群定理的近似版本及顺从群的结构定理，并推广了 Meyer 准晶结构定理与 Auslander-Bieberbach-Mostow 定理。

极闭子群与Glauberman的$Z^*$-定理的一个变体

Extremely closed subgroups and a variant on Glauberman's $Z^*$-theorem

该研究提出有限群中极闭子群的定义，确定了含极闭阿贝尔$p$-子群的有限群结构，得到Glauberman的$Z^*$-定理的一个变体结果。

Thompson群 $F$ 的闭子群的有限性性质

Finiteness properties of closed subgroups of Thompson's group $F$

本文研究Thompson群$F$的闭有限生成子群的有限性性质，证明了若干等价条件，并推论所有有限生成的极大子群具有$F_\infty$型。

Separating cyclic subgroups in graph products of groups

We prove that the property of being cyclic subgroup separable, that is having all cyclic subgroups closed in the profinite topology, is preserved under forming graph products. Furthermore, we develop the tools to study the analogous question in the pro-$p$ case. For a wide class of groups we show that the relevant cyclic subgroups - which are called $p$-isolated - are closed in the pro-$p$ topology of the graph product. In particular, we show that every $p$-isolated cyclic subgroup of a right-angled Artin group is closed in the pro-$p$ topology, and we fully characterise such subgroups.

A spectral sequence for fusion systems

We build a spectral sequence converging to the cohomology of a fusion system with a strongly closed subgroup. This spectral sequence is related to the Lyndon-Hochschild-Serre spectral sequence and coincides with it for the case of an extension of groups. Nevertheless, the new spectral sequence applies to more general situations like finite simple groups with a strongly closed subgroup and exotic fusion systems with a strongly closed subgroup. We prove an analogue of a result of Stallings in the context of fusion preserving homomorphisms and deduce Tate's p-nilpotency criterion as a corollary.

A finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface

We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove that the level 2 twist subgroup is normally generated in the mapping class group by a crosscap pushing map along a non-separating two-sided simple loop for genus $g\geq 5$ and $g=3$. As an application, we calculate the first homology group of the level 2 twist subgroup for genus $…

Strongly solvable spherical subgroups and their combinatorial invariants

A subgroup H of an algebraic group G is said to be strongly solvable if H is contained in a Borel subgroup of G. This paper is devoted to establishing relationships between the following three combinatorial classifications of strongly solvable spherical subgroups in reductive complex algebraic groups: Luna's general classification of arbitrary spherical subgroups restricted to the strongly solvable case, Luna's 1993 classification of strongly solvable wonderful subgroups, and the author's 2011 classification of strongly solvable spherical subgroups. We give a detailed presentation of all the t…

On finite totally 2-closed groups

An abstract group $G$ is called totally $2$-closed if $H=H^{(2),Ω}$ for any set $Ω$ with $G\cong H\leq{\rm Sym}(Ω)$, where $H^{(2),Ω}$ is the largest subgroup of ${\rm Sym}(Ω)$ whose orbits on $Ω\timesΩ$ are the same orbits of $H$. In this paper, we classify the finite soluble totally $2$-closed groups. We also prove that the Fitting subgroup of a totally $2$-closed group is a totally $2$-closed group. Finally, we prove that a finite insoluble totally $2$-closed group $G$ of minimal order with non-trivial Fitting subgroup has shape $Z\cdot X$, with $Z=Z(G)$ cyclic, and $X$ is a finite group wi…

Abelian state-closed subgroups of automorphisms of m-ary trees

The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a finitely generated pro-m group. The group A splits over its torsion subgroup. We study in detail the case where A* corresponds to a cyclic Z_m[[x]]-module and when m is a prime number, we show A* to be conj…

The weights of closed subgroups of a locally compact group

Let $G$ be an infinite locally compact group and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le w(G)$ for the weight $w(G)$ of $G$. It is shown that there is a closed subgroup $N$ of $G$ with $w(N)=\aleph$. Sample consequences are: (1) Every infinite compact group contains an infinite closed metric subgroup. (2) For a locally compact group $G$ and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le \lw(G)$, where $\lw(G)$ is the local weight of $G$, there are either no infinite compact subgroups at all or there is a compact subgroup $N$ of $G$ with $w(N)=\aleph$. (3) For an infinite abe…

关于具有同构的真强不变子群的阿贝尔群

On Abelian Groups Having Isomorphic Proper Strongly Invariant Subgroups

本文研究了所有真强不变子群同构的阿贝尔群的两种变体，深入探讨其基本与特殊性质，并与真全不变或特征子群同构的阿贝尔群进行对比，同时探索了真强不变子群与整个群同构的阿贝尔群。

关于秩 $2$ 单代数群中的极小满射子群

On minimal epimorphic subgroups in simple algebraic groups of rank $2$

本文研究了秩 $2$ 单代数群中的极小满射子群问题，证明了在代数闭域上其闭满射子群的极小维数为 $3$。

Simple Irreducible Subgroups of Exceptional Algebraic Groups

A closed subgroup of a semisimple algebraic group is called irreducible if it lies in no proper parabolic subgroup. In this paper we classify all irreducible subgroups of exceptional algebraic groups $G$ which are connected, closed and simple of rank at least $2$. Consequences are given concerning the representations of such subgroups on various $G$-modules: for example, with one exception, the conjugacy classes of irreducible simple connected subgroups of rank at least $2$ are determined by their composition factors on the adjoint module for $G$.

Strongly Embedded Subgroups of Groups of Odd Type

In this paper we prove that any strongly embedded subgroup of a K*-group G of finite Morley rank and odd type that does not interpret any bad field is solvable if its Pruefer 2-rank is at least 2. If the normal 2-rank of G is at least 3 this has two important consequences: If G contains a non-solvable centraliser of an involution, then G does not contain any proper 2-generated core and centralisers of involutions have trivial cores.

闭子群可补的有限投射群

Profinite groups with complemented closed subgroups

本文研究闭子群均有闭可置换补群的有限投射群，给出等价条件、确定其半直积结构，并证明其为抽象 $C$-群的充要条件。

Closed subgroups of the infinite symmetric group

Let S=Sym(Ω) be the group of all permutations of a countably infinite set Ω, and for subgroups G_1, G_2\leq S let us write G_1\approx G_2 if there exists a finite set U\subseteq S such that < G_1\cup U > = < G_2\cup U >. It is shown that the subgroups closed in the function topology on S lie in precisely four equivalence classes under this relation. Which of these classes a closed subgroup G belongs to depends on which of the following statements about pointwise stabilizer subgroups G_{(Γ)} of finite subsets Γ\subseteqΩholds: (i) For every finite set Γ, the subgroup G_{(Γ)} has at least one in…

结群的分支子群及其 profinite 和上同调结构

Ramification Subgroups of Knot Groups and their Profinite and Cohomological Structure

本文研究结群的分支子群及其 profinite 和上同调结构，通过定义meridional inertia子群和全局分支子群，分析其在有限商、profinite 完成和上同调中的性质。

Minimal connected simple groups of finite Morley rank with strongly embedded subgroups

We show that a minimal nonalgebraic simple groups of finite Morley rank has Prufer rank at most 2, and eliminates tameness from Cherlin and Jaligot's past work on minimal simple groups. The argument given here begins with the strongly embedded minimal simple configuration of Borovik, Burdges and Nesin. The 0-unipotence machinery of Burdges's thesis is used to analyze configurations involving nonabelian intersections of Borel subgroups. The number theoretic punchline of Cherlin and Jaligot has been replaced with a new genericity argument.

Subgroups of categorically closed semigroups

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $ideally$ $\mathcal C$-$closed$ if for any ideal $I$ in $X$ the quotient semigroup $X/I$ is $\mathcal C$-closed; (3) $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$, (4) $injectively$ $\mathcal C$-$closed$ (resp. $\mathcal C$-$discrete$) if for any injective homomorphism $h:X\to …

Universal flows of closed subgroups of $S_{\infty}$ and relative extreme amenability

This paper is devoted to the study of universality for a particular continuous action naturally attached to certain pairs of closed subgroups of $S_{\infty}$. It shows that three new concepts, respectively called relative extreme amenability, relative Ramsey property for embeddings, and relative Ramsey property for structures, are relevant in order to understand this property correctly. It also allows to provide a partial answer to a question posed by Kechris, Pestov and Todorcevic.

Totally $2$-closed finite groups with trivial Fitting subgroup

A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the M…

On finite groups whose Sylow subgroups are submodular

A subgroup $H$ of a finite group $G$ is called submodular in $G$, if we can connect $H$ with $G$ by a chain of subgroups, each of which is modular (in the sense of Kurosh) in the next. If a group $G$ is supersoluble and every Sylow subgroup of $G$ is submodular in $G$, then $G$ is called strongly supersoluble. The properties of groups with submodular Sylow subgroups are obtained. In particular, we proved that in a group every Sylow subgroup is submodular if and only if the group is Ore dispersive and every its biprimary subgroup is strongly supersoluble.

A classification of the abelian minimal closed normal subgroups of locally compact second-countable groups

We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$; with known exceptions (specifically, when $A$ is $\mathbb{Q}^n$ or its dual for some $n \in \mathbb{N}$), we can take $G$ to be compactly generated. This amounts to a classification of the possible isomorphism types of abelian chief factors of l.c.s.c. groups, which is of particular interest for the theory of compactly generated locally compact groups.

Irreducible almost simple subgroups of classical algebraic groups

Let G be a simple classical algebraic group over an algebraically closed field K of characteristic $p \ge 0$ with natural module W. Let H be a closed subgroup of G and let V be a nontrivial p-restricted irreducible tensor indecomposable rational KG-module such that the restriction of V to H is irreducible. In this paper we classify the triples (G,H,V) of this form, where $V \ne W, W^{*}$ and H is a disconnected almost simple positive-dimensional closed subgroup of G acting irreducibly on W. Moreover, by combining this result with earlier work, we complete the classification of the irreducible …

Strongly dense free subgroups of semisimple algebraic groups

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense. As a consequence, we get new generating results for finite simple groups of Lie type and a strengthening of a theorem of Borel related to the Hausdorff-Banach-Tarski paradox. In a sequel to this paper, we use this result to also establish uniform expansion properties for random Cayley graphs over finite simple groups of Lie type.

The continuation of finite $E_\mathfrak{F}$-groups theory

We describe the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups when $\mathfrak{F}$ is a subgroup-closed saturate superradical formation containing all nilpotent groups. We prove that groups with absolutely $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups are soluble when $\mathfrak{F}$ is a subgroup-closed saturate formation containing all nilpotent groups.

The Chabauty space of closed subgroups of the three-dimensional Heisenberg group

When equipped with the natural topology first defined by Chabauty, the closed subgroups of a locally compact group $G$ form a compact space $\Cal C(G)$. We analyse the structure of $\Cal C(G)$ for some low-dimensional Lie groups, concentrating mostly on the 3-dimensional Heisenberg group $H$. We prove that $\Cal C(H)$ is a 6-dimensional space that is path--connected but not locally connected. The lattices in $H$ form a dense open subset $\Cal L(H) \subset \Cal C(H)$ that is the disjoint union of an infinite sequence of pairwise--homeomorphic aspherical manifolds of dimension six, each a torus …

Irreducible geometric subgroups of classical algebraic groups

Let $G$ be a simple classical algebraic group over an algebraically closed field $K$ of characteristic $p \ge 0$ with natural module $W$. Let $H$ be a closed subgroup of $G$ and let $V$ be a non-trivial irreducible tensor-indecomposable $p$-restricted rational $KG$-module such that the restriction of $V$ to $H$ is irreducible. In this paper we classify all such triples $(G,H,V)$, where $H$ is a maximal closed disconnected positive-dimensional subgroup of $G$, and $H$ preserves a natural geometric structure on $W$.

On grouops with formational subnormal or self-normalizing subgroups

We establish the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups in case $\mathfrak{F}$ is a subgroup-closed saturated superradical formation containing all nilpotent groups.