# Tagged Questions

**17**

votes

**1**answer

872 views

### How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...

**0**

votes

**1**answer

51 views

### Isometry group of an integer as of the corresponding $\Omega(n)$-parallelotope

Let $\prod_{i}p_{i}^{a_{i}}$ be the prime factorization of a positive integer $n$ and let's consider the $\Omega(n)$-parallelotope built with, for all $i\in I$, $a_{i}$ pairwise orthogonal vectors of ...

**23**

votes

**2**answers

927 views

### Fractal-like structures arising from the action of a group on $\mathbb{Z}^2$

Let $G := \langle a, b, c \rangle < {\rm Sym}(\mathbb{Z}^2)$ be the group
generated by the permutation
$$
a: \ (m,n) \ \mapsto \ (m-n,m)
$$
of order $6$ and the involutions
$$
b: \ (m,n) \ ...

**13**

votes

**2**answers

587 views

### Groups which are only defined up to conjugation

I'm trying to understand what the right way is to think about "groups which are only well-defined up to conjugation." Since this is somewhat vague let me clarify it by pointing out the main examples ...

**2**

votes

**1**answer

207 views

### on the prime divisors of $(p^2+1)/2 $

The following question is equivalent to a problem in group theory.
Let $ p > 13$ be a prime number distinct from 239. Let $ a=(p^2+1)/2 $. Is there any prime divisor $r$ of $a$ such that $r\mid ...

**4**

votes

**4**answers

553 views

### Normalizer of SL_2(Z) in GL_2(R)

What is the normalizer of ${\mathrm{SL}}_2({\Bbb Z})$ in ${\mathrm{GL}}_2({\Bbb R})$? Namely
${\mathrm{N}}_{{\mathrm{GL}}_2({\Bbb R})}({\mathrm{SL}}_2({\Bbb Z}))$?

**21**

votes

**0**answers

650 views

### Monstrous Moonshine for Thompson group $Th$?

I. As a background, in Traces of Singular Moduli (p.2), Zagier defines the modular form of weight 3/2,
$$g(\tau) = \frac{\eta^2(\tau)}{\eta(2\tau)}\frac{E_4(4\tau)}{\eta^6(4\tau)}=\vartheta_4(\tau)\, ...

**1**

vote

**0**answers

116 views

### How decomposable a modular representation can you get by reducing a given p-adic representation?

General Background
Take $G$ to be a finite group, and say $V$ is s $G$-representation over $\mathbb{Q}_p$. By picking a $G$-invariant lattice $L\subset V$ we can get an $\mathbb{F}_p$ representation ...

**3**

votes

**1**answer

195 views

### An encryption scheme using properties of non-abelian groups

I had a discussion about various encryption schemes with a colleague yesterday, and the following thought came to my mind: is it possible to devise an encryption scheme exploiting the phenomenon that ...

**6**

votes

**1**answer

220 views

### Can Galois conjugates of lattices in SL(2,R) be discrete?

Let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$. Suppose that the trace field of $\Gamma$ is a totally real number field of degree $d$. This gives $d$ homomorphisms $\rho_i:\Gamma\to SL(2,\mathbb{R})$ ...

**3**

votes

**0**answers

120 views

### Largest permutation groups without “non-mixing” subgroups

We say that a subgroup of ${\rm Sym}(\mathbb{N})$ has sparse orbit representatives
if it has infinitely many orbits on $\mathbb{N}$, but the set of smallest orbit
representatives has natural density 0 ...

**2**

votes

**1**answer

329 views

### Efficient algorithms to determine the roots of: $p(x) = r^x $ in the finite field $GF(q)$, where $r$ a primitive root of the field

I need to make sure that no efficient (i.e., polynomial time) algorithm exists for the following problem:
Exponentiating Polynomial Root Problem (EPRP)
Let $p(x)$ be a polynomial with $\deg(p) \geq ...

**1**

vote

**2**answers

319 views

### A neat monodromy group of a family of Kaehler manifolds

Let $X\rightarrow B$ be a family of Kaehler manifolds with possibly singular fibers. Let $G$ be the monodromy group on $H^n(X_b,\mathbb{Z})$, where $n=\dim X_b$ with the smooth fiber $X_b$ over some ...

**5**

votes

**2**answers

474 views

### Reducing 12th degree eqns (12T179) to an 11th degree eqn

I always wondered if the fact that the quartic can be solved by a cubic can be generalized to other even degrees $n$, namely if there is an ordering of the roots $x_i$ of form ...

**20**

votes

**1**answer

795 views

### Monstrous moonshine for $M_{24}$ and K3?

An important piece of Monstrous moonshine is the j-function,
$$j(\tau) = \frac{1}{q}+744+196884q+21493760q^2+\dots\tag{1}$$
In the paper "Umbral Moonshine" (2013), page 5, authors Cheng, Duncan, and ...

**0**

votes

**0**answers

55 views

### Order of non-trivial zeros of an L-function and topological dimension

Let $F$ be a primitive element of the Selberg class of degree $d_{F}>0$, and let's consider the group $G$ of complex isometries of finite order that preserve the critical strip ...

**7**

votes

**0**answers

219 views

### Higher-dimensional generalization of Pink's theorem

Pink's theorem in the title of the question refers to the main theorem of Pink's paper "Compact Subgroups of Linear Algebraic Groups" that appeared in Journal of Algebra (206) in 1998. It essentially ...

**5**

votes

**0**answers

185 views

### Generating congruence subgroups of SL_n over totally imaginary number rings

Fix some $n \geq 3$. Let $k$ be an algebraic number field with ring of integers $\mathcal{O}$ and let $\alpha$ be an ideal of $\mathcal{O}$. Define $\text{SL}_n(\mathcal{O},\alpha)$ to be the ...

**15**

votes

**2**answers

1k views

### Hilbert's 10th problem and nilpotent groups

I am asking this question on behalf of a colleague of mine who does not have an MO account. Nevertheless I am also interested in the answer.
The question concerns relationships between Hilbert's ...

**8**

votes

**2**answers

412 views

### algorithm to compute the integral orthogonal group

Suppose I have an indefinite quadratic form over the integers, and I want to compute its orthogonal group. Is there an algorithm, or at least a heuristic? If yes, is there any implementation anywhere?
...

**11**

votes

**3**answers

884 views

### A problem on a specific integer partition

Let $n$ be a positive integer, we consider partitions of the following form :
$$n = d^{2}_{1} + d^{2}_{2} + ... + d^{2}_{r}$$ such that :
$d_{i}\vert n$
$1=d_{1}<d_{2} \le d_{3} \le ... \le ...

**2**

votes

**1**answer

325 views

### “good” automorphisms of Galois classes of L functions

This question is a follow-up to Galois classes of L-functions. My goal here is to make things clearer.
Definition 1
Let $A$ be a subclass of the Selberg class containing $s\mapsto 1$, closed under ...

**2**

votes

**0**answers

160 views

### On the prime divisors of two numbers

We know that $q=p^a$ and $q'=p'^b$ are odd prime powers and $p$ and $p'$ are of the form $4k+1$. Also $p\mid (q'^2+1)$ and $p'\mid (q^2+1)$. If $\pi(n)$ denotes the set of prime divisors of $n$, is ...

**4**

votes

**1**answer

426 views

### What natural numbers can be considered as the product of orders of elements of a finite (abelian) group

Problem A5 from putname's competition 2009 asks to prove that there is no finite abelian group such that the product of order of its elements is equal to $2^{2009}$. Starting from this problem, for ...

**5**

votes

**2**answers

257 views

### Computing Thompson Series for the Monster Group

I am trying to do some experimentation with the values of Thompson series, but I have having a hard time finding a table that has these Thompson series with as many terms as I'd like. The tables I've ...

**1**

vote

**1**answer

124 views

### centralizer of a n-cyclic permutation matrix over F_2 in GL(n,2)

This is a continuation of this question, where I talked about the case $n=2^k$. Let $C$ be the $n\times n$-permutation matrix over $\mathbb{F}_2$ of the $n$-cycle. We needed to know the explicit ...

**7**

votes

**2**answers

599 views

### Is there an algebraically normal function from $\mathbb{Z}^{n}$ to $\{ 0 , 1\}$?

Definition: Let $h$ be a polynomial in $n$ variables, then :
$\gamma(h,r,R):=\{ v \in \mathbb{Z}^{n} : \vert h(v) \vert \leq r, \Vert v \Vert < R \}$
Let $\omega : \mathbb{Z}^{n} \to \{ 0 , ...

**3**

votes

**2**answers

581 views

### A problem about Determinant of sum of permutation matrices

Let $w_1$ and $w_2$ be two permutations of $\{1, \cdots , k\}$ such that for all $1\leq i \leq k$, $w_1(i)\neq w_2(i)$. Let $m$ and $n$ be two relatively prime integers. Then is there exist two ...

**4**

votes

**1**answer

305 views

### Does there exist an order in a number field of deg>1 with a map to F_p for all p?

This question is motivated by a computational issue. Suppose $R$ is a product of orders in numberfields such that there is no ring homomorphism $R \to \mathbb Z$, then can one write an algorithm that ...

**0**

votes

**1**answer

135 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 ...

**5**

votes

**1**answer

173 views

### Subgroups of algebraic groups

Is anyone aware of a result (or a counterexample) along the following lines: let $G$ be an algebraic group over $\mathbf Z$. Let $H$ be a finite group such that $H$ occurs as a subgroup of ...

**1**

vote

**1**answer

173 views

### Group with 2 orbits on the nonnegative integers — description of the orbits

Definition: Let $r(m)$ denote the residue class $r+m\mathbb{Z}$,
where $0 \leq r < m$. Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$,
let the class transposition ...

**17**

votes

**3**answers

766 views

### Why is $(\mathbb{Z}/3\mathbb{Z})^3$ not a class group of an imaginary quadratic number field ?

In general, it seems not known which finite abelian groups are class groups of quadratic number fields.
For imaginary quadratic number fileds, I read that $(\mathbb{Z}/3\mathbb{Z})^3$ is the smallest ...

**5**

votes

**1**answer

358 views

### Deformations of p-divisible groups

Given a p-divisible group over $\mathbb{F}_p$, Grothendieck-Messing theory tells us that deforming the group to $\mathbb{Z}_p$ is the same as finding an admissible filtration of the Dieudonne-module ...

**1**

vote

**0**answers

88 views

### extension classes and Galois cohomology

Let $K$ be a field, and $G_{K}$ the absolute Galois group of $K$, $A,C$ are abelian groups with continuous $G_{K}$-actions.
Suppose that $B$ is an extension, i.e., there is a short exact sequence
...

**4**

votes

**0**answers

190 views

### Possible orders of products of 2 involutions which interchange disjoint residue classes of the integers

Definition / Question
Definition: Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where
$0 \leq r < m$.
Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class transposition
...

**2**

votes

**2**answers

186 views

### Group extensions with a non-commutative kernel

Let
$$
1\to K\to G\to H\to 1
$$
be an extension of groups. When $K$ is commutative, $H$ acts on $K$ by conjugation; and given groups $K$ and $H,$ with $K$ commutative and $H$ acting on $K,$ such ...

**2**

votes

**2**answers

228 views

### Weyl law for arithmetic Fuchsian groups known?

For congruence subgroups of $PSL(2,\mathbb{Z})$, the Weyl law for the eigenvalues of Maass cusp forms had been proven by Selberg. How is the status of such a Weyl law for eigenvalues of Maass cusp ...

**10**

votes

**2**answers

547 views

### Embeddings of finite groups into GL(n,Q_p)

This question is inspired by some interesting comments on this recent question.
Fix an integer $n \geq 1$ and a finite subgroup $G$ of $\mathrm{GL}_n(\mathbf{C})$. It is known that there are ...

**9**

votes

**0**answers

161 views

### Good bounds for the number of $n$-dimensional crystallographic groups ?

Let $s(n)$ denote the number of distinct crystallographic groups in $Isom(\mathbb{R}^n)$.
Apparently the best known upper bound so far is
$$
s(n)\le e^{e^{4n^2}},
$$
given by Peter Buser in $1985$. On ...

**7**

votes

**2**answers

274 views

### When is Ad(pi) an irreducible representation ?

For a finite group $G$ with a representation $\pi:G\to GL_n(\mathbb C)$ one can define the adjoint representation $Ad$ as the non-trivial summand in $End(\pi)$, i.e.
$End(\pi)=\pi\otimes ...

**17**

votes

**4**answers

916 views

### Are there any nontrivial ring homomorphisms $M_{n+1}(R)\rightarrow M_n(R)$?

Let $R$ be a finitely generated ring with identity, $M_n(R)$ the set of $n\times n$ matrices. Are there any nontrivial ring homomorphisms $M_{n+1}(R)\rightarrow M_n(R)$? This should be an elementary ...

**1**

vote

**3**answers

359 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 ...

**3**

votes

**0**answers

508 views

### Galois classes of L-functions

Around one month ago, I posted on math.stackexchange a draft I wrote in which I define the notion of Galois class of L-functions: see ...

**13**

votes

**1**answer

507 views

### Free subgroups of GL(2,Z)

Is there a bound $B$ such that every 2-generator subgroup
$G = \langle a, b \rangle < {\rm GL}(2,\mathbb{Z})$
whose generators do not satisfy a relation of length $\leq B$ is free?
If it exists, ...

**1**

vote

**0**answers

232 views

### on the fundamental lemma

I consider the fundamental lemma for the spherical Hecke algebra.
Let $G$ a connected reductive quasisplit group on $F$, a local field of equal characteristic $p$.
and $H$ an endoscopic group.
Can ...

**4**

votes

**1**answer

313 views

### Group of permutations

Which $S_n$ have an element $\sigma$ such that $\sigma (i) + i$ is always a perfect square?

**3**

votes

**0**answers

229 views

### A Dedekind Eta trajectory / horocyclic flow (Reference request)

I've been exploring the composition of essentially the Dedekind $\eta$-function with
parabolic Möbius transformations,
...

**10**

votes

**0**answers

463 views

### Groups generated by 3 involutions

Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where $0 \leq r < m$.
Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class transposition
$\tau_{r_1(m_1),r_2(m_2)}$ be the ...

**7**

votes

**3**answers

755 views

### Showing non-expansion for $x\rightarrow x+1, x\rightarrow 2x.$

Construct a graph having $V=\mathbb{Z}/p\mathbb{Z}$ as its set of vertices and $\{\{x,x+1\}: x \in V\}\cup \{\{x,2x\}: x \in V\}$ as its set of edges. This graph is not an expander - quite ...