4
votes
0answers
353 views

Are there workable algebraic geometry approaches for the pentagon equation?

A pentagon equation is a system of polynomial equations of degree $3$ with several variables and integer coefficients, given by a fusion ring. A fusion ring is given by a finite set of integer ...
1
vote
1answer
157 views

Existence of homogeneous single chain compositions of a given maximal subfactor?

All the subfactors here are irreducible inclusion of hyperfinite II$_1$ factors. A subfactor $(N \subset M)$ is Homogeneous Single Chain ($HSC$) if its lattice of intermediate subfactors is a ...
2
votes
0answers
220 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 ...
2
votes
1answer
326 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 ...
3
votes
1answer
196 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 ...
0
votes
0answers
121 views

Is the direct product of distributive inclusions of groups, modular?

Let $H$ a subgroup of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups ($\mathcal{L}( G)$ if $H= \{ e \}$). Definitions: A lattice $(L, \wedge, \vee)$ is : - Distributive if ...
0
votes
2answers
125 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
0answers
170 views

Existence of inclusions of finite groups with a particular lattice property

Definition : Let $\sim$ be the equivalence relation on inclusions of finite groups, generated by : $(H \subset G) \sim (\phi(H) \subset \phi(G))$, with $ \phi: G \to L$ a finite group morphism and ...
2
votes
1answer
192 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 ...
11
votes
3answers
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 ...
9
votes
1answer
321 views

Do subgroups have “two sided bases”?

Let $H\leq G$ be an inclusion of finite groups. Define a map $E\colon \mathbb{C}[G]\to \mathbb{C}[H]$ to be the $\mathbb{C}$-linear extension of $$ E(g)=\begin{cases} g &\text{if } g\in H\\\ 0 ...