Related papers: Embedding problems of division algebras
We address the problem of when two finite dimensional central division algebras over the same field are necessarily isomorphic given that they have the same maximal subfields.
We extend finite embedding problems over fields, a central notion in inverse Galois theory, to the situation of a skew field $H$ of finite dimension over its center $h$. First, we show that solving a finite embedding problem over $H$ is…
Let K/F be a cyclic field extension of odd prime degree. We consider Galois embedding problems involving Galois groups with common quotient Gal(K/F) such that corresponding normal subgroups are indecomposable Fp[Gal(K/F)]-modules. For these…
We study the properties of the fundamental group of an affine curve over an algebraically closed field of characteristic $p$, from the point of view of embedding problems. In characteristic zero, the fundamental group is free, but in…
A celebrated theorem of P.M.Cohn says that for any two division rings (not necessarily finite dimensional) over a field F, their amalgamated product over F is a domain which can be embedded in a division ring. Note that even with the two…
We describe relations between maximal subfields in a division ring and in its rational extensions. More precisely, we prove that properties such as being Galois or purely inseparable over the centre generically carry over from one to…
We prove that the isomorphism problem for group algebras reduces to group algebras over finite extensions of the prime field. In particular, the modular isomorphism problem reduces to finite modular group algebras.
We solve the inverse differential Galois problem over differential fields with a large field of constants of infinite transcendence degree over ${\mathbb Q}$. More generally, we show that over such a field, every split differential…
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 \rightarrow {\rm{Gal}}(L/K)$ over $K$ with…
Let $\mathbb{F}_q$ be a finite field. Given two irreducible polynomials $f,g$ over $\mathbb{F}_q$, with $\mathrm{deg} f$ dividing $\mathrm{deg} g$, the finite field embedding problem asks to compute an explicit description of a field…
Let $k_1,k_2$ be two fields of characteristic 0. Let $G_1$ be a split semisimple algebraic group over $k_1$, $G_2$ a split Kac--Moody group over $k_2$ and $\phi\colon G_1(k_1)\to G_2(k_2)$ an abstract embedding. We show that $\im \phi$ is a…
Let $\mathbb{F}$ be a field and $\mathsf{G}$ a group. This work is inspired in the following problem: "{\it given a division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra, is there any other division (simple) $\mathsf{G}$-graded…
A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper provides an existence theorem for such fields over global fields with enough roots…
We give a full classification, up to equivalence, of finite-dimensional graded division algebras over the field of real numbers. The grading group is any abelian group.
In 2018, Legrand and Paran proved a weaker form of the Inverse Galois Problem for all Hilbertian fields and all finite groups: that is, there exist possibly non-Galois extensions over given Hilbertian base field with given finite group as…
Let $C$ be an affine curve over an algebraically closed field $k$ of characteristic $p>0$. Given an embedding problem $(\beta:\Gamma\longrightarrow G, \alpha: \pi^{et}_1(C)\longrightarrow G)$ for $\pi_1^{et}(C)$ where $\beta$ is a…
We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite group. Given a $G$-Galois $K$-algebra $K_h$, let $\mathcal{O}_h$ denote its ring of integers. If $K_h/K$ is tame, then a classical theorem of E. Noether…
Let A,B be finite dimensional G-graded algebras over an algebraically closed field K with char(K)=0, where G is an abelian group, and let Id_G(A) be the set of graded identities of A (res. Id_G(B)). We show that if A,B are G-simple then…
We prove that, for every integer $n \ge 2$, a finite or infinite countable group $G$ can be embedded into a 2-generated group $H$ in such a way that the solvability of quadratic equations of length at most $n$ is preserved, i.e., every…