Wiki. pro-有限群 [pro-有限群]