積を入れる前のL係数多項式の全体L[x]に
左L加群としての構造は普通に入れて
右L加群としての構造μ:L[x]×L→L[x]を
xl=l^σxで入れて
μ:L[x]\otimes_L L[x]→L[x]
と積を入れてる訳か
両側イデアル(x^n-a)で割ると
モノとして（積無しで）は
A=L[x]/(x^n-a)=L<1,x,x^2,…,x^n-1>
で
L=L<1>⊂A
はK代数の包含で
center(A)=K
なわけね