Related papers: One dimensional commutative groups definable in al…
A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup.
It is known that a group G definable in the field of p-adic numbers is definably locally isomorphic to the group of Q_p-points of a connected algebraic group H defined over Q_p. We show that if H is commutative then G is…
In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.
We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…
We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive…
We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…
We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…
The aim of this paper is to describe all definable subgroups of SL2(K), for K a p-adically closed field. We begin by giving some "frame subgroups" which contain all nilpotent or solvable subgroups of SL2(K). A complete description is givien…
We describe all closed permutation groups which act on the set of vectors of a countable vector space $V$ over a prime field of odd order and which contain all automorphisms of $V$. In particular, we prove that their number is finite. These…
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…
We study locally definable abelian groups $\CU$ in various settings and examine conditions under which the quotient of $\CU$ by a discrete subgroup might be definable. This turns out to be related to the existence of the type-definable…
We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…
We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…
We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.
Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or…
Many compactly generated pseudo-groups of local transformations on 1-manifolds are realizable as the transverse dynamic of a foliation of codimension 1 on a compact manifold of dimension 3 or 4.
We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. We generalize Buium's notion of an algebraic D-group to…
We prove that over an algebraically closed field of characteristic $p>0$ there are exactly, up to isomorphism, $n$ infinitesimal commutative unipotent $k$-group schemes of order $p^n$ with one-dimensional Lie algebra, and we explicitly…
We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…