搜索结果
跳转到导航
跳转到搜索
页面标题匹配
- …RA''' 的[[元数学]]。'''RA''' 完全构成自只使用一致替换和对相等者的相等代入操纵的等式。二者的规则常见于对于学校的数学教育和一般的[[抽象代数]]。所以 '''RA''' 证明可以让所有数学用更熟悉的方式来完成，而不像一般的[[数理逻辑]]那样。 …14 KB（986个字） - 2023年9月18日 (一) 15:42
页面内容匹配
- {{About|抽象代数的概念|子姓商族朝代|商朝}} {{About|抽象代数的概念|楚國公子子商|子商 (楚國)}} …768字节（34个字） - 2021年3月15日 (一) 13:52
- [[抽象代数]]里经常用'''中心'''来指代与所有其他元素可交换的那些元素的[[集合 (数学)|集合]]。中心通常记作<math>Z</math>，来自德语Zen [[Category:抽象代数]] …981字节（81个字） - 2023年2月28日 (二) 21:14
- 在[[抽象代數]]中，一個[[环 (代数)|環]] <math>R</math> 上的'''自由模'''是帶有基底的模。 [[Category:抽象代數|Z]] …1 KB（105个字） - 2021年10月20日 (三) 16:38
- 在[[抽象代數]]中，'''有限生成'''意謂一個[[代數結構]]中存在有限多個元素 <math>x_1, \ldots, x_n</math>，使得每個元素都能由這 [[Category:抽象代數|I]] …1 KB（97个字） - 2021年11月16日 (二) 01:35
- 在[[數學]]中，'''自由對象'''是[[抽象代數]]中的基本概念。就其通於各種[[代數結構]]（帶有限操作）而言，它也屬[[泛代數]]的一支，例子包括[[自由群]]、[[張量代數]]與[[自由格]]。 [[Category:抽象代数]] …2 KB（72个字） - 2022年12月6日 (二) 03:56
- 在[[抽象代數|代數]]和[[邏輯]]中，'''模態代數'''是代數結構 <math>\langle A,\land,\lor,-,0,1,\Box\rangle</ …[[命題邏輯|命題]][[模態邏輯]]的模型，以和布爾代數是[[經典邏輯]]的模型相同的方式。特別是，所有模態代數的[[簇 (泛代數)|簇]]是在[[抽象代數邏輯]]意義下的模態邏輯 ''K'' 的等價代數語義，并且它的子簇們的[[格 (數學)|格]]對偶[[同構]]於[[正規模態邏輯]]的格。 …1 KB（67个字） - 2019年6月19日 (三) 00:59
- 在[[抽象代数]]里，[[环 (代数)|环]]<math>R</math>的[[理想 (环论)|理想]]<math>I</math>称为'''主理想'''（princ …572字节（61个字） - 2019年6月18日 (二) 23:27
- {{about|抽象代數中的概念|線性代數中旳類似概念|極小多項式 (線性代數)}} 在[[抽象代數]]中，一個[[域 (數學)|域]]上的[[域扩张#代数元与超越元|代數元]] <math>\alpha</math> 之'''極小多項式'''（或'' …2 KB（143个字） - 2021年10月20日 (三) 16:56
- 在[[抽象代數]]中，'''交換代數'''旨在探討[[环 (代数)|交換環]]及其[[理想 (環論)|理想]]，以及交換環上的[[模]]。[[代數數論]]與[[代數幾 [[Category:抽象代數|J]] …3 KB（145个字） - 2023年5月26日 (五) 03:24
- 在[[抽象代数]]中，'''吸收律'''是连接一对[[二元运算]]的[[恒等式]]。 设有某个集合闭合在两个二元运算下。如果这些运算是[[交换律]]、[[结合律]]的，并满足吸收律，结果的[[抽象代数]]就是[[格 (数学)|格]]，在这种情况下这两个运算有时叫做[[交运算|交]]和[[并运算|并]]。因为交换律和结合律经常是其他代数结构的性质，吸收 …2 KB（55个字） - 2018年11月9日 (五) 22:07
- [[抽象代数]]中，'''冪結合性'''是弱[[结合律]]。 …627字节（23个字） - 2018年11月23日 (五) 03:26
- 在[[抽象代數]]中，若一個[[環 (代數)|環]] <math>A</math> 上的[[模 (數學)|模]] <math>M</math> 其子群只有 <math …1 KB（85个字） - 2021年11月15日 (一) 22:37
- '''阿廷環'''是[[抽象代數]]中一類滿足[[降鏈條件]]的[[环 (代数)|環]]，以其開創者[[埃米爾·阿廷]]命名。 [[Category:抽象代數|A]] …2 KB（121个字） - 2021年11月13日 (六) 16:32
- * [[理想的根]]，抽象代数中一个概念； …850字节（17个字） - 2023年3月1日 (三) 22:48
- 在[[抽象代数]]中，一个[[群]]的'''换位子群'''或'''导群'''，是指由这个群的所有[[交换子]]所生成的[[子群]]，记作[''G'',''G'']、' [[Category:抽象代数|J]] …3 KB（249个字） - 2023年3月13日 (一) 00:38
- * [[特征 (代数)]]，在[[抽象代數]]中，一個[[环 (代数)|環]]<math>R</math>的'''特徵'''是最小的非負[[整數]]<math>n</math>，使 …1,006字节（45个字） - 2024年7月31日 (三) 14:57
- [[Category:抽象代数定理|Z]] …1 KB（107个字） - 2021年11月16日 (二) 01:33
- 抽象代數中，'''布勞威耳-加當-華定理'''是個有關[[除環]]的定理，以德國數學家[[理查德·布饒爾]]、法國數學家[[埃利·嘉當]]、以及中國數學家[[華 …1 KB（117个字） - 2021年2月10日 (三) 08:27
- 在[[抽象代數]]中，Ado定理指出每一個有限維的，在一個零[[特徵 (代數)|特徵]]的[[体 (数学)|域]]<math>K</math>上的[[李代數]]<ma [[Category:抽象代数定理]] …3 KB（291个字） - 2021年11月18日 (四) 16:49
- [[Category:抽象代數|S]] …3 KB（293个字） - 2021年10月20日 (三) 16:35