Algebra, logica, teoria dei numeri e matematica discreta
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.
Domande e risposte
Ordina per
In evidenza

Ciao a tutti! Sto trovando difficoltà nel capire la soluzione di questo problema di algebra 1. Ho scritto i miei dubbi nello svolgimento. Grazie mille a chi mi aiuterà.
Siano dati i gruppi $Inv(Z/12)$, $Inv(Z/16)$. Determinare se questi gruppi sono ciclici.
Il gruppo $Inv(Z/12)$ ha ordine $4$, quindi i suoi elementi possono avere ordine $1$,$ 2$ o $4$. Gli
elementi di $Inv(Z/12)$ sono del tipo $[a]_12$ con a ...
Salve a tutti, ho cercato a lungo sulla rete ma non trovo niente che possa aiutarmi, spero che qualcuno sotto ci riesca.
Non riesco a capire una dimostrazione per il mio esame di Discreta, probabilmente sarà una cosa banale ma non ci arrivo proprio.
Il teorema è il piccolo teorema di Fermat e questa è la dimostrazione:
Se MCD(a, p) = 1 => [a] (modp) appartiente a U(Zp) "Elementi invertibili di Zp", la quale dimensione è p-1.
=> [a]^p-1 (modp) = [1] (modp)

C'è questo lemma sui gruppi che ciclicamente entra ed esce dalla mia testa.
Lo posto qui in forma di esercizio, con la duplice utilità di fornire un riferimento al me del futuro e lasciare a chi vuole esercitarsi del materiale .
LEMMA
Sia $G$ gruppo[nota]Non necessariamente finito, anche se poi il LEMMA lo uso praticamente solo nel caso finito.[/nota], $H<G$ sottogruppo con $[G]=j$.
Dimostrare che esiste \( N \lhd G \) tale che $j<=[G]<=j!$.
Più ...
Ho un problema nel punto c) di questo esercizio, scrivo anche i punti a) e b) perché introduce una notazione.
Anche per il punto b) ii), non so cosa sbaglio
Sia \( \phi : G \to G' \) un omomorfismo di gruppi
a) Siano \( Y,Y' \) dei \( G' \) insiemi.
Dimostra che se \( v : Y \to Y' \) è un applicazione \( G' \) equivariante allora \( v : Y \to Y' \) è anche \( G \) equivariante dove \( Y \) e \(Y' \) sono dei \(G \) insiemei via l'azione indotta per \( \phi \).
Notiamo \( {}^\phi v: {}^\phi Y ...
12
Studente Anonimo
4 gen 2020, 18:07

Buongiorno, ho la seguente funzione $f:x in NN \ to \ -(x-1) in ZZ$
devo determinare $f(NN)$ e $f^(-1)(ZZ).$
Ricordo:
Definizione di immagine di un insieme
considero $g:S to T$ sia $X subseteq S,$
Si definisce immagine di $X$ mediante $g$ il sottoinsieme $g(X)={y in T \:\ EE x in S \:\ y=g(x)}$ di $T.$
Definizione di immagine inversa di un insieme
Considero $g:S to T$ sia $Y subseteq T,$
Si definisce immagine inversa di $Y$ mediante ...
Siano \(p,q \) due primi distinti e \(G \) un gruppo di ordine \(p^2 q \)
Dimostra che \(G \) non è semplice.
L'unica cosa che riesco a dire supponendo per assurdo che sia semplice è che se denotiamo con \( n_p \) il numero dei \(p\)-sottogruppi di Sylow e \(n_q \) il numero dei \(q\)-sottogruppi di Sylow allora \(n_p=q \) e \( n_q=p^2 \).
Ma da qui mi blocco e non so come continuare...
[xdom="Martino"]Spostato in Algebra.[/xdom]
9
Studente Anonimo
4 gen 2020, 04:14

Ciao. L'esercizio che mi crea problemi è questo:
Sia $ g in G $, con G gruppo. Dimostra che $ o(g)=o(g^(-1)) $.
L'esercizio mi risulta semplice se non fosse per un passaggio su cui sono incerto:
$ (g^n)^(-1)=g^(-n)=(g^(-1))^n $
È lecito fare ciò?
In altre parole,
$ (g^n)^(m)=g^(n*m) $ con $ g in G $ in un gruppo G qualsiasi?
Salve ragazzi e buone fatte feste!
Studiando algebra 1 sul libro "Elementi di algebra" del prof De Giovanni, mi sono accorto che, quando tratta gli insiemi finiti e il loro ordine, dà per scontato che in una partizione l'ordine dell'unione degli elementi sia la somma degli ordini.
Ho dunque pensato di dimostrarlo per conto mio ma non so proprio da dove cominciare, anche se intuitivamente il concetto mi sembra piuttosto chiaro e semplice. Potete darmi uno spunto per la dimostrazione (in ...

Buonasera, sono impegnato nel seguente esercizio.
Siano $X$ un insieme ed $A,B sube X$. Dimostrare che :
$A Delta B =(A uu B) nn (A^c uu B^c)$
dove $A^c = X\setminus A$.

Buongiorno a tutti,
Premetto che è la prima volta che posto qualcosa sul forum, ma ho visto altri problemi sull'algebra di Boole in questo topic, quindi spero di essere nel posto giusto
Sono alle prime armi con l'algebra di Boole, ho imparato le proprietà fondamentali (spero) ma ancora in alcuni esercizi mi perdo soprattutto in un particolare passaggio.
Ad esempio nell'esercizio seguente (la variabile seguita da ' è negata):
Y = A⋅B⋅C' + BC + A'⋅B'⋅C [risultato: A⋅B + ...
Sia \( H \) un sottogruppo di \( G \). Dimostra che abbiamo un isomorfismo di gruppi
\( \operatorname{Aut}_G(G / H) \cong N_G(H)/H \) dove \( \operatorname{Aut}_G(G / H) \) è il gruppo degli automorfismi \(G\)-equivarianti di \(G / H \) mentre \(N_G(H) \) è il normalizzatore di \( H \) in \(G \).
Non capisco una parte delle soluzioni, le altre sono apposto!
Deiniamo \( \phi : N_G(H) \to \operatorname{Aut}_G(G / H) \) per \( \phi(g): G / H \to G/H \), \( x H \mapsto xg^{-1} H \) per tutti i ...
8
Studente Anonimo
3 gen 2020, 15:39

Salve, mi sto preparando per un esame di Matematica Discreta e tra tutti gli argomenti quello del calcolo combinatorio è quello che più mi turba: gli esercizi tipici non sono di carattere "meccanico" come esercizi sui sistemi lineari nè intuitivi come quelli sul principio d'induzione. Non ho modo di verificare se ho svolto correttamente un esercizio, e questo mi lascia appeso col dubbio "forse dovevo usare le disposizioni anzichè le combinazioni..."
Tra i materiali offerti dal prof vi sono 2 ...

Ciao ragazzi ho sempre dubbi sugli esercizi che svolgo in quanto su questo argomento la mia prof non mi ha dato esercizi guida, l'esercizio è il seguente: (riporto solo i punti che mi interessano)
Sono assegnate sull'insieme $A = Z_6 xx Z_3$ le leggi di composizione interne $+$, $xx$ definite come segue: $AA (x, y), (z, t) in A$
$(x, y) + (z, t) = (x +z, y + t), (x, y) xx (z,t) = (xz, yt)$
e sia $B = {(O, y) : y in Z_3}$.
(a) Determinare l'elemento neutro della struttura (A, +);
(b) determinare l'elemento neutro della ...
Sia \( G \) un gruppo, \( H < G \) un sottogruppo, e \( N < G \) un sottogruppo normale tale che \( H ,N \) sono risolubili. Dimostra che \(HN \) è risolubile.
Abbiamo che se \( f: G \to G' \) è un omomorfimso suriettivo e \( G \) risolubile allora anche \( G' \) è risolubile, tant'è che se \( G \) risolubile allora esistono \( G=G_0 > \ldots > G_n = \{e\} \) tale per cui \( G_{i+1} \) è normale in \( G_i \) e \( G_i \setminus G_{i+1} \) è abeliano.
Abbiamo che \( G' = f(G_0) > f(G_1) >\ldots ...
2
Studente Anonimo
3 gen 2020, 02:38
Sia \( G \) un gruppo che agisce su un insieme \( X \). Sia \( H \) un sottoguppo di \(G\). Dimostra che \( H \) agisce transitivamente su \( X \) se e solo se \( G \) agisce transitivamente su \( X \) e \( G= H G_x \) dove \( x \in X \), e \( G_x \) è il gruppo di isotropia di \( x \) sotto l'azione di \( G \).
Il mio dubbio sta nel fatto che mi dice \( G= H G_x \) dove \( x \in X \), intende per un unico \( x \in X \) fissato oppure per ogni \( x \in X \)?
Se è per ogni \( x \in X \):
Se \( ...
3
Studente Anonimo
3 gen 2020, 02:18
Siano \( H_1, \ldots, H_n \) dei sotto gruppi normali di \(G \) Consideriamo l'applicazione
\[ \phi : G \to G \setminus H_1 \times \ldots \times G \setminus H_n , g \mapsto (gH_1,\ldots,g H_n) \]
a) Dimostra che \( \ker(\phi)= H_1 \cap \ldots H_n \)
b) Dimostra che, se \( H_i \) è d'indice finito in \(G \), per tutti gli \( 1 \leq i \leq n \), e \( gcd( [G : H_i],[G:H_j])=1 \) per tutti gli \( i \neq j \), allora \( \phi \) è suriettiva e
\[ [G: H_1 \cap \ldots \cap H_n ] = \prod_{i=1}^{n} [ ...
9
Studente Anonimo
31 dic 2019, 20:09

Siano $S,T$ inisiemi non vuoti. Provare che: $f:S to T$ è suriettiva se e soltanto se per ogni coppia $X,Y $ sottoinsiemi di $T$ da $f^(-1)(X) subseteq f^(-1)(Y) to X subseteq Y$
Prima implicazione
$f$ suriettiva se, e soltanto se $f^(-1)({y}) ne emptyset $ per ogni $y in T.$
Sia $emptyset=X subseteq T$ allora $emptyset=f^(-1)(emptyset) subseteq f^(-1)({y}) ne emptyset \ to \ emptyset subseteq {y}.$ Va bene la prima ?

C'è una dimostrazione che non capisco, o meglio per me aggiunge qualcosa di superfluo, ma non essendo sicuro al 100% chiedo a voi.
la dimostrazione è questa:
\(\displaystyle G \) monoide commutativo, \(\displaystyle x_1 , x_2 , ... , x_n \) elementi di \(\displaystyle G \), sia \(\displaystyle f \) una biezione da \(\displaystyle (1, 2, ..., n) \) in se, allora:
\(\displaystyle \prod\limits_{v=1}^{n} \) \(\displaystyle x_{f(v)} = \) \(\displaystyle \prod\limits_{v=1}^{n} \) \(\displaystyle ...
Riguardando un vecchio esercizio mi sono venuti un paio di dubbi:
Definiamo i quaternioni \( \mathbf{Q} \) come il sottogruppo \( \left< A,B \right> \) di \( GL_2(\mathbb{C}) \) generato dalle matrici
\[ A=\begin{pmatrix}
0& 1\\
-1& 0
\end{pmatrix}\]
e \[ B=\begin{pmatrix}
0& i\\
i& 0
\end{pmatrix}\]
Dare tutti gli elementi di \( \mathbf{Q} \) in termini di \( A \) e \(B \) e dimostra che l'ordine di \( \mathbf{Q} \) è 8.
Allora chiaramente abbiamo che \( A^2 = - I \), \( A^3 = -A \) e ...
2
Studente Anonimo
31 dic 2019, 14:37

Buongiorno,
Dovrei verificare che, se $m/n$ è un razionale positivo e $(m,n)$ denota il $M.C.D.$ positivo di $m,n$ il numero inetero $|m+n|/(m,n)$ dipende soltanto dalla frazione $m/n$ e non dalla scelta di un suo rappresentante.
Provare quindi che l'applicazione $f:m/n in QQ^+ to |m+n|/(m,n) in NN -{1}$è suriettiva e non iniettiva.
Dall'algoritmo di Euclide ho $r=M.C.D(m,n)$ allora risulta $r ne 0$ , sia $y in NN-{1}$ allora ...