全順序群

スポンサーリンク
集合論

順序群

群に順序が入っている構造である順序群を紹介します。 付値論などでよく出てきます。
順序

順序付き半群/順序半群(ordered semigroup)

半群 Sとその上の半順序の組が順序付き半群または順序半群(ordered semigroup)であるとは,半順序が半群の演算と両立的(compatible)であることをいう.特に全順序であるときは全順序付き半群または全順序半群(totally ordered semigroup)という.
スポンサーリンク