投射完备化的直因子与可判定性
群论
2008-10-03 v1
摘要
我们考虑有限表示、剩余有限群G和有限生成的正规子群A，使得包含映射A↪G诱导从A的投射完备化到G的投射完备化的一个直因子的同构。我们解释了为什么A不必是G的有限指数子群的直因子；实际上，G不必具有分裂为非平凡直积的有限指数子群。我们证明，不存在算法可以判定A是否是G的有限指数子群的直因子。
引用
@article{arxiv.0810.0399,
title = {Direct factors of profinite completions and decidability},
author = {Martin R. Bridson},
journal= {arXiv preprint arXiv:0810.0399},
year = {2008}
}
备注
To appear in the Journal of Group Theory