Related papers: An explicit triangular integral basis for any sepa…

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

Let $G$ be a finite $p$-group. We construct a $G$-extension $K/k$ of number fields such that the $p$-adic completion of the unit group of $K$ has a prescribed $\mathbb{Z}_p[G]$-module structure, up to free direct summands.

Coalgebra-Galois extensions generalise Hopf-Galois extensions, which can be viewed as non-commutative torsors. In this paper it is analysed when a coalgebra-Galois extension is a separable, split, or strongly separable extension.

Let $X$ and $Y$ be rational functions of degree at least two with complex coefficients such that $\mathbb{C}(X,Y)=\mathbb{C}(z)$. We study the problem of determining when the field extension $[\mathbb{C}(z):\mathbb{C}(X)\cap\mathbb{C}(Y)]$…

We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to…

We describe algorithms to compute fixed fields, splitting fields and towers of radical extensions without using polynomial factorisation in towers or constructing any field containing the splitting field, instead extending Galois group…

We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper…

We investigate fields in which addition requires three summands. These ternary fields are shown to be isomorphic to the set of invertible elements in a local ring $\mathcal{R}$ having $\mathbb{Z}\diagup 2\mathbb{Z}$ as a residual field. One…

We propose three kinds of explicit formulas for the elliptic lambda function by the elliptic modular function. Further, we derive incredible cubic identities as a corollary of our explicit formulas and evaluate some singular values of the…

Let $C \langle \boldsymbol{t} \rangle$ be the differential field generated by $l$ differential indeterminates $\boldsymbol{t}=(t_1, \dots, t_l)$ over an algebraically closed field $C$ of characteristic zero. In this article we present an…

We introduce a notion of "Galois closure" for extensions of rings. We show that the notion agrees with the usual notion of Galois closure in the case of an S_n degree n extension of fields. Moreover, we prove a number of properties of this…

We present a method for tabulating all cubic function fields over $\mathbb{F}_q(t)$ whose discriminant $D$ has either odd degree or even degree and the leading coefficient of $-3D$ is a non-square in $\mathbb{F}_{q}^*$, up to a given bound…

This extended abstract is about an effort to build a formal description of a triangulation algorithm starting with a naive description of the algorithm where triangles, edges, and triangulations are simply given as sets and the most complex…

Let $X/ \mathbb{C}$ be a K3 surface with complex multiplication by the ring of integers of a CM field $E$. We show that $X$ can always be defined over an Abelian extension $K/E$ explicitly determined by the discriminant form of the lattice…

We generalise the Fundamental Theorem of Calculus to higher dimensions. Our generalisation is based on the observation that the antiderivative of a function of $n$-variables is a solution of a partial differential equation of order $n$…

Let $k$ be a number field. We provide an asymptotic formula for the number of Galois extensions of $k$ with absolute discriminant bounded by some $X \geq 1$, as $X\to\infty$. We also provide an asymptotic formula for the closely related…

Let L be an abelian number field of degree n with Galois group G. In this paper we study how to compute efficiently a normal integral basis for L, if there is at least one, assuming that the group G and an integral basis for L are known.

We consider a three dimensional complex polynomial, or rational, vector field (equivalently, a two-form in three variables) which admits a Liouvillian first integral. We prove that there exists a first integral whose differential is the…

This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of…

Looking forward to introducing an analysis in Galois Fields, discrete functions are considered (such as transcendental ones) and MacLaurin series are derived by Lagrange's Interpolation. A new derivative over finite fields is defined which…