# Tagged Questions

**5**

votes

**1**answer

214 views

### Kernel of the character of congruence groups

Let $\Gamma$ be a congruence subgroup of $SL_2(\mathbb Z)$ and $\chi:\Gamma \to \mathbb{C}^*$ a character of $\Gamma$ with finite image. Is then $\ker(\chi)$ also a congruence group? If not, can ...

**2**

votes

**1**answer

239 views

### Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?

Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group.
Is every closed subgroup of ...

**2**

votes

**1**answer

242 views

### Does the set of automorphisms of a cyclic group exhibit some sense of randomness?

I prefer to proceed with a concrete example if I may. I appreciate that the answer might well be better explained with group theory, geometry and/or notions from probability theory, which I welcome.
...

**0**

votes

**2**answers

228 views

### Goldbach-type problem: the valuation of irreducible elements of a subgroup of $\mathbb{Q}_{> 0}$

Let $\phi : \mathbb{Q}_{>0} \to \mathbb{Z}$ be the group morphism defined by $\phi(p) = p$ for $p$ a prime number.
It follows that $\phi(\prod_i p_i^{n_i}) = \sum_i n_i p_i$, with $p_i$ a prime ...

**3**

votes

**0**answers

92 views

### Equidistribution of double coset

Let $G=PGL_n(\mathbb{R})$, $K=PO_n(\mathbb{R})$ and $X=G/K$. Also suppose $\Gamma=SL_n(\mathbb{Z})$ acts on the left of $X$. We define a typical Hecke operator on $L^2(\Gamma\backslash X)$ by the ...

**3**

votes

**1**answer

370 views

### Orders of Finite Simple Groups

Which finite simple groups have order N so that N+1 is a proper power?
As an example: the simple group of order $168=13^2-1$.

**30**

votes

**3**answers

2k views

### Fixed points of $x\mapsto 2^{2^{2^{2^x}}} \mod p$

Let $p$ be a prime. For how many elements $x$ of $\{0,1,\dotsc,p-1\}$ can it be the case that
$$2^{2^{2^{2^x}}} = x \mod p?$$
In particular, can you find a simple proof (or, even better, several ...

**18**

votes

**3**answers

608 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)$ ...

**14**

votes

**0**answers

666 views

### Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable.
...

**3**

votes

**1**answer

189 views

### How does associativity get twisted by elements of $H^3(G)$?

In Braided Monoidal Categories by Joyal and Street, §6 a monoidal category is $V =T(G,M,h)$ built using a recipe:
objects are are elements of $G$ ✓
$V_0(x,y) = M$ if $( x=y)$ or else ...

**11**

votes

**1**answer

400 views

### On the order of finite simple groups

About the order of finite simple groups there exists a very interesting result which stated as follows:
Let $G$ be an non-solvable simple group of order $g$. If $p\mid g$, where $p>g^{1\over 3}$ ...

**4**

votes

**0**answers

73 views

### Generators of the symplectic subgroup $\Gamma^g(1,2)$

Let $\mathbb{A}^{m\times n}$ denote the set of all $m \times n$ matrices with entries in the set $\mathbb{A}$. For a matrix $M$ we let ${^tM}$ denote its transpose, and $M^{-1}$ its inverse, if it is ...

**19**

votes

**0**answers

660 views

### Non-linear expanders?

Recall that a family of graphs (indexed by an infinite set, such as the primes, say) is called an expander family if there is a $\delta>0$ such that, on every graph in the family, the discrete ...

**23**

votes

**1**answer

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

**3**

votes

**2**answers

126 views

### All Integers from the Smallest Digit Stream with a Window Filter

Let's represent integers with D digits where each digit has B values
(i.e., the base is B and we effectively work only with integers between
1 and B^D). Is it possible to choose a single ...

**4**

votes

**1**answer

164 views

### Maximum length of chains of subgroup in GL(n,q)

Let G=GL(n,q) be a general linear group n-dimensional over a field with q element (q power of a prime). I am looking for an estimate of maximum length of chains of subgroup in G.
Thanks.

**5**

votes

**2**answers

626 views

### An application of Maschke's theorem

I've been teaching some elementary representation theory to undergraduates, and want to provide applications of Maschke's theorem to complex group algebras to present in class. In particular, I'd like ...

**17**

votes

**1**answer

977 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

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

**25**

votes

**2**answers

1k 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

600 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

210 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

584 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

715 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

122 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

208 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

233 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

133 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

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

**3**

votes

**3**answers

440 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

478 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

830 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

56 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

229 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

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

**14**

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

**7**

votes

**2**answers

435 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?
...

**10**

votes

**3**answers

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

**1**

vote

**1**answer

327 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

163 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

436 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

269 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

135 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

600 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

588 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

306 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

140 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

176 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

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

**18**

votes

**3**answers

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