Proprietà della funzione di Eulero $n=sum_(d|n) varphi(d)$

Messaggioda miles_davis » 09/03/2008, 17:11

dimostrare che

$n=sum_(d|n) varphi(d)$

mi dareste una mano? Grazie.
Uno per tutti di certo fa tutti...
miles_davis
Junior Member
Junior Member
 
Messaggio: 98 di 127
Iscritto il: 22/05/2006, 16:21

Messaggioda Ravok » 09/03/2008, 17:31

Ciao,
l'idea per una dimostrazione è:
in un gruppo ciclico di ordine $n$, prendi un elemento di ordine $n$, e fai vedere per quanti $k$ si ha che il periodo di $a^k$ divide $n$.
Saluti :)
Non si può essere entrambe le cose...(ik)
Ravok
Junior Member
Junior Member
 
Messaggio: 157 di 171
Iscritto il: 29/09/2006, 16:49

Messaggioda Martino » 10/03/2008, 10:38

In effetti non è banale trovare una dimostrazione che non faccia uso della teoria dei gruppi :?
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 860 di 13081
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Messaggioda miles_davis » 10/03/2008, 13:46

ce l'ho fatta... non avevo pensato a vedere $ZZ_n$ come gruppo additivo. Grazie.
P.S.: Avete visto l'altro messaggio, quello sui residui quadratici? Help me, please.
Uno per tutti di certo fa tutti...
miles_davis
Junior Member
Junior Member
 
Messaggio: 100 di 127
Iscritto il: 22/05/2006, 16:21

Messaggioda Gabriel » 16/03/2008, 12:16

Se $f: \mathbb{N} \to \mathbb{C}$ è moltiplicativa e $g(n) = \sum_{d | n} f(d)$, per ogni $n \in \mathbb{N}$, allora $g$ è moltiplicativa. In tal senso, basta considerare che, comunque scelti $a, b \in \mathbb{N}$, per cui $\gcd(a,b) = 1$: $g(ab) = \sum_{h | a} \sum_{k | b} f(hk) = \sum_{h | a} \sum_{k | b} f(h) f(k) = g(a) g(b)$. Nel nostro caso, $f$ è la funzione di Eulero - infatti moltiplicativa. Di modo che, quando $n$ è un intero positivo e $\prod_{i = 1}^r p_i^{\alpha_i}$ è la sua fattorizzazione canonica in primi, vale $\sum_{d | n} \varphi(d) = \prod_{i=1}^r \sum_{k=0}^{\alpha_i} \varphi(p_i^k) = \prod_{i=1}^r p_i^{\alpha_i} = n$. []
Gabriel
Junior Member
Junior Member
 
Messaggio: 4 di 214
Iscritto il: 16/03/2008, 09:36


Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron