Non-abelian Group Research Articles

Direct Products of Free Groups in Aut(FN)

We give a complete description of the embeddings of direct products of nonabelian free groups into Aut(FN) and Out(FN) when the number of direct factors is maximal. To achieve this, we prove that the image of each such embedding has a canonical fixed point of a particular type in the boundary of Outer space.

Odd-order groups with small average number of zeros of characters

We define, and denote by anz ( G ) , the average number of zeros of characters of a finite group G as the number of zeros in the character table of G dividing the number of irreducible characters of G. In this paper, we classify odd-order nonabelian groups G with anz ( G ) ≤ 2 .

The centre of a finitely generated strongly verbally closed group is almost always pure

ABSTRACT The assertion in the title implies that many interesting groups (for example, all non-abelian braid groups or $\textbf{SL}_{100}(\mathbb{Z})$) are not strongly verbally closed, i. e., they embed into some finitely generated groups as verbally closed subgroups, which are not retracts.

Minimal cover groups

Let F be a set of finite groups. A finite group G is called an F-cover if every group in F is isomorphic to a subgroup of G. An F-cover is called minimal if no proper subgroup of G is an F-cover, and minimum if its order is smallest among all F-covers. We prove several results about minimal and minimum F-covers: for example, every minimal cover of a set of p-groups (for p prime) is a p-group (and there may be finitely or infinitely many, for a given set); every minimal cover of a set of perfect groups is perfect; and a minimum cover of a set of two nonabelian simple groups is either their direct product or simple. Our major theorem determines whether {Zq,Zr} has finitely many minimal covers, where q and r are distinct primes. Motivated by this, we say that n is a Cauchy number if there are only finitely many groups which are minimal (under inclusion) with respect to having order divisible by n, and we determine all such numbers. This extends Cauchy's theorem. We also define a dual concept where subgroups are replaced by quotients, and we pose a number of problems.

Using nested tensor train contracted basis functions with group theoretical techniques to compute (ro)-vibrational spectra of molecules with non-Abelian groups.

In this paper, we use nested tensor-train contractions to compute vibrational and ro-vibrational energy levels of molecules with five and six atoms. At each step, we fully exploit symmetry by using symmetry adapted basis functions obtained from an irreducible tensor method. Contracted basis functions are determined by diagonalizing reduced dimensional Hamiltonian matrices. The size of matrices of eigenvectors, used to account for coupling between groups of coordinates, is reduced by discarding rows and columns. The size of the matrices that must be diagonalized is thus substantially reduced, making it possible to use direct eigensolvers, even for molecules with five and six atoms. The symmetry-adapted contracted vibrational basis functions have been used to compute J = 0 energy levels of the CH3CN (C3v) and J > 0 levels of CH4.

Cohomologies, non-abelian extensions and Wells exact sequences of λ-differential pre-Lie algebras

The purpose of the present paper is to study cohomologies and non-abelian extensions of λ-differential pre-Lie algebras. First, we consider representations and cohomologies of λ-differential pre-Lie algebras. Next, we investigate non-abelian extensions and classify the non-abelian extensions in terms of non-abelian cohomology groups. Furthermore, we address the inducibility of a pair of automorphisms on non-abelian extensions and develop the Wells exact sequences in the context of λ-differential pre-Lie algebras. Finally, we discuss these results in the case of abelian extensions of λ-differential pre-Lie algebras.

On the almost-palindromic width of free groups

We answer a question of Bardakov (Kourovka Notebook, Problem 19.8) which asks for the existence of a pair of natural numbers (c,m) with the property that every element in the free group on the two-element set {a,b} can be represented as a concatenation of c, or fewer, m-almost-palindromes in letters a±1,b±1. Here, an m-almost-palindrome is a word which can be obtained from a palindrome by changing at most m letters. We show that no such pair (c,m) exists. In fact, we show that the analogous result holds for all non-abelian free groups.

On metric approximate subgroups

Let [Formula: see text] be a group with a metric invariant under left and right translations, and let [Formula: see text] be the ball of radius [Formula: see text] around the identity. A [Formula: see text]-metric approximate subgroup is a symmetric subset [Formula: see text] of [Formula: see text] such that the pairwise product set [Formula: see text] is covered by at most [Formula: see text] translates of [Formula: see text]. This notion was introduced in [T. Tao, Product set estimates for noncommutative groups, Combinatorica, 28(5) (2008) 547–594, doi:10.1007/s00493-008-2271-7; T. Tao, Metric entropy analogues of sum set theory (2014), https://terrytao.wordpress.com/2014/03/19/metric-entropy-analogues-of-sum-set-theory/] along with the version for discrete groups (approximate subgroups). In [E. Hrushovski, Stable group theory and approximate subgroups, J. Amer. Math. Soc. 25(1) (2012) 189–243, doi:10.1090/S0894-0347-2011-00708-X], it was shown for the discrete case that, at the asymptotic limit of [Formula: see text] finite but large, the “approximateness” (or need for more than one translate) can be attributed to a canonically associated Lie group. Here we prove an analogous result in the metric setting, under a certain finite covering assumption on [Formula: see text] replacing finiteness. In particular, if [Formula: see text] has bounded exponent, we show that any [Formula: see text]-metric approximate subgroup is close to a [Formula: see text]-metric approximate subgroup for an appropriate [Formula: see text].

On the Uniqueness Theorem

The aim of this paper is to investigate whether the Uniqueness Theorem introduced by Feit and Thompson holds in finite simple groups of Lie type of Lie rank one. We also introduce and examine the Strong Uniqueness Theorem. We define the concept of containment minimality and prove that a non-Abelian finite simple group is minimal if and only if it is containment minimal. Finally, we inquire when a minimal non-soluble group has a faithful doubly transitive representation.

New families of quaternionic Hadamard matrices

A quaternionic Hadamard matrix (QHM) of order n is an n×n\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n\ imes n$$\\end{document} matrix H with non-zero entries in the quaternions such that HH∗=nIn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$HH^*=nI_n$$\\end{document}, where In\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$I_n$$\\end{document} and H∗\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^*$$\\end{document} denote the identity matrix and the conjugate-transpose of H, respectively. A QHM is dephased if all the entries in its first row and first column are 1, and it is non-commutative if its entries generate a non-commutative group. The aim of our work is to provide new constructions of infinitely many (non-commutative dephased) QHMs; such matrices are used by Farkas et al. (IEEE Trans Inform Theory 69(6):3814–3824, 2023) to produce mutually unbiased measurements.

Upper bounds for the diameter of a direct power of non-abelian solvable groups

Upper bounds for the diameter of a direct power of non-abelian solvable groups

Chromatic fixed point theory and the Balmer spectrum for extraspecial 2-groups

abstract: In the early 1940s, P. A. Smith showed that if a finite $p$-group $G$ acts on a finite dimensional complex $X$ that is mod $p$ acyclic, then its space of fixed points, $X^G$, will also be mod $p$ acyclic. In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study a question that can be shown to be equivalent to the following: if a $G$-space $X$ is a equivariant homotopy retract of the $p$-localization of a based finite $G$-C.W. complex, given $H<G$ and $n$, what is the smallest $r$ such that if $X^H$ is acyclic in the $(n+r)$th Morava $K$-theory, then $X^G$ must be acyclic in the $n$th Morava $K$-theory? Barthel et.~al. then answered this when $G$ is abelian, by finding general lower and upper bounds for these ``blue shift'' numbers which agree in the abelian case. In our paper, we first prove that these potential chromatic versions of Smith's theorem are equivalent to chromatic versions of a 1952 theorem of E. E. Floyd, which replaces acyclicity by bounds on dimensions of mod $p$ homology, and thus applies to all finite dimensional $G$-spaces. This unlocks new techniques and applications in chromatic fixed point theory. Applied to the problem of understanding blue shift numbers, we are able to use classic constructions and representation theory to search for lower bounds. We give a simple new proof of the known lower bound theorem, and then get the first results about nonabelian 2-groups that do not follow from previously known results. In particular, we are able to determine all blue shift numbers for extraspecial 2-groups. Applied in ways analogous to Smith's original applications, we prove new fixed point theorems for $K(n)_*$-homology disks and spheres. Finally, our methods offer a new way of using equivariant results to show the collapsing of certain Atiyah-Hirzebruch spectral sequences in certain cases. Our criterion appears to apply to the calculation of all 2-primary Morava $K$-theories of all real Grassmanians.

The Role of Covariancy in Calculating Capacity of Quantum Channels Generated by Projective Unitary Representations of Non-Abelian Groups

The Role of Covariancy in Calculating Capacity of Quantum Channels Generated by Projective Unitary Representations of Non-Abelian Groups

Some Simple Groups Which are Determined by Their Orders and Degree-Patterns

Let [Formula: see text] be a finite group and [Formula: see text] the set of all irreducible complex characters of [Formula: see text]. Let [Formula: see text] be the set of all irreducible complex character degrees of [Formula: see text] and denote by [Formula: see text] the set of all primes which divide some character degree of [Formula: see text]. The character-prime graph [Formula: see text] associated to [Formula: see text] is a simple undirected graph whose vertex set is [Formula: see text] and there is an edge between two distinct primes [Formula: see text] and [Formula: see text] if and only if the product [Formula: see text] divides some character degree of [Formula: see text]. We show that the finite nonabelian simple groups [Formula: see text], [Formula: see text], [Formula: see text], [Formula: see text], [Formula: see text] and [Formula: see text] are uniquely determined by their degree-patterns and orders.

Weak Tits alternative for groups acting geometrically on buildings

We show that if a group G acts geometrically by type-preserving automorphisms on a building, then G satisfies the weak Tits alternative, namely, that G is either virtually abelian or contains a non-abelian free group.

The generalized order (k,t)-Mersenne sequences in groups

The purpose of this paper is to determine the algebraic properties of finite groups via a Mersenne-like sequence. Firstly, we introduce the generalized order $(k,t)$-Mersenne number sequences and study the periods of these sequences modulo $m$. Then, we get some interesting structural results. Furthermore, we expand the generalized order $(k,t)$-Mersenne number sequences to groups and we give the definition of the generalized order $(k,t)$-Mersenne sequences, $MQ_k^t(G,X)$, in the $j$-generator groups and also, investigate these sequences in the non-Abelian finite groups in detail. At last, we obtain the periods of the generalized order $(k,t)$-Mersenne sequences in some special groups as applications of the results produced.

Almost gauge-invariant states and the ground state of Yang-Mills theory

We consider the problem of the explicit description of the gauge-invariant subspace of pure lattice gauge theories in the Hamiltonian formulation, where the gauge group is either a compact Lie group or a finite group. The latter case is particularly interesting for quantum simulation. A basis of states where configurations are grouped according to their holonomies is shown to have several advantages over other descriptions. Using this basis, we compute some properties of interest for some non-Abelian finite groups on small lattices, and in particular we examine the question of whether a certain ansatz introduced long ago is a good approximation for the ground state. Published by the American Physical Society 2024

On the decisional problem based on matrix power function defined over non-commutative group

In this paper, we perform statistical analysis for the decisional problem which is fundamental for the security of the key exchange protocol based on matrix power function. We have proven previously that the considered decisional problem is NP-complete and hence our proposal could potentially be quantum-safe. However, we did not explore the dependence of the complexity of the considered problem on the security parameters. Here we show that for small matrices certain information could be gained from the distribution of the entries of the public key matrices. On the other hand, we show that as the size of the matrices grows, the public key matrices are indistinguishable from truly random matrices.

Entanglement entropy in lattices with non-Abelian gauge groups

Entanglement entropy, taken here to be geometric, requires a geometrically separable Hilbert space. In lattice gauge theories, it is not immediately clear if the physical Hilbert space is geometrically separable. In a previous paper we have shown that the physical Hilbert space in pure gauge Abelian lattice theories exhibits some form of geometric scaling with the lattice volume, which suggest that the space is locally factorizable and, therefore, geometrically separable. In this paper, we provide strong evidence that indicates that this scaling is not present when the group is non-Abelian. We do so by looking at the scaling of the dimension of the physical Hilbert space of theories with certain discrete groups. The lack of an appropriate scaling implies that the physical Hilbert space of such a theory does not admit a local factorization. We then extend the reasoning, as sensibly possible, to SU(2) and SU(N) to reach the same conclusion. Lastly, we show that the addition of matter fields to non-Abelian lattice gauge theories makes the resulting physical Hilbert space locally factorizable. Published by the American Physical Society 2024

An explicit example of an iteration group in the ring of formal power series

We give an example of some iteration group in a ring of formal power series over a field of characteristic 0. It allows us to obtain an explicit formula for some one-parameter group of (truncated) formal power series under an additional condition. Consequently, we are able to show some non-commutative groups of solutions of the third Aczél-Jabotinsky differential equation in the ring of truncated formal power series.