The fundamental group π1(X) is a birational invariant for smooth complex projective varieties.
Фундаментальная группа π1(X) является бирациональным инвариантом для гладких комплексных проективных многообразий.