Factor . These factors generate pairwise comaximal ideals, so the Chinese remainder theorem givesThe three copies of have different module structures: acts by , respectively. Thus acts on as , making a module homomorphism.
The inverse, obtained by Lagrange interpolation, isEvaluating at recovers . Conversely, a polynomial whose three evaluations vanish is divisible by , so these maps are mutual inverses on the quotient module. Three copies with identical trivial -action would not give the required isomorphism.
Articles by others on the same topic
There are currently no matching articles.