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, ...
John Rached's user avatar
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\...
Mikhail Borovoi's user avatar
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 ...
Nobody's user avatar
  • 863
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. ...
Maarten Derickx's user avatar
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!}...
T. Amdeberhan's user avatar
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 ...
user142929's user avatar
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 ...
user727041's user avatar
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, ...
Thomas Sauvaget's user avatar
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 ...
StefanH's user avatar
  • 798
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 ...
Desiderius Severus's user avatar
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 ...
Coquelicot's user avatar
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(...
Igor Rivin's user avatar
  • 96.4k
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: ...
Salvo Tringali's user avatar
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 \...
Pablo Lessa's user avatar
  • 4,304
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, ...
Mikhail Borovoi's user avatar
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. ...
Ilias Andreou's user avatar
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)$ ...
Glasby's user avatar
  • 1,991
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 ...
usul's user avatar
  • 4,529
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 $...
Tom's user avatar
  • 85
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 $...
Tom's user avatar
  • 85
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}$. ...
Adam Hughes's user avatar
  • 1,049
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.), ...
Guillermo Mantilla's user avatar