[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
60(1): 10/10(金)14:01 ID:UvcEAqdM(2/2) AAS
あーちょっと違いますか
Group-Invのモデルには逆元を持たない元が必ずあるとは言えないわけです
70(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/10(金)20:47 ID:8REPB/xG(1/7) AAS
>>59-60
>群の公理Groupから逆元公理Invを除くと半群の公理となる訳ですが
レスありがとう
しかし、群は 公理で扱うのはちょっとねぇ〜（＾＾
下記 群の”定義”で扱う
なぜならば、群はあまりにも 世間（世の中）の ゴタゴタした 事象や現実と結びつきすぎているから
例えば、下記 島内剛一 → ”Rubic キューブ” と辿ると Haskell 辺りまで 話が広がる
そもそも、現世の”Rubic キューブ”を、ＺＦＣ公理で定義する人は 皆無だろうｗ ；ｐ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省26
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s