A short note on groups in separably closed valued fields (Q2659106): Difference between revisions

In this note, the author gives an abstract treatment of previous key results about groups (more or less) definable in tame theories of fields, and applies it to separably closed valued fields. \textit{E. Bouscaren} and \textit{F. Delon} [Trans. Am. Math. Soc. 354, No. 3, 945--966 (2002; Zbl 1057.12004)] proved that any group definable in a separably closed field \(L\) of finite imperfection degree, is definably isomorphic to the group of \(L\)-rational points of an algebraic group defined over \(L\). From the Introduction : ``(...) In this note we give an abstract version of these proofs, Proposition 4.1, by showing that, under certain hypotheses, if the definable closure in a theory \(T\) is bounded by the definable closure in a theory \(T_0\), then groups with a definable generic in \(T\) embed in groups definable in \(T_0\). This is, to the best of the author's knowledge, the only existing such embedding result that does not require \(T_0\) to be stable. This result is then applied, in Theorem 5.5, to prove that all groups with a \(d\)-generic interpretable in a separably closed valued field of finite imperfection degree, can be definably embedded in a group interpretable in the algebraic closure (as a value field).''