順序群
抽象代数学における（半）順序群（じゅんじょぐん、英: [partially] ordered group）は、両側移動不変な順序関係を付加的な構造として備えた群である。 == 定義 == 群 (G, ⋅) と G 上の順序 ≤ が与えられ G の任意の元 a, b, g に対して a ≤ b ならば ag ≤ bg かつ ga ≤ gb が成り立つ という意味で順序 ≤ と群演算 "⋅" とが両立するとき、(G, ⋅, ≤) は順序群であるという。
抽象代数学における（半）順序群（じゅんじょぐん、英: [partially] ordered group）は、両側移動不変な順序関係を付加的な構造として備えた群である。 == 定義 == 群 (G, ⋅) と G 上の順序 ≤ が与えられ G の任意の元 a, b, g に対して a ≤ b ならば ag ≤ bg かつ ga ≤ gb が成り立つ という意味で順序 ≤ と群演算 "⋅" とが両立するとき、(G, ⋅, ≤) は順序群であるという。
抽象代数学における（半）順序群（じゅんじょぐん、英: [partially] ordered group）は、両側移動不変な順序関係を付加的な構造として備えた群である。 == 定義 == 群 (G, ⋅) と G 上の順序 ≤ が与えられ G の任意の元 a, b, g に対して a ≤ b ならば ag ≤ bg かつ ga ≤ gb が成り立つ という意味で順序 ≤ と群演算 "⋅" とが両立するとき、(G, ⋅, ≤) は順序群であるという。
出典: Wikipedia「順序群」 · CC BY-SA 4.0
この記事を共有: X · Bluesky