Prime rational functions over a field

Eva Goedhart,Omar Kihel,Jesse Larone

DOI: https://doi.org/10.48550/arXiv.2208.11820

2022-08-25

Abstract:The aim of this paper is to provide sufficient conditions for when a polynomial or rational function over a field K is prime using its order of vanishing at infinity and the resultant.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide sufficient conditions for the primeness of polynomials or rational functions over the field \(K\). Specifically, the author hopes to determine whether they are prime polynomials or prime rational functions by studying the order of vanishing at infinity and the resultant of these functions.

### Main problems
1. **Definition of primeness**: A polynomial or rational function \(f\) over the field \(K\) is called prime if it cannot be decomposed into the composition of two polynomials or rational functions with degrees of at least 2.
2. **Sufficient conditions**: The author aims to find sufficient conditions regarding the order of vanishing at infinity and the resultant such that a given polynomial or rational function \(f\in K(x)\) is prime.

### Research background
- **Ritt's work**: In 1922, J.F. Ritt defined composite polynomials over the complex field \(\mathbb{C}\) and studied the properties of prime polynomials.
- **Engstrom and Levi's extension**: Extended Ritt's results to any field with characteristic zero.
- **Zannier's work**: Further extended Ritt's second theorem to fields of any characteristic.
- **Beardon and Ayad's research**: Studied the decomposition of prime polynomials from the perspectives of critical points and critical values respectively.
- **Kihel and Larone's work**: Extended the definitions of primeness and compositeness to rational functions and studied related problems over the complex field.

### Main contributions of this paper
- **Application of the order of vanishing**: By studying the order of vanishing of functions at infinity, sufficient conditions for a class of polynomials and rational functions to be prime are given.
- **Application of the resultant**: Using the resultant and discriminant, sufficient conditions for another class of polynomials and rational functions to be prime are given.
- **Generalization of Ayad's results**: Improved and generalized Ayad's results on polynomial primeness to the general field \(K\).

### Formulas and symbols
- **Order of vanishing**: For \(f\in K(x)\), its order of vanishing at infinity is defined as \(\text{ord}_\infty f=\deg f_2 - \deg f_1\), where \(f = \frac{f_1}{f_2}\) and \(\gcd(f_1, f_2)=1\).
- **Resultant**: For two polynomials \(f, g\in K[x]\), their resultant is defined as \(\text{Res}_x(f, g)=a_m^n b_n^m\prod_{\alpha, \beta}(\alpha - \beta)\), where \(\alpha\) and \(\beta\) are the roots of \(f\) and \(g\) respectively.

Through these methods, the author hopes to provide more extensive and effective tools for judging the primeness of polynomials and rational functions.