{\displaystyle I} の元を昇順に枚挙する関数である。 集合 S ⊆ N {\displaystyle S\subseteq \mathbb {N} } が超単純(hyper-simple)とは、それが帰納的可算であり、補集合が超免疫であることをいう。任意の超単純集合は単純である。
半単純環
定すれば一般的なものは同値になる。ある著者は半原始環のことを半単純環という。またある著者は単純環の部分直積のことを半単純環という。また、「単位元をもたない」環に対する半単純性の概念もある。 K を可換体とし A を K 上有限次元の半単純多元環とする。K が完全体(例えば標数0の体、代数的閉体、有限体)であれば、任意の部分体
Angie Ymnk commented