We study the intersection of finitely generated factor-free subgroups of free products of groups by utilizing the method of linear programming. For example, we prove that if $H_1$ is a finitely generated factor-free noncyclic subgroup of the free product $G_1 * G_2$ of two finite groups $G_1$, $G_2$, then the WN-coefficient $σ(H_1)$ of $H_1$ is rational and can be computed in exponential time in the size of $H_1$. This coefficient $σ(H_1)$ is the minimal positive real number such that, for every finitely generated factor-free subgroup $H_2$ of $G_1 * G_2$, it is true that $\bar {\rm r} (H_1, H_2) \le σ(H_1) \bar {\rm r}(H_1) \bar {\rm r}(H_2)$, where $\bar{ {\rm r}} (H) = \max ( {\rm r} (H)-1,0)$ is the reduced rank of $H$, ${\rm r}(H)$ is the rank of $H$, and $\bar {\rm r}(H_1, H_2)$ is the reduced rank of the generalized intersection of $H_1$ and $H_2$. In the case of the free product $G_1 * G_2$ of two finite groups $G_1$, $G_2$, it is also proved that there exists a factor-free subgroup $H_2^* = H_2^*(H_1)$ such that $\bar {\rm r}(H_1, H_2^*) = σ(H_1) \bar {\rm r}(H_1) \bar {\rm r}(H_2^*)$, $H_2^*$ has at most doubly exponential size in the size of $H_1$, and $H_2^*$ can be constructed in exponential time in the size of $H_1$.
Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.
Let $G$ be a group. The intersection graph of subgroups of $G$, denoted by $\mathscr{I}(G)$, is a graph with all the proper subgroups of $G$ as its vertices and two distinct vertices in $\mathscr{I}(G)$ are adjacent if and only if the corresponding subgroups having a non-trivial intersection in $G$. In this paper, we classify the finite groups whose intersection graph of subgroups are toroidal or projective-planar. In addition, we classify the finite groups whose intersection graph of subgroups are one of bipartite, complete bipartite, tree, star graph, unicyclic, acyclic, cycle, path or total…
We prove an estimate for the rank of the intersection of free subgroups in virtually free groups, which is analogous to the Hanna Neumann inequality for subgroups in a free group and to the S.V. Ivanov estimate for subgroups in free products of groups. We also prove a more general estimate for the rank of the intersection of free subgroups in the fundamental group of a finite graph of groups with finite edge groups.
Let $H$ be an open subgroup of a profinite group that can be expressed as intersection of maximal subgroups of $G.$ Given a positive real number $η,$ we say that $H$ is an $η$-intersection if there exists a family of maximal subgroups $M_1,\ldots,M_t$ such that $H=M_1\cap\ldots\cap M_t$ and $|G:M_1|\cdots|G:M_t|\le |G:H|^η$. We investigate the meaning of this property and its influence on the group structure.
We investigate the influence of the intersection of the $\cal F$-maximal subgroups on the structure of a finite group. In particular, answering a question of L.A Shemetkov we give conditions under which a hereditary saturated formation $\cal F$ has a property that for any finite group $G$, the ${\cal F}$-hypercentre of $G$ coincides with the intersection of all $\cal F$-maximal subgroups of $G$.
In this paper we show that if S is a simple classical group, a group G is contained in inner-diagonal automorphisms of S and contains S, and H is a solvable Hall subgroup of G, then there exists five conjugates of H, whose intersection is trivial.
A subgroup $H$ of a free group $F$ is called inert in $F$ if for every $G < F$ the rank of the intersection of $H$ with $G$ is no grater than the rank of $G$. In this paper we expand the known families of inert subgroups. We show that the inertia property holds for 1-generator endomorphisms. Equivalently, echelon subgroups in free groups are inert. An echelon subgroup is defined through a set of generators that are in echelon form with respect to some ordered basis of the free group, and may be seen as a generalization of a free factor. For example, the fixed subgroups of automorphisms of fini…
In this paper, using the notions graphs, core graphs, immersions and covering maps of graphs, introduced by Stallings in 1983, we prove the Burnside condition for the intersection of subgroups of free groups with Burnside condition.
In the theory of one-relator groups, Magnus subgroups, which are free subgroups obtained by omitting a generator that occurs in the given relator, play an essential structural role. In a previous article, the author proved that if two distinct Magnus subgroups M and N of a one-relator group, with free bases S and T are given, then the intersection of M and N is either the free subgroup P generated by the intersection of S and T or the free product of P with an infinite cyclic group. The main result of this article is that if M and N are Magnus subgroups (not necessarily distinct) of a one-rela…
It is shown that for a solvable subgroup $G$ of an almost simple group $S$ which socle is isomorphic to $A_n$ $ (n\ge5)$ there are $x,y,z,t \in S$ such that $G \cap G^x \cap G^y \cap G^z \cap G^t =1.$
We study graphs of (generalized) joins and intersections of finitely generated subgroups of a free group. We show how to disprove a lemma of Imrich and Müller on these graphs and how to repair this lemma.
Let $G$ be a group. The intersection graph of cyclic subgroups of $G$, denoted by $\mathscr I_c(G)$, is a graph having all the proper cyclic subgroups of $G$ as its vertices and two distinct vertices in $\mathscr I_c(G)$ are adjacent if and only if their intersection is non-trivial. In this paper, we classify the finite groups whose intersection graph of cyclic subgroups is one of totally disconnected, complete, star, path, cycle. We show that for a given finite group $G$, $girth(\mathscr I_c (G)) \in \{3, \infty\}$. Moreover, we classify all finite non-cyclic abelian groups whose intersection…
We study the behavior of the co-spectral radius of a subgroup $H$ of a discrete group $Γ$ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable.
We prove that the reduced Kurosh rank of the intersection of two subgroups $H$ and $K$ of a free product of right-orderable groups is bounded above by the product of the reduced Kurosh ranks of $H$ and $K$. In particular, taking the fundamental group of a graph of groups with trivial vertex and edge groups, and its Bass-Serre tree, our Theorem becomes the desired inequality of the usual Strengthened Hanna Neumann conjecture for free groups.
Given an Artin group $A_Γ$, a common strategy in the study of $A_Γ$ is the reduction to parabolic subgroups whose defining graphs have small diameter, i.e. showing that $A_Γ$ has a specific property if and only if all "small" parabolic subgroups of $A_Γ$ have this property. Since "small" parabolic subgroups are the puzzle pieces of $A_Γ$ one needs to study their behavior, in particular their intersections. The conjecture we address here says that the class of parabolic subgroups of $A_Γ$ is closed under intersection. Under the assumption that intersections of parabolic subgroups in complete Ar…
We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group.
Let $G$ be a group. The intersection graph $Γ(G)$ of $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper we studied the dominating sets in intersection graphs of finite groups. It turns out a subset of the vertex set is a dominating set if and only if the union of the corresponding subgroups contains the union of all minimal subgroups. We class…
In this paper we study the relationships between the elementary abelian regular subgroups and the Sylow $2$-subgroups of their normalisers in the symmetric group $\mathrm{Sym}(\mathbb{F}_2^n)$, in view of the interest that they have recently raised for their applications in symmetric cryptography.
We consider the following problem stated by Vdovin (2010) in the "Kourovka notebook" (Problem 17.41): Let $H$ be a solvable subgroup of a finite group $G$ that has no nontrivial solvable normal subgroups. Do there always exist five conjugates of $H$ whose intersection is trivial? This problem is closely related to a conjecture by Babai, Goodman and Pyber (1997) about an upper bound for the index of a normal solvable subgroup in a finite group. In particular, a positive answer to Vdovin's problem yields that if $G$ has a solvable subgroup of index $n$, then it has a solvable normal subgroup of …
Let $G$ be a group acting on a tree $T$ with finite edge stabilizers of bounded order. We provide, in some very interesting cases, upper bounds for the complexity of the intersection $H\cap K$ of two tame subgroups $H$ and $K$ of $G$ in terms of the complexities of $H$ and $K$. In particular, we obtain bounds for the Kurosh rank $Kr(H\cap K)$ of the intersection in terms of Kurosh ranks $Kr(H)$ and $Kr(K)$, in the case where $H$ and $K$ act freely on the edges of $T$.
This note contains a (short) proof of the following generalisation of the Friedman--Mineyev theorem (earlier known as the Hanna Neumann conjecture): if $A$ and $B$ are nontrivial free subgroups of a virtually free group containing a free subgroup of index $n$, then $rank(A\cap B)-1\leqslant n\cdot(rank(A)-1)\cdot(rank(B)-1)$. In addition, we obtain a virtually-free-product analogue of this result.
Let $\cal F$ be a class of groups. A chief factor $H/K$ of a group $G$ is called \emph{${\cal F}$-central in $G$} provided $(H/K)\rtimes (G/C_{G}(H/K)) \in {\cal F}$. We write $Z_{π{\cal F}}(G)$ to denote the product of all normal subgroups of $G$ whose $G$-chief factors of order divisible by at least one prime in $π$ are $\cal F$-central. We call $Z_{π{\cal F}}(G)$ the $π{\cal F}$-hypercentre of $G$. A subgroup $U$ of a group $G$ is called \emph{$\cal F$-maximal} in $G$ provided that (a) $U\in {\cal F}$, and (b) if $U\leq V\leq G$ and $V\in {\cal F}$, then $U=V$. In this paper we study the pr…
We study the intersection of finitely generated subgroups of free groups by utilizing the method of linear programming. We prove that if $H_1$ is a finitely generated subgroup of a free group $F$, then the WN-coefficient $σ(H_1)$ of $H_1$ is rational and can be computed in deterministic exponential time in the size of $H_1$. This coefficient $σ(H_1)$ is the minimal nonnegative real number such that, for every finitely generated subgroup $H_2$ of $F$, it is true that $\bar {\rm r}(H_1, H_2) \le σ(H_1) \bar {\rm r}(H_1) \bar {\rm r}(H_2)$, where $\bar{ {\rm r}} (H) := \max ( {\rm r} (H)-1,0)$ is…
We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products of free and abelian groups: after introducing enriched automata (i.e., automata with extra abelian labels), we obtain an explicit bijection between subgroups and a certain type of such enriched automata, which - as it happens in the free group - is computable in the finitely generated case. This approach provides a neat geometric description of (even non finitely generated) intersections of finitely generated subgroups within this non-Howson family. In particular, we give a geometric s…
Abstract. We address the conjecture which states that an intersection of parabolic subgroups of an Artin-Tits group is a parabolic subgroup. We prove that the conjecture is equivalent to a, a priori, weaker conjecture. We also prove the conjecture in a specific case. Along the way, we provide short and almost self-contain algebraical proofs of several classical results on Artin-Tits groups, such as those of Van der Lek on intersection of standard parabolic subgroups.
Let G be a group. The intersection graph G(G) of G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper nontrivial subgroups of G; and there is an edge between two distinct vertices X and Y if and only if X \ Y 6= 1 where 1 denotes the trivial subgroup of G: It was conjectured in [2] that two (non cyclic) finite abelian groups with isomorphic intersection graphs are isomorphic. In this paper we study this conjecture and show that it is almost true. For any inite abelian group D let Dnc be the product of all noncyclic Sylow subgroup…
We show that the number of conjugacy classes of intersections $A\cap B^g$, for fixed finitely generated subgroups $A, B<F$ of a free group, is bounded above in terms of the ranks of $A$ and $B$; this confirms an intuition of Walter Neumann. This result was previously known only in the case where $A$ or $B$ is cyclic by the $w$-cycles theorem of Helfer and Wise and, independently, Louder and Wilton. In order to prove our main theorem, we introduce new results regarding the structure of fibre products of finite graphs. We work with a generalised definition of graph immersions so that our results…
On the intersection of $\mathfrak{F}$-maximal subgroups of a finite group
Faculty of Mathematics and Technologies of Programming, Research Laboratory <<Mathematics of Hybrid Intelligence Systems>>, Francisk Skorina Gomel State University（格罗德诺国立弗朗西斯克·斯科里纳大学数学与编程技术学院混合智能系统数学研究实验室）
The covering number of a nontrivial finite group $G$, denoted $σ(G)$, is the smallest number of proper subgroups of $G$ whose set-theoretic union equals $G$. In this article, we focus on a dual problem to that of covering numbers of groups, which involves maximal subgroups of finite groups. For a nontrivial finite group $G$, we define the intersection number of $G$, denoted $ι(G)$, to be the minimum number of maximal subgroups whose intersection equals the Frattini subgroup of $G$. We elucidate some basic properties of this invariant, and give an exact formula for $ι(G)$ when $G$ is a nontrivi…
The famous Hanna Neumann Conjecture (now the Friedman-Mineyev theorem) gives an upper bound for the ranks of the intersection of arbitrary subgroups $H$ and $K$ of a non-abelian free group. It is an interesting question to `quantify' this bound with respect to the rank of $H\vee K$, the subgroup generated by $H$ and $K$. We describe a set of realizable values $(rk(H\vee K),rk(H\cap K))$ for arbitrary $H$, $K$, and conjecture that this locus is complete. We study the combinatorial structure of the topological pushout of the core graphs for $H$ and $K$, with the help of graphs introduced by Dick…
We investigate the intersection of normalizers and $\mathfrak{F}$-subnormalizers of different types of systems of subgroups ($\mathfrak{F}$-maximal, Sylow, cyclic primary). We described all formations $\mathfrak{F}=\underset{i\in I}\times\mathfrak{F}_{π_i}$ for which the intersection of normalizers of all $\mathfrak{F}_i$-maximal subgroups of $G$ is the $\mathfrak{F}$-hypercenter of $G$ for every group $G$. Also we described all formations $\mathfrak{F}$ for which the intersection of $\mathfrak{F}$-subnormalizers of all Sylow (cyclic primary) subgroups of $G$ is the $\mathfrak{F}$-hypercenter …
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper we classify all finite groups whose intersection graphs are $K_{3,3}$-free.
A conjecture of Dicks and the author on rank of the intersection of factor-free subgroups in free products of groups is proved for the case of left ordered groups.
We study the Furstenberg-entropy realization problem for stationary actions. It is shown that for finitely supported probability measures on free groups, any a-priori possible entropy value can be realized as the entropy of an ergodic stationary action. This generalizes results of Bowen. The stationary actions we construct arise via invariant random subgroups (IRSs), based on ideas of Bowen and Kaimanovich. We provide a general framework for constructing a continuum of ergodic IRSs for a discrete group under some algebraic conditions, which gives a continuum of entropy values. Our tools apply …
