pronilfactor noun1 •An ergodic nilspace X/R(X) such that there exists an element x of X and a homomorphism H such that (H,X) is a nilsystem.Specifically, if H is a group (subject to very mild topological assumptions) and (H,X) is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of X. — 2016 formspronilfactors