All Questions
Tagged with finite-fields ac.commutative-algebra
59
questions
21
votes
1
answer
577
views
Existence of a polynomial $Q$ of degree $\geq (p-1)/4$ in $\mathbb F_p[x]$ such that $QQ'$ factorizes into distinct linear factors
For all primes up to $p=89$ there exists a product $Q=\prod_{j=1}^d(x-a_j)$ involving $d\geq (p-1)/4$ distinct linear factors $x-a_j$ in $\mathbb F_p[x]$ such that $Q'$ has all its roots in $\mathbb ...
- 17.6k
1
vote
2
answers
255
views
Reference for integral extensions of $\mathbb{Z}/p^k\mathbb{Z}$
I was looking for a reference which discusses the structure of finite integral extensions of $\mathbb{Z}/p^k\mathbb{Z}$. In particular, I am interested in understanding what the abelian group of its ...
- 145
6
votes
1
answer
497
views
Do you know which is the minimal local ring that is not isomorphic to its opposite?
The most popular examples are non-local rings and minimal has 16 elements. I am interested in knowing examples of local rings not isomorphic to their opposite.
11
votes
4
answers
1k
views
Explicit large finite fields in characteristic $2$
Every finite field of characteristic $2$ ist given by $\mathbb{F}_2[x]/P(x)$ for some irreducible polynomial $P\in \mathbb{F}_2[x]$.
For small degree, a simple algorithm gives a way to find $P$. Is ...
- 7,682
10
votes
1
answer
595
views
Discrete logarithm for polynomials
Let $p$ be a fixed small prime (I'm particularly interested in $p = 2$), and let $Q, R \in \mathbb{F}_p[X]$ be polynomials.
Consider the problem of determining the set of $n \in \mathbb{N}$ such that $...
- 12.3k
4
votes
1
answer
647
views
Jacobian criterion for algebraic independence over a perfect field in positive characteristics
It is well known that the Jacobian criterion for algebraic independence does not hold in general for fields of positive characteristics. However, the following partial statement seems promising:
...
- 935
0
votes
0
answers
82
views
Fast double exponentiation in finite fields
Let $p$ be a prime, and let $\mathbb{F}_p$ be the finite field with $p$ elements. Let $a$ be a non-zero element of $\mathbb{F}_p$. Can we quickly evaluate $a^{2^r} \mod{p}$? Using repeated squaring, ...
- 1,703
5
votes
1
answer
217
views
Intrinsic characterisation of a class of rings
This may be well known, but I was unable to find an answer browsing literature. Let us temporarily call a commutative (unital) ring $R$ an O-ring if there exists an integer $n \ge 1$, a local field of ...
- 6,162
2
votes
0
answers
66
views
Partitioning a given set into root set of two polynomials or non zero set of two polynomials simultaneously
Let $p,q$ be two prime numbers and let $p<q.$ Also let, $\mathbb{Z}_p$ and $\mathbb{Z}_q$ denote the fields formed by integers modulo $p$ and modulo $q$ respectively (with respect to the modulo $p$ ...
- 850
11
votes
1
answer
472
views
Greatest common divisor in $\mathbb{F}_p[T]$ with powers of linear polynomials
Let $n>1$ and $p$ be an odd prime with $p-1 \mid n-1$ such that $p^k - 1 \mid n-1$ does not hold for any $k>1$. Notice that, since $p-1 \mid n-1$, we have $T^p - T \mid T^n-T$ in $\mathbb{F}_p[T]...
- 62.1k
3
votes
1
answer
852
views
The relationship between a finite field and a quotient ring in $\mathbb{F}_p[x]$
Let $ f$ be an irreducible polynomial of degree $q$
over $\mathbb{F}_p$.
Let ${\bf F}=\frac{\mathbb{F}_p[x]}{f}$ be the finite field which contain $p^q$ elements.
Assume $k>1$ is an integer and ...
- 211
1
vote
1
answer
85
views
Converging sequence of polynomials
Let $P$ be an irreducible polynomial of $\mathbb F_q[T]$ of degree $2$. Does there exist two polyomials $\alpha,\beta\in\mathbb F_q[T]$ (not both zeroes) such that the sequence $(\beta T^{q^{2n}}-\...
- 3,811
6
votes
0
answers
114
views
A question about the span of a sequence of polynomials satisfying a linear recurrence
Let F be a finite field and A(n) in F[t], n in N, be defined by a linear recurrence with coefficients in F[t], together with initial conditions. Is there a decision procedure for determining whether ...
- 5,412
1
vote
0
answers
1k
views
Are the integers a vector space or algebra over "some" field or over "some" ring?
Every vector $v$ in a finite-dimensional vector space space $V$ of dimension $n$ over a field $F$ has a unique representation in terms of a basis ${\frak B} \subseteq V$, where a basis for $V$ is a ...
- 171
4
votes
0
answers
775
views
When spreading out a scheme, does the choice of max ideal matter?
I'm looking at Serre's paper How to use Finite Fields for Problems Concerning Infinite Fields. Specifically I'm trying to use the techniques in the proof of Theorem 1.2 to write out the details of the ...
- 1,149