Profinite groupってウィキペディアは射有限群になってるけど実際には副有限群の方が使われてるみたい．
と言っても検索数がかなり少ない専門用語みたいだけど