profinite completion
The profinite completion of a group is defined to be the profinite group
where means that is a normal subgroup of finite index in .
A group embeds into its profinite completionif and only if it is residually finite.
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。