17
votes
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
4answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
3answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
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
2answers
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
2answers
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
2answers
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
0answers
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
2answers
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
4answers
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
3answers
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
0answers
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
1answer
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
0answers
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
1answer
313 views

Group of permutations

Which $S_n$ have an element $\sigma$ such that $\sigma (i) + i$ is always a perfect square?
3
votes
0answers
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
0answers
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
3answers
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 ...