How Many Homomorphisms Can Be Calculated Between Different Fields?

  • Thread starter Thread starter wattsup03
  • Start date Start date
  • Tags Tags
    Homomorphisms
wattsup03
Messages
5
Reaction score
0
Hi,

I am trying to calculate the number of homomorphisms from one field to another:

a) F2 ---> F3
b) Q[X]/(X7 - 3) ---> Q[X]/(X8 + 4X5 - 6X + 2)
c) F7 [X] / (X2 + X - 1) ---> F7[X] / (X2 + 1)
d) Q( 21/4 ) ---> C

Attempt at a solution

a) I'm pretty sure there are no homomorphisms between F2 and F3 because if there was a homomorphism f, then f(1+1) = f(0) which does not equal f(1) +f(1) = 2

b) I think I need to see how many roots there are of X7 - 3 in Q[X]/(X8 + 4X5 - 6X + 2) since there is a bijection between that and the number of homomorphisms?

c) Similarly here

d) For this one I think the answer is four (I'm really not sure) because there is a bijection between K-Homomorphisms and the roots of the minimal polynomial of 21/4 in C, which would be 4. And over fields K-homomorphisms are ring homomorphisms?

In all honesty I am pretty stuck, and if anyone could give me any advice that would be fantastic.

Thanks in advance.
 
Last edited:
Physics news on Phys.org
a) I agree
b) I am thinking that a homomorphism f will be uniquely defined by f(x)
Prove it.
But 0 = f(0) = f(x^7 - 3) = f(x)^7 - f(3) = f(x)^7 - 3
and how many solutions does this have?
But I suppose we have to bear in mind that this zero is k(x^8 + 4x^5 - 6x + 2) for any k
c) similar
d) Using this same method would seem to imply the identity is the only homomorphism, but there are 4 K-Homomorphisms as you said, so we are in trouble here

This is still a work in progress for me but I hope it helps
 
Last edited:
Thanks meandonlyme ,

for b) could I put x7 - 3 into Q[X]/(X8 + 4X5 - 6X + 2)
(which is x7 - 3 still) and then calculate the number of roots in there: 1 since it is over Q.

So there is one root and hence one homomorphism.

Similarly for c) and d)
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Back
Top