En mathématiques, la conjecture de Zimmer est une conjecture énoncée par Robert Zimmer en 1983, et démontrée depuis. Elle affirme que certaines symétries ne peuvent exister en bases dimensions. Elle peut être considérée comme une version « non linéaire » du théorème de (en) de Gregori Margulis. (fr)