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
Frodo478
Ciao, ho il seguente problema: Sia $ 6\mathbb{Z} $ il sottoinsieme di $ \mathbb{Z} $ dei multipli interi di 6. Provare che $ Card(6\mathbb{Z}) = Card(\mathbb{Z}) $. Io so che la cardinalità di $ \mathbb{Z} $ è $ \aleph_0 $ ma come la associo alla cardinalità di $ 6\mathbb{Z} $? Forse usando il teorema di Cantor-Bernstein-Schröder? Grazie in anticipo
2
8 gen 2015, 19:21

mickey88
Ciao. Vorrei sapere cosa pensate di questo ragionamento, ogni suggerimento o miglioria è più che benvenuto. Ho una torre di campi $ K \subset K_1\subset K_2 $, con $K_1|K$ e $K_2|K_1$ Galois (si noti che ciò non implica che $K_2|K$ sia Galois!). Siano $H_1=Gal(K_1|K) $ e $H_2=Gal(K_2|K_1)$. Sia $N$ la chiusura di Galois di $K_2$ su $K$ (in $ \bar K$). Questa è Galois su tutto ciò che sta sotto: sia $G_1=Gal(N|K_1) $. Ora, ...
4
7 gen 2015, 13:57

Pola921
Buongiorno! Ho un problema con un esercizio... Sia nЄN tale che n ≡ 1 mod 7 e n ≡ 0 mod 3. Quanto vale MCD(n,21)? Si motivi la risposta. Allora io ho posto n = 3x e n = 7y + 1 e per intuito mi è uscito che x= 5 e y= 2, quindi n=15. MCD(15,21)=3 Qualcuno saprebbe dirmi i passaggi esatti per arrivare alla soluzione? Ringrazio in anticipo.
2
8 gen 2015, 10:31

Pola921
Ciao a tutti! Avrei bisogno di un aiuto per questo esercizio: Si consideri la congruenza modulo 7. a) A quale classe di resto appartiene il numero a= 3*10^5? b) quale resto nella divisione per 7 deve avere il numero x Є Z affinché il numero 3x + a, diviso per 7, abbia resto 2? Il primo punto credo di essere riuscita a farlo, mi è uscito che a ≡ 4 mod 7. La seconda parte dell'esercizio invece non so proprio come cominciarla... C'è qualcuno che sia disponibile per aiutarmi? Ringrazio in ...
6
7 gen 2015, 14:11

Jt1995
Salve a tutti,sto eseguendo questo esercizio e mi trovo un pò in difficoltà,o meglio ho qualche dubbio.Ho verificato se è riflessiva e,se non ho fatto sbaglio,lo è;mentre ho dei dubbi circa la simmetria e transitività in quanto a e b sono in relazione solo se a=b perchè coppie diverse darebbero numeri non divisibili per 17,sempre se non erro.Per favore chiaritemi questo dubbio!
10
4 gen 2015, 20:09

mtx4
Ciao ho una richiesta un po' diversa dal solito, spero di non aver sbagliato sezione. In particolare ho dei dubbi circa la corretta notazione per le moltiplicazioni fra frazioni, non so se a livello scientifico, negli articoli o nelle pubblicazioni, sia corretto usare il punto o lo spazio. Faccio un esempio $a (b)/(c)$ $a/b c/d$ è corretta questa notazione o ci vuole il punto in mezzo ? e se invece ci fosse un valore numerico ... $2 (a)/(b)$ sempre con lo spazio, o con ...
2
21 dic 2014, 18:25

jJjjJ1
Potete dirmi se è giusto lo svolgimento di questo esercizio? In particolare il punto 2, grazie mille. Sull'insieme \(\displaystyle A = \{ (x, y) : x, y \in N, x, y >= 2 \} \) sia data la relazione \(\displaystyle * \) ponendo: $ (a, b) * (c, d)$ se $a <= c$ e $ b|d $ 1. Determinare massimali, minimali, massimo e minimo. Ricerco i massimali. Se $ (a, b) $ è massimale: $ (a, b) * (x, y) \Rightarrow (a, b) = (x, y) \forall (x, y) \in A $ Non esistono massimali infatti se $(a, b)$ è un elemento di A possiamo ...
0
6 gen 2015, 18:20

mattia902
Qualcuno riesce a darmi una mano con questi esercizi? Al di la della corretta risoluzione mi piacerebbe capire il ragionamento che sta dietro all'esercizio e come concretamente arrivo alle soluzioni. 1) Nell'anello R = Z[√−7] trovare a) Un ideale massimale che non sia principale b) Un elemento che permetta due differenti fattorizzazioni in elementi irriducibili 2) In the ring S = Z[(1+√−7) / 2] ⊂ C consider the norm N(z) = zz* (z* denotes the complex conjugate) and show that with respect to ...
4
25 set 2011, 00:52

jJjjJ1
Siano \(\displaystyle a, b, c \in Z \) mostrare che: \(\displaystyle ( b, c ) = 1 \Rightarrow ( a, bc ) = ( a, b ) ( a, c ) \) Ho fatto una dimostrazione ma mi pare un po' contorta, mi potete dire se c'è un modo più semplice e meno laborioso? Grazie Ecco la mia: Sia \(\displaystyle d_1 = ( a, bc ) \) allora, poiché \(\displaystyle ( b, c ) = 1 \) possiamo affermare che \(\displaystyle \exists x_1 , x_2 \in Z : d_1 = x_1 x_2 ,\ {} x_1 | b ,\ {} x_2 | c , \ {} ( x_1 , x_2 ) = 1 \) Sia ...
4
5 gen 2015, 15:36

claw91
Ragazzi, avrei bisogno di una mano: determinare il resto della seguente divisione intera: $ 29354^362971 // 6 $ Chiaramente da risolvere utilizzando il piccolo teorema di Fermat e il teorema di Eulero: stando ai miei calcoli il resto dovrebbe essere 5 . Tuttavia è evidente che non è possibile utilizzare la calcolatrice del computer per numeri così grandi al fine di verificare l'esattezza del mio calcolo: esiste un modo alternativo per verificare la bontà del mio svolgimento? Grazie ...
25
17 gen 2011, 21:40

jJjjJ1
Salve a tutti, sto svolgendo un compitino di prova che potete trovare a questo link http://web.math.unifi.it/users/casolo/A1_prova_2014.pdf e vorrei sapere se sto procedendo nel modo corretto nei punti 2 e 3 del secondo esercizio. Punto 2. Devo mostrare che \(\displaystyle f iniettiva \Rightarrow [ f ]_\omega = \{ f \} \) Sia f iniettiva e sia \(\displaystyle g \in A : f \omega g \) Allora \(\displaystyle \{ f(0), ... , f(n) \} = \{ g(0), ... , g(n) \} \forall n \in N \) Per n = 0, poiché vale la relazione sopra, si ha che ...
1
4 gen 2015, 17:01

ArkOfGlory
Ciao a tutti ragazzi, buon 2015 Ho un dubbio che vorrei mi aiutaste a risolvere, stavo riguardando più approfonditamente le azioni di gruppo e mi sono ricordato di un dubbio, probabilmente banale, che però non riesco a risolvere, ora ve lo pongo: Data la definizione di ''Azione di un gruppo $ G $ su un insieme $ X $ allora vale una specie di N.B. sul libro su cui sto studiando ovvero che ogni $ g in G $ determina una corrispondenza biunivoca ...
5
3 gen 2015, 17:56

LucaSanta93
Buongiorno a tutti Mi sto preparando per l'esame di Algebra 2 e svolgendo vecchi esercizi mi sono imbattuto in uno che mi sta dando non poco filo da torcere; vi scrivo il testo Dato $ A=B+XQQ[x] $, dove $B$ è un anello, devo stabilire quando $A$ è un anello, un dominio o un campo al variare di $B=ZZ, ZZ_8, ZZ_2, QQ$. Ora a intuito io ho ragionato così: so che $XQQ[X]$ è l'insieme dei polinomi di grado $n+1$ a coefficienti in $QQ$, ...
6
2 gen 2015, 13:09

UmbertoM1
Sia $A$ un dominio locale $\mathcal{M}$ il suo ideale massimale. $M$ un $A$-modulo finitamente generato. Supponiamo $dim_{Q(A)}Q(A)\otimes_A M=dim_{A//\mathcal{M}}A//\mathcal{M}\otimes_A M$ La struttura di spazio vettoriale dei due insiemi è quella naturale. Bisogna provare che in realtà $M$ è libero (vale anche il viceversa, se $M$ è libero le due dimensioni sono uguali, ma questo è facile da provare). L'idea è quella di usare in qualche modo il lemma di Nakayama, visto che ...
1
28 dic 2014, 19:46

Frodo478
Salve, vi propongo il seguente problema. Se $ \mathbb{Z}^{\mathbb{N}} $ è l'insieme di tuttle le applicazioni di $ \mathbb{N} $ in $ \mathbb{Z} $ ed $ f, g \in \mathbb{Z}^{\mathbb{N}} $ definiamo $ f <= g $ se $ f(x) <= g(x) $ per ogni $ n \in \mathbb{N} $. Si dimostri che $ (\mathbb{Z}^{\mathbb{N}}, \leq) $ è un insieme parzialmente ordinato e che non è totalmente ordinato. Per il primo punto non ci sono problemi in quanto la relazione $ \leq $ è un ordinamento su $ \mathbb{Z} $, quindi è riflessiva, ...
2
31 dic 2014, 10:24

jJjjJ1
Ho bisogno di qualcuno che mi dica se sto svolgendo correttamente un esercizio. Questo: Dimostrare che l'equazione \(\displaystyle x^2 + y^2 - xy = 0 \) non ha soluzioni intere non banali. Io ho ragionato così: l'equazione può essere scritta come \(\displaystyle ( x - y ) ^2 = -xy \) , poichè ricerchiamo eventuali soluzioni non banali possiamo considerare il membro sinistro, che è un quadrato, positivo. Allora x e y dovranno essere discordi. In particolare il prodotto xy è negativo. ...
1
30 dic 2014, 14:13

andrea111113
Buongiorno, ho un piccolo problema che mi assilla. avendo \(\displaystyle K+(n^2-1) \) ho bisogno di sapere per quale \(\displaystyle n \) ottengo un quadrato perfetto. es.g.: \(\displaystyle K=590 \) \(\displaystyle 590+(n^2-1)\) \(\displaystyle 590+(6^2-1)=590+35 \) \(\displaystyle 590+35=625 \) Spero possiate aiutarmi. Grazie in anticipo Andrea
3
29 dic 2014, 16:36

ivan_franjic
Sia S l'insieme dei numeri primi, P(A) l'insieme delle parti di A, f una mappa da P(S) in $NN$ che manda ogni sottoinsieme di S nella produttoria degli elementi del sottoinsieme e l'insieme vuoto in 0. es: f({2,3,5,7}) = 2*3*5*7 = 210 f è iniettiva? La Musa (Teorema fondamentale dell'Aritmetica) ispira si. Tuttavia f iniettiva implica #(P(S))$<=$#($NN$) dove #(A) indica la cardinalità di A. Conclusione alquanto bizzarra. L'ingenua Musa ha forse ...
1
29 dic 2014, 22:17

Rodolfo Medina
Qualcuno può aiutarmi con la scomposizione in fattori irriducibili del polinomio $x^27 - x$ a coefficienti in $\Z_3$? Grazie mille, buon Natale!, Rodolfo
17
25 dic 2014, 19:53

Rodolfo Medina
Buon Natale a tutti. Sono alle prese col problema di determinare un campo di spezzamento del polinomio $x^27 - x$ su $\Z_3$. Qualcuno può aiutarmi? Grazie mille! Rodolfo
12
25 dic 2014, 18:12