k代数は可換とする