论文标题
Lasserre定理的类似物
A profinite analogue of Lasserre's theorem
论文作者
论文摘要
当且仅当对于每个开放的亚组H时，在所有涂鸦组的类别中，有限级的可溶性Pro-P组都是有限的公理，而H abelianization在H的abelianization中的图像是有限的，则需要有限的存在性假设。
A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of finite presentability.
