# Tagged Questions

Finite fields are structures arising in abstract algebra. The order of a finite field is always a prime power, and for each prime power $q$ there is a single isomorphism type. It is usually denoted by $\mathbb{F}_q$ or $\operatorname{GF}(q)$.

30 views

### The relation between $GF(2)$ and $GF(2^3)$

Both $GF(2)$ and $GF(2^3)$ are finite fields of characteristic $2$. Is $GL(2^3)$ an extension of $GF(2)$? Can someone point some links that details something about this, please?
43 views

### How to show that $X^p-t\in\mathbb{F}_p(t)[x]$ is irreducible? [duplicate]

This question is previously asked here, but there is no complete solution of it. I understand that the root $\alpha$ exist in the algebraic closure of $\mathbb{F}_p(t)[x]$, and it is the only root ...
99 views

### Number of $\mathbb{F}_q$-rational points on a smooth variety

From the proof of Weil's conjectures it follows that $|q^k - \# X(\mathbb{F}_{q^k})| = O(q^{k(n - \frac{1}{2})})$, where $X$ is a smooth variety over $\mathbb{F}_q$ and $n = \dim X$ (see for example ...
32 views

### Bruhat decomposition and the order of the group.

Suppose we have a group $G(q)$ over a finite field $\mathbb{F}_q$. How can the Bruhat decomposition be used in order to calculate the order of $G(q)$? Are there any examples for some particular groups?...
50 views

### Additive combinatorics and $|S \cap (S+t)| \geq K |S|$ over $\mathbb{F}_2^n$

I don't know much about additive combinatorics, and I am wondering if there are results concerning the size of $|S \cap (S+t)|$ where $S \subset \mathbb{F}_2^n$ and $t \in \mathbb{F}_2^n$. Especially, ...
79 views

36 views

### Irreducible polynomials over $GF(4)$.

I'm working with $GF(4)$ and I'm looking for irreducible polynomials of different degrees over that field. So $GF(4) = \{0,1,\alpha, \alpha + 1\}$ where $\alpha^{2} + \alpha + 1 = 0$, and first I'm ...
24 views

21 views

### finite fields: efficient primitive element test?

Suppose $x \in F_n^{*}$, where $F_n$ is a finite field. Is there an efficient way to test whether x is a primitive element? This is the best I can come up with: You factor n-1 into all of its factors,...
20 views

### Is this a hyperplane or a half-space in $\mathbb{F}_2^n$?

Simple terminological question: the equation $x_1+\dots+x_n = 0$ over $\mathbb{F}_2^n$ is called a subspace. I'm wondering if we could also call it a hyperplane, a half-space or neither? The equality ...
27 views

### Let $F$ be a finite field, $E$ a field extension, and $A,B\in M_n (F)$ conjugate in $M_n (E)$

Prove that $A$ and $B$ are conjugate matrices in $M_n (F)$. The question is from K. Conrad's notes on Potential Diagonalizability of Linear Operators, which he proves for the case of infinite fields ...
58 views

### Solving an equation involving the trace of a field

Let $F$ be a finite field of order $q$ where $q=2^{n}$ and fix $l\in F\setminus{0}$ with $Tr(l)=0$. I want to determine the number of $a$ such that $$Tr(la)=Tr(la^{-1})=1,$$ where $Tr$ denotes the ...
97 views

69 views

### Does NTT have an upper bound?

I'm working with NTT (Number theoretic transform) to reduce the complexity of a polynomial multiplication. For this, I'm using $P = 2^{64}-2^{32}+1$ to generate the primitive root $\omega_N$ needed by ...
### Show that $\mathrm{SO}_3(\mathbb{Q}_p) \simeq \mathrm{SL}_2(\mathbb{Q}_p)$
I read in a paper that $\mathrm{SO}_3(\mathbb{Q}_p) \simeq \mathrm{SL}_2(\mathbb{Q}_p)$ this is counterintuitive / surprising since $\mathrm{SO}_3(\mathbb{R}) \not \simeq \mathrm{SL}_2(\mathbb{R})$ ...