数学cn.txt

分词字典

数学专业词汇


数学
量
假设
定理
逆否命题
猜想
验证
充要条件
论证
恒等式
公式
小于
不等方程
常数
复合
完全的
肯定的
离散的
周期
族
子集
并
直积集
差集
n元组
值域
逆映射
恒同映射
映入
同构
对称性
超穷基数
可数无穷的
数理逻辑
形式语言
合式的
矢列式
论题
命题演算
联结词
逻辑加法
否定词
析取范式
真值
重言式
谓词变元
个体变元
非标准量词
前束词
闭公式
全域
一阶理论
相容性
可定义性
斯科伦壳
初等等价的
初等子模型
进退构造
原子理论
万有模型
稳定性
递归结构
非标准分析
直觉主义逻辑
抽象化
数词可表示性
相对相容性
元逻辑
可判定性
集合论
策梅洛-弗兰克尔集合论
确定性
选择函数
广义连续统假设
本元
平稳集合
序数
超穷序数
初始段
正则基数
归纳定义
可构成性
共尾性
力迫关系
序数可定义的
不可达基数
聚合
哥德尔配数法
配对
不可解性
原始递归式
递归性
计算复杂性
算术谓词
图灵机
停机问题
计算
次递归性
正合对
及时单纯集
优先方法
极小对
谕示
序数记号
归约
潜无穷
公理学
公理化理论
模态逻辑
范畴逻辑
组合分析
循环排列
计数问题
线性递归关系
无序分拆
区组设计的关联矩阵
平衡设计
对称区组设计
按对平衡区组设计
填装
施泰纳三元系
循环拟差集
阿达马矩阵
构形
余正二次型
顶点
邻顶点
重图
图同构
顶点子图
通道
圈秩
全不连通图
顶点次数
补图
团
完全二部图
无圈图
回路
拟图
边连通度
哈密顿圈
递归边图
彼得松图
边覆盖
独立顶点集
临界边
平面嵌入
对偶地图
最大亏格
舍弃运算
四色问题
色剖分
邻接矩阵
顶点传递图
齐次图
标号图
树
顶点的权
出次数
出树
弱连通的
超图
平凡序的
保序映射
前导
极大元
格
幂等律
子格
代换性质
对偶同构
同态的同余核
主滤子
分配格
相对补
伪补格
原子格
完全交不可约元
弱模格
布尔环
布尔方程
紧元
交无穷分配
斯通格
双格
直不可分解格
标准元
对称格
分划格
无赘表示
德摩根代数
空元运算
底集
柱形代数
商泛代数
同余可换代数
类算子
自由泛代数
超幂
半单簇
整数
负号
加数
减
乘法
被乘数
除
商
底数
分数指数
公因数
欧几里得算法
合数
标准分解式
完满数
分母
公分母
前项
比例内项
正比
更比
十进制数字
小数位
混循环小数
开方
根式
不尽根
不可公度的
正数
虚数
棣莫弗公式
等差数列
等比数列
调和数列
高阶等差数列
连分数
无限连分数
同余式
非同余
剩余类的代表
孙子剩余定理
二次互反律
埃拉托色尼筛法
整二次型
超越数
数的几何
指数和
克卢斯特曼和
狄利克雷特征标
大筛法
算术函数
除数函数
除数问题
分拆函数
代数数域
代数整数环
整理想
差积
狭义理想类
分圆单位
惯性群
弗罗贝尼乌斯自同构
四次互反律
乘性同余
局部类域论
束类域
阿廷映射
伊代尔群
阿代尔
二次域
施蒂克贝格理想
伯努利分布
自共轭理想类
种域
局部参数
有理函数域
阿贝尔函数域
可公度子群
模形式的权
戴德金η函数
赫克算子
志村互反律
塞尔贝格迹公式
多伊林正规形
同源的
韦伊配对
乘性约化
卡塞尔斯配对
标准高
塞尔默群
内龙模型
椭圆曲线的周期
域论
域特征数
代数的
极小多项式
域扩张
代数闭域
域的复合
可分元
不可分次数
伽罗瓦论
伽罗瓦对应
分圆多项式
阿贝尔扩张
维特向量
代数无关的
线性无缘
序域
实闭包
正定有理函数
赋值
赋值等价
典范赋值
剩余次数
平凡绝对值
完全域
离散赋值
全分歧扩张
局部域
全不连通的
差代数
多项式
系数
零次
齐次多项式
因式
多项式的容度
有理分式
配方
二项式
对称多项式
结式
一元一次方程
一般方程
三项方程
待定系数法
有理根
虚根
二重根
线性代数
矩阵的元
单位矩阵
矩阵的对角线
矩阵的秩
矩阵的迹
初等矩阵
分块对角矩阵
转置伴随矩阵
梯矩阵
酉矩阵
埃尔米特矩阵
正半定矩阵
实矩阵
极式分解
相似矩阵
列等价的
友矩阵
矩阵的正规形
奇异值分解
复合矩阵
矩阵的张量积
向量的加法
行向量
线性相关
零空间
线性空间的维数
对偶空间
线性变换
线性变换的矩阵
余维数
幂零线性变换
半线性同构
欧几里得空间
单位向量
正交变换
酉空间
正规变换
相关线性方程
初等变换
代入消元法
子式
行列式展开式
范德蒙德行列式
群行列式
线性型
非奇异双线性型
反称双线性型
伴随线性映射
二次型的秩
埃尔米特二次型
定二次型
符号差
等距同构
正交和
迷向子空间
零型
维特-格罗滕迪克群
旋量范
乘性二次型
二次空间的格
多重线性代数
张量代数
可分张量
共变指标
混合张量代数
对称张量
交错化子
张量积
混合外代数
子模
模同态
忠实模
单模
模的直和
补子模
投射模
生成元
双模
降链条件
准素子模
模的本质扩张
不可分解模
局部表现模
双自同态环
余模
交换代数
环的诣零根
环的极大谱
主理想整环
整除
真因子
唯一因子分解整环
理想的收缩
分式域
交换A代数
整闭包
诺特环
准素分解
分次理想
希尔伯特多项式
非混合理想
正则局部环
环籍模的扩张
永田环
形式幂级数环
代数集
仿射坐标环
仿射超平面
齐次坐标环
子簇
支配态射
簇的函数域
支配有理映射
双有理态射
点的拉开
光滑簇
簇定义域
格拉斯曼簇
正常相交
有理等价
预层
层
正则函数层
常数层
仿射概形
概形同构
约化概形
局部诺特概形
正则概形
概形的粘合
开浸入
概形上的射影空间
分离态射
态射的纤维
扭曲层
卡吉耶除子
丰富可逆层
几何亏格
射影空间的上同调
塞尔对偶
艾达尔上同调
阿贝尔晶体
牛顿斜率
平面曲线
四次曲线
二重点
单切线
对偶曲线
素除子
主除子
完全线性系
亏格
曲线的有限态射
赫尔维茨公式
弗罗贝尼乌斯态射
丰富除子
正规交叉
三次曲面
泛同态
参数簇
庞加莱除子
极化的阿贝尔簇
皮卡概形
自同态的迹
阿贝尔簇的极化
非交换环
加法结合律
加法消去律
右幺元
右零因子
本原幂等元
逆元
拟正则元
左理想
理想的积
单位理想
同态的核
自同构
反自同构
斜多项式环
非交换整环
右乘环
次直积
极大左理想
根基
布朗-麦科伊根
根环
皮尔斯分解
右阿廷环
右诺特环
半本原环
准素环
左奥尔环
左分式环
拟弗罗贝尼乌斯环
右列环
半完满环
子代数
有限维代数
代数的根
局部代数
殆分裂序列
箭图的表示
箭图的二次空间
代数的分裂域
代数的分裂扩张
中心代数
中心单代数的指数
分裂因子组
简化迹
代数的恒等式
泛矩阵代数
右序模
单代数的判别式
滤过代数
余代数同态
代数
交错代数
一般凯莱代数
例外若尔当代数
若尔当代数的表示
反交换
李代数同构
伴随李代数
分裂李代数
李代数的中心
约化李代数
李代数的复化
开西米尔多项式
李代数的诣零表示
李代数的奇异元
正根系
外尔群
典型复单李代数
支配权
不变多项式
模李代数
对象
单位态射
满子范畴
阿贝尔群范畴
对象的余积
终对象
自由对象
对偶函子
忠实函子
常数函子
自然等价
泛性质
表示函子
推出
转置伴随等价
态射的核
阿贝尔范畴
商对象
同调代数
链
同调群
上边缘
上同调群
可裂短正合序列
交换图表
模上复形
内射分解
左正合函子
屈内特公式
群的上同调群
主叉同态
群中心扩张
相对投射模
非齐次的横分解
群的上同调维数
上同调平凡模
李代数的扩张
投射维数
合冲
格罗滕迪克群
连通环
带积范畴
保积函子
环的施坦贝格群
非交换群
群的阶
子群的指数
双陪集
循环群
正规化子
商群
群的自同构
外自同构群
全不变子群
半直积
容许子群
中心自同构
次正规列
合成列
中心列
菲廷分解
霍尔子群
自由阿尔贝群
广义四元数群
弗拉蒂尼子群
置换群的次数
奇置换
传递集
非本原群
轨道
初等交换群
有限表现群
字
周期群
典型群
一般射影线性群
射影酉群
旋量群
辛变换
仿射群
不变量
基本不变式
晶体群
正八面体群
有限单群分类
马蒂厄群
常表示
置换表示
表示的级
可约表示
不可约表示的舒尔指数
完全可约性
对偶表示
整表示
特征标的级
正交关系
弗罗贝尼乌斯互反公式
群的分裂域
不可分解模表示
块的亏数群
广群
幺拟群
连通代数群
代数群的有理表示
左函数平移
代数群的李代数
典范态射
半单元
抽象根系
幂幺根
抛物子群
代数群的外尔群
布吕阿分解
谢瓦莱群
算术子群
拓扑群的直积
左一致结构
局部紧群
零化子的互反性
紧阿贝尔群
紧群的群环
局部单连通
泛覆叠群
投射有限群
李群
解析群
李群的李代数
解析同态
局部解析同构
第一类典范坐标
交换李群
李群的表示
旋量表示
无穷小变换群
李代数的解析群
复单连通解析李群
量子群
经典杨-巴克斯特方程
上界
有界的
开区间
康托尔集
一元函数
数量级
下极限
一致连续的
上极限函数
半连续的
第二类不连续点
奇函数
非减
反函数
负变差
条件不等式
微分学
右导数