Showing 1–16 of 16 results for author: Jakhar, A

Behaviour of Newton Polygon over polynomial composition

Authors: Anuj Jakhar, Shanta Laishram, Kotyada Srinivas, Prabhakar Yadav

Abstract: In this paper, we study the structure of Newton polygons for compositions of polynomials over the rationals. We establish sufficient conditions under which the successive vertices of the Newton polygon of the composition $ g(f^n(x)) $ with respect to a prime $ p $ can be explicitly described in terms of the Newton polygon of the polynomial $ g(x) $. Our results provide deeper insights into how the… ▽ More In this paper, we study the structure of Newton polygons for compositions of polynomials over the rationals. We establish sufficient conditions under which the successive vertices of the Newton polygon of the composition $ g(f^n(x)) $ with respect to a prime $ p $ can be explicitly described in terms of the Newton polygon of the polynomial $ g(x) $. Our results provide deeper insights into how the Newton polygon of a polynomial evolves under iteration and composition, with applications to the study of dynamical irreducibility, eventual stability, non-monogenity of tower of number fields, etc. △ Less

Submitted 15 January, 2025; v1 submitted 12 January, 2025; originally announced January 2025.

Comments: Any comments or suggestions are welcome. Any additional applications are appreciated. 26 pages

MSC Class: 11R09 (Primary); 11S05; 37P05 (Secondary)

A Study of monogenity of Binomial Composition

Authors: Anuj Jakhar, Ravi Kalwaniya, Prabhakar Yadav

Abstract: Let $θ$ be a root of a monic polynomial $h(x) \in \Z[x]$ of degree $n \geq 2$. We say $h(x)$ is monogenic if it is irreducible over $\Q$ and $\{ 1, θ, θ^2, \ldots, θ^{n-1} \}$ is a basis for the ring $\Z_K$ of integers of $K = \Q(θ)$. In this article, we study about the monogenity of number fields generated by a root of composition of two binomials. We characterise all the primes dividing the inde… ▽ More Let $θ$ be a root of a monic polynomial $h(x) \in \Z[x]$ of degree $n \geq 2$. We say $h(x)$ is monogenic if it is irreducible over $\Q$ and $\{ 1, θ, θ^2, \ldots, θ^{n-1} \}$ is a basis for the ring $\Z_K$ of integers of $K = \Q(θ)$. In this article, we study about the monogenity of number fields generated by a root of composition of two binomials. We characterise all the primes dividing the index of the subgroup $\Z[θ]$ in $\Z_K$ where $K = \Q(θ)$ with $θ$ having minimal polynomial $F(x) = (x^m-b)^n - a \in \Z[x]$, $m\geq 1$ and $n \geq 2$. As an application, we provide a class of pairs of binomials $f(x)=x^n-a$ and $g(x)=x^m-b$ having the property that both $f(x)$ and $f(g(x))$ are monogenic. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 9 pages

MSC Class: 11R04; 11R29; 11Y40

On the irreducibility of extended Laguerre Polynomials

Authors: Anuj Jakhar, Srinivas Kotyada, Arunabha Mukhopadhyay

Abstract: Let $m\geq 1$ and $a_m$ be integers. Let $α$ be a rational number which is not a negative integer such that $α= \frac{u}{v}$ with $\gcd(u,v) = 1, v>0$. Let $φ(x)$ belonging to $\Z[x]$ be a monic polynomial which is irreducible modulo all the primes less than or equal to $vm+u$. Let $a_i(x)$ with $0\leq i\leq m-1$ belonging to $\Z[x]$ be polynomials having degree less than $\degφ(x)$. Assume that t… ▽ More Let $m\geq 1$ and $a_m$ be integers. Let $α$ be a rational number which is not a negative integer such that $α= \frac{u}{v}$ with $\gcd(u,v) = 1, v>0$. Let $φ(x)$ belonging to $\Z[x]$ be a monic polynomial which is irreducible modulo all the primes less than or equal to $vm+u$. Let $a_i(x)$ with $0\leq i\leq m-1$ belonging to $\Z[x]$ be polynomials having degree less than $\degφ(x)$. Assume that the content of $(a_ma_0(x))$ is not divisible by any prime less than or equal to $vm+u$. In this paper, we prove that the polynomials $L_{m,α}^φ(x) = \frac{1}{m!}(a_mφ(x)^m+\sum\limits_{j=0}^{m-1}b_ja_j(x)φ(x)^j)$ are irreducible over the rationals for all but finitely many $m$, where $b_j = \binom{m}{j}(m+α)(m-1+α)\cdots (j+1+α)~~~\mbox{ for }0\leq j\leq m-1$. Further, we show that $L_{m,α}^φ(x)$ is irreducible over rationals for each $α\in \{0, 1, 2, 3, 4\}$ unless $(m, α) \in \{ (1,0), (2,2), (4,4),(6,4)\}.$ For proving our results, we use the notion of $φ$-Newton polygon and some results from analytic number theory. We illustrate our results through examples. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: arXiv admin note: text overlap with arXiv:2306.01767, arXiv:2306.03294

An extension of a second irreducibility theorem of I. Schur

Authors: Anuj Jakhar, Ravi Kalwaniya

Abstract: Let $n \neq 8$ be a positive integer such that $n+1 \neq 2^u$ for any integer $u\geq 2$. Let $φ(x)$ belonging to $\mathbb{Z}[x]$ be a monic polynomial which is irreducible modulo all primes less than or equal to $n+1$. Let $a_j(x)$ with $0\leq j\leq n-1$ belonging to $\mathbb{Z}[x]$ be polynomials having degree less than $\degφ(x)$. Assume that the content of $(a_na_0(x))$ is not divisible by any… ▽ More Let $n \neq 8$ be a positive integer such that $n+1 \neq 2^u$ for any integer $u\geq 2$. Let $φ(x)$ belonging to $\mathbb{Z}[x]$ be a monic polynomial which is irreducible modulo all primes less than or equal to $n+1$. Let $a_j(x)$ with $0\leq j\leq n-1$ belonging to $\mathbb{Z}[x]$ be polynomials having degree less than $\degφ(x)$. Assume that the content of $(a_na_0(x))$ is not divisible by any prime less than or equal to $n+1$. In this paper, we prove that the polynomial $f(x) = a_n\frac{φ(x)^n}{(n+1)!}+ \sum\limits_{j=0}^{n-1}a_j(x)\frac{φ(x)^{j}}{(j+1)!}$ is irreducible over the field $\mathbb{Q}$ of rational numbers. This generalises a well-known result of Schur which states that the polynomial $\sum\limits_{j=0}^{n}a_j\frac{x^{j}}{(j+1)!}$ with $a_j \in \mathbb{Z}$ and $|a_0| = |a_n| = 1$ is irreducible over $\mathbb{Q}$. We illustrate our result through examples. △ Less

Submitted 28 May, 2023; originally announced June 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2305.04781. substantial text overlap with arXiv:2306.01767

On Schur's irreducibility results and generalised $φ$-Hermite polynomials

Authors: Anuj Jakhar

Abstract: Let $c$ be a fixed integer such that $c \in \{0,2\}.$ Let $n$ be a positive integer such that either $n\geq 2$ or $2n+1 \neq 3^u$ for any integer $u\geq 2$ according as $c = 0$ or not. Let $φ(x)$ belonging to $\mathbb{Z}[x]$ be a monic polynomial which is irreducible modulo all primes less than $2n+c$. Let $a_i(x)$ with $0\leq i\leq n-1$ belonging to $\mathbb{Z}[x]$ be polynomials having degree le… ▽ More Let $c$ be a fixed integer such that $c \in \{0,2\}.$ Let $n$ be a positive integer such that either $n\geq 2$ or $2n+1 \neq 3^u$ for any integer $u\geq 2$ according as $c = 0$ or not. Let $φ(x)$ belonging to $\mathbb{Z}[x]$ be a monic polynomial which is irreducible modulo all primes less than $2n+c$. Let $a_i(x)$ with $0\leq i\leq n-1$ belonging to $\mathbb{Z}[x]$ be polynomials having degree less than $\degφ(x)$. Let $a_n \in \mathbb{Z}$ and the content of $(a_na_0(x))$ is not divisible by any prime less than $2n+c$. For a positive integer $j$, if $u_j$ denotes the product of the odd numbers $\leq j$, then we show that the polynomial $\frac{a_{n}}{u_{2n+c}}φ(x)^{2n}+\sum\limits_{j=0}^{n-1}a_j(x)\frac{φ(x)^{2j}}{u_{2j+c}}$ is irreducible over the field $\mathbb{Q}$ of rational numbers. This generalises a well-known result of Schur which states that the polynomial $\sum\limits_{j=0}^{n}a_j\frac{x^{2j}}{u_{2j+c}}$ with $a_j \in \mathbb{Z}$ and $|a_0| = |a_n| = 1$ is irreducible over $\mathbb{Q}$. We illustrate our result through examples. △ Less

Submitted 28 May, 2023; originally announced June 2023.

DISCRIMINANT and integral basis OF $\mathbb{Q}(\sqrt[12]{a})$

Authors: Anuj Jakhar, Surender Kumar

Abstract: Suppose $m$ be a $12$-th power free integer. Let $K=\mathbb{Q}(θ)$ be an algebraic number field defined by a complex root $θ$ of an irreducible polynomial $x^{12}-m$ and $O_K$ be its ring of integers. In this paper, we determine the highest power of $p$ dividing the index of the subgroup $\Z[θ]$ in $O_K$ and $p$-integral basis of $K$ for each prime $p$. These $p$-integral bases lead to the constru… ▽ More Suppose $m$ be a $12$-th power free integer. Let $K=\mathbb{Q}(θ)$ be an algebraic number field defined by a complex root $θ$ of an irreducible polynomial $x^{12}-m$ and $O_K$ be its ring of integers. In this paper, we determine the highest power of $p$ dividing the index of the subgroup $\Z[θ]$ in $O_K$ and $p$-integral basis of $K$ for each prime $p$. These $p$-integral bases lead to the construction of an integral basis of $K$ which is illustrated with examples. In particular, when $m$ is a square free integer, we provide necessary and sufficient conditions for the set $\{1,θ,θ^2,\cdots,θ^{10},θ^{11}\}$ to be an integral basis of $K.$ △ Less

Submitted 1 April, 2023; originally announced April 2023.

A short note on number fields defined by exponential Taylor polynomials

Authors: Anuj Jakhar, Srinivas Kotyada

Abstract: Let $n$ be a positive integer and $f_n(x)= 1+x+\frac{x^2}{2!}+\cdots + \frac{x^n}{n!}$ denote the $n$-th Taylor polynomial of the exponential function. Let $K = \mathbf{Q}(θ)$ be an algebraic number field where $θ$ is a root of $f_n(x)$ and $\mathbf{Z}_K$ denote the ring of algebraic integers of $K$. In this paper, we prove that for any prime $p$, $p$ does not divide the index of the subgroup… ▽ More Let $n$ be a positive integer and $f_n(x)= 1+x+\frac{x^2}{2!}+\cdots + \frac{x^n}{n!}$ denote the $n$-th Taylor polynomial of the exponential function. Let $K = \mathbf{Q}(θ)$ be an algebraic number field where $θ$ is a root of $f_n(x)$ and $\mathbf{Z}_K$ denote the ring of algebraic integers of $K$. In this paper, we prove that for any prime $p$, $p$ does not divide the index of the subgroup $\mathbf{Z}[θ]$ in $\mathbf{Z}_K$ if and only if $p^2\nmid n!$. △ Less

Submitted 16 October, 2023; v1 submitted 10 March, 2023; originally announced March 2023.

On power basis of a class of number fields

Authors: Anuj Jakhar, Sumandeep Kaur, Surender Kumar

Abstract: Let $f(x)=x^n+ax^2+bx+c \in \Z[x]$ be an irreducible polynomial with $b^2=4ac$ and let $K=\Q(θ)$ be an algebraic number field defined by a complex root $θ$ of $f(x)$. Let $\Z_K$ deonote the ring of algebraic integers of $K$. The aim of this paper is to provide the necessary and sufficient conditions involving only $a,c$ and $n$ for a given prime $p$ to divide the index of the subgroup $\Z[θ]$ in… ▽ More Let $f(x)=x^n+ax^2+bx+c \in \Z[x]$ be an irreducible polynomial with $b^2=4ac$ and let $K=\Q(θ)$ be an algebraic number field defined by a complex root $θ$ of $f(x)$. Let $\Z_K$ deonote the ring of algebraic integers of $K$. The aim of this paper is to provide the necessary and sufficient conditions involving only $a,c$ and $n$ for a given prime $p$ to divide the index of the subgroup $\Z[θ]$ in $\Z_K$. As a consequence, we provide families of monogenic algebraic number fields. Further, when $\Z_K \neq \Z[θ]$, we determine explicitly the index $[\Z_K : \Z[θ]]$ in some cases. △ Less

Submitted 6 March, 2023; originally announced March 2023.

ON the index divisors of certain number fields

Authors: Anuj Jakhar, Ravi Kalwaniya

Abstract: Let $K=\Q(θ)$ be an algebraic number field with $θ$ a root of an irreducible quadrinomial $f(x) = x^6+ax^m+bx+c\in\Z[x] $ with $m\in\{2,3,4,5\}$. In the present paper, we give some explicit conditions involving only $a,~b,~c$ and $m$ for which $K$ is non-monogenic. In each case, we provide the highest power of a rational prime $p$ dividing index of the field $K$. In particular, we provide a partia… ▽ More Let $K=\Q(θ)$ be an algebraic number field with $θ$ a root of an irreducible quadrinomial $f(x) = x^6+ax^m+bx+c\in\Z[x] $ with $m\in\{2,3,4,5\}$. In the present paper, we give some explicit conditions involving only $a,~b,~c$ and $m$ for which $K$ is non-monogenic. In each case, we provide the highest power of a rational prime $p$ dividing index of the field $K$. In particular, we provide a partial answer to the Problem $22$ of Narkiewicz \cite{Nar} for these number fields. Finally, we illustrate our results through examples. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2301.00365; text overlap with arXiv:2011.14348 by other authors

On common index divisor of the number fields defined by $x^7+ax+b$

Authors: Anuj Jakhar, Sumandeep Kaur, Surender Kumar

Abstract: Let $f(x)=x^7+ax+b$ be an irreducible polynomial having integer coefficients and $K=\mathbb{Q}(θ)$ be an algebraic number field generated by a root $θ$ of $f(x)$. In the present paper, for every rational prime $p$, our objective is to determine the necessary and sufficient conditions involving only $a,~b$ so that $p$ is a divisor of the index of the field $K$. In particular, we provide sufficient… ▽ More Let $f(x)=x^7+ax+b$ be an irreducible polynomial having integer coefficients and $K=\mathbb{Q}(θ)$ be an algebraic number field generated by a root $θ$ of $f(x)$. In the present paper, for every rational prime $p$, our objective is to determine the necessary and sufficient conditions involving only $a,~b$ so that $p$ is a divisor of the index of the field $K$. In particular, we provide sufficient conditions on $a$ and $b$, for which $K$ is non-monogenic. In a special case, we show that if either $8$ divides both $a\pm1$, $b$ or $32$ divides both $a+4$, $b$, then $K$ is non-monogenic. We illustrate our results through examples. △ Less

Submitted 1 January, 2023; originally announced January 2023.

Comments: arXiv admin note: text overlap with arXiv:2011.14348

Discriminant and integral basis of pure nonic fields

Authors: Anuj Jakhar, Neeraj Sangwan

Abstract: Let $K = \Q(θ)$ be an algebraic number field with $θ$ 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 power of each prime which divides the index of the subgroup $\Z[θ]$ in $\Z_K$. Further, we give a $p$-integral basis of $K$ for each prime $p$. These $p$-integral bases… ▽ More Let $K = \Q(θ)$ be an algebraic number field with $θ$ 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 power of each prime which divides the index of the subgroup $\Z[θ]$ in $\Z_K$. Further, we give a $p$-integral basis of $K$ for each prime $p$. These $p$-integral bases lead to a construction of an integral basis of $K$ which is illustrated with examples. △ Less

Submitted 12 December, 2022; originally announced December 2022.

On integral basis of pure number fields

Authors: Anuj Jakhar, Sudesh K. Khanduja, Neeraj Sangwan

Abstract: 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 $p$; this condition is clearly satisfied when $a, n$ are coprime or $a$ is squarefree. The present paper gives explicit construction of an integral basis of… ▽ More 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 $p$; this condition is clearly satisfied when $a, n$ are coprime or $a$ is squarefree. The present paper gives explicit construction of an integral basis of $K$ along with applications. This construction of an integral basis of $K$ extends a result proved in [J. Number Theory, {173} (2017), 129-146] regarding periodicity of integral bases of $\mathbb{Q}(\sqrt[n]{a})$ when $a$ is squarefree. △ Less

Submitted 4 May, 2020; originally announced May 2020.

MSC Class: 11R04; 11R29

On the discriminant of pure number fields

Authors: Anuj Jakhar, Sudesh K. Khanduja, Neeraj Sangwan

Abstract: 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 $p$; this condition is clearly satisfied when $a, n$ are coprime or $a$ is squarefree. The paper contains an explicit formula for the discriminant of $K$ invol… ▽ More 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 $p$; this condition is clearly satisfied when $a, n$ are coprime or $a$ is squarefree. The paper contains an explicit formula for the discriminant of $K$ involving only the prime powers dividing $a,n$. △ Less

Submitted 4 May, 2020; originally announced May 2020.

MSC Class: 11R04; 11R29

On the irreducible factors of a polynomial II

Authors: Anuj Jakhar, Srinivas Koytada

Abstract: We give a lower bound for the degree of an irreducible factor of a given polynomial. This improves and generalizes the results obtained in [4, On the irreducible factors of a polynomial, Proc. Amer. Math. Soc., 148 (2020] 1429 -- 1437]. We give a lower bound for the degree of an irreducible factor of a given polynomial. This improves and generalizes the results obtained in [4, On the irreducible factors of a polynomial, Proc. Amer. Math. Soc., 148 (2020] 1429 -- 1437]. △ Less

Submitted 30 July, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: 8 pages, statements of main theorems simplified, some changes are made in the exposition to make it more self contained, typos corrected

MSC Class: 12E05; 11R09; 12J10

Journal ref: Journal of Algebra 556 (2020) 649 -- 655

An irreducibility criterion for integer polynomials

Authors: Anuj Jakhar, Neeraj Sangwan

Abstract: Let $f(x) = \sum\limits _{i=0}^{n} a_i x^i $ be a polynomial with coefficients from the ring $\mathbb{Z}$ of integers satisfying either $(i)$ $0 < a_0 \leq a_{1} \leq \cdots \leq a_{k-1} < a_{k} < a_{k+1} \leq \cdots \leq a_n$ for some $k$, $0 \leq k \leq n-1$; or $(ii)$ $|a_n| > |a_{n-1}| + \cdots + |a_{0}|$ with $a_0 \neq 0$. In this paper, it is proved that if $|a_n|$ or $|f(m)|$ is a prime num… ▽ More Let $f(x) = \sum\limits _{i=0}^{n} a_i x^i $ be a polynomial with coefficients from the ring $\mathbb{Z}$ of integers satisfying either $(i)$ $0 < a_0 \leq a_{1} \leq \cdots \leq a_{k-1} < a_{k} < a_{k+1} \leq \cdots \leq a_n$ for some $k$, $0 \leq k \leq n-1$; or $(ii)$ $|a_n| > |a_{n-1}| + \cdots + |a_{0}|$ with $a_0 \neq 0$. In this paper, it is proved that if $|a_n|$ or $|f(m)|$ is a prime number for some integer $m$ with $|m|\geq 2 $ then the polynomial $f(x)$ is irreducible over $\mathbb{Z}$. △ Less

Submitted 6 December, 2016; originally announced December 2016.

On the irreducibility of multivariate polynomials

Authors: Anuj Jakhar

Abstract: Let (K, v) be a henselian valued field of arbitrary rank. In this paper, we give an irreducibility criterion for multivariate polynomials over K using valuation theory. Let (K, v) be a henselian valued field of arbitrary rank. In this paper, we give an irreducibility criterion for multivariate polynomials over K using valuation theory. △ Less

Submitted 6 December, 2016; originally announced December 2016.