Gruppi di permutazione: basi e punti mossi

[Martino]

Io trovo un po' di confusione.

Sia \( \displaystyle E=\{e_k\in\mathbb{F}_q^m\}_{k\in I_1^m} \) una base di \( \displaystyle \mathbb{F}_q^m \) , da quanto scritto una permutazione non identica \( \displaystyle \phi(M) \) non fissa tutti gli elementi di \( \displaystyle E \) , quindi deve essere, senza ledere generalità, \( \displaystyle e_1^{\phi(M)}=ae_1 \) ove \( \displaystyle a\in\mathbb{F}_q^\# \) (*) e ciò impone che sia \( \displaystyle q\neq2 \) .

Da quanto dici qui io capisco che l'idea che hai e' chiara e giusta, ma oltre a non giustificare quello che dici (perche' \( \displaystyle e_1^{\phi(M)}=ae_1 \) ? Dovresti fare una dimostrazione un attimo piu' dettagliata) escludi un caso (il caso \( \displaystyle q=2 \) ) che in realta' non crea problemi, basta usare un argomento un po' diverso da quello che usi (senza peraltro dirlo) tu.

Se posso farti una piccola critica, ti dico che secondo me usi una notazione impegnativa per dire cose semplici e non espliciti le idee. Immagino che tu abbia in mente le matrici, ma non parli mai di autovettori e forme diagonali (di questo stiamo parlando, no? I punti fissi sono gli autovettori di autovalore 1, e tu immagini matrici diagonali con sulla diagonale tutti uni meno un'entrata - ma allora perche' non lo dici?).

[j18eos]

Le critiche costruttive sono sempre accette.

Il problema non l'ho inquadrato come hai esposto; ho ragionato più geometricamente: un'endomorfismo lineare \( \displaystyle \phi \) di uno spazio vettoriale \( \displaystyle \mathbb{V} \) è individuato dall'assegnare le immagini mediante \( \displaystyle \phi \) dei vettori di una base di \( \displaystyle \mathbb{V} \) , ciò vale in particolare per gli isomorfismi lineari; quindi un isomorfismo lineare di \( \displaystyle \mathbb{V} \) che "sposti meno vettori possibili" e che non sia l'identità fissa tutti i vettori di una data base ad eccezione di uno solo. Questa è l'idea di fondo.

[Martino]

un isomorfismo lineare di \( \displaystyle \mathbb{V} \) che "sposti meno vettori possibili" e che non sia l'identità fissa tutti i vettori di una data base ad eccezione di uno solo. Questa è l'idea di fondo.

Questo e' vero. Andrebbe solo giustificato meglio, osservando che se prendi l'insieme dei punti fissati da un certo automorfismo M di V (compreso il vettore nullo) ottieni un sottospazio vettoriale W di V. Quindi massimizzare il numero di punti fissi significa massimizzare la dimensione di questo W. Essa e' massima quando e' uguale a \( \displaystyle \dim(V)-1 \) . E fino qui credo che siamo d'accordo. Completi una base di W a una base di V aggiungendo un vettore \( \displaystyle v \in V \) che non sta in \( \displaystyle W \) , ok. Ma ora non capisco perche' chiedi che \( \displaystyle v \) sia riscalato (perdendoti il caso \( \displaystyle q=2 \) , dato che qui di riscalamenti c'e' solo quello banale). Ti serve che sia mosso, non necessariamente riscalato.

[j18eos]

...Ti serve che sia mosso, non necessariamente riscalato.

Purtroppo "ci sono arrivato dopo", spostandolo come poi ho scritto per \( \displaystyle q=2 \) concludo.

Accolgo comunque i tuoi 2 suggerimenti di scrivere daccapo il penultimo esercizio e di giustificare il ragionamento, quanto prima potrò.

Permettimi di ringraziarti di !

[Martino]

Tale ragionamento resta valido se \( \displaystyle q=2;\,m\geq2,\,e_1^{\phi(M)}=e_1+\sum_{k=2}^me_k \)

Esattamente cosa ti impedisce di fare questo per ogni \( \displaystyle q \) ?

Insomma, non capisco perche' distingui i due casi \( \displaystyle q \neq 2 \) e \( \displaystyle q=2 \) quando l'argomento che usi per \( \displaystyle q=2 \) funziona per ogni \( \displaystyle q \) .

Prego, figurati, vai tranquillo!

[j18eos]

Supposto che \( \displaystyle \mathbb{F}_q^m \) indichi lo spazio vettoriale numerico sul campo \( \displaystyle \mathbb{F}_q \) (finito di ordine \( \displaystyle q \) ) \( \displaystyle m \) -dimensionale e non l'insieme degli elementi del medesimo che sono radici \( \displaystyle m \) -sime di elementi dello stesso; ecco la soluzione in spoiler.

Testo nascosto, fai click qui per vederlo

Come azione naturale mi è venuta in mente l'azione \( \displaystyle \phi:M\in\mathrm{GL}(m;q)\rightarrow(v\in\mathbb{F}_q^m-\{0\}\rightarrow M\times v\in\mathbb{F}_q^m-\{0\})\in\mathrm{Sym}(\mathbb{F}_q^m-\{0\}) \) ; spero di essere chiaro nella notazione.
Poiché ogni matrice \( \displaystyle M \) in \( \displaystyle \mathrm{GL}(m;q) \) determina un \( \displaystyle \mathbb{F}_q \) -automorfismo di \( \displaystyle \mathbb{F}_q^m \) che ad ogni vettore \( \displaystyle v \) associa il vettore \( \displaystyle M\times v \) , sicché \( \displaystyle b(\mathrm{GL}(m;q))=m \) in quanto al fissare una base di \( \displaystyle \mathbb{F}_q^m \) si fissano tutti i suoi vettori e quindi si ha l'identità.
Sia \( \displaystyle E=\{e_k\in\mathbb{F}_q^m\}_{k\in I_1^m} \) una base di \( \displaystyle \mathbb{F}_q^m \) , da quanto scritto una permutazione non identica \( \displaystyle \phi(M) \) non fissa tutti gli elementi di \( \displaystyle E \) ; per lo scopo preposto basta che ne fissi \( \displaystyle n-1 \) , quindi \( \displaystyle \phi(M) \) fissa il sottospazio \( \displaystyle \mathbb{E}=\langle e_k\in\mathbb{F}_q^m\mid k\in I_2^m\rangle \) , il quale ha \( \displaystyle q^{m-1}-1 \) vettori non nulli; da ciò si ha che \( \displaystyle \mu(\mathrm{GL}(m;q))=|\mathbb{F}_q^m-\{0\}|-|\mathbb{E}-\{0\}|=q^m-1-(q^{m-1}-1)=q^m-1-q^{m-1}+1=q^m-q^{m-1},\,m\geq2 \) .
Tale ragionamento resta valido se \( \displaystyle q\neq2;\,m=1,\,e_1^{\phi(M)}=ae_1 \) ove \( \displaystyle a\in\mathbb{F}_q^{m}-\{0;1\} \) , in quanto l'unico vettore fissato è il vettore nullo.
Resta escluso il gruppo \( \displaystyle GL(1;2) \) il quale non è altri che il gruppo identico.

[Martino]

Bene, pero' solo un'ultima osservazione. Non dici mai una cosa di fondamentale importanza (del tutto necessaria perche' fili il tuo ragionamento), e cioe' che l'insieme dei punti fissati da un automorfismo M di \( \displaystyle V:=\mathbb{F}_q^m \) (compreso il vettore nullo) e' un sottospazio vettoriale di \( \displaystyle V \) .

Ora ci sarebbe il punto 2

[j18eos]

Che l'insieme \( \displaystyle \mathrm{Fix}(L) \) dei vettori fissati di un endomorfismo lineare \( \displaystyle L \) di un dato spazio vettoriale su un campo sia un suo sottospazio lo dò per scontato.

[Martino]

Che l'insieme \( \displaystyle \mathrm{Fix}(L) \) dei vettori fissati di un endomorfismo lineare \( \displaystyle L \) di un dato spazio vettoriale su un campo sia un suo sottospazio lo dò per scontato.

Lo puoi anche dare per scontato, ma secondo me se e' il nodo di passaggio dal massimizzare il numero di punti al massimizzare la dimensione di un sottospazio lo devi dire chiaramente. Opinione mia, certo.

[j18eos]

Sul punto 2 non mi viene nulla in mente!