イデアル
释义
- 名词、形容动词（な形容词）理想；理想的
- 名词理想（环论中的理想）
日语释义
- 環論で、環 Aに対して∀a,b∈I, a-b∈I\∀r∈A∀a∈I, ra∈Iを満たすようなI⊆Aのこと。
- リー代数で、リー環 gに対して[g,I]⊆IとなるようなI⊆gのこと。但し、[,]はリーブラケット（括弧積）を表す。
- 群論で、半群(S,*)に対してI*S⊆S\S*I⊆SとなるようなI⊆Sのこと。但し、A*B=ab|a∈A,b∈B(A,B⊆S)である。
- 集合Xに対して、A,B∈X,(A∈ℐ∧B⊆A)⟹B∈ℐ\∅∈ℐ∧(A,B∈ℐ⟹A∪B∈ℐ)を満たすような ℐ⊆𝒫(X)のこと。但し、𝒫(X)はXの冪集合である。
- 順序理論で、部分順序集合(P,≤)に対してI≠∅\∀x,y∈P, x(∈I)≥y⟹y∈I\∀x,y∈P, x,y∈I⟹( exist z∈I, x≤z∧y≤z)を満たすようなI⊆Pのこと。