Related papers: Integral Basis for quartic Kummer extensions over …

Let $K=\mathbb{Q}(\sqrt[n]{a})$ be an extension of degree $n$ of the field $\Q$ of rational numbers, where the integer $a$ is such that for each prime $p$ dividing $n$ either $p\nmid a$ or the highest power of $p$ dividing $a$ is coprime to…

Let $m\neq0,\pm1$ and $n\geq 2$ be integers. The ring of algebraic integers of the pure fields of type $\mathbb{Q}(\sqrt[n]{m})$ is explicitly known for $n=2,3,4$. It is well known that for $n=2$, an integral basis of the pure quadratic…

In all available papers, on power integral bases of pure octic number fields $K$, generated by a root $\alpha$ of a monic irreducible polynomial $f(x)=x^8-m\in\mathbf Z[x]$, it was assumed that $m\neq \pm 1$ is square free. In this paper,…

In this paper, based on techniques of Newton polygons, a result which allows the computation of a p integral basis of every quartic number field is given. For each prime integer p, this result allows to compute a p-integral basis of a…

Suppose $m$ be a $12$-th power free integer. Let $K=\mathbb{Q}(\theta)$ be an algebraic number field defined by a complex root $\theta$ of an irreducible polynomial $x^{12}-m$ and $O_K$ be its ring of integers. In this paper, we determine…

We develop (quantum) cluster algebra structures over arbitrary commutative unital rings $\Bbbk$ and prove that the (quantized) coordinate rings of connected simply-connected complex simple algebraic groups $G$ over $\Bbbk$ admit such…

For any finite Galois field extension $\mathsf{K}/\mathsf{F}$, with Galois group $G = \mathrm{Gal}(\mathsf{K}/\mathsf{F})$, there exists an element $\alpha \in \mathsf{K}$ whose orbit $G\cdot\alpha$ forms an $\mathsf{F}$-basis of…

Let $K_n$ be a tamely ramified cyclic quintic field generated by a root of Emma Lehmer's parametric polynomial. We give all normal integral bases for $K_n$ only by the roots of the polynomial, which is a generalization of the work of Lehmer…

Let $\mathfrak{p}$ be a monic irreducible polynomial in $A:=\mathbb{F}_q[\theta]$, the ring of polynomials in the indeterminate $\theta$ over the finite field $\mathbb{F}_q$, and let $\zeta$ be a root of $\mathfrak{p}$ in an algebraic…

A generalized Kummer surface $X=Km_{3}(A,G_{A})$ is the minimal resolution of the quotient of a $2$-dimensional complex torus by an order 3 symplectic automorphism group $G_{A}$. A Kummer structure on $X$ is an isomorphism class of pairs…

Let $K$ be a number field of degree $n$ with ring of integers $O_K$. By means of a criterion of Gilmer for polynomially dense subsets of the ring of integers of a number field, we show that, if $h\in K[X]$ maps every element of $O_K$ of…

We give necessary and sufficient conditions for the Kummer extension $K:=\mathbb{Q}\left(\zeta_n,\sqrt[n]{\alpha}\right)$ to be monogenic over $\mathbb{Q}(\zeta_n)$ with $\sqrt[n]{\alpha}$ as a generator, i.e., for…

Let $K = \Q(\theta)$ be an algebraic number field with $\theta$ satisfying an irreducible polynomial $x^{9} - a$ over the field $\Q$ of rationals and $\Z_K$ denote the ring of algebraic integers of $K$. In this article, we provide the exact…

We parametrize quartic commutative algebras over any base ring or scheme (equivalently finite, flat degree four $S$-schemes), with their cubic resolvents, by pairs of ternary quadratic forms over the base. This generalizes Bhargava's…

Let $0,1\ne m\in Z$ and $\alpha=\sqrt[8]{m}$. According to the results of I. Ga\'al and L. El Fadil, $\alpha$ generates a power integral basis in $K=Q(\alpha)$, if and only if $m$ is square-free and $m\not\equiv 1\;(\bmod\; 4)$. In the…

For a prime $p$, the OM algorithm finds the $p$-adic factorization of an irreducible polynomial $f\in\mathbb{Z}[x]$ in polynomial time. This may be applied to construct $p$-integral bases in the number field $K$ defined by $f$. In this…

Let $Q$ be the affine quiver of type $\widetilde{A}_{2n-1,1}$ and $\mathcal{A}_{q}(Q)$ be the quantum cluster algebra associated to the valued quiver $(Q,(2,2,\dots,2))$. We prove some cluster multiplication formulas, and deduce that the…

Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by…

An element $\alpha \in \mathbb{F}_{q^n}$ is a normal element over $\mathbb{F}_q$ if the conjugates $\alpha^{q^i}$, $0 \leq i \leq n-1$, are linearly independent over $\mathbb{F}_q$. Hence a normal basis for $\mathbb{F}_{q^n}$ over…

It is well known that for any finite Galois extension field $K/F$, with Galois group $G = \mathrm{Gal}(K/F)$, there exists an element $\alpha \in K$ whose orbit $G\cdot\alpha$ forms an $F$-basis of $K$. Such an element $\alpha$ is called…