A note on finite embedding problems with nilpotent kernel

The first aim of this note is to fill a gap in the literature by proving that, given a global field $K$ and a finite set $\mathcal{S}$ of primes of $K$, every finite split embedding problem $G\to \mathrm{G}\mathrm{a}\mathrm{l}(L\mathrm{/}K)$ over $K$ with nilpotent kernel has a solution $\mathrm{G}\mathrm{a}\mathrm{l}(F\mathrm{/}K)\to G$ such that all primes in $\mathcal{S}$ are totally split in $F\mathrm{/}L$. We then apply this to inverse Galois theory over division rings. Firstly, given a number field $K$ of level at least $4$, we show that every finite solvable group occurs as a Galois group over the division ring $H_K$ of quaternions with coefficients in $K$. Secondly, given a finite split embedding problem with nilpotent kernel over a finite field $K$, we fully describe for which automorphisms $\sigma$ of $K$ the embedding problem acquires a solution over the skew field of fractions $K(T, \sigma)$ofthetwistedpolynomialring$K[T, \sigma]$.