For a group $G$ first order definable in a structure $M$, we continue the study of the definable topological dynamics of $G$. The special case when all subsets of $G$ are definable in the given structure $M$ is simply the usual topological dynamics o
f the discrete group $G$; in particular, in this case, the words externally definable and definable can be removed in the results described below. Here we consider the mutual interactions of three notions or objects: a certain model-theoretic invariant $G^{*}/(G^{*})^{000}_{M}$ of $G$, which appears to be new in the classical discrete case and of which we give a direct description in the paper; the [externally definable] generalized Bohr compactification of $G$; [externally definable] strong amenability. Among other things, we essentially prove: (i) The new invariant $G^{*}/(G^{*})^{000}_{M}$ lies in between the externally definable generalized Bohr compactification and the definable Bohr compactification, and these all coincide when $G$ is definably strongly amenable and all types in $S_G(M)$ are definable, (ii) the kernel of the surjective homomorphism from $G^*/(G^*)^{000}_M$ to the definable Bohr compactification has naturally the structure of the quotient of a compact (Hausdorff) group by a dense normal subgroup, and (iii) when $Th(M)$ is NIP, then $G$ is [externally] definably amenable iff it is externally definably strongly amenable. In the situation when all types in $S_G(M)$ are definable, one can just work with the definable (instead of externally definable) objects in the above results.
We prove that every non-trivial valuation on an infinite superrosy field of positive characteristic has divisible value group and algebraically closed residue field. In fact, we prove the following more general result. Let $K$ be a field such that fo
r every finite extension $L$ of $K$ and for every natural number $n>0$ the index $[L^*:(L^*)^n]$ is finite and, if $char(K)=p>0$ and $f: L to L$ is given by $f(x)=x^p-x$, the index $[L^+:f[L]]$ is also finite. Then either there is a non-trivial definable valuation on $K$, or every non-trivial valuation on $K$ has divisible value group and, if $char(K)>0$, it has algebraically closed residue field. In the zero characteristic case, we get some partial results of this kind. We also notice that minimal fields have the property that every non-trivial valuation has divisible value group and algebraically closed residue field.
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that each regular
field is algebraically closed. Standard arguments show that a generically stable regular field is algebraically closed. Let $K$ be a regular field which is not generically stable and let $p$ be its global generic type. We observe that if $K$ has a finite extension $L$ of degree $n$, then $p^{(n)}$ has unbounded orbit under the action of the multiplicative group of $L$. Known to be true in the minimal context, it remains wide open whether regular, or even quasi-minimal, groups are abelian. We show that if it is not the case, then there is a counter-example with a unique non-trivial conjugacy class, and we notice that a classical group with one non-trivial conjugacy class is not quasi-minimal, because the centralizers of all elements are uncountable. Then we construct a group of cardinality $omega_1$ with only one non-trivial conjugacy class and such that the centralizers of all non-trivial elements are countable.
