Etymology
Today it means: Such that each of its conjugates is conjugate to it already in the subgroup generated by it and its conjugate. Full definition →
From pro- + normal.
Etymology from Wiktionary, CC BY-SA 4.0.