Moduli finitamente generati: invariante di Morita

Messaggioda robbis » 27/08/2018, 15:36

Ciao a tutti! Studiando il teorema di Morita sull'equivalenza di categorie di moduli ho trovato la seguente proprietà.

Siano $R$ and $S$ Morita equivalenti tramite $F: R-mod \to S-mod$ e sia $M$ un $R-$modulo. Allora $M$ è finitamente generato se e solo se $F(M)$ è finitamente generato.

Applico la seguente caratterizzazione dei moduli fintamente generati: $M$ è f.g se e solo se data una famiglia $\{N_i | i \in I\}$ di sottomoduli di $M$ con $M=\sum_{i \in I}N_i$, esiste un sottoinsieme finito $J \subset I$ tale che $M=\sum_{i\in J} N_i$.

Sia data una famiglia $\{N_i |i \in I\}$di sottomoduli di $F(M)$ con $\sum_{i \in I}N_i=F(M)$. Allora esistono $A_i$ con $F(A_i)=N_i$ for every $i \in I$. Il testo afferma che gli $A_i$ sono $R-$ moduli.Allora $F(M)=F(\sum_{i \in I}A_i)$. Applicando $G$ a entrambi i membri ottengo $M= \sum_{i \in I}A_i$. Per hp $M$ è f.g così trovo un sottoinsieme finito $J$ of $I$ e concludo che $F(M)$ è f.g.

Ciò che non mi è chiaro è questo: gli $A_i$ sono $R-$moduli, ma non dovrei avere dei sottomoduli di $M$ per poter applicare la caratterizzazione dei moduli f.g? Se sì, come faccio a dire che gli $A_i$ sono sottomoduli di $M$? Immagino dipenda dal fatto che le loro immagini tramite $F$ stanno in $F(M)$ e che $F$ induce un'equivalenza di categorie ma non saprei come. Qualcuno potrebbe darmi una mano? Grazie!
robbis
New Member
New Member
 
Messaggio: 34 di 70
Iscritto il: 29/10/2012, 21:57

Re: Moduli finitamente generati: invariante di Morita

Messaggioda killing_buddha » 27/08/2018, 16:19

Un'equivalenza di categorie manda monomorfismi in monomorfismi.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 2773 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Moduli finitamente generati: invariante di Morita

Messaggioda robbis » 06/09/2018, 18:37

Scusami non avevo visto la risposta. Grazie, continuando a studiare l'argomento ho trovato questa proprietà! :)
robbis
New Member
New Member
 
Messaggio: 35 di 70
Iscritto il: 29/10/2012, 21:57


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron