On profinite polyadic groups

We study the structure of profinite polyadic groups and we prove that a polyadic topological group $(G, f)$ is profinite, if and only if, it is compact, Hausdorff, totally disconnected, and for any open congruence $R\subseteq G\times G$, the quotient polyadic group $(G/R, f_R)$ is finite.