引理

陆启铿1927年5月17日出生于广东省佛山市。1950年毕业于国立中山大学数学天文系。1951年7月由华罗庚先生推荐调入中国科学院数学所筹备处

翻过任意教材的人可能都知道大部分地方证明用到了一种叫做 diagram chasing（图追踪）的方法。这使得我们对任意的阿贝尔范畴证明蛇引理就像在 $R$-模范畴（比如 $R=\Z$ 时，阿贝尔群范畴）中证明一样简单。 然而对于任意的阿贝尔范畴，我们是不能这样做的

一阶语言的字母表，由以下几部分组成： 前五部分是一阶语言所共有的符号，记作A，第六部分记作S，称为符号集(symbol set)，决定了一个一阶语言. (T1) 每个变量是一个S的项； (T2) 每个常量是一个S的项； 下面给出S-公式的定义. 以下(F1F2)左边内容表示S-项，(F3F4)左边内容表示既得的S公式，右边都表示由左边生成的S-公式. 接下来我们将看到，无论是term还是formula，都有唯一的生成路径。先给出几个引理。 引理1. 任意两个term(或formula)互不为真前缀

摘要: 运用有限p-群的有关知识，给出了两个判定广义四元数2-群的充要条件，进而得到结论：设G是一个有限p-群。则G的每个交换子群皆循环当且仅当G仅有一个p-阶子群。 是四元数群 Q 8 在有限p-群上的推广

余子空间的研究已经开展得的相当充分，但余子空间的形式没有完全归约。为讨论方便我们先给出相应的定义和说明。 目前国内所有的代数教科书和文献中主要讨论了余子空间的性质，分别说明了余子空间的不满足唯一性[1] ，及存在性[2] ，而相关文献[3] 和[4] 对余子空间也只是做了余子空间的个数及相应的探讨，文献[5] 对一些情况下的余子空间的存在性进行了更深入的量性分析