On Intersection of Conjugate Subgoups

Rita Gitik

DOI: https://doi.org/10.48550/arXiv.1609.07924

2016-09-26

Abstract:We give several algorithms addressing computations of intersections of conjugate subgroups.

Group Theory,Data Structures and Algorithms

What problem does this paper attempt to address?

Intersection of conjugate solvable subgroups in symmetric groups

Anton Baykalov

DOI: https://doi.org/10.1007/s10469-017-9431-z

2017-01-16

Abstract: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.$

Group Theory
The Indices of Subgroups of Finite Groups in the Join of Their Conjugate Pairs

Xianhua Li,Yong Xu

DOI: https://doi.org/10.1007/s40840-015-0123-3

2015-01-01

Abstract:Let G be a finite group and $H\le G$. In this paper, we investigate the influence of the index of H in $\langle H, H^{g}\rangle $ on the structure of G.
Subgroup and Coset Intersection in abelian-by-cyclic groups

Ruiwen Dong

2023-09-27

Abstract:We consider two decision problems in infinite groups. The first problem is Subgroup Intersection: given two finitely generated subgroups $\langle \mathcal{G} \rangle, \langle \mathcal{H} \rangle$ of a group $G$, decide whether the intersection $\langle \mathcal{G} \rangle \cap \langle \mathcal{H} \rangle$ is trivial. The second problem is Coset Intersection: given two finitely generated subgroups $\langle \mathcal{G} \rangle, \langle \mathcal{H} \rangle$ of a group $G$, as well as elements $g, h \in G$, decide whether the intersection of the two cosets $g \langle \mathcal{G} \rangle \cap h \langle \mathcal{H} \rangle$ is empty. We show that both problems are decidable in finitely generated abelian-by-cyclic groups. In particular, we reduce them to the Shifted Monomial Membership problem (whether an ideal of the Laurent polynomial ring over integers contains any element of the form $X^z - f,\; z \in \mathbb{Z} \setminus \{0\}$). We also point out some obstacles for generalizing these results from abelian-by-cyclic groups to arbitrary metabelian groups.

Group Theory,Discrete Mathematics
Remark on Subgroup Intersection Graph of Finite Abelian Groups

Jinxing Zhao,Guixin Deng

DOI: https://doi.org/10.1515/math-2020-0066

2020-01-01

Open Mathematics

Abstract:Let G be a finite group. The subgroup intersection graph Γ(G)\text{Γ}(G) of G is a graph whose vertices are non-identity elements of G and two distinct vertices x and y are adjacent if and only if |〈x〉∩〈y〉|>1|\langle x\rangle \cap \langle y\rangle |\gt 1, where 〈x〉\langle x\rangle is the cyclic subgroup of G generated by x. In this paper, we show that two finite abelian groups are isomorphic if and only if their subgroup intersection graphs are isomorphic.
Computing finite index congruences of finitely presented semigroups and monoids

Marina Anagnostopoulou-Merkouri,Reinis Cirpons,James D. Mitchell,Maria Tsalakou

2024-04-17

Abstract:In this paper we describe an algorithm for computing the left, right, or 2-sided congruences of a finitely presented semigroup or monoid with finitely many classes, and alternative algorithm when the finitely presented semigroup or monoid is finite. We compare the two algorithms presented to existing algorithms and implementations. The first algorithm is a generalization of Sims' low index subgroup algorithm for finding the congruences of a monoid. The second algorithm involves determining the distinct principal congruences, and then finding all of their possible joins. Variations of this algorithm have been suggested in numerous contexts by numerous authors. We show how to utilise the theory of relative Green's relations, and a version of Schreier's Lemma for monoids, to reduce the number of principal congruences that must be generated as the first step of this approach. Both of the algorithms described in this paper are implemented in the GAP package Semigroups, and the first algorithm is available in the C++ library libsemigroups and in its python bindings libsemigroups_pybind.

Rings and Algebras,Data Structures and Algorithms
Coset intersection graphs for groups

Jack Button,Maurice Chiodo,Mariano Zeron-Medina Laris

DOI: https://doi.org/10.4169/amer.math.monthly.121.10.922

2013-04-23

Abstract:Let H, K be subgroups of G. We investigate the intersection properties of left and right cosets of these subgroups.

Group Theory,History and Overview
On Number of Conjugate Subgroups in Finite Groups

刘晓蕾,王燕鸣

DOI: https://doi.org/10.3321/j.issn:0529-6579.2008.06.002

2008-01-01

Abstract:Finite groups are investigated in terms of number of conjugate subgroups.Some characterizations of decomposable groups are obtained.Also the influence of the number of conjugate subgroups of prime power order on supersolubility of finite groups is investigated and a new condition is showed.
Computation of GIT quotients of semisimple groups

Patricio Gallardo,Jesus Martinez-Garcia,Han-Bom Moon,David Swinarski

2023-08-16

Abstract:We describe three algorithms to determine the stable, semistable, and torus-polystable loci of the GIT quotient of a projective variety by a reductive group. The algorithms are efficient when the group is semisimple. By using an implementation of our algorithms for simple groups, we provide several applications to the moduli theory of algebraic varieties, including the K-moduli of algebraic varieties, the moduli of algebraic curves and the Mukai models of the moduli space of curves for low genus. We also discuss a number of potential improvements and some natural open problems arising from this work.

Algebraic Geometry,Mathematical Software
Intersection matrices revisited

N. Ghareghani,E. Ghorbani,M. Mohammad-Noori

DOI: https://doi.org/10.48550/arXiv.0902.4367

2011-11-13

Abstract:Several intersection matrices of $s$-subsets vs. $k$-subsets of a $v$-set are introduced in the literature. We study these matrices systematically through counting arguments and generating function techniques. A number of new or known identities appear as natural consequences of this viewpoint; especially, appearance of the derivative operator $d/dz$ and some related operators reveals some connections between intersection matrices and the "combinatorics of creation-annihilation". As application, the eigenvalues of several intersection matrices including some generalizations of the adjacency matrices of the Johnson scheme are derived; two new bases for the Bose--Mesner algebra of the Johnson scheme are introduced and the associated intersection numbers are obtained as well. Finally, we determine the rank of some intersection matrices.

Combinatorics,Rings and Algebras,Representation Theory
Computing congruences of finite inverse semigroups

Luna Elliott,Alex Levine,James D. Mitchell

2024-06-14

Abstract:In this paper we present an algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude.

Group Theory,Data Structures and Algorithms
On Non-Intersections of P-Subgroups

Baoshan Wang,Lizhong Wang,Jiping Zhang

DOI: https://doi.org/10.1016/j.jalgebra.2011.05.034

IF: 0.908

2011-01-01

Journal of Algebra

Abstract:In this paper, we investigate subgroups of a given finite group which are not contained in any intersection of two different conjugates of another subgroup. Then we are able to provide a characterization of Sylow p-subgroups which are T.I. sets and some further properties of defect groups of a conjugacy class appearing in a primitive central idempotent.
On the number of solutions of some Frobenius type equations in finite groups

Parama Dutta,Rahul Kitture,Sunil Kumar Prajapati,Rajat Kanti Nath

DOI: https://doi.org/10.1080/00927872.2024.2421393

2024-11-16

Communications in Algebra

Abstract:Let G be a finite group with automorphism group Aut(G) and g∈G . For any subgroup H of Aut(G) , define a map ξH:G→C by ξH(g)=|{(x,α)∈G×H:[x,α]=g}| , where [x,α]:=x−1α(x) is called the autocommutator of x and α in G . In this paper, we show that ξH is a character of G when H is any subgroup of Aut(G) containing Inn(G) and H=Autcent(G) , where Inn(G) is the inner automorphism group of G and Autcent(G) is the group of all the central automorphisms of G . In these cases expressions for ξH are also obtained in terms of irreducible characters of G . Our results generalize a classical result of Frobenius regarding the number of solutions of the commutator equation in finite groups. As applications of our results, we compute g -autocommuting probabilities of some finite groups and obtained certain bounds for g -autocommuting probability of G in terms of commuting and autocommuting probabilities.

mathematics
Intersections of translated algebraic subtori

Alexander I. Suciu,Yaping Yang,Gufang Zhao

DOI: https://doi.org/10.1016/j.jpaa.2012.06.025

IF: 0.834

2013-03-01

Journal of Pure and Applied Algebra

Abstract:We exploit the classical correspondence between finitely generated abelian groups and abelian complex algebraic reductive groups to study the intersection theory of translated subgroups in an abelian complex algebraic reductive group, with special emphasis on intersections of (torsion) translated subtori in an algebraic torus.

mathematics, applied
Algorithms for arithmetic groups with the congruence subgroup property

A. S. Detinko,D. L. Flannery,A. Hulpke

DOI: https://doi.org/10.48550/arXiv.1906.10423

2019-06-25

Abstract:We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$, analyzing the subnormal structure of $H$, and the orbit-stabilizer problem for $H$. Effective computation with subgroups of $\mathrm{GL}(n,\mathbb{Z}_m)$ is vital to this work. All algorithms have been implemented in GAP.

Group Theory
Numerical Computation of Galois Groups

Jonathan D. Hauenstein,Jose Israel Rodriguez,Frank Sottile

DOI: https://doi.org/10.1007/s10208-017-9356-x

IF: 3.4388

2017-06-14

Foundations of Computational Mathematics

Abstract:The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. We give numerical methods to compute the Galois group and study it when it is not the full symmetric group. One algorithm computes generators, while the other studies its structure as a permutation group. We illustrate these algorithms with examples using a Macaulay2 package we are developing that relies upon Bertini to perform monodromy computations.

mathematics, applied,computer science, theory & methods
Semigroup intersection problems in the Heisenberg groups

Ruiwen Dong

DOI: https://doi.org/10.48550/arXiv.2209.13343

2022-10-27

Abstract:We consider two algorithmic problems concerning sub-semigroups of Heisenberg groups and, more generally, two-step nilpotent groups. The first problem is Intersection Emptiness, which asks whether a finite number of given finitely generated semigroups have empty intersection. This problem was first studied by Markov in the 1940s. We show that Intersection Emptiness is PTIME decidable in the Heisenberg groups $\operatorname{H}_{n}(\mathbb{K})$ over any algebraic number field $\mathbb{K}$, as well as in direct products of Heisenberg groups. We also extend our decidability result to arbitrary finitely generated 2-step nilpotent groups. The second problem is Orbit Intersection, which asks whether the orbits of two matrices under multiplication by two semigroups intersect with each other. This problem was first studied by Babai et al. (1996), who showed its decidability within commutative matrix groups. We show that Orbit Intersection is decidable within the Heisenberg group $\operatorname{H}_{3}(\mathbb{Q})$.

Group Theory,Discrete Mathematics
On the Proper Conjugation of Kleinian Groups

Shicheng Wang,Qing Zhou

DOI: https://doi.org/10.1007/bf01267639

1995-01-01

Geometriae Dedicata

Abstract:SupposeK ⊂ IsoH n is a geometrically finite non-elementary Kleinian group or an elementary Kleinian group with two fixed points at infinity, andg ∈ IsoH n is a Möbius transformation. ThengKg−1 ⊂K implies thatgKg−1=K.
Intersection Numbers and Automorphisms of Stable Curves

Kefeng Liu,Hao Xu

DOI: https://doi.org/10.1307/mmj/1250169067

2009-01-01

The Michigan Mathematical Journal

Abstract:Due to the orbifold singularities, the intersection numbers on the moduli space of curves $\bar{\sM}_{g,n}$ are in general rational numbers rather than integers. We study the properties of the denominators of these intersection numbers and their relationship with the orders of automorphism groups of stable curves. In particular, we prove a conjecture of Itzykson and Zuber. We also present a conjectural multinomial type numerical property for Hodge integrals.
The intersection of nonabelian subgroups of finite p-groups

Lihua Zhang

DOI: https://doi.org/10.1142/S0219498817500207

2017-01-01

Journal of Algebra and Its Applications

Abstract:Let I-NA(G) denote the intersection of all nonabelian subgroups of a finite group G. In this paper, we investigate the influences of I-NA(G) on the structure of a finite group G.
Wedge product matrices and orbits of principal congruence subgroups

Yao Ming Chan

DOI: https://doi.org/10.1016/j.laa.2024.05.008

IF: 1.307

2024-05-16

Linear Algebra and its Applications

Abstract:Following Bump and Hoffstein in [BH86] , the orbits in Γ∞(3)\Γ(3) are in bijection with sets of invariants satisfying certain relations. We explain how wedge product matrices give an alternative definition of the invariants of matrix orbits. This new method provides the possibility of performing similar computations with other congruence subgroups and arbitrary n×n matrices. Using Steinberg's refined version of the Bruhat decomposition, we construct an explicit choice of coset representative for each orbit in the orbit space Γ∞(3)\Γ(3) of 3×3 matrices over the PID of Eisenstein integers.

mathematics, applied

On Intersection of Conjugate Subgoups

Intersection of conjugate solvable subgroups in symmetric groups

The Indices of Subgroups of Finite Groups in the Join of Their Conjugate Pairs

Subgroup and Coset Intersection in abelian-by-cyclic groups

Remark on Subgroup Intersection Graph of Finite Abelian Groups

Computing finite index congruences of finitely presented semigroups and monoids

Coset intersection graphs for groups

On Number of Conjugate Subgroups in Finite Groups

Computation of GIT quotients of semisimple groups

Intersection matrices revisited

Computing congruences of finite inverse semigroups

On Non-Intersections of P-Subgroups

On the number of solutions of some Frobenius type equations in finite groups

Intersections of translated algebraic subtori

Algorithms for arithmetic groups with the congruence subgroup property

Numerical Computation of Galois Groups

Semigroup intersection problems in the Heisenberg groups

On the Proper Conjugation of Kleinian Groups

Intersection Numbers and Automorphisms of Stable Curves

The intersection of nonabelian subgroups of finite p-groups

Wedge product matrices and orbits of principal congruence subgroups