作用素環
本はありません。