Ciao a tutti, siccome sto studiando algebra 1, ho trovato questo esercizio che dovrei saper fare, ma in realtà non so bene come muovermi. Ho tentato una soluzione delle prime due domande, che mi sembra che possa funzionare, ma non ne ho la certezza. Per la terza invece non so bene cosa fare.
Sia K un campo ed $n\in \N$. Sia $H_n={x \in K | x^n=1}$. Provare o confutare le seguenti affermazioni:
a) $H_n$ sottogruppo di K rispetto alla struttura additiva;
b) $H_n$ sottogruppo di K rispetto alla struttura moltiplicativa;
c) Sia $K=Z_{13}$. Determinare esplicitamente $H_n$ per ogni $n\in \N$ e verificare che $H_n$ è ciclico.
Io ho provato a pensarci un po' e direi che la (a) è falsa. Come controesempio ho pensato a $Z_3$ e con $n=2$ e la struttura additiva mi pare che $H_2={\overline{2}}$, nel senso che $\overline{2}+\overline{2}=\overline{4}; \; \overline{4}=\overline{1} mod 2$, mentre gli altri elementi del campo non stanno in H2. Quindi $H_2$ non è un gruppo.
La (b) è vera perché con la moltiplicazione, in Hn c'è sicuramente l'elemento neutro e, dati due qualunque elementi, il loro prodotto continua a fare 1, per cui resta in Hn. Anche l'inverso dovrebbe esserci, per ogni elemento la cui potenza n-esima fa 1.
La (c) invece non so come farla. Immagino che non si chieda di calcolare le potenze n-esime con tutti i possibili numeri naturali perchè ci vorrebbe un po' troppo tempo . Però non mi viene in mente molto.
Ho pensato che $x^n=1$ mod 13, cioè $x^n-1=13\cdot m$ per qualche $m\in\Z$, ma poi non so che farmene di questa cosa. Quindi non so nemmeno verificare che è ciclico.
In realtà non so nemmeno se ho capito cosa si debba fare nelle due domande precedenti!