We prove a zero-one law for the stationary measure for algebraic sets generalizing the results of Furstenberg (Proc. Sympos. Pure Math. 26 (1973) 193–229) and Guivarc’h and Le Page (Ann. Inst. Henri Poincaré Probab. Stat. 52(2) (2016) 503–574). As an application, we establish a local limit theorem for the coefficients of random walks on the general linear group.
Nous prouvons une loi zéro-un pour la mesure stationnaire pour des ensembles algébriques en généralisant les résultats de Furstenberg (Proc. Sympos. Pure Math. 26 (1973) 193–229) et Guivarc’h et Le Page (Ann. Inst. Henri Poincaré Probab. Stat. 52(2) (2016) 503–574). Comme application, nous établissons un théorème local limite pour les coefficients de marches aléatoires sur le groupe linéaire général.