- 420 名前：１３２人目の素数さん mailto:sage [2007/04/16(月) 08:09:24 ]
- Mの半群化 >>416をちょっと変えてみました。
(1)マグマ M 上の次の関係を 〜 とする
x〜y ⇔ Mの元、a,b,cが存在してx=(ab)c, y=a(bc)
(2)〜を含む、最小の両側イデアル同値関係をRとする。
(3) M を R で割ったものが M の半群化。
RがM上の両側イデアル関係とはxRyなら勝手なmに対してxmRym, mxRmyとなる関係のこと。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
圏論 / カテゴリー論 / Category Theory 3
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef