$K$-theory for dummies

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

$K$-theory for dummies

Messaggio da <enigma> »

Sia $R$ un anello di Dedekind, $C(R)$ il suo gruppo delle classi di ideali, $K_0(R)$ il gruppo di Grothendieck della categoria degli $R$-moduli proiettivi finitamente generati. Dimostrare che \[K_0(R) \cong C(R) \oplus \mathbb Z.\]
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: $K$-theory for dummies

Messaggio da <enigma> »

Vediamo se il silenzio è dovuto alla difficoltà o al disinteresse. Hint:
Testo nascosto:
Se $P$ è un $R$-modulo proiettivo finitamente generato, osserviamo che $P \cong R^{n-1} \oplus I$ per un qualche ideale $I$ e consideriamo la mappa che manda la classe di $P$ in $(, \text{rk}P)$ ($$ è la classe di isomorfismo di $I$, che è unicamente determinata da $P$ per la forma normale di Steinitz).
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Rispondi