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
luca691
Buongiorno a tutti, fino al punto in cui portano i passi 1)÷13) seguenti, non riesco a dimostrare la necessità della definizione usuale di moltiplicazione tra coppie di numeri reali, secondo cui dovrebbe essere $α=-1$ e $β=0$ (v. punto 5)). Mi sembra, cioè, che tutto "funzioni bene" anche con la definizione più generale al punto 5), purché valga il vincolo (#) in 8), e "modulo" e "coniugato" siano definiti come in 9) e 10), rispettivamente. Ammesso (e non concesso...) ...
7
14 giu 2017, 16:27

grazianogiuseffi
Ciao raga, mi potreste dare una mano con questo esercizio? Determinare tutti i valori di n per cui esistono interi non negativi x e y tali che n = 3x + 7y. Giustificare la risposta usando una prova induttiva Partendo dal fatto che x e y devono essere maggiori o uguali di 0, ovviamente n sarà uguale a tutti i multipli di 3,7 e 10(3+7). come faccio a definire tutti gli altri numeri senza mettermi a fare tutte le moltiplicazioni? Se, per esempio, tutti i numeri maggiori o uguali a 30 fossero ...
1
19 giu 2017, 18:36

maluz1
Buongiorno, sto studiandola dimostrazione del teorema cinese del resto su alcune dispense universitarie ma l'ho trovata difficile in alcuni punti. Ho anche cercato sul web ma le dimostrazioni sono più di una di quello che visto e la mia non l'ho ancora trovata. In ogni caso, procede in questo modo: TEOREMA Il sistema di congruenze $ { ( x -= a mod n ),( x -= b mod m ):} $ ha soluzione se e solo se $ (n, m) | b - a $. Se c è una soluzione del sistema, allora gli elementi di $ [c]_[[n,m] $ sono tutte e sole le ...
1
24 giu 2017, 08:58

krock
Ciao a tutti, sto seguendo da autodidatta un corso di Algebra e Geometria (Corso di laurea in Ingegneria Informatica e TLC), mentre riesco a capire la parte di Geometria, quella di Algebra non ho idea da dove poterla studiare! Non capisco proprio gli esercizi. Questo è l'ultimo testo di esame che è stato assegnato, potrei avere delucidazioni su cosa dover studiare per poterli capire? Grazie anticipatamente. Click sull'immagine per visualizzare l'originale
6
19 giu 2017, 17:01

sami951
Buongiorno a tutti, ho un dubbio riguardo gli ideali massimali in $ZZ[X]$. Il mio problema è dimostrare che $I=(p(x))$ con $p(x)=x^2-3$ non è ideale massimale in $ZZ[X]$ e trovare un ideale massimale che lo contiene. Ora, poiché $ZZ[X]$ non è dominio a ideali principali principali, non so come procedere Ho pensato di dimostrare che $(ZZ[X])/((p(x)))$ non è campo, ma non so se è la strada più semplice.. Qualcuno sa gentilmente aiutarmi?
10
23 giu 2017, 09:46

aPlanetaryCitizen
Salve a tutti! Mi sto cimentando non senza una certa difficoltà nello studio dell'algebra universale. Mi sono imbattuto in un esercizio, che si presume sia, appunto, semplice, visto che è proposto all'inizio del capitolo, ma che non riesco a capire. L'esercizio dice, testualmente: Dimostrare che un semigruppo commutativo semplice con più di due elementi è un gruppo; è utile dimostrare prima che per ogni semigruppo commutativo S e per ogni c $\in$ S, la relazione (a,b) ...
6
26 gen 2017, 22:43

aPlanetaryCitizen
Salve, stavo dimostrando un lemma di algebra universale e mi tornava comodo sapere se: Data un'algebra A e $ {\alpha_{i}, i\in I}, \beta $ congruenze di A è vero che: $ \cap(\alpha_{i}/\beta)=(\cap\alpha_{i})/\beta $ ?? dove $ \alpha/\beta = {(a/\beta, b/\beta) \in (A/\beta)^{2} : (a,b) \in \alpha} $ Credo proprio di no, ma insomma... Se poi voleste aiutarmi ancor di più, il fatto precedente mi potrebbe servire per questo: Sia U un'algebra libera in K su un insieme X e $ \Theta_{U}(K)=\cap{\theta_{i} \in Con(U) : U/\theta_{i} \in S(K)} $ Voglio dimostrare che $ \cap (\theta_{i}/\(Theta_{U}(K)))=\Delta_{U/(\Theta_{U}(K))} $ Dove quest'ultima è la congruenza minima di ...
2
23 giu 2017, 00:07

metrixo
Un saluto a tutti, può sembrare banale la domanda, perché la definizione di funzione non è difficile, sono pochi termini che la riguardano, però mi sono imbattuto in diverse definizioni di funzione, e non sempre era chiara questa differenza: cioè, una funzione è una relazione, quindi una corrispondenza tra due insiemi, uno da dove parte la relazione, il dominio, e uno dove arriva, il codominio o immagine, e l'elemento del codominio a cui è associato uno o più elementi del dominio è ...
9
8 mar 2014, 10:35

melusina89
Ciao a tutti! Sto studiando un articolo di crittografia e sono incappata in un argomento (credo) di teoria analitica dei numeri. L'argomento in questione è il prodotto tensoriale tra campi. Sto trovando tantissime difficoltà un po' perché non sono riuscita a trovare un buon testo di riferimento e un po' perché sono più di tre anni che non tocco la teoria dei campi. Spero che possiate aiutarmi. Sia $\zeta_m$ una radice primitiva m-esima dell'unità e sia $K=QQ(\zeta_m)$ l'm-esimo ...
3
19 giu 2017, 16:04

Sergeant Pepper
Salve a tutti, sono nuovo del forum Ho cercato il mio quesito tra i thread precedenti ma non ho trovato nulla, nel caso chiedo scusa. L'esercizio che non riesco a svolgere è: si consideri l'anello $Z[x]$ e i suoi ideali $A=(7)$ e $B=(5x)$ Provare che l'anello quoziente $(Z[x])/(A+B)$ è un campo. Ora, dalla teoria so che un quoziente è un campo se e solo se l'ideale su cui quoziento è massimale. So anche che un ideale è massimale se non esiste un altro ...
4
19 giu 2017, 18:24

fabry881
Ciao a tutti, qualcuno può aiutarmi con questo esercizio? Dimostrare che per ogni i numero naturale, vale la proprietà $\sum_(i=1)^(x-1) i^2=1/3x^3-1/2x^2+1/6x$
4
19 giu 2017, 17:16

fabry881
Ciao a tutti, qualcuno potrebbe aiutarmi a dimostrare questa proprietà? Dimostrare per induzione che per ogni $n>=0$ si ha: $F_n>=A^(n-2)$ dove $F_n$ è il generico numero di Fibonacci e A è la sezione aurea $A=(sqrt(5)+1)/2$ Grazie in anticipo!
5
18 giu 2017, 11:17

fabry881
Ciao a tutti, potreste dirmi se ho svolto l'esercizio correttamente? Dimostrare che per ogni n∈$NN$, $9^(n+1) + 2^(6n+1) $ è divisibile per $11$ Base $n=0$: $9^1+2^1=11$ è divisibile per $11$ Passo: assumo $9^(n+1) + 2^(6n+1) $ è divisibile per $11$ dimostro $9^(n+2) + 2^(6(n+1)+1) $ è divisibile per $11$ $9^(n+2) + 2^(6(n+1)+1)=$ $9^(n+2) + 2^(6n+7)= $ $9*9^(n+1) + 2^6*2^(6n+1)=$ $9*(9^(n+1)+2^(6n+1))-9*2^(6n+1) + 2^6*2^(6n+1)=$ Ora $9^(n+1)+2^(6n+1)$ è divisibile per ...
1
18 giu 2017, 11:10

alfiere15
Buon pomeriggio! Ho questo esercizio: Click sull'immagine per visualizzare l'originale Per il punto 1), ho fatto così: se $[x]_10 = [y]_10 Rightarrow 10 | x-y$, allora : $20 | lambda(x^2 +y^2) = lambda(x+y)(x-y) Rightarrow 2|lambda(x+y)$ Dunque, $2 |lambda or 2|x+y$ Giusto? C'è qualche errore? Come posso togliere la seconda condizione? Ora, se $2|lambda$, allora $exists a in Z : lambda = 2a$, allora se $20|2a(x+y)(x-y) Rightarrow 10|a(x+y(x-y) Rightarrow 10|a or 10|x+y or 10|x-y$ Come posso procedere?
17
13 giu 2017, 13:41

nightcl
Salve, avrei bisogno di una mano con la risoluzione di questo esercizio \(\displaystyle \text{Sia $\mathbb{Z_{35}}$ l'insieme dei numeri interi modulo 35 e sia $\ast$ l'operazione così definita:} \\ a \ast b = a + n + b \\ a, b \in \mathbb{Z_{35}} \\ \text{Dire per quali valori di $n$, $(\mathbb{Z_{35}}, \ast)$ è un monoide.} \)
4
13 giu 2017, 19:32

Hornet345
Ciao a tutti, Non so come impostare il seguente esercizio: Elencate tutti gli elementi di classe pari in Σ4. Ero convinto che tutte le permutazioni di (1 2 3 4) fossero di classe pari, ma alcune sono dispari... Dovrei trovare tutte le pari, una per una, ma credo non sia la strada giusta.... grazie in anticipo
2
12 giu 2017, 20:36

Hornet345
Ciao a tutti, Devo dimostrare, con il principio di induzione che, dato l' intero n >=1, n^3 + 2n è divisibile per 3. Ho fatto in questo modo, ma non so se è corretto. Passo base. A(1)= 1+2=3 3 è divisibile per 3 Supponiamo che A(n) sia vera, cioè che n^3+2n sia divisibile per tre. Devo dimostrare che A(n+1) sia vera. Ora, (n+1)^3+2(n+1)= n^3+3n^2+3n+1+2n+2 raggruppo e ottengo (n^3+2n) + 3n^2+3n+3 (n^3+2n) è vera; 3n^2 3n 3 sono tutti multipli di 3, quindi A(n+1) è vera. È corretto? Grazie ...
1
12 giu 2017, 12:37

fabry881
Ciao a tutti, avrei bisogno di aiuto su questo esercizio: Dire se il polinomio $x^4 – x^3 + 5x – 2$ è irriducibile, considerando i coefficienti in $ZZ, ZZ_2, ZZ_3$. L'unico problema è nella scomposizione in $ZZ$ : ho imposto l'uguaglianza $(x^2 + ax + b)(x^2 +cx +d) = x^4 – x^3 + 5x – 2$ e ottenuto $a+c=-1$ $b+ac+d=0$ $bc+ad=5$ $db=-2$ Ora come devo procedere?
6
11 giu 2017, 17:09

lapiccolapeste1
sia H l'insieme delle permutazioni σ∈S5 tali che σ(1)=1 oppure σ(1)=2 1) dimostrare che H non è un sottogruppo di S5 2) determinare il sottogruppo generato da H sono in crisi più totale non so dove mettere le mani
2
9 giu 2017, 17:57

Andre7092
Ciao a tutti! Ho alcuni dubbi su dei passaggi riguardanti la lavorazione di funzioni booleane. Spesso nei temi d'esame trovo scritto: data la funzione booleana $ f(a,b,c,d) $ e la funzione booleana $ g(a,b,c,d) $ 1)Dimostrare che $ f(a,b,c,d) = g(a,b,c,d) $ 2) Trovare la parte comune tra $ f(a,b,c,d) $ e $ g(a,b,c,d) $ e denominarla $ h(a,b,c,d) $ 3)Trovare algebricamente $ l(a,b,c,d) $ ossia $ f(a,b,c,d) - h(a,b,c,d) $ Da quello che ho capito a lezione io opero cosi': 1) Il primo punto ...
2
19 mag 2017, 21:49