自分用メモ が位数の元とすると、のある共役元はの元である。 実際を標準のhermite内積とし、 とおく。 は明らかにhermite内積であり、定義より自明に次を満たす。 （＊） 今、内積に関する正規直交基底をとする。 標準基底からの基底変換の変換行列をとする…