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 , ho un esercizio che mi chiede di trovare tutti i sottogruppi di $S_3$ e $S_4$;
io lo risolverei in questo modo
per $S_3$ mi calcolerei tutti i possibili $2^3$ sottoinsiemi e per ognuno applico la definizione di sottogruppo e vedo se quel sottogruppo la rispetta.
stessa cosa per $S_4$ solo che i sottoinsiemi sono $2^4$
penso che in questo modo l'esercizio lo si svolga in maniera corretta, il problema è che ...
Buongiorno ,
come da titolo vorrei un aiuto per degli esercizi di algebra.
1) Siano S e T insiemi. Provare che risulta S=T se e soltanto se esiste un insieme $V$ tale che $SnnV=TnnV$ e $SuuV=TuuV$
Questo mi sembra ovvio, ma non riesco proprio a "descriverlo" matematicamente. Due insiemi uguali se intersecano un terzo insieme sono comunque uguali.
2) Siano S e T insiemi. Provare che risulta $(SuuT)nnV=Suu(TnnV)$ se e soltanto se $SsubeV$.
Questo mi sembra che ...
Ciao a tutti. Mi è stato dato questo esercizio, sicuramente è banale ma sono all'inizio e non ho ben capito.
aRb $\Rightarrow$ a=$b^4$
Mi chiede se è una relazione di equivalenza o ordine, oppure nessuna
Poi ho questa aRb $\Rightarrow$ a=bx
Sono al primo anno di matematica. il mio professore ci ha dato alcuni esercizi di algebra sulle prime cose, proponendo anche la soluzione. Non riesco però a capire un passaggio, potreste aiutarmi?
L'esercizio è:
Siano S,T,V insiemi. Allora:
(S $uu$ T) $nn$ V $sube$ S $uu$ (T $nn$ V)
La soluzione:
sia x $in$ (S $uu$ T) $nn$ V . Allora x $in$ S $uu$ T e x ...
Salve,
Ho alcuni problemi con questo esercizio:
Sia $(S,*)$ un gruppo e sia x un elemento di S. Provare che $AA n,m in ZZ$ risulta:
(1) $x^m * x^n = x^(m+m)$
(2) $(x^m)^n = x^(m * n)$
Ho dimostrato le stesse proprietà $AA n,m in NN$ con il principio di induzione. Inoltre dovrei lavorare semplicemente con queste poche definizioni:
$x^0 = 1; x^n = x^(n-1)*x; x^n=(x^(-1))^-n$
Come posso procedere in $ZZ$ ?
Grazie!
Salve a tutti, è da stamattina che tento invano di risolvere questo esercizio:
Trova le soluzioni generali di questa equazione lineare diofantea 2072x+1813y = 2849.
Perchè abbia soluzioni intere 2072 e 1813 dovrebbero essere relativamente primi, ma l' MCD non è uno, ma 259. Suppongo che si possa divide a destra e sinistra per 259 e rimanere con la seguente equazione: 8x+7y=11. Da qui in poi non so proseguire, o meglio ho provato in molti modi diversi senza successo. Qualcuno sa come posso ...
Salve , non ho trovato un posto nel forum dove presentarmi (forse mi è sfuggito), comunque sono Gianni e sono iscritto alla facoltà di Matematica.
Vi espongo subito il mio problema.
Stavo preparando l'esame di algebra1 e mi sono imbattuto nel prodotto cartesiano di una famiglia di insiemi (introduzione all'assioma della scelta) e mi sono sorti dei dubbi...ve li elenco senza darvi la definizione di prodotto cartesiano che credo già conosciate...
EDIT: Sia $(S_i)_{i in I}$ una famiglia di ...
Devo provare che il gruppo G ammette almeno un sottogruppo normale proprio non banale (quindi diverso da G e {1}) nel caso che |G|=$p^2(p+3)$ con $p>=5$ , p numero primo
Devo usare i teoremi di Sylow?
Ciao a tutti,
ho un dubbio riguardo un esercizio, dovrei calcolare 2015^(2015) mod 1000 per scoprire quali sono le ultime 3 cifre decimali. Per risolverlo ho prima calcolato il MCD(2015,1000) che chiaramente è diverso da 0 quindi ho escluso il teorema di Eurelo. Allora ho fattorizzato 1000, 8*125=1000 , e per il teorema cinese del resto so che 2015^(2015) è congruo a x sia mod 128 che mod 8. Poi ho calcolato e ho notato che 2015 è congruo a 7 mod 8 cioè è congruo a -1 mod 8 e questo va bene, ...
salve a tutti , ho un dubbio a cui non riesco a trovare una risposta:
non riesco a capire quale sia la differenza fra i sottogruppi generati da un elemento e i sottogruppi in generale.
Non so se la cosa è chiara ma mi permane da diversi giorni questo dubbio.
Vi ringrazio molto per l'aiuto
Sia $M={a/p^n:a,n\inZZ,n>=0}$ sottogruppo di $QQ$, si definisce il gruppo di Prüfer $ZZ(p^(oo))=M/ZZ$.
Come posso dimostrare che il gruppo $(ZZ(p^(oo)),+)$ è divisibile, ovvero che dati $x\inZZ(p^(oo))$ e $m\inZZ$ esiste $y\inZZ(p^(oo))$ tale che $x=my$?
In sostanza dovrei mostrare che $a/p^n+ZZ=m(b/p^k+ZZ)$, $EEb\inZZ$, ovvero che $a/p^n=mb/p^k$, $EEb\inZZ$...ma non sono nemmeno convinto che sia vero.
Salve a tutti, ho le idee un po confuse sui campi di spezzamento ed avrei bisogno di qualche chiarimento.
Sto svolgendo un esercizio che mi chiede di calcolare il campo di spezzamento in $CC$ di $f(x)=x^4+x^2-1 in QQ[X]$.
Ho verificato che quel polinomio è irriducibile, quindi, detto $K$ il campo di spezzamento, avremo $4<=[K]<=4!=24$. Le radici di quel polinomio in $CC$ sarebbero $+-sqr((-1+-i sqrt(3))/2)$; detto questo però non riesco a capire quale sia il suo campo ...
Devo trovare i sottogruppi normali di $A_4$ usando le classi di coniugio.
Ho trovato 4 classi:
Cl(id)={id};
Cl((123))={(123),(243),(134),(142)} ;
Cl((132))={(132),(234),(143),(124)} ;
Cl((12)(34))={(12)(34),(13)(24),(14)(23)}.
come faccio a trovare i sottogruppi normali?
Ciao a tutti!
qualcuno potrebbe spiegarmi in modo rigoroso che cosa è l'insieme quoziente e che cosa sono le classi di equivalenza?
In particolare avrei bisogno di una spiegazione che mi permetta di risolvere degli esercizi ( e di capirli prima di tutto).
Sia:
$ xepsilony hArr 3|x-y $
una relazione di equivalenza, quali sono le classi di equivalenza e quale l'insieme quoziente?
grazie
Nell'ottica di rafforzare le mie conoscenze (quasi nulle, partendo dalla teoria ingenua degli insiemi) delle fondamenta della matematica vorrei studiare logica matematica prima di studiare approfonditamente la teoria assiomatica degli insiemi.
Vorrei un buon libro in italiano o in inglese che sia abbastanza comprensivo, oltre che dei metodi e dalla sintassi della logica del primo ordine vorrei vedere le dimostrazioni di tutti i risultati più importanti e vorrei che abbia esercizi svolti o da ...
Salve, sono giorni che provo a cercare in rete ma non trovo nulla a riguardo.
Sto studiando metodi matematici e probabilistici per ingegneria e sono incappato nel teorema di Putzer, ora per quanto riguarda la potenza di una matrice ho capito tutto ma non ho ben chiaro come si svolge l'esponenziale di una matrice.
Se possibile avrei un esercizio:
calolare esponenziale $e^(at)$ della seguente matrice.
$a=((3,-1),(1,1))$
Cordiali saluti
Buongiorno a tutti!
Ho un problema che forse è banalissimo ma che non riesco a risolvere. Sia $K$ un campo nel senso usuale dell'algebra, dotato di una derivata, cioè una funzione $':K\toK$ tale che
$$(a+b)'=a'+b',\qquad (ab)'=a'b+ab'$$ per ogni $a,b\inK$. Sia $L\supseteq K$ un'estensione di $K$ e siano $\alpha$ e $\beta$ in $L$ due elementi algebrici su $K$, con lo ...
Ciao, per esercizio devo effettuare la seguente dimostrazione:
Siano $A, B$ insiemi con $A sube B$ dimostrare che $B - (B - A) = A$
Riesco a figurarmi mentalmente il relativo diagramma di Eulero-Venn in cui se agli elementi del $B$ originario tolgo gli elementi del suo complemento $C_B (A)$ ottengo, ovviamente, $A$ ma non riesco proprio a tradurlo nella formulazione di singoli passaggi.
A me viene da cominciare dicendo che bisognerebbe ...
Buona sera a tutti ragazzi, dovrei dare un esempio relativamente al seguente argomento:
Consideriamo un campo $k $, due sue estensioni $M $ ed $N $ e infine un campo più grande $L $ che contenga tutti i 3 precedenti. Supponiamo che $M $ e $N $ siano due estensioni trascendenti di $k $, allora l'immagine della mappa (che risulta essere ben definita) $rho : M \otimes_(k) N \to L $ tale che $m \otimes n \mapsto mn $ non è il ...
Ho un gruppo G=$ {( ( a , b ),( 0 , c ) ) : a,b,c \in R, ac!=0}$ e un'applicazione $\phi :G->G$ tale che $\phi( ( a , b ),( 0 , c ))=( ( a , 0 ),( 0 , c ) )$.Devo trovare nucleo e immagine di $\phi$.
Ho pensato che il nucleo è fatto dalle matrici di G la cui immagine è la matrice identica.Quindi sono le matrici del tipo $( ( 1 , b ),( 0 , 1 ) ) , b \in R$
Ma per l'immagine?