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
wide87
Ho deciso di provarlo nella maniera più astratta possibile... Hp: $H < G$, $G = <g>$ Th: H è ciclico DIM: Per assurdo fissato un $hinH$ $ EE h_0$ tale che risulti $h_0 != h^i AA iinZ$ Ma gli $h^i$ stando in G che è costituito solo da elementi di tipo $g^a$ sarà un elemento di tipo $g^(a_i)$ Quindi ho detto che se H sottogruppo non è ciclico allora esiste un elemento di H che non appartiene a G dunque neanche ad H. ...
5
26 nov 2010, 04:39

pagliagiorgia
Ciao ragazzi ho bisogno di una mano su questo (per me difficilissimo ) esercizio siano $K sub F$ un'estensione finita e $sigma:K->K'$ un omomorfismo di campi: a) dato un elemento algebrico $alpha in F$ si usino l'omomorfismo $sigma~:K[x]->K[x]', sum_(i = 0)^(n) ai x^i -> sum_(i = 0)^(n)sigma(ai) x^i $ e il teorema fondamentale dell'omomorfismo per dimostrare che esistono un'estensione finita $K' sub F1$ e un omomorfismo $tau1:K(alpha) ->F1$, che estende $alpha$, cioe' che soddisfa $tau1 |k = sigma$ b) si deduca dal ...
1
22 nov 2010, 18:05

nyx1
Ciao ragazzi, Ho fatto questo esercizio e vorrei un vostro parere. Credo vada bene ma non si sa mai: Trovare, in Q[x], il quoziente e il resto della divisione eucllidea del polinomio $ f= 2x^(4) + 2x^(2) +6 $ per il polinomio $g= x^2-2x$. Svolgimento. Inanzitutto divido il termine di grado massimo di f per il grado massimo di g, ottengo il termine di grado massimo del quoziente, $2x^2$. Moltiplico $2x^2$ per g(x) e ottengo $2x^4-4x^3$ Opero con il ...
6
25 nov 2010, 12:20

sofiza1
Ciao a tutti! Avrei bisogno di aiuto con questo esercizio: Si consideri l’anello quoziente $ F = K[x]$ /$ (f)$ per $K=ZZ$/$3ZZ$ e $f = x^2 + 1 in K[x]$ (a) Si elenchino gli elementi di $F$ (b) Si calcolino i prodotti $ (bar (1) +bar (x))*(bar (2)+bar (x)) $ e $ (bar (1)+bar (x))^2 $ (c) Si determini l’elemento inverso di $ (bar(1)+ bar(2)bar(x)) $ Io non so proprio da dove iniziare . Grazie in anticipo a chi vorrà aiutarmi!
17
22 nov 2010, 23:12

olilau
Ciao a tutti!!.....non riesco a risolvere un paio di quesiti,qualcuno può darmi una mano?: (1) devo dire se è vero o falso che $ ZZ$/$2ZZ$ contenuto in $ZZ$/$2ZZ[x]$/$(x^4+x+1)$ è un'estensione di campi di grado 4 (2) è vero o falso che dati $ n \geq 2 $ numeri primi distinti p1,...,pn la radice n-esima del prodotto $ root(n)(p1*...*pn) $ è sempre irrazionale? Per la prima domanda devo dimostrare che $ZZ$/ ...
5
22 nov 2010, 21:06

pagliagiorgia
ciao riposto la mia domanda di qualche giorno fa: "Ciao ragazzi ho bisogno di una mano su questo (per me difficilissimo ) esercizio siano $K sub F$ un'estensione finita e $sigma:K->K'$ un omomorfismo di campi: a) dato un elemento algebrico $alpha in F$ si usino l'omomorfismo $sigma~:K[x]->K[x]', sum_(i = 0)^(n) ai x^i -> sum_(i = 0)^(n)sigma(ai) x^i $ e il teorema fondamentale dell'omomorfismo per dimostrare che esistono un'estensione finita $K' sub F1$ e un omomorfismo $tau1:K(alpha) ->F1$, che estende $alpha$, ...
1
25 nov 2010, 12:40

Injo
Ho la congruenza [tex]y+iv\equiv x+ju \bmod{uv}[/tex] dove [tex]u[/tex] e [tex]v[/tex] sono coprimi. In ciò che sto leggendo è dato per scontato che, fissati [tex]x[/tex] e [tex]y[/tex], esista una coppia [tex]i[/tex], [tex]j[/tex] che soddisfi la congruenza. La cosa non mi è sembrata così immediata così ho cercato di dimostrarlo. Ovviamente mi sono bloccato quasi subito (non ho mai trattato problemi di questo tipo). Sapreste darmi qualche consiglio?
2
24 nov 2010, 16:50

mosca9
Ho un dubbio sul gruppo Z3={0,1,2}. Come posso rappresentare -2 in Z3?
13
24 nov 2010, 19:21

paolo171
Non ho capito come si fanno questi 2 esercizi.. se mi potete spiegare in modo chiaro come si svolgono ve ne sarò grato!!! grazie in anticipo!! 1)Date le permutazioni f =1 2 3 4 5 6 7 3 4 5 6 1 7 2 g =1 2 3 4 5 6 7 2 1 4 7 5 6 3 scrivere f, g, g o f come prodotto di cicli disgiunti. 2) Sia "r" la relazione sull'insieme Z dei numeri interi definita da: per ogni a, b appertenti a Z; a r b se a^2-b^2 (a e b elevato a 2) è divisibile per 4. Si provi che r è un'equivalenza su Z, ...
2
24 nov 2010, 18:48

nyx1
come posso dimostrare che esistono infiniti interi k tali che il polinomio $ f = x^(9) + 10*x^(5)-2x+k $ sia irriducibile in Q[X]. Mi potreste dare un input per risolvere questo quesito? grazie
2
24 nov 2010, 17:11

nyx1
Ciao a tutti..... Allora non riesco a capire come dimostrare questo esercizio: Sia G un gruppo. Dimostrare che G è abeliano se e soltanto se l'applicazione α: $ x in G -> (x)^(-1) in G $ è un automorfismo di G. Sono andata nel pallone se qualcuno potrebbe darmi un aiutino.... grazie......
4
24 nov 2010, 12:08

gundamrx91-votailprof
Per ogni $n in NN$ si ponga $nZZ := {nx : x in ZZ}<br /> dati due interi positivi $n_1, n_2$ verificare che $n_1ZZ nn n_2ZZ = mZZ$ dove $m=mcm(n_1,n_2)$<br /> <br /> Io avrei risolto in questo modo:<br /> <br /> $(AAn in NN)(n_1ZZ nn n_2ZZ = mZZ) EEy,z in ZZ : yn_1=x=zn_2 x=m x in mZZ$ E' corretto?
12
20 nov 2010, 19:48

nyx1
Ciao ragazzi, ho bisogno di un aiuto per questo esercizio: Stabilire, motivando la risposta, se il seguente insieme H è un ideale di M2 (ZZ). H= $ (( ( x , 0 ),( 1 , y ) )| x in ZZ , y in ZZ ) $ . Teoricamente è chiara la definizione di un ideale ma non riesco ad applicarla. grazie.....
5
24 nov 2010, 10:55

gundamrx91-votailprof
Ho trovato in un esercizio questa notazione che non riesco a capire: $aZZ sub bZZ <=> b|a$ il $b|a$ come lo devo intendere?? Non e' la divisione, vero? Scusate l'ignoranza
7
18 nov 2010, 09:28

mosca9
Determinare una permutazione s che appartiene ad S7 e che genera un sottogruppo ciclico di ordine 20 e calcolare s^7. Help!
5
22 nov 2010, 17:53

zipangulu
Ho come esercizio di dover dimostrare la seguente uguaglianza: $A nn B=B nn A$ sembra una cosa scontatissima ma come lo dimostro in maniera NON intuitiva?
6
22 nov 2010, 18:42

Paolo8881
Nel 1874 Cantor dimostrò la numerabilità dei numeri algebrici e subito dopo il seguente teorema: "Per ogni successione (numerabile) di n. algebrici , ogni intervallo della successione contiene un numero reale che non appartiene alla successione". (Dimostrando così l'esistenza dei trascendenti). Dimostrazione: Sia S una successione di n. algebrici e I un suo intervallo; siano A
1
22 nov 2010, 13:46

wide87
Sono andato avanti nella risoluzione dei Problemi del buon Herstein.. Volevo proporvi una mia risoluzione per quanto riguarda il seguente problema: Premessa: è la prima volta che uso le formule quindi oltre alla curiosità di sentire il vostro parere in merito alla dimostrazione, è anche un'occasione per allenarmi ad implementarle). provare che se G è un gruppo PRIVO di sottogruppi NON banali allora G è finito e $|G| = p$ con p primo. mia DIM: Dapprima si nota che G risulta ...
3
22 nov 2010, 15:30

wide87
DUE domande per tutti i futuri gauss sintonizzati: 1 - E' per caso, in qualche maniera, NOTO che gli esercizi dell'Herstein siano tosti? Sarebbe una piccola consolazione dato che al secondo problema del paragrafo sui SottoGruppi sono già in altomare.. 2 - Il problema: HP: 1. G gruppo (Nessuna ipotesi di finitezza) 2. Interseco tutti i sottogruppi non banali. A:= Questa intersezione. A è non banale TH: Ogni elemento di G è di ordine finito. - - - Devo ...
22
19 nov 2010, 15:30

Francesco.9111
Dati $x=[(a,b)]$ e $y=[(c,d)]$ , in $ZZ$ la somma è $[(a+c,b+d)]$ e il prodotto $[(ac+bd,ad+bc)]$ . 1) Come si fanno la somma e il prodotto nell'insieme $ZZ$ (interi relativi) senza cercare di "ricordare a memoria" questo procedimento, e quindi usando la logica? 2) Nell'insieme dei numeri relativi $ZZ$, se ho un numero $x=[(a,b)]$ , a cosa devono corrispondere $a$ e $b$ se ad esempio ...
6
16 nov 2010, 20:46