Difference between r1.4 and the current
@@ -1,27 +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
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 ?
.... 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
[[WpSp:Magma_(mathematics)]]
= https://simple.wikipedia.org/wiki/Magma_(mathematics)
= https://simple.wikipedia.org/wiki/Magma_%28mathematics%29
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
... Google:마그마+추상대수학 Naver:마그마+추상대수학
(Misc)
어원: Bourbaki가 프랑스어 '잡동사니'에서. (wk)
(Q 지구과학의 마그마는 어원은 어떻게 되나? 이거랑 무관?) chkout : wten
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.html
https://encyclopediaofmath.org/wiki/Groupoid
https://ncatlab.org/nlab/show/groupoid
} 와 동의어일 때도 아닐때도 있던것같은데 정리... TODO
https://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
- 단위마그마,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: 유사군 ) 는 항등원,identity_element을 갖는 유사군
- 반군(반군 )은 결합법칙(curr tmp 결합법칙,associativity)을 만족시키는 마그마
- 모노이드,monoid는 항등원을 갖는 반군
- 군,group(군_(수학))은 모든 원소,element가 가역원,invertible_element(writing, chk pagename, 가역원 invertible element )인 모노이드,monoid
- 아벨_군,abelian_group은 교환법칙을 만족시키는 군,group
- 아벨_군,abelian_group은 교환법칙을 만족시키는 군,group
- 군,group(군_(수학))은 모든 원소,element가 가역원,invertible_element(writing, chk pagename, 가역원 invertible element )인 모노이드,monoid
Twins:
Magma_(mathematics)
= https://simple.wikipedia.org/wiki/Magma_(mathematics)
= https://simple.wikipedia.org/wiki/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.html
https://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