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

**113**

votes

**7**answers

8k views

### Does $\mathrm{Aut}(\mathrm{Aut}(…\mathrm{Aut}(G)…))$ stabilize?

Purely for fun, I was playing around with iteratively applying $\DeclareMathOperator{\Aut}{Aut}\Aut$ to a group $G$; that is, studying groups of the form
$$ {\Aut}^n(G):= \Aut(\Aut(...\Aut(G)...)) $$
...

**104**

votes

**28**answers

28k views

### Cool problems to impress students with group theory [closed]

Since this forum is densely populated with algebraists, I think I'll ask it here.
I'm teaching intermediate level algebra this semester and I'd like to entertain my students with some clever ...

**70**

votes

**3**answers

7k views

### Does every non-empty set admit a group structure (in ZF)?

It is easy to see that in ZFC, any non-empty set $S$ admits a group structure: for finite $S$ identify $S$ with a cyclic group, and for infinite $S$, the set of finite subsets of $S$ with the binary ...

**63**

votes

**2**answers

2k views

### How feasible is it to prove Kazhdan's property (T) by a computer?

Recently, I have proved that Kazhdan's property (T) is theoretically provable
by computers (arXiv:1312.5431,
explained below), but I'm quite lame with computers and have
no idea what they actually ...

**58**

votes

**1**answer

3k views

### Nontrivial finite group with trivial group homologies?

I stumbled across this question in a seminar-paper a long time ago:
Does there exist a positive integer $N$ such that if $G$ is a finite group with $\bigoplus_{i=1}^NH_i(G)=0$ then $G=\lbrace ...

**57**

votes

**10**answers

5k views

### Why do Groups and Abelian Groups feel so different?

Groups are naturally "the symmetries of an object". To me, the group axioms are just a way of codifying what the symmetries of an object can be so we can study it abstractly.
However, this heuristic ...

**56**

votes

**3**answers

6k views

### Can a group be a universal Turing machine?

This question was inspired by this blog post of Jordan Ellenberg.
Define a "computable group" to be an at most countable group $G$ whose elements can be represented by finite binary strings, with the ...

**55**

votes

**1**answer

3k views

### Non-amenable groups with arbitrarily large Tarski number?

Just out of curiosity, I wonder whether there are non-amenable groups with arbitrarily large Tarski numbers. The Tarski number $\tau(G)$ of a discrete group $G$ is the smallest $n$ such that $G$ ...

**53**

votes

**3**answers

2k views

### How do I verify the Coq proof of Feit-Thompson?

I probably don't have the appropriate background to even ask this question. I know next to nothing about formal or computer-aided proof, and very little even about group theory. And this question is ...

**52**

votes

**6**answers

10k views

### Is Thompson's Group F amenable?

Last year a paper on the arXiv (Akhmedov) claimed that Thompson's group $F$ is not amenable, while another paper, published in the journal "Infinite dimensional analysis, quantum probability, and ...

**52**

votes

**4**answers

2k views

### Is there a 0-1 law for the theory of groups?

Several months ago, Dominik asked the question Is there a 0-1 law for the theory of groups? on mathstackexchange, but although his question received attention there is still no answer. By asking the ...

**52**

votes

**2**answers

2k views

### How many relations of length $n$ can exists in a group without enforcing shorter relations?

Let $G$ be a group with two generators. Suppose that all non-trivial words of length less or equal $n$ in the generators and their inverses define non-trivial elements in $G$.
Question: How many ...

**51**

votes

**2**answers

4k views

### The inverse Galois problem and the Monster

I have a slight interest in both the inverse Galois problem and in the Monster group. I learned some time ago that all of the sporadic simple groups, with the exception of the Mathieu group $M_{23}$, ...

**50**

votes

**16**answers

5k views

### Solving algebraic problems with topology

Often, topologists reduce a problem which is - in some sense - of geometric nature, into an algebraic question that is then (partiallly) solved to give back some understanding of the original problem.
...

**50**

votes

**4**answers

2k views

### Is S_6 the automorphism group of a group?

The automorphism group of the symmetric group $S_n$ is $S_n$ when $n$ is not $2$ or $6$, in which cases it is respectively $1$ and the semidirect product of $S_6$ with the (cyclic) group of order $2$. ...

**49**

votes

**1**answer

3k views

### Why can't a nonabelian group be 75% abelian?

This question asks for intuition, not a proof.
An earlier question,
Measures of non-abelian-ness
was thoroughly answered by Arturo Magidin.
A paper by Gustafson1
proves that, for a nonabelian group,
...

**48**

votes

**4**answers

3k views

### when is A isomorphic to A^3?

this is totally elementary, but I have no idea how to solve it: let $A$ be an abelian group such that $A$ is isomorphic to $A^3$. is then $A$ isomorphic to $A^2$? probably no, but how construct a ...

**48**

votes

**9**answers

4k views

### What are “classical groups”?

Unlike many other terms in mathematics which have a universally understood meaning (for instance, "group"), the term classical group seems to have a fuzzier definition. Apparently it originates with ...

**47**

votes

**5**answers

2k views

### Do unit quaternions at vertices of a regular 4-simplex, one being 1, generate a free group?

Choose unit quaternions $q_0, q_1, q_2, q_3, q_4$ that form the vertices of a regular 4-simplex in the quaternions. Assume $q_0 = 1$. Let the other four generate a group via quaternion ...

**45**

votes

**3**answers

2k views

### Groups that do not exist

In the long process that resulted in the classification of finite simple groups, some of the exceptional groups were only shown to exist after people had computed (most of) their character tables and ...

**44**

votes

**4**answers

1k views

### Can we ascertain that there exist an epimorphism $G\rightarrow H?$

Let $G,H$ be finite groups. Suppose we have a epimorphism $G\times G\rightarrow H\times H$. Can we find an epimorphism $G\rightarrow H$?
A fellow graduate student asked me this question during TA ...

**44**

votes

**2**answers

2k views

### a categorical Nakayama lemma?

There are the following Nakayama style lemmata:
(the classical Nakayama lemma) Let $R$ be a commutative ring with $1$ and $M$ a finitely generated $R$-module. If $m_1, \ldots, m_n$ generate $M$ ...

**44**

votes

**2**answers

3k views

### Collapsible group words

What is the length $f(n)$ of the shortest nontrivial group word $w_n$ in $x_1,\ldots,x_n$ that collapses to $1$ when we substitute $x_i=1$ for any $i$?
For example, $f(2)=4$, with the commutator ...

**42**

votes

**1**answer

5k views

### Order of an automorphism of a finite group

Let G be a finite group of order n. Must every automorphism of G have order less than n?
(David Speyer: I got this question from you long ago, but I don't know whether you knew the answer. I stil ...

**41**

votes

**5**answers

4k views

### Which graphs are Cayley graphs?

Every group presentation determines the corresponding Cayley graph, which has a node for each group element, and arrows labeled with the generators to get from one group element to another.
My main ...

**40**

votes

**3**answers

3k views

### 5/8 bound in group theory

The odds of two random elements of a group commuting is the number of conjugacy classes of the group
$$ \frac{ \{ (g,h): ghg^{-1}h^{-1} = 1 \} }{ |G|^2} = \frac{c(G)}{|G|}$$
If this number exceeds ...

**40**

votes

**1**answer

1k views

### Transitivity on $\mathbb{N}_0$ — a 42 problem

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

**39**

votes

**8**answers

4k views

### 1 rectangle <= 4 squares

Almost 25 years ago a professor at Indiana U showed me the following problem:
given a map $\mathbb{Z}^2\rightarrow\mathbb{R}$ such that the sum inside every square (parallel to the axes) is $\leq1$ ...

**39**

votes

**5**answers

3k views

### Why are abelian groups amenable?

A (discrete) group is amenable if it admits a finitely additive probability measure (on all its subsets), invariant under left translation. It is a basic fact that every abelian group is amenable. ...

**38**

votes

**7**answers

6k views

### Is there a slick proof of the classification of finitely generated abelian groups?

One the proofs that I've never felt very happy with is the classification of finitely generated abelian groups (which says an abelian group is basically uniquely the sum of cyclic groups of orders ...

**38**

votes

**4**answers

1k views

### On sentences true in all finite groups

Let $w$ be a group word with two variables $x$ and $y$.
Is the sentence $(\forall x)(\exists y)w=1$
true in every group if it is true
in every finite group?
The same question about the sentence ...

**38**

votes

**2**answers

1k views

### Isomorphic general linear groups implies isomorphic fields?

Suppose $n > 1$ is a natural number. Suppose $K$ and $L$ are fields such that the general linear groups of degree $n$ over them are isomorphic, i.e., $GL(n,K) \cong GL(n,L)$ as groups. Is it ...

**37**

votes

**6**answers

3k views

### Does homeomorphic and isomorphic always imply homeomorphically isomorphic?

Let $(G,\cdot,T)$ and $(H,\star,S)$ be topological groups such that
$(G,T)$ is homeomorphic to $(H,S)$ and $(G,\cdot)$ is isomorphic to $(H,\star)$.
Does it follow that $(G,\cdot,T)$ and ...

**37**

votes

**3**answers

1k views

### Transpositions of order three

Allow me to take advantage of your collective scholarliness...
The symmetric group $\mathbb S_n$ can be presented, as we all know, as the group freely generated by letters ...

**37**

votes

**2**answers

1k views

### Is there an odd-order group whose order is the sum of the orders of the proper normal subgroups?

For a finite group G, let |G| denote the order of G and write $D(G) = \sum_{N \triangleleft G} |N|$, the sum of the orders of the normal subgroups. I would like to call G "perfect" if D(G) = 2|G|, ...

**37**

votes

**1**answer

3k views

### What is the current status of the Kaplansky zero-divisor conjecture for group rings?

Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group.
A couple of good ...

**35**

votes

**5**answers

3k views

### Why are the sporadic simple groups HUGE?

I'm merely a grad student right now, but I don't think an exploration of the sporadic groups is standard fare for graduate algebra, so I'd like to ask the experts on MO. I did a little reading on them ...

**35**

votes

**0**answers

2k views

### Normalizers in symmetric groups

Question: Let $G$ be a finite group. Is it true that there is a subgroup $U$ inside some symmetric group $S_n$, such that $N(U)/U$ is isomorphic to $G$? Here $N(U)$ is the normalizer of $U$ in $S_n$.
...

**34**

votes

**4**answers

3k views

### Can the symmetric groups on sets of different cardinalities be isomorphic?

For any set X, let SX be the symmetric group on
X, the group of permutations of X.
My question is: Can there be two nonempty sets X and Y with
different cardinalities, but for which SX is
isomorphic ...

**34**

votes

**2**answers

1k views

### What algebraic group does Tannaka-Krein reconstruct when fed the category of modules of a non-algebraic Lie algebra?

Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$, and let $\mathfrak g \text{-rep}$ be its category of finite-dimensional modules. Then $\mathfrak g\text{-rep}$ comes equipped ...

**33**

votes

**7**answers

2k views

### Lie group examples

I'm looking for interesting applications of Lie groups for an introductory Lie groups graduate course. In particular I'd like to hear of non-standard examples that at first sight do not seem to be ...

**33**

votes

**2**answers

2k views

### How much of character theory can be done without Schur's lemma or the Artin-Wedderburn theorem?

This is a somewhat imprecise question, as I am not sure how exactly how to formalise how to do mathematics "without" a certain key tool, but hopefully the intent of the question will still be clear.
...

**33**

votes

**2**answers

1k views

### Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?

According the the Wikipedia page, the second generation proof is up to at least nine volumes: six by Gorenstein, Lyons and Solomon dated 1994-2005, two covering the quasithin business by Aschbacher ...

**33**

votes

**1**answer

2k views

### Infinitely many solutions of a diophantine equation

If $P(x,y,...,z)$ is a polynomial with integer coefficients then every integer solution of $P=0$ corresponds to a homomorphism from $\mathbb{Z}[x,y,...,z]/(P)$ to $\mathbb{Z}$. So there are infinitely ...

**33**

votes

**1**answer

1k views

### Order-increasing bijection from arbitrary groups to cyclic groups

In his answer to this previous MO question, Gjergji Zaimi referred to the statement that for every finite group $G$ of order $n$, there is a bijection $\sigma \colon G \to \mathbb{Z}/n\mathbb{Z}$ ...

**32**

votes

**2**answers

1k views

### Size of the smallest group not satisfying an identity.

Given $F = F(x_0,\ldots,x_n)$ the free group on $n+1$ generators. Define a function $M: F\rightarrow \mathbb{N}$ such that $F(w) = l$, if the smallest group in which $w$ is not an identity is of size ...

**32**

votes

**1**answer

951 views

### Does a finite simple group of order divisible by $60$ have $A_{5}$ as a subgroup?

The title says it all really. I know that in some "small" simple groups such as ${\rm PSL}(2,p)$ it is known that if the order is divisible by $60,$ then $A_{5}$ does occur as a subgroup ( this is ...

**32**

votes

**7**answers

3k views

### Does $SL_3(R)$ embed in $SL_2(R)$?

Is there any non-trivial ring such that $SL_{3}(R)$ is isomorphic to a subgroup of $SL_{2}(R)$?
$SL_{3}(\mathbb{Z})$ is not an amalgam, and has the wrong number of order $2$ elements to be a subgroup ...

**32**

votes

**3**answers

660 views

### Word evaluating to a group element and its inverse with different frequency

I'm supervising an undergraduate research project. Among other things, I've got the student to look at this paper of Gene Kopp and John Wiltshire-Gordon. This question arose from a missing complex ...

**32**

votes

**0**answers

859 views

### $A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$

Are there abelian groups $A$ with $A \cong A \oplus \mathbb{Z}^2$ and $A \not\cong A \oplus \mathbb{Z}$?