Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Sottogruppi normali di $\text{S}_n$

22/05/2023, 16:46

Buonasera,
avrei bisogno di un aiuto per capire la prima parte della spiegazione del seguente esercizio.

"Dimostrare che $\{e\}$, $\text{A}_n$ e $\text{S}_n$ sono i soli sottogruppi normali di $\text{S}_n$ per ogni $n \ge 5$.

Sia $H != \{ e\}$ un sottogruppo normale di $\text{S}_n$. Se $\tau$ è una trasposizione e $\eta != e$ è un elemento di $H$ allora $\sigma_\tau = \eta (\tau \eta \tau^{-1}) = (\eta \tau \eta^{-1})\tau^{-1}$ è un elemento di $H$ e un prodotto di due trasposizioni."
Perché spostando le parentesi come se si applicasse la proprietà associativa, $\eta$ diventa $\eta^{-1}$?

Re: Sottogruppi normali di $\text{S}_n$

23/05/2023, 02:04

Sicuramente è un errore di stampa, ricontrolla.

Re: Sottogruppi normali di $\text{S}_n$

23/05/2023, 18:49

Martino ha scritto:Sicuramente è un errore di stampa, ricontrolla.

Grazie Martino,
ragionandoci penso che sia $\sigma_\tau = \eta (\tau \eta^{-1} \tau^{-1}) =(\eta \tau \eta^{-1}) \tau^{-1}$ perché dalla prima uguaglianza possiamo dire che $\sigma_\tau$ è un elemento di $H$ e dalla seconda che è il prodotto di due trasposizioni. Quindi $H \supseteq \text{A}_n$ e dunque $H=\text{A}_n \vee H=\text{S}_n$. Il resto mi è chiaro. :)
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.