今後とくに断らない限り可換体上の代数は単位元をもち結合的と仮定する。