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
P_1_6
A questo polinomio conoscendo che $|n0|<(7*81)^(1/3)$ $-(7*16)*n^3+(7*4920)*n^2-(7*504282)*n+(7*17228405)=X*(7*81)$ è applicabile il metodo Coppersmith?
2
24 ago 2019, 17:03

GBX1
In un testo universitario sui numeri reali ho trovato il riferimento ad un "teorema di indecidibilità" di Goedel. Ecco la frase testuale: . Io conosco i teoremi di incompletezza di Goedel, ma non il suo teorema di indecidibilità. D'altro canto, sospetto che l'espressione
3
24 ago 2019, 21:52

marco2132k
Ciao. Definisco una chiusura \( \Gamma \) di un insieme parzialmente ordinato \( \left(S,{\leqq}\right) \) come una funzione unaria su \( S \) 1) che rispetta l'ordine; 2) idempotente; 3) tale che \( x\leqq\operatorname\Gamma x \), per ogni \( x\in S \). Voglio provare che, se \( S \) è un reticolo completo, l'insieme degli elementi che sono chiusi rispetto a \( {\operatorname\Gamma} \), ossia gli \( x\in S \) tali che \( \operatorname\Gamma x=x \), formano a loro volta un reticolo completo. ...
3
19 ago 2019, 16:56

universo1
Siano $X,Y$ insiemi non vuoti e $f:X\toY$ un'applicazione. Si dimostri che $f$ è suriettiva se e solo se $\forall T \subseteq X $ si ha che $Y\setminus f(T) \subseteq f(X\setminusT)$. Svolgimento -$\Leftarrow$: sia $\alpha \in f(X\setminusT)$, allora $\ forall \alpha \exists f^{-1}(\alpha) \in X\setminusT$; se $T=\emptyset$ allora $f(X) = Y$ da cui $f$ suriettiva. -$Rightarrow$: sia $f$ suriettiva e supponiamo per assurdo che non è $Y\setminus f(T) \subseteq f(X\setminusT)$; allora esiste $alpha \in Y\setminusf(T)$ tale ...
1
20 ago 2019, 23:14

universo1
Un saluto e buone vacanze a tutti! Oggi vi chiedo una mano sui sistemi di Peano e sulla ricorsività. L'insieme $\mathbb{N}$ soddisfa le seguenti proprietà: (P1) $\emptyset \in \mathbb{N}$; (P2) $ \forall n \in \mathbb{N}, n \in \mathbb{N} \implies \sigma(n) \in \mathbb{N}$; (P3) $ \forall n \in \mathbb{N}, \sigma(n) \ne \emptyset$; (P4) $ \forall n \in \mathbb{N}, \sigma(n) = \sigma(m) \implies n = m$; (P5) $S \subseteq \mathbb{N}$ tale che $(\emptyset \in S \wedge \forall n \in S \implies \sigma(n) \in S) \implies S = \mathbb{N}$. Queste sono le premesse, ora vengono le perplessità banali che mi sono annotato: - una terna $(E, s, e)$, dove $E$ è un insieme con un elemento $e \in E$ ed una ...
18
10 ago 2019, 16:31

giulio013
Siano $n$ e $k$ due numeri naturali e sia $A$ un insieme di cardinalità $n$. Assumendo che $k<=n$, quale tra questi numeri è $|{B in A| |B| = k}|$ ? - $(n!)/(k!)$ - $ (n <br /> <br /> k) $ - $ (n!)/((n-k)!)$ Se $|A| = 10$ quanti sono: (i) i sottoinsiemi di $A$ di cardinalità 3? (ii) quelli di cardinalità 7? (iii) Le applicazioni iniettive da {1,2,3} ad $A$? Ho provato a svolgere l'esercizio ...
1
16 ago 2019, 13:46

giulio013
Determinare l'insieme T dei primi p tali che il polinomio $f_p = x^3 - x^2 + 2x +1$ appartiene $ Z_p[x]$ ammetta -2 come radice. Per ogni $p$ appartenente a $T$, scrivere $f_p$ come prodotto di polinomi monici irriducibili in $Z_p[x]$. Salve avrei difficoltà con questo esercizio negli ultimi passaggi: - Divido il polinomio per (x+2) e trovo che il resto è -15; - L'insieme dei primi che dividono 15 sono 3 e 5. Adesso come scrivo il polinomio ...
1
19 ago 2019, 15:14

caulacau
Un funtore \(G : {\cal E} \to {\cal B}\) è una fibrazione discreta se per ogni $f : B\to GE$ in \(\cal B\) esiste un'unica freccia $v : E'\to E$ tale che $Gv=f$. Un morfismo di fibrazioni discrete tra \(G : {\cal E}\to {\cal B}\) e \(G' : {\cal E}'\to {\cal B}\) è un funtore \(H : {\cal E}\to {\cal E}'\) tale che $G'\circ H =G$. Mostrare che questo definisce una categoria \(\text{Fib}({\cal B})\) delle fibrazioni discrete su \(\mathcal B\). Mostrare che il funtore ...
14
14 lug 2019, 23:12

rsrre88
Salve. Se considero il polinomio X^3 - Y^2 - 1 in Z[Y][X] il polinomio che devo considerare è X^3 - 1 la cui fattorizzazione è (X - 1)(X^2 - X + 1). Se considero il polinomio X^3 - Y^2 - 1 in Z[X][Y] il polinomio che devo considerare è -Y^2 - 1 che è irriducibile in Z[Y] perché il suo discriminante è negativo. Esatto? L'irriducibilità del polinomio posso anche studiarla così? Ma poi quali passaggi devo fare? Ringrazio coloro i quali mi aiuteranno a risolverlo questo esercizio sui polinomi.
8
12 ago 2019, 18:22

Pinturicchio10
Buongiorno a tutti, da amante della teoria dei numeri mi sono imbattuto nel Teorema dei numeri poligonali e in particolare ho provato a cercare una dimostrazione del caso dei numeri triangolari (provato da Gauss se non erro: ogni numero si può esprimere come somma di tre numeri trinagolari) su internet ma non ne ho cavato nulla. Volevo pertanto chiedere se voi disponete di un link o altro dove poter rinvenire questa dimsotrazione. Grazie a chi mi aiuterà!
2
17 ago 2019, 13:33

giulio013
Per ogni primo p si considerino i polinomi $f_(p) = 2x^(3) + 3x + 1 $ e $ g_(p) = 3x^(2) - 4x + 2$ (i) Per quali primi p il polinomio $f_p g_p$ è monico? (ii) Detto q il massimo tale primo, scrivere $f_pg_p$ come prodotto di polinomi irriducibili in $Z_q[x]$ (i) Non ho proprio idea di quello che si debba fare, potreste darmi qualche dritta? Ho cercato su internet ma nulla di concreto. (ii) Bisogna vedere quali sono i divisori del polinomio e dividerlo con ruffini? Il primo polinomio ...
4
17 ago 2019, 12:35

Simone Masini
Gauss ha dimostrato che la circonferenza unitaria è divisibile in n parti uguali se e solo se è inscrivibile in essa un poligono regolare di n lati tale che n è o un qualsiasi numero pari oppure un particolare primo detto di Fermat. Il significato del teorema non è il seguente: se prendo l'angolo giro 360 gradi e lo divido per qualunque degli n trovati da Gauss ottengo un numero decimale finito, per tutti gli altri dispari che non verificano il teorema un numero decimale infinito.
1
16 ago 2019, 16:53

marco2132k
\(\newcommand{\normal}{ \mathrel{ \underset{{=}}{\lhd} } }\)\( \newcommand{\Ker}{\operatorname{Ker}} \)Ciao. Ho una domanda sul teorema di fattorizzazione per i gruppi (mi è venuta da un esercizio di algebra lineare, ma credo che riportare i dettagli sia pressoché inutile, quindi non do contesto). Serve l'assioma della scelta, nel teorema di fattorizzazione per i gruppi? Espandendo un attimo: dimostrare che esiste un'unica \( \psi \) tale che, dati due gruppi \( G \), \( H \), un sottogruppo ...
13
13 ago 2019, 19:14

giulio013
Sia σ la relazione d’ordine definita in S da: ∀X, Y, Z, T ∈ P(A) (X, Y ) σ (Z, T) ⇐⇒ (X, Y ) = (Z, T) ∨ |X × Y | < |Z × T|. (vi) Determinare in (S, σ) eventuali minimo, massimo, elementi minimali, elementi massimali. Prima di tutto voglio ringraziare voi ed il forum poiché ho superato un altro esame grazie ad esso, quindi grazie ragazzi. Adesso devo darmi algebra lineare ed ho alcuni dubbi in proposito: questa semplice richiesta (vi) mi mette in difficoltà perché non ho ben chiara la ...
4
2 lug 2019, 17:13

mattt1
Salve a tutti, vi chiedo aiuto per questi esercizi: Da usare solo le dimostrazioni (diretta, contrapposizione, assurdo o contro-esempio): 1. Se n>0 e (4^n)-1 è primo allora n è dispari Da usare l'induzione: 2. Se n>=1 allora (n^3)+2n è divisibile per 3 Il primo non riesco a svolgerlo, mentre sul secondo mi ritrovo la tesi uguale a: (k^3) + 2k + 3((k^2) + k + 1), ma non si riesco a dimostrarla tramite induzione matematica. Un grazie anticipato a chi deciderà di aiutarmi
3
14 ago 2019, 17:49

giulio013
Siano S e T insiemi. Assumendo |S| = 3 e |T| = 5 calcolare: (i) il numero delle applicazioni iniettive S a T; (ii) il numero delle applicazioni iniettive T a S; (iii) il numero delle applicazioni suriettive S a T; (iv) il numero delle applicazioni da S a T; (v) il numero delle applicazioni costanti da S a T. Salve a tutti, intanto ringrazio di cuore tutti coloro che mi hanno permesso di superare Analisi I e Geometria lineree ringrazio il sito e siti come questi. Ho un grosso problema nel ...
1
14 ago 2019, 16:03

MarcoDf1
Ciao a tutti, come ho scritto nella presentazione, ultimamente ho sviluppato un interesse (speriamo sano) per i numeri primi. Per questo abbia cercato ciò che mi potesse chiarire a che punto sono i matematici nell'individuare i numeri primi, tutto ciò che è venuto fuori non fuga le domande che provo a farvi di seguito. Senza stare qui a ripercorrere tutto ciò che fino ad oggi è stato prodotto, passo ad esporre qualche considerazione personale per capire cosa mi sfugge e magari anche il ...
44
2 set 2018, 11:34

mauri54
Ciao a tutti. Ho il seguente esercizio: Sia $S_{\mathbb{N}}$ il gruppo delle applicazioni invertibili da $\mathbb{N}$ in se stesso. Provare che in $S_{\mathbb{N}}$ ci sono elementi di periodo infinito. Deve essere una stupidaggine ma non riesco a trovare un esempio di funzione con periodo infinito cioè che $f^n\ne\text{id}$ per ogni $n\in\mathbb{N}$. Pensavo ad una funzione $f$ che mi scambi ad esempio l'1 e il 2 e nei restanti numeri coincida con l'identità e: -se la ...
4
11 ago 2019, 19:48

rsrre88
Studiare la riducibilità del polinomio (e nel caso sia riducibile trovare la fattorizzazione in irriducibili) X^2 + 4Y^4 in Q[X,Y] e del polinomio X^2 + 2Y^2 in Z(5)[X,Y] dove con Z(5)[X,Y] si indica l'anello dei polinomi a coefficienti interi modulo 5 in due indeterminate. Io ho provato a farlo. Per quanto riguarda il secondo polinomio assumendo che 2 è congruo - 3 in Z(5) A tentativi (x+y)(x-y) =x^2-y^2 = x^2 +4y^2 mod(5) (x+2y)(x-2y)= x^2-4y^2 = x^2 + y^2 mod(5) (x+3y)(x-3y) =x^2-9y^2 = ...
2
8 ago 2019, 10:25

anto_zoolander
ho letto la dimostrazione del teorema di Cauchy per i gruppi e ho provato ad abbozzarne un'altra che però non riesco a concludere; vi chiedo se ci sia una strada per farlo. Sia $(G,*)$ un gruppo finito di ordine $abs(G)$ e $p$ un primo che divide $n$ allora $G$ ha un sottogruppo di ordine $p$ pongo $pk=n$ dimostrazione(bozza) per ogni $g in G$ posso considerare $<<g>> leqG$ e per il teorema ...
2
7 ago 2019, 20:47