profiniteadj.
/prəʊˈfʌɪnʌɪt/, U.S. /proʊˈfaɪˌnaɪt/ Mathematics.
Designating a topological group that is isomorphic to the inverse limit of a projective system of finite groups.
ΚΠ
1964 Ann. Math. 79 419 This is trivial in view of Prop. 5 and the cohomology theory of pro-finite groups.
1985 Jrnl. Symbolic Logic 50 468 Hereafter, profinite groups will be denoted by G and H, while finite groups will be given by A and B.
1992 M. P. F. du Sautoy in A. J. Baker & R. J. Plymen p-adic Methods & their Applic. 11 A topological group is profinite if, and only if, it is a compact Hausdorff topological group having a neighbourhood base for the identity consisting of open subgroups.
This is a new entry (OED Third Edition, June 2007; most recently modified version published online March 2022).
<
adj.1964