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
luigi5458
Ho due gruppi: $E_{n+1}$, gruppo delle matrici triangolari superiori (n+1) x (n+1) con la diagonale di tutti 1, e i coefficienti di queste matrici appartengono tutte al campo $GF(2)$, campo finito con due elementi. Poi ho $V_nE_n$ prodotto semidiretto del gruppo $E_n$, con le stesse proprietà di $E_{n+1}$, e $V_n$ spazio vettoriale di dimensione n, in cui ogni elemento del vettore appartiene al campo $GF(2)$. Devo dimostrare ...
1
19 set 2015, 03:37

maxpix
Sia $X$ un insieme e sia $P(X)$ l'insieme di tutti i sottoinsiemi di X. Dati due elementi A,B di P(X) (quindi A e B sono sottoinsiemi di X) definisci l'operazione $A+B = (A uu B) \\ (A nn B)$. Dimostrare che $(P(X),+, O/)$ è un gruppo. Buon pomeriggio, avrei bisogno di aiuto per capire come definire l'operazione $A+B = (A uu B) \\ (A nn B)$ e dimostrare che $(P(X),+, O/)$ è un gruppo. Grazie
1
18 set 2015, 18:15

maxpix
Buon pomeriggio, un esercizio chiede di trovare un elemento di B, $B = (A[x])/(x^3+x+1) $ con $A = Z_2$, che abbia ordine 7 rispetto all'operazione di prodotto. Sappiamo che |B| = 8. Ci sono alcune cose non mi sono chiare per quanto riguarda la soluzione. Innanzitutto, partendo da B, prende in esame $B $\$ {0}$. Toglie lo 0 perchè il quesito chiede di trovare un elemento di ordine 7 rispetto al prodotto? e quindi 0 è elemento nullo per il prodotto? Poi, ...
10
17 set 2015, 18:30

astrifiammante
Salve a tutti, premetto sono uno studente del secondo anno della facoltà di fisica e sono appassionato di matematica. Attualmente mi sono interessato dei fondamenti della matematica teoria insiemi e logica). Ho una domanda di carattere "introduttivo" sull'argomento prima di cimentarmi nella lettura di testi specifici. Tutta la matematica è basata sulla teoria degli insiemi e la teoria degli insiemi si esprime con la logica (generalmente è sufficiente quella del primo ordine.... vabbè). In oltre ...
9
20 ago 2015, 08:50

midu107
Salve a tutti, ho un dubbio sui casi in cui vale la proprietà antisimmetrica delle relazioni. La proprietà simmetrica, cioè xρy => yρx vale ad esempio per l’uguaglianza, x=y, e fin qui tutto bene. La proprietà antisimmetrica, cioè ((xρy and yρx) => x=y) vale ovviamente per il minore uguale (x minore uguale y), tuttavia da due prof distinti ho sentito (o almeno capito) cose diverse riguardo al minore, cioè per x
3
12 set 2015, 01:27

Leok1
Salve ragazzi, mi trovo con notevoli difficoltà nel svolgere questo esercizio di algebra: Sia dato il polinomio P(X) = X^4 - 2 a coefficienti nel campo Q. (a) Si provi che è irriducibile (b) Si provi che il campo K = Q/(P(X)) è un’estensione algebrica di Q e se ne trovi un generatore (c) Considerato K come sottocampo di C, si stabilisca se contiene il numero complesso i (d) Di K si trovi una base come spazio vettoriale su Q. Verificare che P(x) è irriducibile lo so fare, ma negli altri 3 ...
8
12 set 2015, 18:04

Rodolfo Medina
Salve a tutti. In teoria dei gruppi, dato un generico gruppo $G$, la sua Serie Centrale Superiore è definita mediante le posizioni: $Z_0(G) = \{1\}$ e ${Z_{n + 1}(G)}/{Z_n(G)} = Z(G / {Z_n(G)})$. le trattazioni che ho letto sull'argomento danno come evidente la condizione $Z_n(G) \subseteq Z_{n + 1}(G)$ per ogni $n \in \N_0$, ma a veramente sembra tutt'altro che ovvia. Qualcuno sa dimostrare o può indicare un testo che dimostri quella condizione? Grazie! Rodolfo
3
14 set 2015, 16:21

akkappa
Ciao a tutti, ho un esercizio che mi chiede di determinare tutti i sottogruppi di $Z_6$ ( credo sia in notazione additiva), solo che non saprei veramente da dove partire, l'unica cosa che ho pensato è che i sottogruppi avranno ordine $3$ e $2$(per il teorema di lagrange). Mi potreste aiutare a continuare l'esercizio? Vi ringrazio
13
10 set 2015, 22:49

BinaryCode
Sia $ A:={0,1,2,3,4,5,6,7,8,9} $ , sia $ B:={n in A|n^2 e' pari} $ e sia $ C:={n in A|n<=7} $ Si calcoli la cardinalita dei seguenti insiemi X, Y e Z: $ X:= A\\(B\\C) $ $ Y:={D in 2^A|B sub D} $ $ Z:={f in A^A|f(B) sub B} $ $ |X|=10\\(5\\4)=9 $ è corretto ? Per Y e Z come dovrei procedere ?
3
18 lug 2015, 13:20

Danyzzz
ciao a tutti! Chi potrebbe spiegarmi come applicare il metodo di risoluzione del test di miller rabin??? Ecco un esempio di esercizio. Applicare a n = 91 il test di Miller-Rabin con base a = 3. Grazie!
1
1 lug 2015, 23:47

akkappa
Ciao a tutti , ho il seguente esercizio: "Determinare i sottogruppi normali di $S_3$" Per determinare i sottogruppi , ho trovato questi: Ordine 2:$ ⟨id, p⟩$ (p è una trasposizione qualunque ) Ordine 3: $⟨id, (123), (132)⟩$ Però non so proprio come determinare quali fra questi sono normali. Vi ringrazio per l'attenzione
13
4 set 2015, 12:55

Samy211
Aiuto ragazzi....Non riesco proprio a capire i gruppi simmetrici Ho capito che si tratta di un gruppo composto dall'insieme di tutte le applicazioni biiettive in se con l'operazione di composizione, però appena cerco di capire l'esempio presente nelle dispense mi perdo Ve lo espongo, sicuramente per voi sarà di una facilità sconcertante Consideriamo il gruppo simmetrico su 3 elementi, ossia $S_3$ e $O(S_3)=(3!)=6$. Posto $I={1,2,3}$ gli elementi di ...
38
13 feb 2010, 12:59

Marina_LoveMetal
Ciao a tutti, ho due esercizi di un vecchio compito di Discreta 1 che non capisco come risolvere. 1) Determinare l'intersezione degli insiemi $ [text(3)]_(\7) $ e $ [text(5)]_(\4) $ 2) Si dia una condizione su $ m $ e $ n $ $ in mathbb(N) $ perché l'intersezione degli insiemi $ [text(3)]_(\m) $ e $ [text(5)]_(\n) $ sia diversa dal vuoto (si pensi alle equazioni diofantee del tipo $ mx+ny=c $ ) Grazie anticipatamente per le risposte
5
7 set 2015, 17:32

gennarosdc
Esiste un polinomio di grado 5 che non ammetta radici in $Z_5[x]$? Non riesco a trovarlo..(so che i polinomi in $R[x]$ se hanno grado dispari ammettono sicuramente una radice) Grazie in anticipo
8
7 set 2015, 14:27

alby9411
Buondì ,come nell'immagine seguente, giustamente viene definito ordine di un elemento a, quel numero h tale che tutte le potenze fino ad h-1 , creano il sottogruppo generato da a. Ma allora cosa significa ad esempio in $ Gf(16)$ che l ordine di un elemento può essere 2,4,8,16 oppure essere un generatore? Non è gia un generatore ad esempio un elemento con ordine 16? [xdom="vict85"]Non mettere immagini per descrivere cose ben conosciute come la definizione di ordine del gruppo.[/xdom]
18
5 set 2015, 12:18

Rodolfo Medina
Salve a tutti. In Algebra 2, uno dei teoremi di prolungamento dimostra l'esistenza di un isomorfismo tra due estensioni semplici di due sottocampi. Non riesco a dimostrare appunto che si tratti di un omomorfismo, quindi che conserva il prodotto. Qualcuno può aiutarmi? Se c'è sul Forum qualcuno che conosce l'argomento, posso poi fornire maggiori dettagli. Grazie infinite! Rodolfo
4
2 set 2015, 12:32

akkappa
$ 17 $Ciao a tutti, ho il seguente esercizio sui gruppi: "Qual è l’ordine (moltiplicativo) di $15$ in $(Z//221)^×$?" Per questi tipi di esercizi non saprei proprio come proseguire, il professore ci ha dato un suggerimento cioè quello di usare il teorema cinese del resto, quindi l'unica cosa che mi viene in mente è quello di dividere $221$ in numeri primi e cioè quindi $13$ e $17$ però poi,ammesso sia giusto questo passaggio, ...
12
4 set 2015, 11:28

GlassPrisoner91
Salve, sto recentemente studiando la logica matematica e sono alle prime armi, vorrei capire come dimostrare con i tableau se le formule sono delle tautologie proposizionali, o meglio, di cosa devo tenere conto? Ad esempio come dimostro questa formula: $$ A -> (B -> A)$$
2
4 set 2015, 20:33

gennarosdc
Sia $S$ l'insieme dei polinomi di grado al piu 3 in $Z_3[x]$ , si considerino le applicazioni: $ varphi _1:finS->f(1)inZ_3 $ e $ varphi _2:finS->f(2)inZ_3 $ Sono surriettive? io mi trovo di si entrambe..Però ho dei dubbi sul appartenenza del polinomio nullo ad S (so che è di grado $-infty$ ) Mi confermate o smentite che $0inS$?così riesco ad andare avanti con l'esercizio Grazie in anticipo
9
1 set 2015, 17:42

rainbowpino
Salve a tutti gli appassionati di questo sito da un pò sbatto con un problema che ritengo/spero si possa risolvere facilmente con l'aiuto di qualche formula o algoritmo matematico. Devo scrivere il calendario per fare incontrare tra di loro 21 persone suddivise in 5 gruppi. Ogni gruppo quindi sarà formato da 4 persone (tranne uno che sarà di 5). L'obiettivo è fare ruotare le persone in modo che possano incontrare tutti nel minor tempo possibile. Ogni gruppo ha 1 persona-guida che non ruota, ...
38
18 ago 2015, 19:41