泛代数

维基百科,自由的百科全书
跳转至: 导航搜索

泛代数(Universal algebra),研究通用於所有代數結構的理論,而不是代數結構的模型。舉個例子,並不是將特殊的個別的群作為個體分別來學習,而是將整個群論的理論作為學習的主題。

基本構思[编辑]

從泛代数角度來看,代數是個集合A擁有一組運算元。在A上的一個n元運算是個函數以n個A的元素為輸入並返回一個A的元素。

  • 無元運算:產生常數a
  • 單元運算:例如~x
  • 二元運算:x * y

除了運算,還有符合一些公理及方程式定律,例如結合律交換律等等。

相關條目[编辑]