$f: \mathbb{N} \mapsto G$

[dan95]

Ogni tanto su fb oltre a sistemi lineari con banane e mele che solo 1% della popolazione sa risolvere (con tanto di immagine Einstein "che pensa" per fare sembrare la cosa ancora più difficile...vabbè mi sono dilungato...) ci si può imbattere anche su problemi interessanti come questo...

Siano $\mathbb{N}$ l'insieme degli interi positivi, $G$ un gruppo abeliano finito e

$f:\mathbb{N} \mapsto G$

una funzione tale che

$f(mn) = f(m)f(n)$ per ogni $m$, $n$ naturali.

Dimostrare che esistono infiniti $k$ tali che $f(k)=f(k+1)$.

[megas_archon]

1. E' facile osservare che \(f\) è un omomorfismo di monoidi \((\mathbb N,\cdot)\to (G,+)\), perché \[f1=f(1\cdot 1)=f1\cdot f1\] sicché \(f1\) è un idempotente in $G$, che siccome è un gruppo non ne ha di non banali.

2. Per la proprietà universale del gruppo di Grothendieck, \(f\) corrisponde a un omomorfismo di gruppi \[\bar f : K(\mathbb N,\cdot) \to G\] dove \(K(\mathbb N,\cdot)\) è appunto il gruppo di Grothendieck di \((\mathbb N,\cdot)\); incidentalmente, questo è il gruppo abeliano dei numeri razionali strettamente positivi, preso rispetto alla moltiplicazione, perché \(f : \mathbb N \to G\) si estende a \(\bar f : (\mathbb Q_{>0}, \cdot) \to G\) mandando \(\frac{m}{n}\) in \(fm-fn\).

3. Per ovvie ragioni di piccionaia, ogni fibra di \(\bar f\) ha cardinalità infinita (è qui che questa dimostrazione usa la commodity di essere passati ai gruppi, perché nei gruppi la cardinalità di una fibra di un omomorfismo \(\varphi\) è decisa dalla cardinalità di \(\ker \varphi\); nei monoidi questo è falso --incidentalmente, questo significa che la categoria dei monoidi non è una varietà di Mal'cev), e questo conclude, perché l'insieme \(\{k\in\mathbb N\mid fk = f(k+1)\}\) è precisamente la fibra di \(\bar f\) sopra \(\frac{k}{k+1}\).

[dan95]

Non mi è tanto chiaro perché la fibra di $\bar(f)$ è sopra a $\frac{k}{k+1}$, a me pare sia sopra a $0$

[dan95]

$$\bar{f}^{-1}(\{0\})=\{q \in Q^{\ast}| \bar{f}(q)=0\}$$

Che come dici ha cardinalità infinita ma chi mi assicura che $\frac{k}{k+1} \in \bar(f)^{-1}({0})$

[megas_archon]

gnap. Sì, volevo scrivere che $fk=f(k+1)$ se e solo se \(\frac{k}{k+1}\) sta in \(\ker \bar f\); adesso però per quale motivo ci devono essere infiniti elementi nel nucleo di quella forma? Inizierei dicendo che ci sta 0, per l'ovvio motivo che \(f0=f1=0_G\), e se ora $k$ ci sta, ma c'è un \(k^*\) massimo per cui ci sta... uff, non riesco a farlo a mente. Pazienza, ci ho provato.

[dan95]

uff, non riesco a farlo a mente. Pazienza, ci ho provato.

Ecco a che serve risolvere i sistemi lineari con mele e banane

[megas_archon]

[dan95]

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.

Metti off-topic sennò magari qualcuno risolve quello invece del problema

[otta96]

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.

Oppure:

[dan95]

Hint:

Testo nascosto, fai click qui per vederlo

Ogni sottogruppo $S$ di un gruppo abeliano $G$ è normale e per ogni divisore $d$ di $|G|$ esiste un sottogruppo normale di ordine $d$.