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
geme2
trovare MCD tra $ X^(2)-1 $ e $ X^(3)-X-1 $ Come devo fare sei il secondo non si puo' scomporre???
4
29 lug 2010, 19:19

Lady_chaos
Se in un insieme I, definisco la relazione ki~kj se esiste un g appartenente a un gruppo finito G tale che kj=g*ki , come faccio a dimostrare che è una classe di equivalenza? dovrei dimostrare la proprietà transitiva, simmetrica e riflessiva... nelle relazioni di equivalenza modulo.. sò come si procede ma in questo caso non saprei in quanto non ho un esempio simile, qualcuno può darmi una mano?
17
28 lug 2010, 11:53

Princess2
Ciao! Non riesco a capire cos'è un sistema completo di residui mod n e un sistema ridotto di residui! Ho cercato qualcosa su internet ma non ho trovato nulla! Come posso fare? Dalle dispense del prof non ho capito bene di cosa si tratta.
2
28 lug 2010, 10:43

FELPONE
Salve,qualcuno sa spiegarmi questa regola,che io non riesco proprio ad applicare e sopratutto non la capisco neanche con esercizi svolti. Regola: $ (Gamma|-A,Delta -- Gamma,B|- Delta )/ ( Gamma,A=>B|-Delta ) $
28
22 lug 2010, 16:00

Fitzgalippo
Ciao, siccome ho visto che c'è un post simile in cui si spiega come svolgere la conseguenza semantica, volevo una mano a capire come svolgere questi esercizi: $A|==BvC$ e $B|==D => A|==DvC$ Vorrei capire assegnando dei valori alle proprietà perché non riesco a farmi entrare in testa questo concetto. Grazie
1
26 lug 2010, 22:22

mistake89
Proseguendo il discorso iniziato qui circa i gruppi liberi volevo chiedere dei ragguagli: Definizione: $F$ è un gruppo libero su $X$, sottoinsieme di $F$, se ogni applicazione $f$ da $X$ ad un gruppo $G$ si estende univocamente a un omomorfismo $\phi : F \to G$. Suppongo che il sottoinsieme $X$ contenga l'alfabeto sul quale costruire le parole di $F$. Se ...
8
24 lug 2010, 21:16

FELPONE
Salve a tutti,vorrei postare un esercizio di logica ma non so come scrivere i simboli degli and,or,conseguenza semantica eccetera....
14
19 lug 2010, 18:26

Pdirac
Salve... Riguardo teoria degli insiemi (dovrebbe essere logica matematica quindi è la sezione giusta spero), ho una questione in merito alla definizione di relazione d'ordine. Dal mio testo di matematica leggo che: "Una relazione R in un insieme A è detta relazione d'irdine largo se e solo se gode della proprietà riflessiva, transitiva, antisimmetrica, mentre è detta relazione d'ordine stretto se gode soltanto delle proprietà transitiva e antisimmetrica." Dato che non è citata alcuna ...
15
23 lug 2010, 18:11

Injo
Vorrei qualche chiarimento sulle presentazioni di gruppi. Sulle dispense di cui dispongo c'è un discorso di questo tipo: La presentazione di un gruppo è una coppia [tex][/tex] con [tex]X[/tex] insieme di generatori del gruppo libero [tex]F(X)[/tex] ed [tex]R[/tex] relazioni tra i generatori. Seguendo quest'idea viene quindi fatto quest'esempio: considerato [tex]\mathbb Z_3[/tex] prendiamo un suo generatore [tex]a[/tex]. In tal modo notiamo che [tex]a^3=a[/tex] e dunque [tex]a^2=1[/tex]. ...
11
23 lug 2010, 18:46

francicko
Sia Q(+) Gruppo additivo dei numeri razionali , comunque preso un suosotoguppo non banale questo risulta essere isomorfo al gruppo Z(+) degli interi oppure isomorfo allo stesso Q(+), e' vero'? Per esempio se prendo un generico elemento come puo' essere 1/3 ed il suo opposto -1/3 appartenenti a Q ma non a Z, questi generano un sottogruppo di Q(+) isomorfo a Z(+) che risultera' esserne a sua volta sottogruppo.
24
19 giu 2010, 12:05

tomomimorgan
Ciao a tutti! Ho bisogno di aiuto per risolvere una tipologia di esercizi che mi lascia alquanto perplessa: sistemi di congruenze non lineari. Il testo dell'esercizio è solitamente di questo tipo: "Determinare tutti gli elementi di ordine 3 del gruppo degli invertibili di $ ZZ_91 $ ." Ora, sulle dispense che ho, l'esercizio viene svolto fattorizzando $ 91=7*13 $ , e considerando singolarmente le due equazioni $ x^(3) -= 1 mod(7) $ (le cui soluzioni sono 1,2,4) e ...
1
12 lug 2010, 19:24

ansioso
Si stabilisca se il polinomio $f(x)=x^2+x+1$ è riducibile in $RR[x]$,$ZZ_3[x]$; e se $g(x)=x^4-5x^2+6 $ è riducibile o meno in R[x] Premetto che è la prima votla che cerco di fare questo tipo di esercizi... Per verificare se $f(x)$ è riducibile devo vedere se esistono radici del polinomio in $RR[x]$,$ZZ_3[x]$, diverse da 1 e dal polinomio steso; Tramite ruffini devo vedere se tale polinomio è divisile per (x-r) dove r sono le radici che ...
3
19 lug 2010, 17:22

Korost1
oggi sono proprio nei guai scusatemi tutti non riesco proprio a capacitarmi di come come si faccia a dire se un numero lunghisimo in base b è divisibile per altri numeri dati dall'esercizio. ad esempio se ho (1111002222003333003333002222001111) in base 7 come faccio a dire se è divisibile per 3 o per 50 o per 24? la prima cosa che mi verrebbe in mente è usare i criteri di divisibilità ad esempio del 3 e sommare tutte le cifre del numero per vedere se da come risultato un multiplo di ...
5
18 lug 2010, 18:31

ladepie
come dimostrare per induzione sul numero di elementi n che una permutazione si puo' decomporre in modo unico come prodotto di cicli disgiunti? non so da dove partire
3
17 lug 2010, 13:00

Paolo902
Buonasera, ho dei problemi (gravi) per quanto riguarda le estensioni di campi e la ricerca del polinomio minimo di un elemento. Chiedo scusa in anticipo se i miei dubbi sembreranno banali per qualcuno, ma vedersi da solo 'sta roba non è troppo semplice (però è estremamente bella!). Problema. Sia [tex]\alpha \in \mathbb{R}[/tex] una radice del polinomio [tex]\mathbb{Q}[X] \ni x^{3}+3x+1[/tex]. Si chiede di studiare [tex]\mathbb{Q}(\alpha)[/tex], di determinare [tex]\beta = ...
12
12 lug 2010, 23:39

AndreaT1989
Si consideri il seguente polinomio, dove $a$ è un parametro reale: $x^5+(1-a)x^4 +(2-a)x^3 +(2-a)x^2 +(1-a)x+1 $ 1. Fattorizzare su $R$ e su $C$ . 2. Assumendo a intero, fattorizzare su $Q$ e su $Z/(2Z)$. Era un esercizio di esame che ho risolto quasi totalmente. Non ho svolto l'ultima parte, ossia la fattorizzazione su $Z/2Z$ . Mi potete indicare cosa significa ? Ora che ho studiato meglio secondo me sono i polinomi che sono divisibili ...
1
16 lug 2010, 18:42

AndreaT1989
Si consideri il seguente polinomio, dove $a$ è un parametro reale: $x^5+(1-a)x^4 +(2-a)x^3 +(2-a)x^2 +(1-a)x+1 $ 1. Fattorizzare su $R$ e su $C$ . 2. Assumendo a intero, fattorizzare su $Q$ e su $Z/(2Z)$. Era un esercizio di esame che ho risolto quasi totalmente, quindi non mi dovete aiutare a risolvero. Non ho svolto l'ultima parte, ossia la fattorizzazione su $Z/2Z$ . Mi potete indicare cosa significa ? Ora che ho studiato meglio secondo ...
1
16 lug 2010, 18:43

AndreaT1989
Salve, come da titolo non riesco a dimostrare che un campo è privo di divisori dello 0. Mi manca il punto da cui partire, mi date una mano ? Grazie mille.
11
4 lug 2010, 11:11

bertuz1
Ciao a tutti... abbiamo un dubbio assurdo, ma la seguente implicazione non riusciamo a capire perché è vera per il seguente motivo: ‎"T è triangolo" => "somma angoli interni è 180°". Per favore, qualcuno mi dimostri F->V = V!! Come è possibile che se T NON è un triangolo => somma degli angoli interni è un angolo piatto? Grazie
5
14 lug 2010, 21:28

nato_pigro1
Sia $A$ il sottoanello di $CC$ cos= definito: $A:={a+ibsqrt(13)|a,b in ZZ}$. a) Quali sono gli elementi invertibili di $A$? b) L'ideale $(17)$ e; primo in $A$ c) $A$ e' fattoriale? a) moltiplico due elementi generici di $A$: $a+ibsqrt(13)|$, $c+idsqrt(13)|$ e impongo che il prodotto sia uguale a $1$ ma ottengo le condizioni $bc+ad=0$ e $ac-13bd=0$ ma non ne ricavo ...
3
14 lug 2010, 18:08