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

**4**

votes

**3**answers

422 views

### Jordan-Hölder theorem for subfactors?

All the subfactors $(N\subset M)$ are irreducible and finite index inclusions of II$_1$ factors.
First recall that in this paper, D. Bisch characterizes the Jones projections $e_K$ of the ...

**11**

votes

**3**answers

1k views

### Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors:
Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...

**104**

votes

**7**answers

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

**16**

votes

**1**answer

688 views

### Examples of finite groups with “good” bijection(s) between conjugacy classes and irreducible representations?

For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...

**2**

votes

**1**answer

421 views

### Abelian subfactors, a relevant concept?

Through the questions below, this post asks whether the concept of abelian subfactor is relevant.
Remark : here abelian qualifies an inclusion of II$_1$ factors $(N \subset M)$, $N$ is not an abelian ...

**0**

votes

**2**answers

138 views

### Products of maximal inclusions of finite groups with a non-obvious intermediate

Let $(H_1 \subset G_1)$ and $(H_2 \subset G_2)$ be core-free maximal inclusions of finite groups.
Their product, the inclusion $(H_1 \times H_2 \subset G_1 \times G_2)$, admits four obvious ...

**2**

votes

**0**answers

239 views

### Are the homogeneous single chain subfactors, Dedekind?

Background: See here and there.
Recall that a subfactor is Dedekind if all its intermediate subfactors are normal.
A subfactor $(N \subset M)$ is Homogeneous Single Chain (HSC) if its lattice ...

**35**

votes

**1**answer

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

**39**

votes

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

**13**

votes

**2**answers

823 views

### Orbit structures of conjugacy class set and irreducible representation set under automorphism group

let G be a [EDIT: FINITE] group. Suppose C is the set of conjugacy classes of G and R is the set of (equivalence classes of) irreducible representations of G over the complex numbers.
The ...

**7**

votes

**1**answer

633 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**7**

votes

**2**answers

516 views

### Number of isomorphism types of finite groups

Are there some good asymptotic estimations for the number $F(n)$ of non-isomorphic finite groups of size smaller than $n$?

**9**

votes

**1**answer

337 views

### Factorization of a finite group by two subsets

I want to write a GAP program for checking the following question.
Let $G$ be a given finite group with order $n$. Is it true that for every factorization $n=ab$ there exist subsets $A$ and $B$ ...

**3**

votes

**1**answer

209 views

### Normal intermediate subgroup and normal core

Let $G$ be a finite group and $H$ a subgroup.
The normal core of $H$ in $G$ is $core_G(H) := \bigcap_{g \in G}g^{-1}Hg$
Definition: $K$ is a normal intermediate subgroup of the inclusion $(H ...

**3**

votes

**3**answers

187 views

### Relatively free algebras in a variety generated by a single algebra

Suppose $A$ is an algebra of signature $\mathcal{L}$ and $V=Var(A)$ is the variety generated by $A$. I want to know is it possible to classify relatively free elements of $V$? As a special case, for a ...

**2**

votes

**1**answer

347 views

### A second isomorphism theorem for the inclusions of groups

The usual second isomorphism theorem for groups is: let $G$ be a group, $S$ and $N$ subgroups with $N$ normal, then $SN$ is a subgroup of $G$, $S\cap N$ is a normal subgroup of $S$ and $SN/N \simeq ...

**57**

votes

**3**answers

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

**22**

votes

**7**answers

4k views

### The finite subgroups of SU(n)

This question is inspired by the recent question "The finite subgroups of SL(2,C)". While reading the answers there I remembered reading once that identifying the finite subgroups of SU(3) is still an ...

**62**

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

**28**

votes

**14**answers

3k views

### Fantastic properties of Z/2Z

Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...

**27**

votes

**4**answers

2k views

### For which $n$ is there only one group of order $n$?

Let $f(n)$ denote the number of (isomorphism classes of) groups of order $n$. A couple easy facts:
If $n$ is not squarefree, then there are multiple abelian groups of order $n$.
If $n \geq 4$ is ...

**19**

votes

**1**answer

1k views

### Order of products of elements in symmetric groups

Let $n \in \mathbb{N}$. Is it true that for any $a, b, c \in \mathbb{N}$ satisfying
$1 < a, b, c \leq n-2$ the symmetric group ${\rm S}_n$ has elements of order $a$ and $b$
whose product has order ...

**14**

votes

**5**answers

1k views

### A general formula for the number of conjugacy classes of $\mathbb{S}_n \times \mathbb{S}_n$ acted on by $ \mathbb{S}_n$

$\def\S{\mathbb{S}}$ Dear all,
So I have $\S_n$ acting on $\S_n \times \S_n$ via conjugacy. That is:
for $g \in \S_n, (x,y) \in \S_n \times \S_n$: $g(x,y) = (gxg^{-1},gyg^{-1}).$
Is there a general ...

**10**

votes

**5**answers

3k views

### infinite permutations

This question is related to this one: Continued fractions using all natural integers. Suppose we have the set of natural numbers $N$ with order and we perform permutation on it. So we obtain the same ...

**12**

votes

**3**answers

874 views

### Is there any criteria for whether the automorphism group of G is homomorphic to G itself?

In the elementary group theory we know that for the symmetric groups $S_n$, except $S_6$, we have $Aut(S_n) \cong S_n$. Then the following question is natural:
What is the necessary and sufficient ...

**10**

votes

**3**answers

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

**8**

votes

**5**answers

2k views

### What are the normal subgroups of a direct product?

Let $N$ be a normal subgroup of $G \times H$, and let $\pi_1: G \times H \to G$ and $\pi_2: G \times H \to H$ be the canonical projections. Then $\pi_1(N)$ is normal in $G$ and $\pi_2(N)$ is normal in ...

**17**

votes

**8**answers

1k views

### Finitely presented sub-groups of GL(n,C)

Here are two questions about finitely generated and finitely presented groups (FP):
1) Is there an example of an FP group that does not admit a homomorphism to $GL(n,C)$ with trivial kernel for any ...

**16**

votes

**3**answers

1k views

### Does subgroup structure of a finite group characterize isomorphism type?

Question
Suppose there is a bijection between the underlying sets of two finite groups $G, H$, such that every subgroup of $G$ corresponds to a subgroup of $H$, and that every subgroup of $H$ ...

**11**

votes

**0**answers

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

**14**

votes

**1**answer

627 views

### Number of conjugacy classes in GL(n,Z)

Like every other group also $\mbox{GL}(n,\mathbb{Z})$ acts on the set of all its subgroups, by conjugation: if $\phi \in \mbox{GL}(n,\mathbb{Z})$, then $\phi$ acts by $H \mapsto \phi H \phi^{-1}$, ...

**11**

votes

**2**answers

417 views

### Checking whether given binary operation is a group operation

Given a binary function $f: [1..n] \times [1..n] \to [1..n]$ how to check that this operation is a group operation on $[1..n]$?
It's obvious that this can be done in $O(n^3)$ time just by checking ...

**10**

votes

**1**answer

311 views

### Extensions isomorphic as groups but not congruent or pseudo-congruent

I'm looking for an example of a finite abelian group A and a finite group G acting trivially on A such that there are two extensions $E_1$ and $E_2$ with base A and quotient G (i.e., they are both ...

**6**

votes

**2**answers

766 views

### If $G \times G \cong H \times H$, then is $G \cong H$? [duplicate]

Let $G,H$ groups. Suppose that $G \times G \cong H \times H$. Then is necessarily $G \cong H$?
I know that if $G,H$ are finite groups then it is true (you show that the map $FinGrp \rightarrow ...

**5**

votes

**3**answers

162 views

### bounding from below the cardinality of a set of generators of the $n$-fold cartesian product group of a finite group

Let $G$ be a non-trivial finite group. Let $n\in\mathbf{Z}_{\geq 1}$ and let $G^n$ be the $n$-fold cartesian group product of $G$. Let $S\subseteq G^n$ be a generating set of $G^n$.
Q: Is $|S|\geq ...

**4**

votes

**2**answers

547 views

### Decomposing representations of finite groups

Let $G$ be a finite group, $p$ a prime number. We denote by $\mathbb{F}_p$ the field of cardinality $p$. Let $V$ be an infinite dimensional representation of $G$ over $\mathbb{F}_p$.
Must there be ...

**6**

votes

**2**answers

1k views

### Zero divisor conjecture and idempotent conjecture

Let $G$ be a torsion-free group and $C$ the ring of complex numbers. The zero divisor (idempotent, resp.) conjecture is that there is no nontrivial zerodivisor (idempotent, resp.) in $CG$.
The wiki ...

**5**

votes

**1**answer

187 views

### Jordan-Hölder theorem for planar algebras?

First recall the Jordan-Hölder theorem for groups:
Theorem (Jordan-Hölder): Let $G$ be a group, and let $$ G=G_1 \supset G_2 \supset \dots \supset G_r = \{ e \} $$ be a normal tower such that ...

**5**

votes

**2**answers

348 views

### Decomposing the conjugacy representation of Sym$(n)$ for small $n$

I am trying to compute the decomposition of the conjugacy representation of some small symmetric groups. Perhaps someone has undertaken a similar calculation.
My own calculations are quite slow, ...

**4**

votes

**4**answers

525 views

### Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation.
Question 1: what is known about this representation ...

**4**

votes

**2**answers

429 views

### Chevalley Groups over an arbitrary ring.

My question is simply about the Chevalley groups over rings. In many books, including Carter's book on "Simple groups of Lie types", the groups are considered over fields. I have checked the ...

**2**

votes

**1**answer

198 views

### An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups.
I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone.
A subgroup $H \subset G$ is ...

**6**

votes

**1**answer

246 views

### Reference for embeddings of reflection groups (related to folding ADE Coxeter graphs?

There are a couple of indirect methods, using Lie theory or Springer's general theory of regular elements in (real, complex) reflection groups, to construct natural embeddings among certain Weyl ...

**4**

votes

**2**answers

261 views

### Schreier's index formula

A finitely generated group G is said to satisfy Schreier's index formula if for every subgroup H of index k in G we have: d(H) - 1 = k(d(G) - 1). For example, a finitely generated free group satisfies ...

**2**

votes

**1**answer

286 views

### Automorphism groups of indefinite non-unimodular integer lattices

Does anyone know of any papers in which structural aspects of the orthogonal group of some indefinite non-unimodular integral lattice are calculated? The exact lattice isn't so important and they ...

**1**

vote

**0**answers

169 views

### $\mathcal{L}(H_i \subset G_i)$ distributive $\Rightarrow$ $\mathcal{L}(H_1 \times H_2 \subset G_1 \times G_2)$ modular?

Let $\mathcal{L}( G)$ be the lattice of subgroups of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups.
Definitions: A lattice $(L, \wedge, \vee)$ is distributive if, ...

**1**

vote

**2**answers

306 views

### A basic question about rings

Perhaps this is a trivial question, but I have no idea how to justify it.
Call a pair of groups $(G_1, G_2)$ ring-compatible if $G_1$ is abelian and there exists a ring $R$ with addition and ...

**0**

votes

**1**answer

151 views

### relatively free groups in $Var(S_3)$

Suppose $S_3$ is the symmetric group of order 6. Which elements of the variety $Var(S_3)$ are relatively free?
This question is related to my previous question
Relatively free algebras in a variety ...

**-1**

votes

**1**answer

102 views

### Relation of the order of elements in a metabelian group [closed]

Let $n$ be an integer, $n>1$, $n=p_1^{a_1}...p_t^{a_t}$. I define $f(n)=a_1+...+a_t$.
Let be $G$ a finite group and I define $f(G)=max(f(|g|):g\in G)$.
I have to prove that if $G$ is a ...

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