A **Pro-p group** is a type of mathematical object in the field of group theory, particularly in the area of profinite groups. More specifically, a Pro-p group is a topological group that is both locally compact and totally disconnected, and it is defined as an inverse limit of finite groups whose orders are powers of a prime \( p \).
