Re: Divisione in un campo

Messaggioda fmnq » 13/03/2019, 13:50

Quello che stai definendo, formalmente, è un omomorfismo di anelli $\rho : ZZ\to \text{End}(K)$, che manda $n$ nella mappa che manda $a$ in \(a+a+\dots+a\), dove la somma è fatta $n$ volte.

Quando scrivi $na$, per $(n,a)\in ZZ\times K$, quello che intendi denotare è $\rho(n)(a)$.

Nota che non ho mai usato la locuzione "calcolare $2a$" o "supportare $a+a=2a$", che infatti non hanno senso.
fmnq
Average Member
Average Member
 
Messaggio: 290 di 764
Iscritto il: 03/10/2017, 23:14

Re: Divisione in un campo

Messaggioda Martino » 13/03/2019, 14:33

alessiocarlini ha scritto:$K$ che in generale potrebbe non avere un elemento $2$
Ogni campo ha l'elemento $2$, è definito dalla formula $2:=1+1$. Ogni campo ha l'elemento $3$, definito dalla formula $3:=1+1+1$. Eccetera.
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 7352 di 13035
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Re: Divisione in un campo

Messaggioda fmnq » 13/03/2019, 14:39

Quello che forse trae in inganno OP è che nulla vieta che "2" sia solo un modo circonvoluto di scrivere "0".
fmnq
Average Member
Average Member
 
Messaggio: 291 di 764
Iscritto il: 03/10/2017, 23:14

Re: Divisione in un campo

Messaggioda gugo82 » 13/03/2019, 14:53

Perché un campo "formalmente non può supportare" $a+a=2a$?
Non ti basta definire $2:=1_(mathbb(K))+1_(mathbb(K))$?
In altre parole, perché $2$ dovrebbe denotare necessariamente il numero naturale "due" e non qualcos'altro?1

Note

  1. Che, poi, il qualcos'altro sia proprio il "due" cui sei abituato (a meno di qualche isomorfismo) te l'ha spiegato k_b... Ops, volevo dire fmnq.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 20992 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Divisione in un campo

Messaggioda Martino » 13/03/2019, 15:15

Ecco la dimostrazione formale che $a+a=2a$ per ogni $a in K$ (dove $2$ è definito dalla formula $2=1+1$): per la proprietà distributiva

$a+a = 1*a+1*a = (1+1)*a = 2a$.
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 7353 di 13035
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Re: Divisione in un campo

Messaggioda alessiocarlini » 14/03/2019, 09:16

Grazie a tutti, credo di esserci.
Quello che cercavo era poco definito :-) da una parte volevo che nel campo fosse possibile fare
$a+a=2a$
ma immaginavo che 2 dovesse essere uno scalare perché non vedevo che poteva essere (naturalmente) un elemento del campo stesso, come mi avete mostrato.
Ok, le due vie non necessariamente combaciano, ma questo è ovvio.

Oky, di nuovo grazie
alessiocarlini
Starting Member
Starting Member
 
Messaggio: 6 di 18
Iscritto il: 11/03/2019, 18:18

Re: Divisione in un campo

Messaggioda fmnq » 14/03/2019, 10:04

alessiocarlini ha scritto:Quello che cercavo era poco definito :-) da una parte volevo che nel campo fosse possibile fare
$a+a=2a$
ma immaginavo che 2 dovesse essere uno scalare

E' possibile, infatti, e ti abbiamo come si fa.
fmnq
Average Member
Average Member
 
Messaggio: 297 di 764
Iscritto il: 03/10/2017, 23:14

Re: Divisione in un campo

Messaggioda alessiocarlini » 15/03/2019, 08:05

Mi spiace Fmnq ma i tuoi interventi non li ho capiti, troppo avanzati per me .. Continuo a studiare e spero di arrivarci, insomma, come tirar fuori uno scalare da un generico campo senza aggiungere altro .. Per me é magia ;-)
alessiocarlini
Starting Member
Starting Member
 
Messaggio: 7 di 18
Iscritto il: 11/03/2019, 18:18

Re: Divisione in un campo

Messaggioda fmnq » 15/03/2019, 09:20

alessiocarlini ha scritto:Mi spiace Fmnq ma i tuoi interventi non li ho capiti, troppo avanzati per me .. Continuo a studiare e spero di arrivarci, insomma, come tirar fuori uno scalare da un generico campo senza aggiungere altro .. Per me é magia ;-)

A parte che questa cosa sarebbe possibilissima, e l'unico problema è che non ti è chiaro come si fa, non devi "tirare fuori uno scalare"; formalmente devi solo definire un'azione di $ZZ$ su $K$; ti ho spiegato come si fa: ogni gruppo abeliano $G$ è in maniera naturale dotato di una tale azione, ponendo $\lambda : ZZ\times G \to G$ uguale a \((n,g)\mapsto g+g+\dots+g\), dove la somma è fatta $n$ volte. Questo elemento è esattamente "$ng$", ma in questa scrittura $n$ non è un elemento di $K$, è semplicemente un modo di denotare l'endomorfismo $\lambda(n,-) : G\to G$.

Se non capisci qualcosa, chiedilo pure, ma la magia nera è da un'altra parte, non qui.
fmnq
Average Member
Average Member
 
Messaggio: 302 di 764
Iscritto il: 03/10/2017, 23:14

Re: Divisione in un campo

Messaggioda alessiocarlini » 15/03/2019, 09:53

Oky, se la via di cui parli è aggiungere un insieme scalare ed una legge di composizione esterna .. Allora eravamo già daccordo, dal tono sembravi smentirmi.
Meglio cosi
alessiocarlini
Starting Member
Starting Member
 
Messaggio: 8 di 18
Iscritto il: 11/03/2019, 18:18

PrecedenteProssimo

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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite