トップ（代数）

環R上の加群 Mの文脈では、Mの頂点は、存在する場合、 Mの最大の半単純商加群です。

有限次元k代数 ( k は体) R について、 rad( M )がMのすべての適切な極大部分加群(加群の根基) の共通部分を表す場合、 Mの上端はM /rad( M )です。最大イデアルPを持つ局所環の場合、 Mの上端はM / PMです。一般に、Rが半局所環(= 半アルティン環)の場合、つまり、 Rad( R ) がRのヤコブソン根基であるときにR / Rad( R ) がアルティン環である場合、M /rad( M ) は半単純加群であり、 Mの上端です。これには、局所環や体上の有限次元代数の場合が含まれます。

• 射影カバー
• モジュールの根号
• ソクル（数学）

• デイヴィッド・アイゼンバッド『代数幾何学に向けた可換代数』 ISBN  0-387-94269-6