Messaggioda ficus2002 » 25/10/2008, 13:46

fields ha scritto:Inoltre, asintoticamente, $|H|>=3/4|G|$ o $|H|>=[3/4|G|]+1$ non fa differenza; per cui non mi sembrava worth the effort modificare una prova semplice per migliorare, se e' possibile, la stima su $|H|$ in modo piuttosto insignificante.
La tua prova è valida se $|H|>3/4|G|$; per completare l'esercizio, quindi, basta risolvere il caso $4|H|=3|G|$.
ficus2002
Average Member
Average Member
 
Messaggio: 508 di 640
Iscritto il: 09/02/2006, 17:35

Messaggioda Thomas » 25/10/2008, 14:05

aprendo e sfogliando i problemi del libro di algebra (prima o poi dovevo farlo) ho trovato proprio questo esercizio, al quale segue questo:

trovare un esempio di gruppo finito non abeliano ed un suo automorfismo che mandi esattamente tre quarti degli elementi di G nel proprio inverso... mentre il testo di avinlee88 è scritto come 'più di tre quarti'.... just for information :)
Thomas
Advanced Member
Advanced Member
 
Messaggio: 1211 di 2223
Iscritto il: 28/09/2002, 21:44

Messaggioda fields » 25/10/2008, 14:20

alvinelee88 ha scritto:A quanto ho capito, il tuo schema di ragionemtno è il seguente: Affermi che, fissato $ainH$, $Z(a)={binH|abinH}$, e dopo sostieni che ${binH|abinH}=H nn aH$.


Non era questo che intendevo. Non ho stabilito nessuna relazione fra $aHnnH$ e ${b\in H | ab\in H}$, ne' affermato che $Z(a)={binH|abinH}$.

Ho osservato invece che gli elementi di $aH nn H$ sono della forma $ah$, con $h\in H$ e $ah\in H$; dunque, se $ah\in aHnn H$, allora $h\in {b\in H | ab\in H}$. Ne segue che $|{b\in H | ab\in H}|>=|aHnnH|$. Poiche' $Z(a)\supseteq{binH|abinH}$, vale $|Z(a)|>=|aHnn H|.


Thomas ha scritto:trovare un esempio di gruppo finito non abeliano ed un suo automorfismo che mandi esattamente tre quarti degli elementi di G nel proprio inverso...


Bravo Thomas! :-D Ci hai evitato di cercare di dimostrare il falso ancora una volta! :smt013
[i]La Realtà non si capisce, alla Realtà ci si abitua[/i]
fields
Senior Member
Senior Member
 
Messaggio: 1130 di 1717
Iscritto il: 20/07/2006, 15:32
Località: Wien

Messaggioda alvinlee88 » 25/10/2008, 15:07

fields ha scritto:
Ho osservato invece che gli elementi di $aH nn H$ sono della forma $ah$, con $h\in H$ e $ah\in H$; dunque, se $ah\in aHnn H$, allora $h\in {b\in H | ab\in H}$. Ne segue che $|{b\in H | ab\in H}|>=|aHnnH|$.

Probabilmente sono stupido, ma non mi torna. Te dici che un elemento $x inHnnaH$ è della forma $x=ah$, $h,ahinH$, giusto? E quindi ovviamente $hin{binH | abinH}$. Ma quando dici "Ne segue che $|{b\in H | ab\in H}|>=|aHnnH|$" intendi che $aHnnH subset {b\in H | ab\in H}$? Perchè se così fosse non mi torna, come ho spiegato prima. Mi torna invece prendendo $H nn a^(-1)H$. Dove sbaglio?
Per il resto avevo come pensavo capito male, la dimostrazione fila.
fields ha scritto:
Thomas ha scritto:trovare un esempio di gruppo finito non abeliano ed un suo automorfismo che mandi esattamente tre quarti degli elementi di G nel proprio inverso...


Bravo Thomas! :-D Ci hai evitato di cercare di dimostrare il falso ancora una volta! :smt013

eheh :-D
Uno dei tanti motivi per cui odio l'Italia
http://www.youtube.com/watch?v=mbkQYskrf3w&hl=it
Avatar utente
alvinlee88
Senior Member
Senior Member
 
Messaggio: 863 di 1197
Iscritto il: 15/07/2007, 22:28

Messaggioda fields » 25/10/2008, 15:23

alvinlee88 ha scritto:Ma quando dici "Ne segue che $|{b\in H | ab\in H}|>=|aHnnH|$" intendi che $aHnnH subset {b\in H | ab\in H}$?


No. Vedila cosi': $aHnn H={ah_1,ah_2,...,ah_n}$, con $h_1,h_2,...,h_n\in H$. Dunque, ${b\in H | ab\in H}\supseteq {h_1,h_2,...,h_n}$; ecco perche' dico che $|{b\in H | ab\in H}|>=|aHnn H|$.



@Thomas
Che libro di algebra stai consultando?
[i]La Realtà non si capisce, alla Realtà ci si abitua[/i]
fields
Senior Member
Senior Member
 
Messaggio: 1131 di 1717
Iscritto il: 20/07/2006, 15:32
Località: Wien

Messaggioda alvinlee88 » 25/10/2008, 15:34

fields ha scritto:
No. Vedila cosi': $aHnn H={ah_1,ah_2,...,ah_n}$, con $h_1,h_2,...,h_n\in H$. Dunque, ${b\in H | ab\in H}\supseteq {h_1,h_2,...,h_n}$; ecco perche' dico che $|{b\in H | ab\in H}|>=|aHnn H|$.

Grazie mille, sei stato chiarissimo e molto gentile. Comunque secondo me era un problema piuttosto bello, mi dispiace di non essere riuscito a risolverlo da solo. grazie ancora

fields ha scritto:@Thomas
Che libro di algebra stai consultando?

Scommetto l'Herstein!
Uno dei tanti motivi per cui odio l'Italia
http://www.youtube.com/watch?v=mbkQYskrf3w&hl=it
Avatar utente
alvinlee88
Senior Member
Senior Member
 
Messaggio: 864 di 1197
Iscritto il: 15/07/2007, 22:28

Messaggioda Thomas » 25/10/2008, 18:04

scommetti bene avinlee88... "Algebra" di Herstein, per la precisione la V edizione pag.75!...
Thomas
Advanced Member
Advanced Member
 
Messaggio: 1215 di 2223
Iscritto il: 28/09/2002, 21:44

Re: Gruppo per cui $f(g)=g^(-1)$ per almeno $3/4$ di $|G|$.

Messaggioda kbohm1977 » 11/04/2019, 02:10

In Verità il Problema NON è stato risolto o meglio la Soluzione NON è corretta.Infatti NON è stato dimostrato che $|aHnH|>$(3/4)|G|.Il fatto che |aH|>$(3/4)|G| e |H|>$(3/4)|G| NON implica la disuguaglianza precedente.La implica se H è un sottogruppo ma questo è proprio quello che si vuole ancora dimostrare e quindi non si può usare l'argomentazione data.Tuttavia è abbastanza facile dimostrare che gli ultimi due insiemi della catena di inclusioni ultima sono in realtà UGUALI tra loro e uguali a Z(a)nH.
kbohm1977
Starting Member
Starting Member
 
Messaggio: 1 di 2
Iscritto il: 23/03/2019, 02:36

Re: Gruppo per cui $f(g)=g^(-1)$ per almeno $3/4$ di $|G|$.

Messaggioda axpgn » 11/04/2019, 11:19

Dopo dieci anni ce ne faremo una ragione …
axpgn
Cannot live without
Cannot live without
 
Messaggio: 13258 di 40640
Iscritto il: 20/11/2013, 22:03

Precedente

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

Chi c’è in linea

Visitano il forum: axpgn e 1 ospite