# Questions tagged [gr.group-theory]

Questions about the branch of algebra that deals with groups.

1,703
questions with no upvoted or accepted answers

**48**

votes

**0**answers

887 views

### Class function counting solutions of equation in finite group: when is it a virtual character?

Let $w=w(x_1,\dots,x_n)$ be a word in a free group of rank $n$. Let $G$ be a finite group. Then we may define a class function $f=f_w$ of $G$ by
$$ f_w(g) = |\{ (x_1,\dots, x_n)\in G^n\mid w(x_1,\dots,...

**36**

votes

**0**answers

779 views

### Are there infinite versions of sporadic groups?

The classification of finite simple groups states roughly that every non-abelian finite simple group is either alternating, a group of Lie type, or a sporadic group.
For each of the groups of Lie ...

**36**

votes

**0**answers

1k views

### Why are there so few quaternionic representations of simple groups?

Having spent many hours looking through the Atlas of Finite Simple Groups while in Grad school, I recall being rather intrigued by the fact that among the sporadic groups, only one (McLaughlin as I ...

**35**

votes

**0**answers

4k views

### Homology of $\mathrm{PGL}_2(F)$

Update: As mentioned below, the answer to the original question is a strong No. However, the case of $\pi_4$ remains, and actually I think that this one would follow from Suslin's conjecture on ...

**32**

votes

**0**answers

843 views

### Groups whose complex irreducible representations are finite dimensional

By a complex irreducible representation of a group $G$, I mean a simple $\mathbb CG$-module. So my representations need not be unitary and we are working in the purely algebraic setting.
It is easy ...

**30**

votes

**0**answers

1k views

### Next steps on formal proof of classification of finite simple groups

While people are steaming ahead on finessing the proof of the classification of finite simple groups (CFSG), we have a formal proof in Coq of one of the first major components: the Feit-Thompson odd-...

**30**

votes

**0**answers

876 views

### Is there a Mathieu groupoid M_31?

I have read something which said that the large amount of common structure between the simple groups $SL(3,3)$ and $M_{11}$ indicated to Conway the possibility that the Mathieu groupoid $M_{13}$ might ...

**29**

votes

**0**answers

631 views

### Cohomology of symmetric groups and the integers mod 12

When $n \ge 4$, the third homology group $H_3(S_n,\mathbb{Z})$ of the symmetric group $S_n$ contains $\mathbb{Z}_{12}$ as a summand. Using the universal coefficient theorem we get $\mathbb{Z}_{12}$ ...

**29**

votes

**0**answers

938 views

### Follow-up to Steinberg's problem (12) in his 1966 ICM talk?

Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (...

**28**

votes

**0**answers

589 views

### Mathieu group $M_{23}$ as an algebraic group via additive polynomials

An elegant description of the Mathieu group $M_{23}$ is the following: Let $C$ be the multiplicative subgroup of order $23$ in the field $F=\mathbb F_{2^{11}}$ with $2^{11}$ elements. Then $M_{23}$ is ...

**27**

votes

**0**answers

536 views

### Do two integral matrices generate a free group?

Is it decidable whether two given elements of ${\rm GL}(n,{\mathbb Z})$ generate a free group of rank 2?
This is a simple question that I have been asking people for the past couple of years, but ...

**27**

votes

**0**answers

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

**26**

votes

**0**answers

712 views

### The field of fractions of the rational group algebra of a torsion free abelian group

Let $G$ be a torsion free abelian group (infinitely generated to get anything interesting). The group algebra $\mathbb{Q}[G]$ is an integral domain. Let $\mathbb{Q}(G)$ be its field of fractions.
...

**25**

votes

**0**answers

818 views

### A question on simultaneous conjugation of permutations

Given $a,b\in S_n$ such that their commutator has at least $n-4$ fixed points, is there an element $z\in S_n$ such that $a^z=a^{-1}$, and $b^z=b^{-1}$? Here $a^z:=z^{-1}az$.
Magma says that the ...

**25**

votes

**0**answers

858 views

### Is every $p$-group the $\mathbb{F}_p$-points of a unipotent group

Let $\Gamma$ be a finite group of order $p^n$. Is there necessarily a unipotent algebraic group $G$ of dimension $n$, defined over $\mathbb{F}_p$, with $\Gamma \cong G(\mathbb{F}_p)$?
I have no real ...

**24**

votes

**0**answers

1k views

### Do all possible trees arise as orbit trees of some permutation groups?

I.Motivation from descriptive set theory
(Contains some quotes from Maciej Malicki's paper.)
The classical theorem of Birkhoff-Kakutani implies that every metrizable topological group G admits a ...

**22**

votes

**0**answers

709 views

### Are amenable groups topologizable?

I've learned about the notion of topologizability from "On topologizable and non-topologizable groups" by Klyachko, Olshanskii and Osin (http://arxiv.org/abs/1210.7895) - a discrete group $G$ is ...

**22**

votes

**1**answer

1k views

### Numbers of distinct products obtained by permuting the factors

Let $n \in \mathbb{N}$. Is it true that for every $k \in \{1, \dots, n!\}$ there are
some group $G$ and pairwise distinct elements $g_1, \dots, g_n \in G$ such that the set
$\{g_{\sigma(1)} \cdot \ \...

**21**

votes

**0**answers

549 views

### The multiplication game on the free group

Fix $W\subseteq\mathbb F_2$ and consider the following two-person game: Player 1 and Player 2 simultaneously choose $x$ and $y$ in $\mathbb F_2$. The first player wins, say one dollar, iff $xy\in W$. ...

**21**

votes

**0**answers

539 views

### Density of first-order definable sets in a directed union of finite groups

This is a generalization of the following question by John Wiltshire-Gordon.
Consider an inductive family of finite groups:
$$
G_0 \hookrightarrow G_1 \hookrightarrow \ldots \hookrightarrow G_i \...

**20**

votes

**0**answers

881 views

### Could unramified Galois groups satisfy a version of property tau?

This is an experiment: there is a question I want to mention in an article I'm writing, and I am not sure it's a sensible question, so I will ask it here first, in the hopes that if it's insensible ...

**20**

votes

**0**answers

610 views

### Characteristic subgroups and direct powers

Solved question: Suppose H is a characteristic subgroup of a group G. Is it then necessary that, for every natural number n, in the group $G^n$ (the external direct product of $G$ with itself $n$ ...

**19**

votes

**0**answers

402 views

### Infinitely generated non-free group with all proper subgroups free

Is there any example of group $G$ satisfying the following properties?
$G$ is non-abelian, infinitely generated (i.e. it is not finitely generated) and not a free group.
$H< G$ implies that $H$ is ...

**19**

votes

**0**answers

312 views

### Is there a classification of reflection groups over division rings?

I asked a version of this question in Math StackExchange about a week ago but I've received no feedback so far, so following the advice I received on meta I decided to post it here.
Details
The ...

**18**

votes

**0**answers

1k views

### What is the strongest nerve lemma?

The most basic nerve lemma can be found as Corollary 4G.3 in Hatcher's Algebraic Topology:
If $\mathcal U$ is an open cover of a paracompact space $X$ such that every nonempty intersection of ...

**18**

votes

**0**answers

565 views

### If $A, B$ are abelian groups such that $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ for all abelian groups $G$, must $A$ and $B$ be isomorphic?

The question is in the title. If the isomorphism $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ is natural in $G$ then this is just the Yoneda Lemma. If $A$ and $B$ are finitely generated this is also ...

**18**

votes

**0**answers

568 views

### How is this group theoretic construct called?

Let $G$ be a finite group, $S\subset G$ a generating set, $|g| = |g|_S = $ word length with respect to $S$. Define the "defect" of $g,h$ to be
$$\psi(g,h) = |g|+|h|-|gh|$$
Then $\psi:G\times G \...

**18**

votes

**0**answers

405 views

### What is the centralizer of a Coxeter element?

Let $(W,S)$ be a Coxeter system (of finite rank) and $c \in W$ a Coxeter element.
If $W$ is finite, then the centralizer $C_W(c)$ is the cyclic group generated by $c$ (e.g. see the book "Reflection ...

**18**

votes

**0**answers

2k views

### $G$ a group, with $p$ a prime number, and $|G|=2^p-1$, is it abelian?

During my research I came across this question, I proposed it in the chat, but nobody could find a counterexample, so I allow myself to ask you :
$G$ a group, with $p$ a prime number, and $|G|=2^p-1$, ...

**18**

votes

**0**answers

644 views

### In what sense is the braid group $B_3$ the universal central extension of the modular group $\Gamma$?

First let's recall some definitions. Let $G$ be a perfect group, so that
$$H^2(G, A) \cong \text{Hom}(H_2(G), A)$$
for all abelian groups $A$ by universal coefficients. This means that when $A = ...

**18**

votes

**0**answers

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

**18**

votes

**0**answers

476 views

### Applications of the surjectivity of Brauer's decomposition map over arbitrary fields?

Recently I've been going over some of Serre's reformulation of Brauer theory with a student, following the influential treatment in Part III of Serre's lectures (revised 1971 French edition) later ...

**17**

votes

**0**answers

611 views

### Monstrous Langlands-McKay or what is bijection between conjugacy classes and irreducible representation for sporadic simple groups?

Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group. Moreover for the symmetric group and some other groups there is "good ...

**17**

votes

**0**answers

511 views

### Question about combinatorics on words

Let $\{a_1,a_2,...,a_n\}$ be an alphabet and let $\{u_1,...,u_n\}$ be words in this alphabet, and $a_i\mapsto u_i$ be a substitution $\phi$.
Question: Is there an algorithm to check if for some $m,k$...

**17**

votes

**0**answers

659 views

### How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...

**17**

votes

**0**answers

774 views

### What's the big deal about $M_{13}$?

$M_{13}$ is the Mathieu groupoid defined by Conway in
Conway, J. H. $M_{13}$. Surveys in combinatorics, 1997 (London), 1–11,
London Math. Soc. Lecture Note Ser., 241, Cambridge Univ. Press, ...

**17**

votes

**0**answers

465 views

### Maximum automorphism group for a 3-connected cubic graph

The following arose as a side issue in a project on graph reconstruction.
Problem: Let $a(n)$ be the greatest order of the automorphism group of a 3-connected cubic graph with $n$ vertices. Find a ...

**17**

votes

**0**answers

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

**17**

votes

**0**answers

1k views

### What can be said about Schur indices, given only the character table?

Let $\chi$ be an irreducible (complex) character of a finite group, $G$. The Schur index $m_{K}(\chi)$ of $\chi$ over the field $K$ is the smallest positive integer $m$ such that $m\chi$ is afforded ...

**17**

votes

**0**answers

770 views

### Quotients of residually finite groups by amenable normal subgroups

My questions are:
Is there any group, which cannot be written as the quotient of a residually finite group by an amenable normal subgroup? Is it possible for large classes of groups?
and
Is ...

**16**

votes

**0**answers

182 views

### Is there a simple group that is torsion-free, type $\textrm{F}_\infty$, and infinite dimensional?

Does there exist an example of a group that is:
Simple,
Torsion-free,
Of type $\textrm{F}_\infty$, and
Infinite dimensional (meaning of infinite cohomological dimension)?
Thompson's group $F$ has ...

**16**

votes

**0**answers

550 views

### The Octahedral Axiom in group theory

$\require{AMScd}$Here are two results about groups:
(The third isomorphism theorem) Suppose that I have $A \triangleleft B \triangleleft C$ and $A \triangleleft C$. Then $C/B \cong (C/A)/(B/A)$. ...

**16**

votes

**0**answers

298 views

### Finitely generated groups with Hölder-exotic space of ends?

The space of ends of a finitely generated group is always homeomorphic to 0, 1, 2 points, or a Cantor set, and in which of these 4 cases it falls is governed by Stallings' characterization (wikipedia ...

**16**

votes

**0**answers

342 views

### Representation categories and homology

Let $G$ be a finite group.
Let $\mathcal{C}=Rep-G$ be the rigid $\mathbb{C}$-linear symmetric monoidal category of finite dimensional complex representations of $G$.
Can we recover some homological ...

**15**

votes

**0**answers

613 views

### Continuous cohomology of a profinite group is not a delta functor

Let $G$ be a profinite group, then there is a general notion of continuous cohomology groups $H^n_{\text{cont}}(G, M)$ for any topological $G$-module $M$ (I require topological $G$-modules to be ...

**15**

votes

**0**answers

288 views

### What property do small primes have that prevent the existence of a Tarski monster?

For an odd prime $p$, a Tarski monster group is an infinite group $G$ such that every proper, non-trivial subgroup $H < G$ is a cyclic group of order $p$. It is known that for every prime $p > ...

**15**

votes

**0**answers

173 views

### Quantitative form of Wielandt's theorem

The following theorem was proved in [Helmut Wielandt. Eine Verallgemeinerung der invarianten Untergruppen. Mathematische Zeitschrift 45 (1939): 209-244.] a long time ago:
Theorem: (Wielandt) There ...

**15**

votes

**0**answers

494 views

### Is every normal subgroup of $SL_2(\mathbb{Z}/n)$ also normal inside $GL_2(\mathbb{Z}/n)$?

Is every normal subgroup of $SL_2(\mathbb{Z}/n)$ also normal inside $GL_2(\mathbb{Z}/n)$?
Of course, it suffices to ask the question when $n = p^m$ a prime power. In Classification of the Normal ...

**15**

votes

**0**answers

705 views

### Is this "Homology" useful to study?

In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$.
Now we can ...

**15**

votes

**0**answers

981 views

### How many sporadic simple groups are there, really?

I attended a talk by John Conway recently where he explained to us that the usual number, 26, was wrong, that there are in fact 27 sporadic simple groups. His reason was that the Tits group, which is ...