Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
187 views

Bourgain-Gamburd-like theorems in the non-algebraic case

For $\mu$ a Borel probability measure on the compact group $G=\operatorname{SU}(d)$, Bourgain-Gamburd prove that the spectral radius of the associated operator on $L^2(G)$ is strictly less than one, ...
1 vote
1 answer
233 views

Transfer for the group of coinvariants: a reference request

Let $G$ be a group and $M$ be a $G$-module, that is, an abelian group written additively on which $G$ acts: $$ (g,m)\mapsto g m.$$ We consider the group of coinvariants $$ M_G:=G/\langle g m -m\ |\ g\...
1 vote
0 answers
98 views

Existence of countable dense normal subgroups of global Galois group

Let $K$ be a number field, $S$ a finite set of primes of $K$ and $ G_{K,S} $ the Galois group of the maximal extension of $ K $ (inside a fixed algebraic closure of $K$) unramified outside $ S $. In ...
3 votes
1 answer
216 views

Reference request: Serre's Groupes discrets

I'm reading some articles and at some point they both reference: J-P. Serre: Groupes discrets (in collaboration with H. Bass), Collège de France, 1969 However I have trouble finding this reference. ...
2 votes
0 answers
161 views

Monotonicity of the cycle index polynomial under restriction

The cycle index (polynomial) of the symmetric group $\mathfrak{S}_n$ is given by the formula: $$Z(\mathfrak{S}_n)(x_1,\dots,x_n)=\sum_{1j_1+2j_2+\cdots+nj_n=n}\prod_{k=1}^n\frac{x_k^{j_k}}{k^{j_k}j_k!}...
8 votes
0 answers
346 views

A generalization of Feit–Thompson conjecture, for square-free integers

I asked the following question with my account that I have for these sites Mathematics Stack Exchange and MathOverflow. The bounty that I offered in MSE expired without answers. The post that I refer ...
11 votes
0 answers
269 views

Proving a group with two generators is not free that uses the Brahamagupta-Pell equation

Hello I encountered the following while reading a set of notes on free groups. It's not a homework question. "Does there exist a rational number $\alpha$ with $0 <|\alpha| < 2$ such that the ...
6 votes
2 answers
457 views

Name of a group-like structure

The late Vladimir Arnold, in Arnold, V., Arithmetics of binary quadratic forms, symmetry of their continued fractions and geometry of their de Sitter world, Bull. Braz. Math. Soc. (N.S.) 34, No. 1, ...
3 votes
4 answers
654 views

A generalization of Landau's function

For a given $n > 0$ Landau's function is defined as $$g(n) := \max\{ \operatorname{lcm}(n_1, \ldots, n_k) \mid n = n_1 + \ldots + n_k \mbox{ for some $k$}\},$$ the least common multiple of all ...
13 votes
1 answer
358 views

Cartography of the duals of GL, PGL, SL, etc

A short version of this question could be What are the duals of $PGL(2,\mathbf{Q}_p)$, $PGL(2,\mathbf{R})$ and $PGL(2,\mathbf{C})$? I should obviously add some precisions. there are different ...
6 votes
3 answers
811 views

Enumerating cosets of the modular group

Suppose we chose the generators $f(z) = z+1, g(z) = z-1, h(z) = -1/z$ for the modular group $\Gamma$ (i.e. the group of fractional linear tranformations $z \mapsto (az +b)/(cz+d)$ with $a,b,c,d \in \...
1 vote
0 answers
70 views

A non-surjective coboundary map induced by a central extension

Let $k$ be a number field and $$ 1\to A \to B \to C \to 1$$ be a central extension of finite groups over $\mathcal{O}_k$ (the ring of integers of $k$), with $B$ non-commutative. Consider the induced ...
7 votes
3 answers
582 views

Asymptotics for the number of abelian groups of order at most $x.$

The number of abelian groups of order $n$ (call it $a(n)$ is a studied subject (see http://oeis.org/A000688), but I can't seem to find any asymptotic results. Obviously, there is no asymptotic for $a(...
5 votes
0 answers
79 views

Some questions about the Lévy monoid of certain densities

Let $\bf H$ be a set, $f: \mathcal P({\bf H}) \rightharpoonup \bf R$ a partial function, and $\mathcal{D}$ the domain of $f$. Next, denote by $\mathcal M(f)$ the set of all (total) functions $\theta: ...
5 votes
0 answers
219 views

Character tables of the p-core of the binary modular congruence group of p-power level

Let $p \geq 5$ be a prime and let $n$ be positive integer. In his Ph.D thesis (See The characters of binary modular congruence group, Bulletin of the American Mathematical Society. 79 (1973), no. 4.), ...
3 votes
0 answers
102 views

Localized at $p$ integral representations of finite elementary $p$-groups

Let $C_p$ be a cyclic group of prime order $p$. Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times). I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$. However, ...
7 votes
4 answers
1k views

Consequences of the Inverse Galois Problem

Are there any papers written about the consequences of the Inverse Galois Problem in case it is proved to be true or false? We know a lot of things that would be true if the Riemann Hypothesis holds. ...
18 votes
3 answers
745 views

Number of primitive $n$th roots with positive versus negative real parts

Does anyone know a reference to the following results, which I can prove, but I suspect may be known. Let $R(n)$ denote the number of primitive $n$th roots of unity with positive real part, and $L(n)$ ...
30 votes
1 answer
2k views

How strong is this conjecture? $(Z/nZ)^*$ is generated by "small" elements

Conjecture: There are constants $c,k$ such that every $(Z/nZ)^*$ is generated by its elements smaller than $k (\log n)^c$. Where $(Z/nZ)^*$ is the multiplicative group of integers mod $n$. My main ...
2 votes
2 answers
1k views

Place stabilizers for the absolute Galois Group

Fix an algebraic closure, $\overline{\mathbb{Q}}$ for the rationals and consider the set, $B_p$, of all places of $\overline{\mathbb{Q}}$ over a fixed (possibly infinite) prime, $p$, of $\mathbb{Q}$. ...
1 vote
1 answer
346 views

Reference on elements of finite order in principal congruence subgroups of symplectic groups

We should start with the definition of the symplectic group for an arbitrary ring $R$. The symplectic group $Sp(g,R)$ is the subgroup of $SL(2g,R)$ such that all elements satisfy $M=J_g^t M J_g$ with $...
2 votes
3 answers
912 views

Reference on generators of subgroups of symplectic groups

We should start with the definition of the symplectic group for an arbitrary ring $R$. The symplectic group $Sp(g,R)$ is the subgroup of $SL(2g,R)$ such that all elements satisfy $M=J_g^t M J_g$ with $...