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
Fabio_S11
Ciao a tutti, questo è il mio primo post qui, e son sicuro che saprete essermi d'aiuto, o farmi pat pat sulla spalla dicendo che non c'è speranza. Allora mi trovo ad affrontare un problema di questo genere: X^a +b X^c +d = 0 Risolvi per X. Purtroppo né a, nè b, né c, nè d son numeri interi. Per cui -ovviamente- so che non esiste un metodo risolutivo per tale equazione. 1) Ma cosa posso dire? 2) Posso dire quante radici ha? 3) Posso dire quante radici reali ha? (cosa che mi interessa di ...
1
29 lug 2016, 16:12

nine98100
Salve a tutti, ripensando alla teoria dei gruppi mi sono posto questa domanda: Sia $ G $ un gruppo ciclico e siano $ H $ e $ K $ due suoi sottogruppi propri diversi dal sottogruppo identico. Se $ Hnn K={1_G} $ allora $ HK=G $ . Questa affermazione è vera?? (perché sono abbastanza convinto che lo sia).. Se si come si dimostra questo risultato ??
2
29 lug 2016, 05:50

nine98100
Salve a tutti, sono di nuovo alle prese con la teoria dei reticoli che non trovo così difficile anche se alcuni esercizi mi stanno dando filo da torcere, e da un po' che ci penso ma non riesco a risolvere un esercizio, questo il testo: Dimostrare che non esiste alcun epimorfismo $ f:L(V)->S $ dove $ L(V) $ è il reticolo dei sottogruppi di un gruppo ciclico $ V $ ed $ S $ il reticolo di cui in figura: Ho provato a ragionare per assurdo ma non riesco a ...
1
29 lug 2016, 12:52

Hornet345
Ciao a tutti, sto studiando le congruenze lineari e non riesco a capire il passaggio seguente: 3x ≡ -6 (mod 12) 3x ≡ 6 (mod 12) Grazie in anticipo.
6
28 lug 2016, 12:04

jitter1
Come posso trovarli? So che gli elementi di $A$ sono del tipo $a + bx+ (x^2-1)$, quindi porrei $(a + bx+ (x^2-1))((c + dx+ (x^2-1))= 1+ (x^2-1)$, cioè $(a + bx)(c + dx)= 1+ (x^2-1)$ (è corretto questo passaggio? cioè, posso trascurare il $+(x^2-1)$ al primo membro? scusate, ma devo ancora prendere confidenza con questi oggetti). $(a + bx)(c + dx)= 1+ h(x)(x^2-1)$ $h(x)$ deve avere grado 0, altrimenti al secondo membro comparirebbe un termine di terzo grado. $(a + bx)(c + dx)= 1+ h(x^2-1) = 1+ hx^2-h$ ... da cui un sistema che non riesco a ...
4
26 lug 2016, 23:19

pippopaperino1
Salve, ho un dubbio che non riesco a spiegarmi , quando definiamo una struttura algebrica (come ad esempio un campo o un spazio vettoriale) definiamo delle operazioni e degli assiomi, e da questi poi dimostriamo tutte le proprietà e i teoremi. Il mio dubbio è: se dobbiamo dimostrare la regola dei segni su un campo e quindi ad esempio dimostrare che $$(-1) (-1) = 1 $$ come facciamo?? Poi un altro domanda è: in generale in qualsiasi branca della matematica, se ...
3
27 lug 2016, 10:30

jitter1
Ciao a tutti, è mezzo pomeriggio che sto inchiodata su un passaggio della dimostrazione che se (A, d) è un anello locale ed è un PID, allora è euclideo. Incollo uno screenshot del libro (A* è l'insieme degli elementi invertibili di A): Non ho capito quattro cose, riferite alla frase sottolineata: 1) se ogni elemento $a$ diverso da zero dell'anello si scrivesse $a = cp^n$, allora $a$ non apparterrebbe a (p), che verrebbe a coincidere con ...
5
23 lug 2016, 19:11

nine98100
Salve a tutti, in questo periodo sto studiando la teoria dei reticoli e non riesco a risolvere il seguente esercizio tratto dal libro Lezioni di Algebra Curzio ed 2014 pagina 905 n° 11.1.11 il testo è il seguente: Riconoscere che il reticolo degli interi positivi (cfr. 11.1.7) non è autoduale, mentre lo è il reticolo dei sottogruppi del gruppo quadrinomio. Non riesco a provare il primo punto. Ecco il mio ragionamento: Io so che il reticolo degli interi positivi è $ (NN,<=) $ ove ...
7
26 lug 2016, 13:54

P_1_6
Gentilmente come si risolve $ (11*x+\lfloor239431095120749572*(5*x-1)/10^20\rfloor+1)*4540513-(5*x-1)*10^7=3*4540513+500000$ ve ne sarei mille volte grato
1
23 lug 2016, 23:01

thedarkhero
Considero una famiglia numerabile di insiemi numerabili $(A_i)_(i \in I)$ e chiamo $A=\prod_{i \in I}A_i$ il prodotto cartesiano degli $A_i$. Come posso dimostrare che in generale $A$ non e' numerabile? Ovviamente se $I$ e' finito oppure se gli $A_i$ sono finiti allora $A$ e' numerabile, vorrei far vedere che non lo e' se $I$ e' infinito numerabile e gli $A_i$ sono infiniti numerabili.
14
6 lug 2016, 13:41

anto_zoolander
Sia $p$ un numero positivo dispari e $q$ il numero dispari successivo. Si ha: A: $q^2-p^2$ è divisibile per 16 e può non essere divisibile 32 B: $q^2-p^2$ è divisibile per 4 e può non può essere divisibile per 8 C: $q^2-p^2$ è divisibile per 8 e può non essere divisibile per 16 D: $q^2-p^2$ può essere dispari E: $q^2-p^2$ è divisibile per 2 e può non essere divisibile per 4 considerando che dato un dispari, il dispari ...
3
18 lug 2016, 20:22

RuCoLa1
A proposito delle formule di Viéte e Newton non mi é molto chiara la somma di potenze di radici. Se ad esempio avessi un polinomio di secondo grado x^2 +3x -4 le radici sono 1 e -4; se cercassi la somma delle potenze 2 delle radici ció che cerco é S= 1^2 +(-4)^2 ? Grazie
2
18 lug 2016, 12:55

BoG3
Ciao a tutti, ho una domanda: dato uno score $d$ viene chiesto se è lo score di un grafo. spesso nell'esercizio chiede: Trova un grafo (se esiste) dello score $d$ 1) esiste un grafo connesso? 2) esiste un grafo sconnesso? So che ci sono 2 lemmi: forzatura alla connessione e forzatura alla sconnessione. So che se è forzato alla connessione non ci sono grafi sconnessi dello score $d$ e se è forzato alla sconnessione non ci sono grafi connessi dello ...
0
18 lug 2016, 12:39

Oshawott277
Per dimostrare che un sgr di indice 2 è normale, posso visualizzarlo come nucleo di omomorfismo? Come posso definire l'omomorfismo? Ho pensato ad un omomorfismo $f:G->G$ che mandi $x$ nell'identità, se $x\inH$ ..... però se $x\notinH$ non so bene come definirlo. Conosco già l'altra dimostrazione di considerare l'insieme quoziente ecc. Mi chiedevo se ci fosse un modo di visualizzarlo come nucleo di omomorfismo.
2
17 lug 2016, 10:22

RuCoLa1
Qualcuno saprebbe gentilmente dirmi e spiegarmi se esistono altre soluzioni a questa eq. x^2+y^2+z^2=2 xyz oltre a (0,0,0)?
3
15 lug 2016, 21:00

anto_zoolander
Ciao ragazzi, volevo chiedervi se conosceste questi due libri. Sono quelli che adotterà la mia futura docente di Algebra I. Naturalmente a questi affiancherò, penso, l'herstein. T. W. Hungerford, Algebra, Springer D. Dikaranjan, M.S. Lucido, Aritmetica e Algebra
11
13 lug 2016, 18:49

matematicus95
Dato un campo finito F, so che esso ha $p^n $ elementi con p primo e n naturale. Devo dimostrare che ha caratteristica p. Poiche F è finito esso ha caratteristica finita che è un primo q. Allora $ZZ_q$ è isomorfo al sottoanello fondamentale (Costruisco l'omorfismo $f:ZZ->F $ tale $n->n*1$ l'anello immagine è il sottoanello fondamentale) che è un sottoanello di F e quindi in particolare è un sottogruppo del gruppo additivo di F, e per il teorema di Lagrange ...
1
12 lug 2016, 20:17

VincS
L'idea di base è abbastanza semplice e rientra nella categoria dell'uovo di Colombo: prendiamo, ad esempio, il campo di numeri da 1 a 210; quanti sono i composti multipli di 2? Ovviamente 210/2. E quanti sono i multipli di 3? Ovviamente 210/3. Se sommo questi due risultati, ho i composti multipli di 2 e di 3. Ma quante volte ho contato doppio un composto multiplo di 2 o multiplo di 3 nella somma risultante? Semplice! 210/(2*3) che vado a sottrarre alla somma. Se ripeto l'esercizio per tutte le ...
2
10 lug 2016, 13:33

Giobbo89
Ciao a tutti. Ringrazio sin da ora chi avrà la pazienza e la voglia di risolvermi questo piccolo dubbio. Ho dubbi relativi a questo esercizio: In una corsa di cani si affrontano 8 cani C1, C2, . . . , C8. Gli esiti di questa corsa sono del tutto imprevedibili, nel senso che tutte le permutazioni degli 8 cani sono ugualmente probabili come ordine di arrivo. Scommetto sugli esiti di questa corsa; una volta conclusa, alcune informazioni su tali esiti mi sono comunicate tramite apposito sito ...
3
10 lug 2016, 16:15

BoG3
Ciao a tutti, ho un problema con una congruenza lineare che non riesco a risolvere: $31x-=15 (\text(mod) 81)$ Questo è quello che faccio io: moltiplico entrambi i lati per $31^(-1)$ $31^(-1)31x-=31^(-1)15 (\text(mod) 81)$ per ottenere $x-=31^(-1)15 (\text(mod) 81)$, ora devo trovare $31^(-1) \text(mod81)$. Trovo l'$MCD(31, 81)$: $81 = 31*2 +19$ $31 = 19*2 + 12$ $19 = 12*1 + 7$ $12 = 7*1 + 5$ $7 = 5*1 + 2$ $5 = 2*2 +1$ poi esplicito i ...
9
7 lug 2016, 13:25