我们为多个模及其关联的模块对称性开发了一种通用形式主义。 我们将这种形式主义应用到一个基于具有有限模块化对称性S4A，S4B和S4C的三个模量的示例，分别与两个右旋中微子和带电的轻子扇区相关。 对称性被对角线S4子组的两个bitriplet标量破坏。 低能效理论涉及三个独立的模场τA，τB和τC，它们将剩余的模块化子组Z3A，Z2B和Z3C保留在各自的扇区中，从而导致TM1轻子混合最大，与当前数据一致，没有黄酮 。