Related papers: On Power integral bases for certain pure number fi…
Let $M$ be an imaginary quadratic field with the ring of integers $\mathbb{Z}_{M}$ and let $\xi$ be a root of polynomial $$f\left( x\right) =x^{4}-2cx^{3}+2x^{2}+2cx+1,$$ where $c\in\mathbb{Z}_{M},$ $c\notin\left\{ 0,\pm2\right\}$. We…
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 $k$ be an algebraically closed field of positive characteristic. For any integer $m \geq 2$, we show that the Hodge numbers of a smooth projective $k$-variety can take on any combination of values modulo $m$, subject only to Serre…
We show that a positive proportion of quartic fields are not monogenic, despite having no local obstruction to being monogenic. Our proof builds on the corresponding result for cubic fields that we obtained in a previous work. Along the…
For a proper subfield $K$ of $\QQ$ we show the existence of an algebraic number $\alpha$ such that no power $\alpha^n$, $n\geq 1$, lies in $K$. As an application it is shown that these numbers, multiplied by convenient Gaussian numbers, can…
Let $D$ be a square-free integer other than 1. Let $K$ be the quadratic field ${\mathbb Q}(\sqrt D)$. Let $\delta \in \{1,2\}$ with $\delta=2$ if $D\equiv 1 \pmod 4$. To each prime ideal $\mathcal P$ in $K$ that splits in $K/\mathbb Q$ we…
Let $\ell$ be an odd prime, $q$ an odd prime power such that $q \not\equiv 0 \pmod \ell$, and $m$ the order of $q$ in $\F_\ell^\times$. We propose an explicit $L$-polynomial of hyperelliptic function field $K:=\F_q(T,…
Given a prime $p\ge5$ and an integer $s\ge1$, we show that there exists an integer $M$ such that for any quadratic polynomial $f$ with coefficients in the ring of integers modulo $p^s$, such that $f$ is not a square, if a sequence…
For any finite field $\mathbb{F}$ and any positive integer $n$ we count the number of monic polynomials of degree $n$ over $\mathbb{F}$ with nonzero constant coefficient and a self-reciprocal factor of any specified degree. An application…
Let $K$ be an imaginary quadratic field of discriminant less than or equal to -7 and $K_{(N)}$ be its ray class field modulo $N$ for an integer $N$ greater than 1. We prove that singular values of certain Siegel functions generate $K_{(N)}$…
Let $D$ be an integrally closed domain with quotient field $K$ and $n$ a positive integer. We give a characterization of the polynomials in $K[X]$ which are integer-valued over the set of matrices $M_n(D)$ in terms of their divided…
For various positive integers $n$, we show the existence of infinite families of elliptic curves over $\mathbb{Q}$ with $n$-division fields, $\mathbb{Q}(E[n])$, that are not monogenic, i.e., the ring of integers does not admit a power…
Let $m$ and $n$ be positive integers, and let $p$ be a prime. Let $T(x)=\Phi_{p^m}\left(\Phi_{2^n}(x)\right)$, where $\Phi_k(x)$ is the cyclotomic polynomial of index $k$. In this article, we prove that $T(x)$ is irreducible over $\mathbb…
Let $\mathbb{F}_q$ denote the finite field of $q$ elements and $\mathbb{F}_{q^n}$ the degree $n$ extension of $\mathbb{F}_q$. A normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F} _q$ is a basis of the form…
Let $A$ be a Dedekind domain, $K$ the fraction field of $A$, and $f\in A[x]$ a monic irreducible separable polynomial. For a given non-zero prime ideal $\mathfrak{p}$ of $A$ we present in this paper a new method to compute a…
Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…
We prove that if the signed binomial coefficient $(-1)^i\binom{k}{i}$ viewed modulo p is a periodic function of i with period h prime to p in the range $0\le i\le k$, then k+1 is a power of p, provided h is not too large compared to k. (In…
Carlitz proved that, for any prime power q other than 2, the group of all permutations of the finite field F_q is generated by the permutations induced by degree-one polynomials and x^{q-2}. His proof relies on a remarkable polynomial which…
Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal of degree $d\leq 2$. We show that $(I^{k+1}:I)=I^k$ for all $k\geq 1$ and we disprove a motivation question that was appeared in…
Let $\mathbb{F}_q$ be the finite field of $q$ elements, and let $k\mid q-1$ be a positive integer. Let $f(x)=ax^2+bx+c$ be a quadratic polynomial in $\mathbb{F}_q[x]$ with $b^2-4ac\ne0$. In this paper, we show that if…