1: \begin{abstract}
We prove several theorems relating {\em amenability} of groups in various categories (discrete, definable, topological, automorphism group) to {\em model-theoretic invariants} (quotients by connected components, Lascar Galois group, G-compactness, ...).  For example, if $M$ is a countable, $\omega$-categorical structure and $\aut(M)$ is amenable, as a topological group, then the Lascar Galois group $\gal_{L}(T)$ of the theory $T$ of $M$ is compact, Hausdorff  (also over any finite set of parameters), that is $T$ is G-compact. An essentially special case is that if $\aut(M)$ is extremely amenable, then $\gal_{L}(T)$ is trivial, so, by \cite{La}, the theory $T$ can be recovered from its category $\Mod(T)$ of models. On the side of definable groups, we prove for example that if $G$ is definable in a model $M$, and $G$ is definably amenable, then the connected components ${G^{*}}^{00}_{M}$ and ${G^{*}}^{000}_{M}$ coincide, answering positively a question from \cite{KrPi}.  

We also take the opportunity to further develop the model-theoretic approach to topological dynamics,  obtaining for example some new invariants for topological groups, as well as allowing a uniform approach to the theorems above and the various categories. 
	\end{abstract}