Difference between r1.13 and the current
@@ -1,6 +1,7 @@
MKL
[[parastrophe]] =,parastrophe . parastrophe
[[그루포이드,groupoid]] =,groupoid . groupoid
{
[[parastrophe]] =,parastrophe . parastrophe
WtEn:parastrophe
WtEn:parastrophe x [[Date(2023-10-13T08:15:34)]]
https://proofwiki.org/wiki/Definition:Parastrophe
Ggl:parastrophe[[그루포이드,groupoid]] =,groupoid . groupoid
{
@@ -59,7 +60,7 @@
* [[반격자]](WpKo:반격자 - [[Date(2023-10-13T08:08:13)]] 현재 페이지 없음, 아마 Ggl:semilattice ? Ndict:반격자 )는 [[교환법칙]]과 [[멱등법칙]]을 만족시키는 [[반군]]
* [[모노이드,monoid]]는 [[항등원]]을 갖는 [[반군]]
* [[군,group]]([[WpKo:군_(수학)]])은 모든 [[원소,element]]가 [[가역원,invertible_element]](writing, chk pagename, [[KmsK:가역원]] KmsE:"invertible element" )인 [[모노이드,monoid]]
----
* [[모노이드,monoid]]는 [[항등원]]을 갖는 [[반군]]
* [[군,group]]([[WpKo:군_(수학)]])은 모든 [[원소,element]]가 [[가역원,invertible_element]](writing, chk pagename, [[KmsK:가역원]] KmsE:"invertible element" )인 [[모노이드,monoid]]
* [[아벨_군,abelian_group]]''(abelian_group? WtEn:abelian_group WtEn:Abelian_group WpSp:abelian_group WpEn:abelian_group .... Ggl:abelian+group )''은 [[교환법칙]]을 만족시키는 [[군,group]]
* [[아벨_군,abelian_group]]은 [[교환법칙]]을 만족시키는 [[군,group]]
----
MKL
parastrophe =,parastrophe . parastrophe
그루포이드,groupoid =,groupoid . groupoid
{
번역:
준군, 버금군 via kms .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=groupoid
parastrophe =,parastrophe . parastrophe
그루포이드,groupoid =,groupoid . groupoid
{
번역:
준군, 버금군 via kms .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=groupoid
Groupoid = https://mathworld.wolfram.com/Groupoid.htmlhttps://encyclopediaofmath.org/wiki/Groupoid
https://ncatlab.org/nlab/show/groupoid
} 와 동의어일 때도 아닐때도 있던것같은데 정리... TODO
일단 mw 다음 둘 정독
"The term ‘groupoid’ is also used" ... https://ncatlab.org/nlab/show/magma
opposite_magma =,opposite_magma . opposite_magma
{
opposite_magma ?
https://proofwiki.org/wiki/Definition:Opposite_Magma
}
{
opposite_magma ?https://proofwiki.org/wiki/Definition:Opposite_Magma
}
Sub: // added via 
마그마_(수학)#종류 at 2023-10-13
마그마_(수학)#종류 at 2023-10-13- 단위마그마,unital_magma: 항등원,identity_element을 갖는 마그마
- 중가환마그마(中可換-, medial magma)는 중가환법칙 $\displaystyle (mn)(pq)=(mp)(nq)$ 를 만족시키는 마그마 // medial_magma = medial magma
- 가환마그마(可換-, commutative magma)는 교환법칙(curr tmp
교환법칙)을 만족시키는 마그마 // commutative magma = commutative_magma
- 유사군(유사군
유사군 x (2023-10-13) ... quasigroup ?? 
유사군 quasigroup )은 모든 왼쪽·오른쪽 곱셈,multiplication 작용(작용은 작용소,operator의 그 작용, 즉 작용,operation = 연산,operation 말하는거??이 전단사함수,bijective_function인 마그마
- 유사군 / 고리 (텍스트는 고리, linked to: 유사군 ) 는 항등원,identity_element을 갖는 유사군
- 유사군 / 고리 (텍스트는 고리, linked to:
- 반군(반군 )은 결합법칙(curr tmp 결합법칙,associativity)을 만족시키는 마그마
- 모노이드,monoid는 항등원을 갖는 반군
- 군,group(군_(수학))은 모든 원소,element가 가역원,invertible_element(writing, chk pagename,
가역원 
invertible element )인 모노이드,monoid
- 아벨_군,abelian_group은 교환법칙을 만족시키는 군,group
- 아벨_군,abelian_group은 교환법칙을 만족시키는 군,group
- 군,group(
Twins:
Magma_(mathematics)= https://simple.wikipedia.org/wiki/Magma_(mathematics)
= https://simple.wikipedia.org/wiki/Magma_(mathematics)
2023-10-13추가
Magma = https://mathworld.wolfram.com/Magma.html
https://ncatlab.org/nlab/show/magma
https://proofwiki.org/wiki/Category:Definitions/Magmas
Up: 추상대수,abstract_algebra
Magma = https://mathworld.wolfram.com/Magma.htmlhttps://ncatlab.org/nlab/show/magma
https://proofwiki.org/wiki/Category:Definitions/Magmas
Up: 추상대수,abstract_algebra
(Misc)
어원: Bourbaki가 프랑스어 '잡동사니'에서. (wk)
(Q 지구과학의 마그마는 어원은 어떻게 되나? 이거랑 무관?) chkout : wten
어원: Bourbaki가 프랑스어 '잡동사니'에서. (wk)
(Q 지구과학의 마그마는 어원은 어떻게 되나? 이거랑 무관?) chkout : wten