Internal characterization of irreducibility
Normality from the internal perspective