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

WtEn:groupoid ?

[[MathWorld:Groupoid]] = https://mathworld.wolfram.com/Groupoid.html
https://encyclopediaofmath.org/wiki/Groupoid
https://ncatlab.org/nlab/show/groupoid
} 와 동의어일 때도 아닐때도 있던것같은데 정리... TODO


일단 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:

WtEn:magma

https://artofproblemsolving.com/wiki/index.php/Magma

[[WpSp:Magma_(mathematics)]]
= https://simple.wikipedia.org/wiki/Magma_(mathematics)
= https://simple.wikipedia.org/wiki/Magma_%28mathematics%29

[[WpKo:마그마_(수학)]]

[[WpEn:Magma_(algebra)]]

https://encyclopediaofmath.org/wiki/Magma

https://groupprops.subwiki.org/wiki/Magma


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)
(Q 지구과학의 마그마는 어원은 어떻게 되나? 이거랑 무관?) chkout : wten