arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1502.05445math.GRmath.GT
收藏

连续生成幂零群的有效可分性

Effective Separability of Finitely Generated Nilpotent Groups

Mark Pengitore

摘要:

给出了广义生成幂零群的剩余有限性和共轭可分性的有效证明。特别是,我们给出了精确的渐近界的功能介绍的Bou-Rabee,措施有多大的同分异构体,需要分开的非身份元素的有界长度的身份,提高了工作的Bou-Rabee。同样,我们给多项式上限和下界的劳顿,大声,和麦克雷诺兹介绍了一个类似的功能,措施有多大的相干性,需要分开对不同的共轭类的有界工作长度使用工作布莱克本和马尔采夫。

英文摘要:

We give effective proofs of residual finiteness and conjugacy separability for finitely generated nilpotent groups. In particular, we give precise asymptotic bounds for a function introduced by Bou-Rabee that measures how large the quotients that are need to separate non-identity elements of bounded length from the identity which improves the work of Bou-Rabee. Similarly, we give polynomial upper and lower bounds for an analogous function introduced by Lawton, Louder, and McReynolds that measures how large the quotients that are need to separate pairs of distinct conjugacy classes of bounded work length using work Blackburn and Mal'tsev.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑