MathNugget
Junior Member
- Joined
- Feb 1, 2024
- Messages
- 195
I am trying to prove (X2+tX+q,p)Z[X]Z[X]≃(X2+tX+q,p)Z[X]/(X2+tX+q)Z[X](Z[X]/p(X2+tX+q)Z[X]. It's not very clear how I'd get from one to another, but I can do this:
(X2+tX+q,p)Z[X]Z[X]≃(X2+tX+q,p)Z[X]/(X2+tX+q)Z[X]Z[X]/(X2+tX+q)Z[X]
I do not know what to do from here (I am trying to avoid the process of finding a surjective morphism from classes to classes, then finding its ker)
(X2+tX+q,p)Z[X]Z[X]≃(X2+tX+q,p)Z[X]/(X2+tX+q)Z[X]Z[X]/(X2+tX+q)Z[X]
I do not know what to do from here (I am trying to avoid the process of finding a surjective morphism from classes to classes, then finding its ker)