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
Gi81
Nella dimostrazione di un certo teorema di teoria dei gurppi ad un certo punto ci sono i seguenti passaggi: Sia $G$ gruppo, $A$ sottogruppo di $G$ di indice $n$ non normale. Sia $X$ il sottogruppo massimale di $A$ che è normale in $G$. Allora il gruppo quoziente \(G/X \) è isomorfo a un sottogruppo del gruppo simmetrico sui laterali destri di $A$, cioè ad un sottogruppo di ...
2
29 feb 2012, 23:24

whitefang1
trovare le soluzioni di x^35 = 1 (mod37). mi era venuta un'idea... provando a caso con wolfram alpha la funzione x^35 mod37 è bigettiva, ciò significa che l'unica soluzione ce l'ho per x=1; ho pensato che la cosa fosse valida per ogni funzione x^k mod n con n e k primi, ma un primo controesempio si ha per k=2 e n=5; quindi come dimostrare che l'unica soluzione è x=1 ? e più in generale, quando una funzione x^k mod n è bigettiva? ps: scusate per l'ordine un po' confusionario, ma non so usare ...
5
29 feb 2012, 20:22

Sally_11
Ciao a tutti, qualcuno potrebbe aiutarmi nella dimostrazione di questa proprietà? \(\displaystyle A⊆B ⇔ A∪B = B \) Ho tentato di dimostrare prima l'implicazione ⇒ e poi ⇐ ma arrivo ad un vicolo cieco -.-
7
29 feb 2012, 13:35

Howard_Wolowitz
Innanzitutto buona serata a tutti! Ho il seguente esercizio da risolvere sui gruppi: i)Per questa prima parte non capisco se devo dare la dimostrazione del teorema che dice che prese [tex]f \wedge g[/tex] biiettive la composizione [tex]g \circ f[/tex] è anch'essa una funzione biiettiva o altro... ii)[tex]({S}_{X},\circ)[/tex](con [tex]\circ[/tex] prodotto operatorio o composizione tra funzioni) è un gruppo perchè: - supposto di avere [tex]\forall h,g,f \in {S}_{X}[/tex](con [tex]h,g,f[/tex] ...
2
29 feb 2012, 13:08

emilianor
Salve, devo dimostrare che Z[x]/(I), dove I=(5x, x^2), non è un dominio. Innanzitutto I=(5x, x^2)=(x) perchè M.C.D(5x,x^2)=x. A questo punto mi basta dimostrare che I non è un ideale primo. Ma: (x)={tutti i polinomi su Z con termine noto=0}? Se, come credo, così fosse, dovrei trovare 2 polinomi in Z[x] non appartenenti ad I, tali che moltiplicati fra loro mi diano un polinomio con termine noto nullo......ho la sensazione che mi stia perdendo in un bicchiere d'acqua, tuttavia non capisco!
6
29 feb 2012, 08:11

GB962
Salve a tutti, vorrei sapere se esiste un metodo per calcolare tutte le n radici n-esime di un numero. Es. \(\displaystyle \sqrt[4]{9}= \pm\sqrt{3}\) e \(\displaystyle \pm i \cdot\sqrt{3} \) Ci sono arrivato per tentativi ma esiste un metodo più generale? Grazie
2
28 feb 2012, 19:53

Ania1234
Ciao a tutti, ho qualche difficoltà nel comprendere la dimostrazione di questo teorema: TEOREMA: Siano \(\displaystyle K \) un campo finito, \(\displaystyle F \) un'estensione di \(\displaystyle K \) e \(\displaystyle E \) un'estensione di \(\displaystyle F \). Allora \(\displaystyle Tr_{E/K} (\alpha) = Tr_{F/K}(Tr_{E/F} (\alpha))\) DIMOSTRAZIONE: Siano \(\displaystyle K = \mathbb{F}_{q} \) , \(\displaystyle [F] = m \) e \(\displaystyle [E] = n \) . Di conseguenza, per la formula di ...
1
28 feb 2012, 16:05

Louch
Ciao a tutti, spero di aver postato nella sezione giusta! Ho un problema abbastanza urgente che non riesco a capire: mi servirebbe capire quanti oggetti $O_l$ può contenere al massimo (la cardinalità massima) un qualsiasi Sottinsieme $P_i$ dove l'indice $l$ di questi oggetti è del tipo $l=i+2^k$ per qualche valore random di $k$ (k credo sia un valore intero maggiore o uguale a zero). Ad esempio $P_4={O_5,O_8,O_36}$. Non so se sono stato ...
4
26 feb 2012, 20:33

Ania1234
Ciao a tutti, ho un problema nel capire la dimostrazioni della seguente proprietà della traccia di un'estensione finita, dove per traccia si intende: DEF: Siano \(\displaystyle K = \mathbb{F}_{q} \) e \(\displaystyle \alpha \in F = \mathbb{F}_{q^m} \). Allora la traccia è \(\displaystyle Tr_{F/K} (\alpha) = \alpha + \alpha^q + \cdots+ \alpha^{q^{m-1}} \) TEOREMA: Siano \(\displaystyle K = \mathbb{F}_{q} \) e \(\displaystyle F = \mathbb{F}_{q^m} \). Allora la traccia \(\displaystyle Tr_{F/K} ...
1
25 feb 2012, 18:19

Ania1234
Ciao a tutti, ho qualche difficoltà nel comprendere la dimostrazione di questo teorema: TEOREMA: Siano \(\displaystyle K \) un campo finito, \(\displaystyle F \) un'estensione di \(\displaystyle K \) e \(\displaystyle E \) un'estensione di \(\displaystyle F \). Allora \(\displaystyle N_{E/K} (\alpha) = N_{F/K}(N_{E/F} (\alpha)) \ \ \ \ \forall \alpha \in E\) DIMOSTRAZIONE: Siano \(\displaystyle K = \mathbb{F}_{q} \) , \(\displaystyle [F] = m \) e \(\displaystyle [E] = n \) . Di ...
4
25 feb 2012, 15:19

davi2892
Salve ragazzi,volevo un aiuto in questa dimostrazione. Considero l'applicazione ϕ: $ a in G $ -------> $ bar (a) $ , dove $ bar (a) $ è l'automorfismo interno determinato da a. Questa applicazione è un omomorfismo suriettivo,quindi un epimorfismo. Adesso il mio testo dice che dal teorema di omomorfismo segue che InnG è isomorfo a kerϕ. Ma non capisco in che modo applica il teorema di omomorfismo per gruppi: lì c'è un omomorfismo iniziale f: G------>R e poi c'è una ϕ tale ...
6
23 feb 2012, 17:19

Dreamphiro
Non so come fare per dimostrare la legge di annullamento del prodotto a partire dagli assiomi algebrici di R (associatività della somma, distributività ecc). Non ho idee, una mano?
6
23 feb 2012, 15:33

Sfarla
Ragazzi chi mi aiuta a risolvere questo esercizio? Magari è facile ma non mi vengono buone idee per risolverlo. Ho \(\displaystyle A \) dominio, e \(\displaystyle I \) ideale frazionario di \(\displaystyle A \) (ovvero un \(\displaystyle A- \)sottomodulo finitamente generato di \(\displaystyle \mathbb Q(A) \), campo dei quozienti di \(\displaystyle A \) ). Dimostrare che se \(\displaystyle I \) è invertibile nel monoide degli ideali frazionari (cioè se esiste \(\displaystyle J \) ideale ...
1
23 feb 2012, 14:19

5t4rdu5t
ragazzi ho un problema URGENTE da risolvere!! ho un sistama di congruenza: x=4(mod5) x=2(mod4) x=6(mod9) li ho risolti tutti prima ho fatto i primi due e viene x=14(mod20). Poi ho fatto qst' ultimo con l' utimo del sistema iniziale. Non capisco xk a me viene x=654(mod 180) sto impazzendo. L identità di B del sistema finale è 1=20*(-4)+9*9, poi la moltiplico per 8 perchè dal sistema ottengo 8=9h+20(-k), scelgo come k=72, -h=32. Se ho la congruenza già positiva perchè deve venire 114 (mod180) ...
11
23 feb 2012, 13:45

deffo1
Qualcuno saprebbe dimostrarmi perchè la somma di due numeri algebrici è ancora algebrica? Non riesco a trovare la dimostrazione da nessuna parte. Grazie
5
23 feb 2012, 12:07

lulz
Buongiorno a tutti volevo porvi un quesito riguardo le equazioni congruenziali: io ho l'equazione: 135x ≡ 60 (mod 620) facendo il MCD trovo che MCD(135, 620) = 5 quindi semplifico: 27x ≡ 12(mod 124) quindi le soluzioni sarebbero tutte le x tale che 124|27 * x - 12 o mi sbaglio? Come determino le soluzioni dell'equazione?
4
22 feb 2012, 08:14

lupohirp
Salve ragazzi....sono uno studente di informatica ma la matematica non è proprio il mio forte ho l'esame di matematica discreta in questi giorni.....e purtroppo il prof. no ha spiegato bene alcuni argomenti che veramente mi sono poco chiari...uno di questi è: come si fa a risolvere una equazione congruenziale??? ad esempio questa: Si risolva in Z il seguente sistema di equazioni congruenziali: x ≡ 3 mod 4 x ≡ 3 mod 7 x ≡ −4 mod 5 grazie in anticipo veramente ragazzi
7
21 feb 2012, 11:09

noipo
Ciao! Non riesco a svolgere quest'esercizio che penso sia molto semplice -.- "Calcola il numero dei numeri interi compresi tra 1 e 100 nella cui scrittura decimale compaiano un 5 e un 8. Quanto di questi sono multipli di 3?" Grazie!
7
21 feb 2012, 02:21

squirrel_anna
é possibile definire un omorfismo $f: ZZ_5 \to ZZ_12$ ? Ho pensato di considerare il fatto che 5 non sia multiplo di 12 ma non so bene come usarlo... qualcuno mi può dare un consiglio?
10
20 feb 2012, 10:44

gundamrx91-votailprof
Sia $a(x) in K[x]$ un polinomio ad una indeterminata e a coefficienti in un campo $K$. $a(x)$ ammette insieme con ogni sua radice complessa anche la complessa coniugata: $AArho in CC | a(rho)=0 => a(bar(rho))=0$. Sia $phi: CC -> CC$ la funzione coniugio definita come $phi(z)=bar(z)$ per $AAz in CC$; $phi : CC -> CC$ è un automorfismo del campo $CC$ in se che lascia invariato il sotto campo $RR$ tale che $phi(x)=x$ per $AAx in RR$. Allora ...
5
20 feb 2012, 09:58