Questions about the branch of abstract algebra that deals with groups.

**12**

votes

**2**answers

383 views

### generating set for symmetric group $S_n$

Say that $a_1, \cdots, a_{n-1}$ is an independent generating set for $S_n$. Let $b$ be any element in $S_n$. Is it true that $b$ can replace one of the generators, i.e. that there exists an index $i$, ...

**4**

votes

**2**answers

155 views

### Centralizers of reflections in special subgroups of Coxeter groups

Let us consider a (not necessarily finite) Coxeter group $W$ generated by a finite set of involutions $S=\{s_1,...,s_n\}$ subject (as usual) to the relations $(s_is_j)^{m_{i,j}}$ with ...

**4**

votes

**2**answers

254 views

### Maximal abelian subgroup of general linear groups

Thanks for any help or comments.
Is it possible to recognize all maximal abelian subgroups of general linear group on finite field $F$ of order $q$, $GL_n(F)$.
By maximal abelian I mean if $A$ is ...

**3**

votes

**1**answer

161 views

### About the second largest adjacency eigenvalue of Abelian Cayley graphs

[Assume all groups are finite]
One knows the general statement that the sum of the values of the character function on the generating set is an eigenvalue of a Cayley graph.
But the above doesn't ...

**2**

votes

**0**answers

84 views

### project limit on $n$- simplical complex which is principal homogeneous with respect to an action

The setting:
Let G be compact locally $\Bbb{Q}_p$ analytic group. We fix a countable basis of open normal subgroups $G\supset G_1\supset ...G_r\supset...$
We suppose that we are given a system of ...

**3**

votes

**1**answer

131 views

### Subgroups of index 2 in a fibered product

Let $G$ be a finite group and let $M,N \lhd G$ be normal subgroups with a trivial intersection. Suppose that $G$ has a subgroup of index $2$. Must $G$ have a subgroup of index $2$ which contains ...

**2**

votes

**1**answer

98 views

### Is there a non right-orderable torsion-free factor of the Braid group on 3 strands?

The braid group on 3 strands has the presentation $\langle x,y \;|\; xyx=yxy\rangle$. A group $G$ is called right orderable if there is a total order $<$ on the set $G$ such that if $a<b$ then ...

**4**

votes

**1**answer

199 views

### Quotient of principal congruence subgroups

This is a direct follow-up to this question. What is the quotient $\Gamma(2)/\Gamma(2^n)?$ (the principal congruence subgroups are in $SL(2, \mathbb{Z}).$ It is a 2-group, but what else?

**5**

votes

**4**answers

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

**3**

votes

**0**answers

96 views

### uniqueness of quotients of principal congruence subgroups

For each $n \geq 2$, is $\Gamma(2^{n})$ the unique normal subgroup of $\Gamma(2)$ with quotient isomorphic to $\Gamma(2) / \Gamma(2^{n})$ (here we are talking about principal congruence subgroups of ...

**0**

votes

**1**answer

199 views

### Suppose that $G$ is a subgroup of $GL_n(\mathbb C)$ with finite exponent. Then is $G$ a finite group? [closed]

As title. the exponent of $G$ is the least number $n$ (if exists) such that $g^n=e$ holds for all $g\in G$ or $+\infty$.

**4**

votes

**1**answer

136 views

### Motivational ideas for the Gelfand-Graev character of a finite group of Lie type

I've been studying the Gelfand-Graev character's general construction for a finite group of Lie type. I wish to discuss its particularization in a seminar for the general linear group over a finite ...

**27**

votes

**2**answers

1k views

### How do you *state* the Classification of finite simple groups?

From the point of view of formal math, what would constitute an appropriate statement of the classification of finite simple groups? As I understand it, the classification enumerates 18 infinite ...

**4**

votes

**1**answer

168 views

### About the set of Sylow-$p$ subgroups of $G$

Let G be a finite group and S be the set of Sylow p-subgroups of G for a
prime p dividing the order of G. Assume that |S|>1.
Let U and V be two disjoint non-empty subsets of S such that,
...

**1**

vote

**0**answers

62 views

### Counting group invariants using Macdonald conjecture?

It is known from Dyson, Macdonald $et$ $al$ that the constant term asscoiated to the expansion of the following expression
\begin{equation}
\prod_{\alpha \in \Delta} (1-e^{\alpha})^k
\end{equation}
...

**3**

votes

**1**answer

99 views

### Section of Cayley graphs

Let $\pi: G\to G_1$ be a surjective group homomorphism to a finite group $G_1$ and let $S_1$ be a (finite) generating set of $G_1$. Assume $\mathrm{Cay}(G_1,S_1)$ is the Cayley graph of $G_1$ with ...

**3**

votes

**0**answers

173 views

### every element with eigenvalue 1

Is there a "non-trivial" subgroup $G$ of $GL(n,\mathbb C)$ whose every element has an eigenvalue $1$?
"Non-trivial" here means that is no common eigenvector with eigenvalue $1$ for all elements of ...

**14**

votes

**1**answer

665 views

### In how many steps a random walk visits all the elements of a finite group, with a probability 1/2?

This question is a variation of the return to the origin problem.
Let $G$ be the finite group $\mathbb{Z}/n \times \mathbb{Z}/n$ and let the random transformation $T: G \to G$ such that $T(a,b) = ...

**7**

votes

**3**answers

355 views

### Decision problem on triviality of intersection of two subgroups

What is known about the following decision problem?
Given two finite sets in a finitely generated group G,
decide whether the subgroups generated by them have trivial intersection.
Is this problem ...

**3**

votes

**1**answer

189 views

### Conjugation of group extensions

Let $H$ be a finite group. We write ${{\mathbb{C}}}^{*n}$ for the $n$-dimensional complex torus $({{\mathbb{C}}}^*)^n$.
We have a short exact sequence
$$ 0\to {{\mathbb{Z}}}^n\to ...

**10**

votes

**2**answers

443 views

### History of Tarski's problems on free groups

As is known, Tarski posed his questions about first-order theories of non-abelian free groups around 1945. However, the questions were not published in his papers or books.
What is the original ...

**5**

votes

**1**answer

313 views

### When are (Abelian) Cayley graphs also expanders?

I want to ask the question in two parts,
(1)
Is there some fundamental distinguishing property between Abelian and non-Abelian Cayley graphs? (say some specific proof technique which distinguishes ...

**5**

votes

**0**answers

270 views

### Does the Approximation Property (AP) pass to quotients by amenable subgroups?

Given a countable group $G$ with the AP, and an normal, amenable subgroup $N$ of $G$, does $G/N$ have the AP?
In particular, does there exist a group $G$ with the AP and a surjective group ...

**4**

votes

**0**answers

159 views

### Infinite simple p-groups with only trivial irreps in characteristic p

Is there a prime $p$ and an infinite simple $p$-group $G$ such that for any field $K$ of characteristic $p$ the only irreducible $KG$-module, whether finite or infinite dimensional, is trivial (that ...

**3**

votes

**1**answer

207 views

### For a cross section $\sigma\colon G/N\to G$, how is $\sigma(y)^{-1}\sigma(x)^{-1}\sigma(xy)$ called?

Let $G$ be a locally compact group, let $N$ be a closed normal subgroup of $G$, and let $\sigma\colon G/N\to G$ be a cross section. Let us define $\alpha\colon G/N\times G/N \to N$ by the formula
$$
...

**4**

votes

**1**answer

276 views

### Frequency of a representation of SO(3)

When generalizing the basic tenets of Fourier Theory to the symmetric group $S_n$, we can define a notion of the frequency of a basis function (i.e. an irreducible representation of $S_n$). In ...

**4**

votes

**1**answer

219 views

### Decomposing $(\mathbb C^n)^{\otimes m}$ as a representation of $S_n\times S_m$

$V=\mathbb C^n$ is a $\mathbb CS_n$-module, where $S_n$ is the symmetric group of degree $n$, via the representation sending a permutation to the corresponding permutation matrix. The tensor power ...

**3**

votes

**0**answers

249 views

### Galois correspondence subgroups/subsystems

In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups:
Lemma 3.16. Let $G$ be a compact group and $Rep(G)$ the category of finite ...

**1**

vote

**0**answers

124 views

### Does SL(3,q) have a subgroup of order $q^3.(q^3-1)$ [closed]

Let $q=p^n$ for $p>3$.I want to know whether the group $G_2(q)$ has a subgroup of order $q^3.(q^3-1)$. First I look the paper of Peter Kleidman. In this paper Kleidman determined all maximal ...

**2**

votes

**1**answer

166 views

### What is the growth of the rank of a power of a finite simple group?

Which asymptotic bounds (upper and lower) are known for $s_n$ - the minimal number of generators of $S^n$ where $S$ is a nonabelian finite simple group?

**10**

votes

**0**answers

219 views

### Solving a set of equations in a finite symmetric group

A standard way to find solutions to a finite set of equations in a finite symmetric group
${\rm S}_n$ is to take the equations as relators of a finitely presented group, to use
the low index subgroups ...

**2**

votes

**1**answer

165 views

### About direct limit of groups

Let $G_i$ be sequence of groups for $i\in \mathbb N$ and Let $\phi_i$ be a monomorphism from $G_i$ to $G_{i+1}$.
Let $\Sigma$ be the direcet limits of $G_i$ under the embeddings of $\phi_i$.
Let ...

**3**

votes

**0**answers

161 views

### Alternating quotients of (2,3,7;10)

It was shown that the only quotient of the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$ of the form PSL(2, q) is PSL(2, 41). That lead me to consider other families of simple ...

**4**

votes

**1**answer

98 views

### Finiteness properties for graph of groups decompositions

My curiosity was raised by the following question
and the huge variety of comments and suggestions it attracted. I wondered if a converse statement might be equally interesting.
Let $G$ be a finitely ...

**3**

votes

**2**answers

249 views

### If d(“G/H”) < d(G) = 2, must H contain a primitive element?

Let $G$ be a finite group that can be generated by $2$ elements, and let $H \leq G$ be a (not necessarily normal) subgroup for which there exists some $g \in G$ such that $H \langle g\rangle = G$. ...

**18**

votes

**6**answers

1k views

### Residual finiteness: why do we care?

Residually finite groups have been studied for a long time. However, I am struggling to work out why we care, or perhaps, why they continue to be of interest. Let me explain.
Magnus, in his 1968 ...

**6**

votes

**0**answers

177 views

### Polynomial growth without Gromov's theorem

It is a consequence of the theorem of M. Gromov on groups with polynomial growth and a result of P. Pansu(*) that if a finitely generated group $\Gamma = \langle S\rangle,\, S=S^{-1}$ satisfies ...

**1**

vote

**1**answer

64 views

### An example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$

In the wake of my curiosity on this kind of things, I was thinking if there is an example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$. Every example I ...

**8**

votes

**3**answers

236 views

### How do small central extensions drop the dimension of a faithful representation?

Apologies in advance that this is a very soft question. I might be talking complete nonsense. But I hope I am talking about something that has even been studied...
I am interested in the phenomenon ...

**2**

votes

**1**answer

97 views

### Involution on the components of a group algebra

If $G$ is a finite group and $k$ a field, there is a canonical involution (ie an involutive anti-automorphism) $\sigma$ on $k[G]$ induced by $g\mapsto g^{-1}$. Given that the center of $k[G]$ has ...

**10**

votes

**1**answer

466 views

### A group whose automorphism group is cyclic

Is there an Abelian group $A$ which is not locally cyclic whose automorphism group is cyclic ?
This question was first posted here.

**14**

votes

**1**answer

352 views

### Number of solutions to equations in finite groups

Suppose $G$ is a finite group and that $E$ is an equation of the form $x_1 x_2 ... x_n = e$, where each $x_i$ is in the set of symbols $\{x, y, x^{-1}, y^{-1}\}$.
Is it always true that the number ...

**2**

votes

**1**answer

210 views

### Why a tensor product of $2\times 2$ unitaries cannot implement a $3\times 3$ unitary?

Let $\{v_1, \dotsc, v_m\} \in \mathbb{C}^{2^n}$ be a set of orthonormal vectors. Define a map $R_m$ from $2^n \times 2^n$ to $m \times m$ matrices as follows:
$$R_m(M) := \sum_{i,j=1}^m (v_i^*M v_j) ...

**1**

vote

**0**answers

98 views

### Generalization of groups with non-connected prime graph

Suppose $G$ is a non-abelian finite group and $\pi(G)=\pi_1(G)\cup \pi_2(G)$ is a disjoint union of all primes dividing $|G|$. Suppose further that for every two elements $g_1,g_2\in G\setminus Z(G)$ ...

**13**

votes

**0**answers

276 views

### Linear groups which don't contain products of free groups

Let $G \subset GL(n, \Bbb Z)$ be a f.g. linear group. The Tits alternative says that $G$ is either virtually solvable (i.e. has a solvable subgroup of finite index), or contains a free group $F_2$. ...

**4**

votes

**0**answers

94 views

### Improvements of the Reidemeister-Schreier index formula for particular classes of groups

I have a couple of questions regarding possible improvements of the Reidemeister-Schreier index formula: let $G$ be a $d$-generated group and let $H$ be a subgroup of $G$, then
$$d(H) \le (d-1) ...

**2**

votes

**1**answer

246 views

### Decomposing a reducible representation of the unitary group

Consider the representation $L_U$ of the unitary group $U(n)$ on $L(\mathbb{C}^n)$ where $L_U$: $L(\mathbb{C}^n) \rightarrow L(\mathbb{C}^n)$ is a linear operator that $L_U M=U M U^{\dagger} $, ...

**6**

votes

**1**answer

212 views

### When are toral orbits in buildings the difference of fixed-sets?

Let $L$ be a $p$-adic field, let $G$ be a reductive group over $L$ (I'm even okay assuming semisimplicity for now). Let $T$ be a maximal torus of $G$. Let $B$ be the building for $G(L)$. (Edit 1: ...

**4**

votes

**1**answer

242 views

### Can an abelian group have a minimal group topology?

In the abstract of this paper, it is said that a minimal group topology on an abelian group is not Hausdorff.
Suppose $G$ is an abelian group and $\mathcal T$ is a minimal group topology on $G$ and ...

**1**

vote

**0**answers

86 views

### $\text{Hom}(G,\mathbb{Z})$ [duplicate]

Fix a cardinal $\kappa$ and consider $\mathbb{Z}^\kappa$ with componentwise addition and the subgroup $$F_\kappa :=\{g:\kappa \to \mathbb{Z}: \{\alpha\in \kappa: g(\alpha)\neq 0\} \text{ is ...