# 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)$.

37 views

### The Cardinality of a subset of field of 8 elements

Let $F$ be a field of $8$ elements. Let $A$ be a subset of $F$ and $A = \{x \in F \mid x^7=1$ and $x^k \neq 1$ for $k<7\}$. Then find the number of elements in $A$. Argument: Since $F$ is a ...
52 views

### Roots of the equation $x^2+1=0$ in $\Bbb Z/p^{n}\Bbb Z$

Let $p$ be an odd prime number and $n$ be a positive integer. I want to consider roots of the equation $x^{2}+1=0$ in the ring $\Bbb Z/p^{n}\Bbb Z$. Suppose $n=1$. Find a condition on $p$ such ...
65 views

35 views

### Minimum cardinality module for a fixed finite ring

Let $F$ be a finite field and $k$ be a positive integer. Let $M_k(F)$ denote the ring of $k\times k$ matrices. $M_k(F)$ is an $M_k(F)$-module with matrix multiplication, and $F^k$ is an $M_k(F)$-...
28 views

### Finite fields and generators of Galois group [closed]

I'm trying to find the order and all generators of the Galois group of $GF(256)$ over $GF(16)$? How to approach this problem?
31 views

25 views

### irreducibility test for multinomials over a finite field

I am working in an algebraic cryptosystem, and I need, in the process, ensure that a 3-variables polynomial in a finite field is irreducible but I can't find a practical method to do that. Do you know ...
20 views

### How are Gauss sums the analogue of the gamma function for finite fields?

I've seen this statement on the internet in a few places and I don't really get the connection. Would anyone mind fleshing out the details? Thanks.
23 views

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?
40 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 ...
31 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?...
49 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, ...
57 views

30 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,...
19 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 ...
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 ...
Suppose $x,y,z,w \in \mathbb{F}_{q^2}$, where $q=p^k$ for some prime $p$. Consider the system of equations  \left\{ \begin{array}{l} xy + zw = 0; \\ xy^q + yx^q + zw^q + wz^q = 0. \end{array} \...