1
vote
0answers
35 views

Existence of a map $\phi:\mathbb{Z}_{N^2}^* \mapsto \mathbb{F} $

Is there a map between the group of $\mathbb{Z}_{N^2}^*$ where $N$ is a composite number , a product of two equal size secure prime numbers $p$ and $q$ and a finite field $\mathbb{F}$, such that for ...
3
votes
1answer
41 views

How to find multiplicative orders of all elements in field $\Bbb F$ (say $\Bbb F_{13}$)?

I am working on some finite fields and I was referring to some online class material. Is there any way to find the multiplicative orders of all elements in a field $\Bbb F$?
0
votes
1answer
53 views

elementary abelian groups and finite fields

in group theory, an elementary abelian group is a finite abelian group, where every nontrivial element has order $p$, where $p$ is a prime; it is a particular kind of $p$-group. now suppose that we ...
2
votes
1answer
54 views

automorphism of fields

let we consider $GF(p^n)$ as a vector space over $GF(p)$, $p$ is prime. Also we want to have an invertible linear map on $GF(p^n)$, (automorphism of $GF(p^n)$). on the other hand we know that A field ...
0
votes
0answers
46 views

automorphism group

an endomorphism of a vector space V is a linear operator V → V. and an automorphism is an invertible linear operator on V. When the vector space is finite-dimensional, the automorphism group of V is ...
2
votes
2answers
185 views

automorphisms of a finite field

Let $F$ be a finite field of characteristic $p$ over $\mathbb{Z}_p$ with $p^r$ elements. Then I have proved that the map $\phi: x\mapsto x^p$ is a field automorphism of $F$. Moreover, $\phi(x)=x$ if ...
1
vote
3answers
54 views

classification of $2$-dimensional field extensions

Let $F$ be a field and $K:F$ be a field extension such that $[K:F]=2$. Then (i). If $Char(F)\neq 2$, then there exists $\alpha\in K^*$, $\alpha\notin F^*$, such that $K=F(\alpha)$ and $\alpha^2\in ...
2
votes
4answers
89 views

example of Frobenius endomorphisms that is not automorphism

Let $F$ be a field of characteristic $p$ and $F$ has infinitely many elements. Prove that the map $\sigma: \alpha\mapsto \alpha^p$ is a field endomorphism but not necessarily automorphism. How to ...
1
vote
1answer
52 views

Structure of $C(F_5)$ from Rational Points on Elliptic Curves

In the book Rational Points on Elliptic Curves by Silverman/Tate one examines the elliptic curve $y^2 = x^3 + x + 1$ over $F_5$. One can then easily determine the group $$ C(F_5) = \lbrace ...
0
votes
0answers
52 views

$F$ a finite field of $p^n$ elements. Suppose $F^\times=<x>$. Then $\phi(x)=x^{p^r}$ for automorphisms

Let $p$ be a prime and $F$ a finite field of $p^n$ elements. Suppose $F^\times=<x>$. Let $\phi$ be an automorhpism of $F$. Then prove that $\phi(x)=x^{p^r}$ for some integer $r$. How to prove? ...
1
vote
1answer
27 views

Let $F$ be a finite field and $\tau$ an element of $F$. Prove that there exists $a,b\in F$ such that $\tau=a^2+b^2$.

Let $F$ be a finite field and $\tau$ an element of $F$. Prove that there exists $a,b\in F$ such that $\tau=a^2+b^2$. It suffices to prove for the case $F=\mathbb{Z}_p$. How to prove?
1
vote
2answers
39 views

multiplicative order in field

Let $\alpha$ be primitive element of GF(7). Then order of $\alpha$ is 6, i.e. $o(\alpha)=6$. Now we know that $\alpha^4$ is not equal to 1, and that $o(\alpha^4)$ = $\frac{6}{gcd(6,4)}$. This also ...
0
votes
0answers
180 views

Is the multiplicative group of non-zero elements of a finite field cyclic? What are the generators of $(Z_p \setminus \{0\}$ for a prime $p$?

How to decide if the multiplicative group of non-zero elements of a finite field is cyclic or not? Based on our experience with $(Z_7 \setminus \{0\}, \cdot)$, which is generated by $3$ or $5$, and ...
6
votes
3answers
230 views

The group of invertible elements of $\mathbb F_{p}[x]/(x^m)$ is not a cyclic group.

I am stuck in a question about finite fields and would like to ask you for some help. Given an integer $m\geq 2$ and $p$ a prime number, show that $(\mathbb F_{p}[x]/(x^m))^{\times}$ (the group ...
3
votes
1answer
60 views

what is multiplicative group of all integers coprime with $N$ called?

what is multiplicative group of all integers coprime with $N$ called? I am not sure the tags are correct or not!
2
votes
1answer
86 views

Cauchy-Davenport theorem and its extension

According to Cauchy-Davenport Theorem, if $A,B$ are subsets of a prime field ($F_p$) then we have the following bound on the number of elements within the sumset $A + B = \left\{ {\left. {a + b} ...
0
votes
0answers
52 views

Condition for the number of distinct solutions over GF($q$)

Assume that we have $p$ sets $\left\{ {{m_i}} \right\}_{i = 1}^p$ with given cardinalities $\left\{ {{K_i}} \right\}_{i = 1}^p$, $1 \le {K_i} \le q$, where $q$ is a power of $2$. What I'm trying to do ...
4
votes
1answer
102 views

Conjugacy classes and orders of matrices.

The following are prime decompositions in $\Bbb{Z}_7[x]$: $x^8+1= (x^2-x-1)(x^2+x-1)(x^2+3x-1)(x^2+4x-1)$ $x^4+1= (x^2+3x+1)(x^2+4x+1)$ (a) Give representatives for the conjugacy classes of ...
0
votes
1answer
34 views

Solutions of $ 0 = x^2 -ay^2 -1$ in $\mathbb F_q$ where $a$ is not a square.

Assume $F = \mathbb F_q$ where $q = p^r$ for $p$ prime and $r > 0$. I have to count $$ \{(x,y) \in F^2 \mid x^2 -ay^2 -1 = 0\} $$ where $a$ is not a square in $F^*$. The equation is equivalent to ...
2
votes
1answer
105 views

Clarifications on the faithful irreducible representations of the dihedral groups over finite fields.

I would like to clarify a few things in the answer to this question: Faithful irreducible representations of cyclic and dihedral groups over finite fields 1) When a representation extends, what does ...
4
votes
3answers
92 views

Extending and inducing irreducible representations

I sense this may be a simple question, but it is one I haven't been able to find an answer for, possibly due to the use of different terminology. Referring to this question: Faithful irreducible ...
2
votes
1answer
38 views

What is the smallest dimension possible for a representation of $D_8 \times Q_8$ which is faithful over $F$?

Consider $D_8 \times Q_8$, where $D_8$ is the dihedral group of order 8; $Q_8$ the quaternions. Let $F$ be a field of characteristic not equal to 2. What is the smallest dimension possible for a ...
2
votes
1answer
140 views

Relationship between number of conjugacy classes and number of irreducible representations of a group

For a finite group G the number of irreducible representations over an algebraically closed field F is at most the number of conjugacy classes whose sizes are coprime to the characteristic of F. What ...
3
votes
1answer
182 views

Degrees of faithful irreducible representations of $\mathbb{Z}_n$ over finite fields

I came across the following theorem while studying representation theory over finite fields. A cyclic group $\mathbb{Z}_n$ has a faithful irreducible representation of degree $d$ over $\mathbb{F}_p$ ...
2
votes
1answer
47 views

Question about terminology, finite fields

My English is not very good, and that's why I would really appreciate it if you could explain to me what the phrase : these elements are under the same domain under $F$ and $\alpha$ means in this ...
2
votes
3answers
78 views

Show that A is a field which has $9$ elements

For $A=\left\{\left( {\begin{array}{*{20}{c}} a&b\\ { - b}&a \end{array}} \right) | a,b\in\mathbb{Z/3Z}\right\}$ . Show that A is a field which has $9$ elements . $(A^*, .)$ is a cyclic group ...
3
votes
3answers
192 views

Sylow $p$-subgroups of Finite Matrix Groups

Let $G$ be a subgroup of $GL_n(\mathbb{F}_p)$, with $n\le p$, and let $P$ be a Sylow $p$-subgroup of $G$. Do all non-trivial elements of $P$ have order $p$? I believe the answer is yes, because I ...
9
votes
0answers
117 views

Subgroup structure of $\mathrm{SL}(2, p^2)$ and its irreducible characters

I am taking a course in representation theory of finite groups, and somehow I ended up getting assigned to write a report on subgroup structure and irreducible characters of $\mathrm{SL}(2,7)$ and ...
1
vote
2answers
141 views

Generators of fields, extending groups to fields, finite abelian groups

So I'm working through Koblitz'z "a course in number theory and cryptography" when I came across his proof that every finite field has a generator (ie, There is an element such that the multiplicative ...
6
votes
2answers
219 views

Exponent of $GL(n,q)$.

Another exponent problem. $GL(n,q)$ is the group of invertible $n\times n$ matrices over the finite field $GF(q)$, where $q$ is a prime power. I am trying to figure out the exponent of this group. ...
4
votes
1answer
66 views

Abelian groups related to $(\mathbb{Z}/p\mathbb{Z})^*$, with order close to $p$ — analogous to elliptic curve groups, but simpler

I'm looking for a construction of a group $H$ that is "a sister" to $(\mathbb{Z}/p\mathbb{Z})^*$, in the following rough sense: Each element of $H$ can be represented by one or a few elements of ...
0
votes
1answer
93 views

Prove that there are $p+1$ points on the elliptic curve $y^2 = x^3 + 1$ over $\mathbb{F}_p$, where $p > 3$ is a prime such that $p \equiv 2 \pmod 3$.

Let $p > 3$ be a prime such that $p \equiv 2 \pmod 3$. Define the elliptic curve $E$ over $\mathbb{F}_p$ by $y^2 = x^3 + 1$. Prove that $E(\mathbb{F}_p)$ consists of $p+1$ points. Using Fermat's ...
2
votes
1answer
164 views

conjugacy classes in representation theory

I have a question on conjugacy classes in this post, especially to this sentence: "if $g$ is a rotation of order $5$, then it is $K$-conjugate to each of $g^{13},g^{13^2},g^{13^3},g^{13^4}=g$". ...
1
vote
1answer
232 views

program to find matrix group given generators (Matlab)?

Given a small number of generators for a group of small (e.g. $3\times3$) matrices over a finite field $\mathbb{F}_p$ where $p$ is prime, how can we find all the elements of the group? The best I've ...
1
vote
2answers
124 views

Cycling through powers of a generator of finite field. Something similar to modpow for Z/nZ

I am not sure if I am talking to the correct community (perhaps stack overflow is best). I want to be able to compute $$g^x = \underbrace{g \cdot g \cdot \dots \cdot g}_\text{x amount of times}$$ ...
3
votes
1answer
71 views

Why are generators of $Z^{*}_p, p=c \cdot 2^k + 1$ so small?

I was implementing NTT for long integer multiplication and thus searched for generators of several $Z^{*}_p$ groups where $p=c\cdot 2^k + 1$. I used the algorithm described in Wikipedia which uses ...
4
votes
1answer
211 views

Primitive root modulo $p$

I am currently trying to find a primitive element of the multiplicative group of field $GF(p)$. Since the numbers are relatively small, I know the factorization of $$\phi(p)=p-1 = {p_1}^{k_1} ...
3
votes
1answer
108 views

Given an $n$, are there infinitely many finite fields $F$ such that none of the orders of $PSL_n(F)$ divide each other?

Given an integer $n$, is there an infinite set of finite fields $F_i$, $i\in \mathbb{N}$ such that for $i\neq j$ we have that $|PSL_n(F_i)|$ does not divide $|PSL_n(F_j)|$. The motivation is that ...
9
votes
1answer
612 views

On the order of elements of $GL(2,q)$?

There's a particular property of the elements of $GL(2,q)$, the general linear group of $n\times n$ matrices over a finite field of order $q$, that I don't understand. First, I know that the order of ...
5
votes
3answers
302 views

Roots of $x^2 + 2x + 2$

I'm trying to show that there are infinitely many values of $p$ such that $x^2 + 2x + 2$ has no roots over $\mathbb{F}_p$. Is this easily solvable? (I kind of came up with it myself so I don't ...