On profinite polyadic groups (Q6587415)

Recall that a polyadic group is a pair \((G,f)\) where \(f \) is an \(n\)-ary associative operation on \(G\) for a fixed natural number \(n>1\) and for all \(a_1, \ldots, a_n, b \in G \) and \(1 \leq i \leq n\), there exists a unique element \(x \in G\) such that some equation holds. If \(n=2\), a polyadic group and an ordinary group are the same thing. In fact, a profinite polyadic group is a finite polyadic group with the property of the inverse limit. Theorem 4 provides a characterization for any topological polyadic group to be profinite. Finally, for a pseudo-variety of any arbitrary class of groups, the author shows that if such pseudo-variety is closed under the following operators: subgroup, direct product, quotient, or subdirect product, then another new class is also closed with respect to these operators.