やっぱり、trimoduleが必要だ。R, S, T が多元環として、多元環の転置（逆、共役）を (-)t で表すとして、R(×)St左加群は、R左、S右の両側加群。同様に、R(×)St(×)Tt とかを考えることができる。3つの多元環が作用している加群が三方加群。三方を左R、右S、…