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
In evidenza
Più recenti
Più popolari
Con risposta
Con miglior risposta
Senza risposta
Liyus
Qualcuno può aiutarmi con questo esercizio? nel mio libro la spiegazione sui gruppi simmetrici, gruppi ciclici e gruppi di permutazioni sono poco chiare...introduce gli argomenti ma non spiega niente... Sia $\sigma$ $in$ $S_15$ la permutazione definita da $\sigma$ = $((1,2,3,4,5,6,7,8,9,10,11,12,13,14,15),(6,14,1,10,11,15,5,3,12,9,13,4,7,2,8))$ (1) Scrivere $\sigma$ in prodotto di cicli disgiunti. Determinare ordine e parità. (2) Determinare l'ordine di ogni sottogruppo di $<\sigma>$, ...
1
26 gen 2017, 16:27

ambimath
Salve, volevo chiedervi come fare a risolvere congruenze con parametro come questa $ x^2 + a \equiv 0 \mod 5 $
6
26 gen 2017, 16:23

myriam.92
Sperando di non essere nuovamente O.T. (penso sia categoria "logica"), i miei dubbi sono: 1) sia A= (a,b,c,d) ed R la relazione su A definita da R= [(a,a), (a,b), (b,a), (b,b), (c,c), (d,d)]. R non è transitiva perchè aRb->b nonR c quindi a non lo sarà con c. E' corretta? 2) sia A= (a,b,c,d) ed R la relazione su A definita da R= [(a,a), (b,b), (c,c), (d,d), (b,c), (c,b)]. Idem, non è transitiva (ma simmetrica e riflessiva sì) perchè ad es. bRc ma c nonR con d, dico giusto? Grazie!
49
24 gen 2017, 23:40

Davi901
Ciao a tutti. Partendo esclusivamente dalla definizione dovrei mostrare che $\mathbb{Q}$ è uno $\mathbb{Z}$-modulo iniettivo ma non proiettivo. Qualcuno potrebbe aiutarmi? Def (modulo proiettivo) Un $A$-modulo P si dice proiettivo se, per ogni omomorfismo surgettivo di A-moduli \( f\colon M\twoheadrightarrow N \) e ogni mappa \( g\colon P\longrightarrow N \) , esiste una mappa \( h\colon P\longrightarrow M \) tale che \( g=f\circ h \). Def (modulo iniettivo) ...
5
24 gen 2017, 18:25

Elena9612
Salve a tutti! Per esercizio dovrei scomporre il seguente polinomio: $ x^5+x^4+2x^3-3x^2-3x-6 $ In R, C,Q,Z , $ Z_2 $ e $ Z_3 $ Parto da R e cerco di trovare una radice tra i divisori del 6, però non le trovo. Se ci fosse una radice razionale del tipo $ a/b $ a dovrebbe dividere 6 e b dovrebbe dividere 1, il coefficiente direttore ma allora avrei a/b =6 ma ciò 6 non è radice. Se partissi a scomporre in $ z_2 $ o in $ z_3$ riuscirei a trovare una ...
1
24 gen 2017, 12:43

andreaciceri96
Salve a tutti, sto cercando di svolgere quest'esercizio ma non riesco a a venirne a capo. Sia $G$ un gruppo abeliano finito, e sia $H$ un suo sottogruppo tale che $|H|$ sia coprimo con $|G : H|$ Provare che $G$ è ciclico se e solo se lo sono $H$ e $\frac{G}{H}$ Allora, l'implicazione $G$ ciclico $\implies H, \frac{G}{H}$ ciclici è ovvia, infatti $H$ è sottogruppo di un ...
3
24 gen 2017, 12:30

myriam.92
Qualcuno sarebbe così gentile da farmi qualche esempio pratico al riguardo? Magari per mezzo di proposizioni ? Quando guardo la tabella di verità non riesco a capire il significato dei seguenti connettivi: e, o, segue(->). Es: A falsa ; B vera quindi A->B vera. Perché? Grazie a tutti
10
23 gen 2017, 15:51

MatematiNO
Esercizio: Dimostrare mediante tavole di verità che vale la seguente relazione: 1) ¬A ∨ ¬B, B ∧ ¬C |= ¬A → ¬C 2) A → B, C → B, ¬B |/= A ∨ C Non riesco a capire come devo impostare la tavola di verità. Per esempio, le virgole vogliono dire che sono delle relazioni che devo scrivere separatamente in tabella e per ognuna verificare se sono |/= A v C?
4
23 gen 2017, 15:41

Michele/9611
Ciao a tutti. Recentemente ho sostenuto un esame di logica, e, oggi, sono state pubblicate le soluzioni. Uno degli esercizi diceva di formalizzare in \( \mathbb{N} \) la seguente affermazione: Ci sono numeri pari arbitrariamente grandi la cui metà è un quadrato perfetto. Il linguaggio è : \( < ,\cdot ,2 \) da interpretare nella maniera usuale. La soluzione fornita è la seguente: \( \forall x\exists y(x< y\wedge \exists z(y=2\cdot z\wedge \exists w(z=w\cdot w))) \) La soluzione che ho ...
3
22 gen 2017, 17:57

andreaciceri96
Ciao a tutti, ho provato a svolgere quest'esercizio ma non riesco a concluderlo, vi posto la mia soluzione (fin dove sono arrivato). Sia G un gruppo tale che $ |G|=175=5^{2}7$ e siano $n_{5}=|Syl_{5}(G)|$ e $n_{7}=|Syl_{7}(G)|$. Per i teoremi di Sylow so che $n_{5} | 7$ e $n_{5} \equiv_{5} 1$, dunque $n_{5}=1$. Allo stesso modo so che $n_7 | 5$ e $n_{7} \equiv_{7} 1$, dunque $n_{7}=1$. Dunque $\exists! P \in Syl_{7}(G)$ e $\exists! Q \in Syl_{5}(G)$, so che $|P| = 7$ e ...
10
22 gen 2017, 13:03

Michele/9611
Dimostrare $ (AuuB)\\ (AnnB)=(A\\B)uu(B\\A) $ Io ho tentato con il seguente approccio: fisso un generico x $ x in (AuuB)\\(AnnB) $ allora $ x in (AuuB) ^^ neg( x in (AnnB)) $ allora $ x in A vv x in B $ Caso 1: $ x in A $ allora $ x in (A\\B) $ allora $ x in (A\\B)uu(B\\A) $ Caso 2: $ x in B $ allora $ x in (B\\A) $ allora $ x in (A\\B)uu(B\\A) $ Supponiamo ora che $ x in (A\\B)uu(B\\A) $ Caso 1: $ x in (A\\B) $ allora $ x in A ^^ not(x in B) $ allora ...
8
21 gen 2017, 00:51

garnak.olegovitc1
prendiamo due elementi \(f,g\in V^M\), ovvero \( f,g: M\to V\) con \(V\) un \(C\)-spazio vettoriale ed \(M \) un insieme qualsiasi... intuitivamente \(f+g \in V^M\) é la funzione tale che \( \forall x \in M: (f+g)(x)=f(x)+g(x)\), stamani provavo con colleghi di cercare una definizione puramente insiemistica ovvero come insieme di coppie ordinate e non facendo ricorso nemmeno al concetto di immagine di un elemento. Ma non riesco a venirne a capo, naturalmente deve essere possibile ed ora come ...
6
20 gen 2017, 12:57

tommy1996q
Avrei una domanda riguardante i gradi delle estensioni di campi. Supponiamo di avere un certo campo $F$ e le estensioni $F(a)$ e $F(b)$, la prima diciamo di grado 4 e la seconda di grado 2. La cosa che vorrei fare è dire che se l'intersezione di $F(a)$ e $F(b)$ è banale, allora l'estensione $F(a,b)$ ha grado il prodotto dei gradi di $F(a)$ e $F(b)$, quindi in questo caso 8. E' vera questa cosa? E se vera, ...
3
20 gen 2017, 12:28

Chiò1
Ciao ragazzi, avrei un quesito molto semplice da proporvi ma a cui non trovo una soluzione da solo. Si indichi con H=testa e con T croce, O= (H,T) sto svolgendo un esercizio in cui arrivo a questo passo: $(H∩ O)\times(O∩ T) = (H\times(H,T)) ∩ ((H,T)\times(T))$ qualcuno mi dice come arrivo al membro di destra? Io ho applicato la proprietà distributiva del prodotto cartesiano ma la forma che ottengo è $(H\times(H,T)) ∩ (T))$ dove sbaglio? Ps. ho adottato una scrittura snella per semplicità omettendo qualche parentesi.
23
19 gen 2017, 19:40

Miky901
Buona sera a tutti! Vi scrivo perché avrei bisogno di aiuto nel risolvere questo esercizio: Si considerino il gruppo $(Z_6, +)$ delle classi di resto modulo 6, il gruppo $(S_3, ·)$ delle permutazioni su tre elementi e il gruppo $(Z2, +)$ delle classi di resto modulo 2. Stabilire se sia vero o falso (fornendo una breve motivazione della risposta): 1) L’applicazione $f : Z6 → S3$ tale che $f(0) = id, f(1) = (12), f(2) = (13), f(3) = (23), f(4) = (123), f(5) = (132)$ è un omomorfismo; 2) L’applicazione ...
2
19 gen 2017, 18:46

giusibrunelli
ciao a tutti, sto affrontando lo studio dei gruppi, però negli esercizi non so letteralmente cosa fare. Ho bisogno di aiuto con questi esercizi!! Grazie in anticipo
9
19 gen 2017, 16:57

Marios1
avrei necessitá di una precisa e chiara definizione della notazione indiciale, le famose \(\sum_{i \in I}, \prod_{i \in I}, \bigcap_{i \in I},...\), non roba del tipo "somma finita degli n elementi" o "somma degli elementi a_i con i in I",...., perché questi modi di dire a me sembrano riferiti a come si legge il simbolo di sommatoria o altri... spero di essermi spiegato bene! Inoltre, non capisco il ruolo della variabile \(i\), semmai variabile sia, perché non eliminarla dal mezzo, in quanto ...
6
19 gen 2017, 10:32

andreaciceri96
Salve a tutti, scrivo per chiedere aiuto con un esercizio di un esame passato il cui testo mi la lascia proprio interdetto. Sia G un gruppo finito. Determinare tutti i possibili omomorfismi di G in \(\displaystyle \mathbb{Z} \) Non so proprio da che parte iniziare, quale parte della teoria che so usare. Non sono nemmeno sicuro di aver colto il senso della domanda. Suppongo che con \(\displaystyle \mathbb{Z} \) venga inteso il gruppo additivo (ma non viene ...
6
18 gen 2017, 18:26

python1134
Salve ragazzi,c'è un punto del seguente esercizio che non riesco proprio a dimostrare Si dimostri per induzione che: $7|2^(3n)-1$ per ogni $n>=1$ Innanzitutto procedo con il Passo base: Con $n=1$ so che $7|2^(3)-1$ che è verificata poichè $7$ divide se stesso Procedo con il Passo Induttivo: La tesi sarà $7|2^(3n+1)$ oppure $7|2^(3n+3)$ ??? Se non sbaglio la seconda è giusta è procedo con la dimostrazione,tralasciando per il ...
1
18 gen 2017, 18:12

sam17091
Ciao a tutti, ho un dubbio che non riesco a chiarirmi. Quando trovo un esercizio che mi dice, ad esempio: "quante parole ci sono con 4 vocali e 10 consonanti?", io per prima cosa farei: - sceglo 4 vocali su 5 ----> $ (5!)/((5-4)!) $ - scelgo 10 consonanti su 16 -----> $ (16!)/((16-10)!) $ Ora per trovare le parole totali che posso formare devo moltiplicare, cioè: $ (5!)/((5-4)!)*(16!)/((16-10)!) $ Ora il mio dubbio è: non dovrei anche dire quali sono le posizioni e le permutazioni delle 4 vocali e delle 10 ...
2
18 gen 2017, 15:53