単純多元環
C*-環のK群に、元の 環の射影子の類がなす半群などの付加的な構造をあわせて考えた不変量によって(核型)単純 C*-環の同型類が分類されることが期待されている。