1) finite nonsolvable groups
有限不可解群
1.
In this paper, we classify finite nonsolvable groups G with ψ(G)≤2.
给出了 ψ(G)≤ 2的有限不可解群的分类 。
2) finite solvable group
有限可解群
1.
It is proved that there exists no finite solvable group G with the following as its character degree graph:···· The result solves an important open problem by Huppert and provides more evidence supporting the well known conjecture which claims that the diameter of the degree graph of any finite solvable group is at most 2.
对具有４个顶点的指标阶图进行了研究，证明了下述定理：不存在有限可解群Ｇ，使得Ｇ的指标阶图同构于下面的图：这一结果解决了Ｈｕｐｐｅｒｔ在１９９０年提出的一个公开问题。
3) Soluble group of finite rank
有限秩的可解群
4) infinite soluble group
无限可解群
1.
In this paper, some results on the superfluous subgroups of a finitely-generated infinite soluble group are obtained, which are the generalizations of the corresponding results of a finite group.
本文得到了有限生成的无限可解群的多余子群的一些结果,它们是有限群的某些相应结果的推广。
5) Decomposition of Finite Groups
有限群的分解
6) finite commutative uni semigroup
有限可换幺半群
1.
The author presents a condition about finite uni semigroup becomes a group, and makes some discussions about the finite commutative uni semigroup.
并对有限可换幺半群进行了讨论 ,通过对它的商集的研究 ,建立了有限可换幺半群与有限可换幺群之间的联系 ,从而揭示了有限可换幺半群的结
补充资料：不可解性
不可解性
unsolvability
的方法(一个算法(algorithnl))，从而能够解决一个给定的同型问题的无限类中的任何问题，这些问题称为可判定间题(decidab正ty Pl’Oble此).H皿-bert第卜问题就是一个例子，它要求构造一个算法，通过这个算法可以决定任意给定的整系数多项式有无整数零点.很长一段时间，很多可判定问题没有得到解决:后来发现，解决它们的困难是带有原则性的困难.只有后来，20世纪30年代在数理逻辑中精确地提出了算法概念并且证明了对于某些可判定问题所要求的算法不存在，这件事才得以证明.这样的可判定问题称为不可解的(unsdvable)或算法不可解的(川90-行山nlically unsol城b1e).由数学的各个分支提出的很多其他算法问题原来都是不可解的;特别是H刀bert第十问题是不可解的(亦见算法问题(algorit】lmic Pro-blem)). 一旦证明了一个给定的可判定问题算法不可解，则该类中每一个具体问题的解法要求有独特的方法，因此没有一个统一的方法解决所有这些问题. 不可判定命题(ulldeciclable propositions).构造数学理论的工具之一是公理化方法(u习。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条