|
|||||
|
|
| 关于群的一阶公式的注记 | |
| 引用本文： | 卢景波.关于群的一阶公式的注记[J].北京师范大学学报(自然科学版),1998,34(1):28-30. |
| 作者姓名： | 卢景波 |
| 作者单位： | 北京师范大学数学系 |
| 摘 要： | 讨论群的命题的可满足性，证明了超积ПＤ Ｓｎ中有秩≥２的自由群，如果群Ｇ满足存在公式φ并且Ｇ同构于ΠＤ Ｓｎ的一个子群，则存在有限群满足ψ。 |
| 关 键 词： | 群 可满足 一阶公式 |
NOTES ON SENTENCES IN FIRST-ORDER GROUP THEORY |
|
| Lu Jingbo.NOTES ON SENTENCES IN FIRST-ORDER GROUP THEORY[J].Journal of Beijing Normal University(Natural Science),1998,34(1):28-30. | |
| Authors: | Lu Jingbo |
| Abstract: | |
| Keywords: | group satisfiability first order formul |
| 本文献已被 CNKI 维普 等数据库收录！ | |