Related papers: Lehmer's Problem for arbitrary groups

Let ${\mathscr G}$ be a linear algebraic group over $k$, where $k$ is an algebraically closed field, a pseudo-finite field or the valuation ring of a nonarchimedean local field. Let $G= {\mathscr G}(k)$. We prove that if $\gamma, \delta\in…

We generalize the Plesken-Fabia\'nska $\mathrm{L}_2$-quotient algorithm for finitely presented groups on two or three generators to allow an arbitrary number of generators. The main difficulty lies in a constructive description of the…

The duality principle for Gabor frames states that a Gabor sequence obtained by a time-frequency lattice is a frame for $L^{2}(\R^{d})$ if and only if the associated adjoint Gabor sequence is a Riesz sequence. We prove that this duality…

We state and prove an equivariant version of Lehmer's conjecture on heights, generalizing papers by Zagier (1993) and Dresden (1998) which are special cases of this theorem. We also extend their three cases to a full classification of all…

We call a group $G$ {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of $G$. We construct examples of recursively presented infinite algorithmically finite groups and study their…

Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of non-abelian simple groups. The minimum number of nonsolvable factors, attained on all possible such series in $G$, is called…

This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is…

Itzkowitz's problem asks whether every topological group $G$ has equal left and right uniform structures provided that bounded left uniformly continuous real-valued function on $G$ are right uniformly continuous. This paper provides a…

Landau-Ginzburg mirror symmetry studies isomorphisms between graded Frobenius algebras, known as A- and B-models. Fundamental to constructing these models is the computation of the finite, Abelian $\textit{maximal symmetry group}$…

Let G=SL(n,R) with n>5. We construct examples of lattices Gamma of G, subgroup A of the diagonal group and points x in G/Gamma such that the closure of the orbit Ax is not homogeneous but does not factors through the action of a…

We show that there exists an algorithm to decide any single equation in the Heisenberg group in finite time. The method works for all two-step nilpotent groups with rank-one commutator, which includes the higher Heisenberg groups. We also…

Which groups can occur as the group of units in a ring? Such groups are called realizable. Though the realizable members of several classes of groups have been determined (e.g., cyclic, odd order, alternating, symmetric, finite simple,…

We give very precise bounds for the congruence subgroup growth of arithmetic groups. This allows us to determine the subgroup growth of irreducible lattices of semisimple Lie groups. In the most general case our results depend on the…

We study a family of complex representations of the group GL(n,O), where O is the ring of integers of a non-archimedean local field F. These representations occur in the restriction of the Grassmann representation of GL(n,F) to its maximal…

An important unsolved question in number theory is the Lehmer's totient problem that asks whether there exists any composite number $n$ such that $\varphi(n)\mid n-1$, where $\varphi$ is the Euler's totient function. It is known that if any…

The orbit problem is at the heart of symmetry reduction methods for model checking concurrent systems. It asks whether two given configurations in a concurrent system (represented as finite strings over some finite alphabet) are in the same…

A central problem in algebraic complexity, posed by J. Edmonds, asks to decide if the span of a given $l$-tuple $\V=(\V_1, \ldots, \V_l)$ of $N \times N$ complex matrices contains a non-singular matrix. In this paper, we provide a quiver…

Let $\Gamma$ be a finite group, let $\theta$ be an involution of $\Gamma$, and let $\rho$ be an irreducible complex representation of $\Gamma$. We bound $\dim \rho^{\Gamma^{\theta}}$ in terms of the smallest dimension of a faithful…

For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…

For positive integers $u$ and $v$, let $L_u=\begin{bmatrix}1 & 0 \\u&1\end{bmatrix}$ and $R_v=\begin{bmatrix}1 & v \\ 0 & 1\end{bmatrix}$. Let $G_{u,v}$ be the group generated by $L_u$ and $R_v$. In a previous paper, the authors determined…