마그마,magma

Difference between r1.6 and the current

@@ -1,28 +1,101 @@
[[그루포이드,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:
 
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







일단 mw 다음 둘 정독

Cmp MathWorld:Groupoid AND MathWorld:Magma

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



free_magma =,free_magma .
{



.... Google:Free.magma
}



Sub:
군,group

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

Twins:












(Misc)
어원: Bourbaki가 프랑스어 '잡동사니'에서. (wk)
(Q 지구과학의 마그마는 어원은 어떻게 되나? 이거랑 무관?) chkout : wten