MHB Homomorphism of Rings & Is Map f:C->Z a Homo?

  • Thread starter Thread starter Stephen88
  • Start date Start date
  • Tags Tags
    Rings
Click For Summary
The discussion centers on determining whether the map f:C->Z defined by f(a+bi)=a is a homomorphism of rings. It is established that while f(x+y)=f(x)+f(y) holds true, f(xy) does not equal f(x)f(y), indicating that the map fails to satisfy the necessary conditions for a homomorphism. Therefore, the conclusion is that the map is not a homomorphism of rings. The participants confirm the correctness of this analysis. The discussion effectively clarifies the properties required for ring homomorphisms.
Stephen88
Messages
60
Reaction score
0
I'm trying to see if the map f:C->Z,f(a+bi)=a is a homomorphism of rings.
Let x=a+bi and y=c+di...then f(x+y)=a+c=f(x)+f(y) but f(xy)=f((ac-db)+(ad+bc)i)=ac-db/= f(x)f(y)...so the map is not a homomorphism of rings.
Is this correct?
 
Physics news on Phys.org
StefanM said:
Is this correct?
Yes. (Smile)
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 0 ·
Replies
0
Views
804
  • · Replies 3 ·
Replies
3
Views
845
  • · Replies 5 ·
Replies
5
Views
913
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
2K