直既約加群
抽象代数学において、加群が直既約（ちょくきやく、テンプレート:Lang-en-short）であるとは、その加群が0でなく、2つの0でない部分加群の直和として書けないということであるテンプレート:Sfn。直既約でない加群は直可約（ちょくかやく、テンプレート:Lang-en-short）と言う。
直既約は単純（既約）よりも弱い概念である。加群 M が単純であるとは「真の部分加群 テンプレート:Math がない」ことを意味するが、直既約であるとは「テンプレート:Math と非自明な方法で書けない」ことを意味する。
直既約加群の直和は完全直可約（かんぜんちょくかやく、テンプレート:Lang-en-short）と呼ばれる。これは単純加群の直和である半単純加群（完全可約加群）よりも弱い概念である。
動機付け
多くの状況において、興味の対象である加群は完全直可約である。したがってこのとき直既約加群は「構造の基本単位」であり研究する必要のある唯一の対象と考えられる（クルル・シュミットの定理）。体上の加群（ベクトル空間）や単項イデアル整域 (PID) 上の有限生成加群はこの場合であり、線型作用素のジョルダン標準形の基礎となっている。
例
体
体上の加群はベクトル空間である。ベクトル空間が直既約であることと次元が テンプレート:Math であることは同値である。なのですべてのベクトル空間は完全直可約（実際半単純）であり、無限次元なら無限に多くの直和成分をもつテンプレート:Sfn。
PID
PID上の有限生成加群は PID上の有限生成加群の構造定理によって分類される。準素分解は直既約加群への分解であるので、PID上のすべての有限生成加群は完全直可約である。
明示的に書けば、素イデアル テンプレート:Mvar に対して テンプレート:Math の形の加群（テンプレート:Math を含む、このとき テンプレート:Mvar になる）は直既約である。すべての有限生成 テンプレート:Mvar-加群はこれらの直和である。これが単純であることは テンプレート:Math（または テンプレート:Math）であることと同値であることに注意せよ。例えば、位数4の巡回群 テンプレート:Math は直既約であるが単純でない。この群は位数 テンプレート:Math の部分群 テンプレート:Math しか非自明な部分群を持たないが、これは直和因子でない。
整数環 テンプレート:Math 上の加群はアーベル群である。有限生成アーベル群が直既約であることとそれが テンプレート:Math か素数 テンプレート:Mvar と正整数 テンプレート:Mvar について テンプレート:Math の形の商群と同型であることは同値である。すべての有限生成アーベル群は（有限個の）直既約アーベル群の直和である。
しかしながら、有限生成でない直既約アーベル群が存在する。有理数 テンプレート:Math はその最も単純な例である。
また代数的閉体上の一変数多項式環 テンプレート:Math 上の有限生成直既約加群はジョルダン標準形の理論により テンプレート:Math に限る。
固定した正整数 テンプレート:Mvar に対し、実数体（または任意の体 テンプレート:Mvar）上の テンプレート:Mvar 次全行列環 テンプレート:Mvar を考える。このとき テンプレート:Mvar は（行列の積によるスカラー倍によって）左 テンプレート:Mvar-加群である。これは同型の違いを除いて唯一の直既約 テンプレート:Mvar-加群である。すべての左 テンプレート:Mvar-加群はこの加群 テンプレート:Mvar のコピーの（有限か無限の）直和である。
群環
標数 テンプレート:Math の体上の群環はマシュケの定理により半単純なので、直既約加群と単純加群の概念は一致する。
一方、正標数の体上の群環に関しては両者が一致するとは限らない。たとえば テンプレート:Mvar を標数 テンプレート:Math の体とし、テンプレート:Mvar を位数 テンプレート:Mvar の 巡回 [[p-群|テンプレート:Mvar-群]]とする。群 テンプレート:Mvar の生成元を テンプレート:Mvar とし、
とおく。このとき テンプレート:Math は有限次元直既約 テンプレート:Mvar-加群の同型類であるテンプレート:Sfn。しかしながら、有限次元単純 テンプレート:Mvar-加群の同型類は自明な加群 テンプレート:Math のみである。
事実
- すべての単純加群は直既約である。上の2つ目の例で示されているように逆は一般には成り立たない。
- 加群の自己準同型環を見ることで、加群が直既約かどうかわかる。自己準同型環が0でも1でもない冪等元をもたないことと同値であるテンプレート:Sfn。（テンプレート:Mvar が テンプレート:Mvar のそのような冪等自己準同型であれば、テンプレート:Mvar は テンプレート:Math と テンプレート:Math の直和である。）
- 長さ有限の加群が直既約であることとその自己準同型環が局所環であることは同値である。長さ有限の直既約加群の自己準同型についてのより多くの情報はフィッティングの補題によって提供される。
- 長さ有限の状況において、直既約加群への分解はクルル・シュミットの定理によって特に役立つ。すべての長さ有限の加群は有限個の直既約加群の直和として書け、この分解は本質的に一意（直和成分が順番と同型を除いて一意という意味）であるテンプレート:Sfn。