마그마,magma in RRWiki

Difference between r1.10 and the current

@@ -1,20 +1,68 @@

[[그루포이드,groupoid]]

MKL

[[parastrophe]] =,parastrophe . parastrophe

WtEn:parastrophe x [[Date(2023-10-13T08:15:34)]]

https://proofwiki.org/wiki/Definition:Parastrophe

Ggl:parastrophe

[[그루포이드,groupoid]] =,groupoid . groupoid

{
번역:
준군, 버금군 via kms .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=groupoid

https://mathworld.wolfram.com/Groupoid.html

WtEn:groupoid ?

[[MathWorld:Groupoid]] = https://mathworld.wolfram.com/Groupoid.html

https://encyclopediaofmath.org/wiki/Groupoid
https://ncatlab.org/nlab/show/groupoid
} 와 동의어일 때도 아닐때도 있던것같은데 정리... TODO

[[free_magma]]

일단 mw 다음 둘 정독

Cmp [[MathWorld:Groupoid]] AND [[MathWorld:Magma]]

"The term ‘groupoid’ is also used" ... https://ncatlab.org/nlab/show/magma

적절한 검색어가 뭐지?

Naver:"groupoid magma 정리" Ggl:"groupoid magma 정리"

Ggl:"groupoid vs magma"

Ggl:"groupoid magma disambiguation"

https://proofwiki.org/wiki/Definition:Magma/Also_known_as

----

[[free_magma]] =,free_magma .

{

WtEn:free_magma ?

https://encyclopediaofmath.org/wiki/Free_magma

.... Google:Free.magma
}

[[opposite_magma]] =,opposite_magma . opposite_magma

{

WtEn:opposite_magma ?

https://proofwiki.org/wiki/Definition:Opposite_Magma

}

----

Sub:

[[군,group]]

Sub: // added via [[WpKo:마그마_(수학)#종류]] at [[Date(2023-10-13T08:08:13)]]

* [[단위마그마,unital_magma]]: [[항등원,identity_element]]을 갖는 '''마그마'''

* 중가환마그마(中可換-, medial magma)는 중가환법칙 $(mn)(pq)=(mp)(nq)$ 를 만족시키는 마그마 // medial_magma = medial magma

* 가환마그마(可換-, commutative magma)는 [[교환법칙]]^^(curr tmp [[VG:교환법칙]])^^을 만족시키는 마그마 // commutative magma = commutative_magma

* [[유사군]](WpKo:유사군 Ndict:유사군 x ([[Date(2023-10-13T08:08:13)]]) ... Ndict:quasigroup ?? Ggl:유사군 Ggl:quasigroup )은 모든 왼쪽·오른쪽 [[곱셈,multiplication]] 작용''(작용은 [[작용소,operator]]의 그 작용, 즉 [[작용,operation]] = [[연산,operation]] 말하는거??''이 [[전단사함수,bijective_function]]인 마그마

* 유사군 / 고리 ''(텍스트는 고리, linked to: WpKo:유사군 )'' 는 [[항등원,identity_element]]을 갖는 [[유사군]]

* [[반군]](WpKo:반군 )은 [[결합법칙]]''(curr tmp [[VG:결합법칙,associativity]])''을 만족시키는 마그마

* [[반격자]](WpKo:반격자 - [[Date(2023-10-13T08:08:13)]] 현재 페이지 없음, 아마 Ggl:semilattice ? Ndict:반격자 )는 [[교환법칙]]과 [[멱등법칙]]을 만족시키는 [[반군]]

* [[모노이드,monoid]]는 [[항등원]]을 갖는 [[반군]]

* [[군,group]]([[WpKo:군_(수학)]])은 모든 [[원소,element]]가 [[가역원,invertible_element]](writing, chk pagename, [[KmsK:가역원]] KmsE:"invertible element" )인 [[모노이드,monoid]]

* [[아벨_군,abelian_group]]은 [[교환법칙]]을 만족시키는 [[군,group]]

----
Twins:

@@ -37,6 +85,17 @@

https://everything2.com/title/magma

[[Date(2023-10-13T08:14:43)]]추가

[[MathWorld:Magma]] = https://mathworld.wolfram.com/Magma.html

https://ncatlab.org/nlab/show/magma

https://proofwiki.org/wiki/Category:Definitions/Magmas

ㄴ> https://proofwiki.org/wiki/Definition:Magma

Up: [[추상대수,abstract_algebra]]

... Google:마그마+추상대수학 Naver:마그마+추상대수학

(Misc)

어원: Bourbaki가 프랑스어 '잡동사니'에서. (wk)