Linked Questions
10 questions linked to/from Jordan-Hölder theorem for subfactors?
12
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 R^{H_{1}}...
16
votes
1
answer
2k
views
The cyclic subfactors theory: a quantum arithmetic?
Context: First recall some results:
Actions of finite groups on the hyperfinite type $II_{1}$ factor $R$ (Jones 1980).
A Galois correspondence for depth 2 irreducible subfactors (Izumi-Longo-Popa ...
5
votes
1
answer
680
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 \subset ...
4
votes
1
answer
697
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 ...
3
votes
1
answer
588
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 ...
4
votes
2
answers
537
views
The category of subfactors extending the category of groups?
This post was inspired by this answer of Dave Penneys.
In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...
5
votes
1
answer
258
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 ...
0
votes
2
answers
197
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 ...
5
votes
0
answers
305
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 ...
1
vote
0
answers
306
views
Is a finite depth-index irreducible subfactor, intermediate of a depth ≤ 3 one?
Let $(N \subset M)$ be a finite depth-index irreducible subfactor.
Main question: Is $(N \subset M)$ the intermediate of a finite index depth $\le 3$ irreducible subfactor?
(In others words, is ...