In this paper, we explicitly work out the subfactor planar algebra $P^{(N \subset Q)}N \subset Q \subset M$ of an irreducible subfactor of finite index. We do this in terms of the subfactor planar algebra by showing that if is any planar tangle, the associated operator can be read off from by a formula involving the so-called {\em biprojection} corresponding to the intermediate subfactor $N \subset Q \subset M\alpha(T)$ carefully chosen so as to ensure that the formula defining is multiplicative with respect to composition of tangles. Also, the planar algebra of can be obtained by applying these results to . We also apply our result to the example of a semi-direct product subgroup-subfactor.

生成讲解博客的中文版本

生成AI智能校验的中文版本