Supergenerix. (Q401641): Difference between revisions

Dedicated to the memory of Eric Jaligot, the article introduces the notion of a supergeneric subset of a group \(G\). A subset \(X\subset G\) is \textit{generic} if \(G\) is covered by finitely many (left) translates of \(X\). The author calls \(X\subset G\) \textit{supergeneric} (\textit{supergénérique} in French) if every intersection \(b_1X\cap\cdots\cap b_n X\) of finitely many (left) translates of \(X\) is generic. The collection \(\mathcal S\) of supergeneric subsets of \(G\) is a filter on \(G\) (but not an ultrafilter, Théorème 1), and the greatest filter on \(G\) invariant under (left) translations that consists of generic subsets (Théorème 2). If \(G\) is infinite, \(\mathcal S\) is strictly bigger than the filter of cofinite subsets of \(G\) (Théorème 5). The author defines \(X\subset G\) to be {\parindent=0.7cm\begin{itemize}\item[--] \(n\)-\textit{generic} if \(G\) is covered by \(n\) left translates of \(X\), \item[--] \textit{uniformly supergeneric (or \(\gamma\)-supergeneric)} if for every natural number \(n\), there is a natural number \(\gamma(n)\) such that the intersection of \(n\) left translates of \(X\) be \(\gamma(n)\)-generic, \item[--] \textit{parametrically supergeneric} if for every natural number \(n\), there is a finite subset \(A_n\subset G\) such that if \(Y\) is the intersection of \(n\) left translates of \(X\), then \(G=A_nY\). \end{itemize}} The collection \(\mathcal{US}\) of uniformly supergeneric subsets of \(G\) is a filter on \(G\) (Théorème 11), and so is the collection \(\mathcal{PS}\) of parametrically supergeneric subsets of \(G\) (Théorème 12). The inclusions \(\mathcal{PS}\subset \mathcal{US}\subset \mathcal S\) hold, and the equality \(\mathcal S=\mathcal PS\) when \(G\) is Abelian, but not in general (Théorème 13). The motivation of the paper is the study of some generical properties of subsets of the form \(G\cap X\) where \(G\) is a subgroup of a \textit{stable} group \(\Gamma\) (in the model theorical sense) and \(X\) a definable subset of \(\Gamma\). In the particular case when \(\Gamma=\mathrm{GL}_n(K)\) (where \(K\) is an algebraically closed field), \(G\) is a linear group and \(X\) a constructible subset of \(\Gamma\) ; if the Zariski closure of \(G\) is connected, then either \(G\cap X\) or \(G\setminus X\) is supergeneric in \(G\) (Lemme 3). The main result establishes that if \(\Gamma\) is merely a stable group, and if the \textit{definable closure} of \(G\) is connected, then either \(G\cap X\) or \(G\setminus X\) is supergeneric in \(G\) (follows from Lemme 19). The paper ends studying the particular examples of the infinite cyclic group, the Prüfer group and the free groups. Along the way, the author asks a dozen of questions.