da maurer » 08/08/2011, 10:53
Beh, non è nulla di complicato. Probabilmente lo sforzo maggiore che ti richiederà è quello di prendere abbastanza confidenza con la definizione di prodotto tensoriale da dimostrare l'isomorfismo che ho messo in hint!
I believe in the axiom of choice, and in particular that every proper ideal in a ring is contained in a maximal ideal!