**Context**: First recall some results:


* Actions of finite groups on the hyperfinite type $II\_{1}$ factor $R$ ([Jones 1980](https://www.ams.org/books/memo/0237/)).
* A Galois correspondence for depth 2 irreducible subfactors ([Izumi-Longo-Popa 1998](https://www.sciencedirect.com/science/article/pii/S0022123697932286)).
* A finite group is cyclic if and only if its subgroups lattice is distributive ([Ore 1938](https://projecteuclid.org/journals/duke-mathematical-journal/volume-4/issue-2/Structures-and-group-theory-II/10.1215/S0012-7094-38-00419-3.short)).
* Any irreducible subfactor of finite index has only finitely many intermediate subfactors ([Watatani 1993](https://link.springer.com/chapter/10.1007/978-94-017-2823-2_26)).


It's then natural to give the following **definition** :  

A **cyclic subfactor** is a subfactor admitting a distributive intermediate subfactors lattice.


**Examples** :


* Let $G$ be a finite group. By Jones, there is a unique irreducible subfactor $(R^{G} \subset R)$, and by the Galois correspondence, its intermediate subfactors lattice is given by the subgroups lattice of $G$. Conclusion, by Ore, $(R^{G} \subset R)$ is cyclic if and only if $G$ is a cyclic group : $\mathbb{Z}\_{n}$ with $n\in \mathbb{N}$.
* Every maximal subfactor (i.e. no non-trivial intermediate subfactors) is cyclic. The $2$-supertransitive subfactors are maximal : for example, the Haagerup subfactor (for more examples see [here](https://mathoverflow.net/questions/133651/is-there-a-maximal-finite-depth-infinite-index-irreducible-subfactor)).
* Every irreducible depth $2$ subfactor is of the form $(R^{\mathbb{A}} \subset R)$ with $\mathbb{A}$ a Kac algebra (for ex. $\mathbb{C}G$). By Galois correspondence, the lattice for $(R^{\mathbb{A}} \subset R)$ is given by the left coideal subalgebras of $\mathbb{A}$. It's unknown, whether or not, an irreducible depth $2$ cyclic subfactor is always trivial (i.e. the first example, with $\mathbb{A} = \mathbb{C}\mathbb{Z}\_{n}$). There are attempts of counter-examples (see [link1](https://mathoverflow.net/questions/132866/non-weakly-group-theoretical-integral-fusion-category), [link2](https://mathoverflow.net/questions/141812/existence-of-a-kac-algebra-for-a-given-fusion-ring-in-a-particular-class) and [link3](https://mathoverflow.net/questions/141955/an-embedding-theorem-for-a-fusion-ring-planar-algebra)).


**Motivation**: Thanks to the first example, I perceive the cyclic subfactors as a quantum generalization of the natural numbers. Here is a slogan promoting the idea that they are central in the subfactor theory :  

*The prime numbers are to the natural numbers what the maximal subfactors are to the cyclic subfactors,  

and the cyclic groups are to the groups what the cyclic subfactors are to the subfactors.*


**Questions**: Here are some questions asking if it's a good "quantum arithmetic" :  

(The subfactors are supposed to be finite index and **irreducible**)


**1.** As well as an integer $n$ decomposes uniquely (up to permutation) into a product of prime numbers: $n = \prod p\_{i}^{r\_{i}}$, a cyclic subfactor $N \subset M$ decomposes uniquely (up to permutation and isomorphism) into a chain of maximal intermediate subfactors $N = P\_{1} \subset P\_{2} \subset ... \subset P\_{r} \subset M$ ?


**2.** Any intermediate subfactor of a cyclic subfactor is cyclic ? (obvious)


**3.** Two cyclic subfactors of max. depth m compose into *at most* n+1 cyclic subfactors of depth m+n ?


**4.** How generalize the multiplication and the addition of $\mathbb{N}$ onto the cyclic subfactors ? (hard)




---


**Clarification of question 1**


Let $N \subset M$ be a cyclic subfactor. Let two chains of maximal intermediate subfactors
$$N = P\_{1} \subset P\_{2} \subset ... \subset P\_{r} \subset P\_{r+1} = M $$ $$N = Q\_{1} \subset Q\_{2} \subset ... \subset Q\_{s} \subset Q\_{s+1} = M $$ then $r=s$ and $\exists \sigma \in S\_{r}$ such that $(P\_i \subset P\_{i+1}) \simeq (Q\_{\sigma(i)} \subset Q\_{\sigma(i)+1})$ **?**


More, $\forall \sigma \in S\_{r}$, $\exists (R\_i)$ such that $(P\_i \subset P\_{i+1}) \simeq (R\_{\sigma(i)} \subset R\_{\sigma(i)+1})$ and
$$N = R\_{1} \subset R\_{2} \subset ... \subset R\_{r} \subset R\_{r+1} = M $$
is a chain of maximal intermediate subfactors **?**




---


**Examples for question 3**


Let the subfactor $(R^{\mathbb{Z}\_2} \subset R)$, it's a depth $2$ irreducible maximal (and so cyclic) subfactor. It composes with itself into $n-1$ **cyclic** subfactors of depth $n$. These subfactors have principal graph $D\_{n+2}^{(1)}$.


**Remark** : About the composition of subfactors, there is [this paper](https://arxiv.org/abs/1308.5723v1) of Izumi-Morrison-Penneys (2013).




---


**Acknowledgment**: Thank you to Vaughan Jones who encouraged me to develop this theory by saying :  

<< Your cyclic idea might have potential... see what you can prove about such subfactors >>. Thank you also to André Henriquez and Dave Penneys: I adjusted the questions 1 and 3 after their remarks.



The cyclic subfactors theory: a quantum arithmetic?
The cyclic subfactors theory defines a too large class$^{\star}$ of subfactors for being an *good* quantum arithmetic (i.e. quantum generalization of the **natural numbers** theory).  

Nowadays, my better attempt for this is the **natural subfactors** theory (see the *optional part* [here](https://mathoverflow.net/questions/160577/are-the-homogeneous-single-chain-subfactors-dedekind)). 


$^{\star}$Up to equivalence, more than $70$% of the inclusions of groups of index $≤30$ are distributive lattice! Nevertheless the percentage is decreasing for the following indices (see [this post](https://mathoverflow.net/q/178643/34538)).




---


**Question 1**: No, $(R^{A\_7} \subset R^{S\_4})$ is a counterexample.  

Thanks to the subgroups lattice of $A\_7$ (see [here](http://homepages.ulb.ac.be/~tconnor/atlaslat/alt7.pdf)), there is a subgroup of $A\_7$ called $2^2:S\_3$ isomorphic to $S\_4$, such that $(S\_4 \subset A\_7)$ has exactly two non-trivial intermediate subgroups: $K=L\_2(7)$ and $L=A\_4:S\_3$, so that $(R^{A\_7} \subset R^{S\_4})$ is cyclic.  

Now if we consider the two maximal chains $(S\_4 \subset K \subset A\_7)$ and $(S\_4 \subset L \subset A\_7)$, then the intermediate indices are $(7,15)$ and $(3,35)$, so these chains can't be equivalent. 


See the questions: [Jordan-Hölder theorem for subfactors?](https://mathoverflow.net/questions/156311/jordan-holder-theorem-for-subfactors) and [Abelian subfactors, a relevant concept?](https://mathoverflow.net/questions/156374/abelian-subfactors-a-relevant-concept)




---


**Question 3**: No, the maximal subfactor $(R^{\mathbb{Z}\_3 \rtimes \mathbb{Z}\_2} \subset R^{\mathbb{Z}\_2})$ gives counter-examples.  

It is depth $4$ and it admits **several** compositions with itself which are also cyclic subfactors of depth $4$,  

for example $(R^{(\mathbb{Z}\_3 \rtimes \mathbb{Z}\_2) \times (\mathbb{Z}\_3 \rtimes \mathbb{Z}\_2)} \subset R^{\mathbb{Z}\_2 \times \mathbb{Z}\_2})$ and $(R^{\mathbb{Z}\_9 \rtimes \mathbb{Z}\_2} \subset R^{\mathbb{Z}\_2})$.  

 Their intermediate subfactors lattices are as $\mathcal{L}\_6$ and $\mathcal{L}\_4$, so they are not isomorphic.  

($\mathcal{L}\_n$ is the lattice of divisors of $n$).


