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
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

marco2132k
Ciao. Ci sono tremila post sui vari forum/MSE/ph che riguardano questa dimostrazione, quindi questo mio intervento è un po' inutile. Voglio solo schiarirmi le idee cercando di scrivere qualcosa di comprensibile qui. Sia \( A \) infinito numerabile. Allora ogni suo sottoinsieme \( E \) è o finito o infinito numerabile. Sia \( E\subset A \) infinito. Sia \( x_{{-}}\colon\mathbb{N}\to A \) biiettiva. Definisco una successione \( n_{{-}} \) di naturali come segue. Sia \( n_1 \) il minimo ...
7
5 ago 2019, 00:06

anto_zoolander
Ciao! Ho questo esercizio sia \( \mathrm{C} \) una categoria e \( \mathrm{a,b \in Obj_C } \) due oggetti; mostrare che se il prodotto esiste allora è unico a meno di isomorfismi se $atimesb$ e $a*b$ sono entrambi prodotti con proiezioni $pi_a:atimesb->a$(risp. $b$) e $p_a:a*b->a$(risp. $b$). visto che $pi_a$ e $pi_b$ sono morfismi che vanno rispettivamente in $a$ e in $b$ ed essendo ...
2
5 ago 2019, 17:29

marco2132k
Ciao. Dato un sottogruppo \( H\leqq G \) di un gruppo \( G \), ove la legge di composizione è scritta in notazione moltiplicativa, un coset di \( H \) è un insieme della forma \( xH=\{x\}H \), dove il prodotto di sottoinsiemi \( H \), \( K \) di sottoinsiemi di un semigruppo, anche lui scritto in notazione moltiplicativa, è definito come \( HK:=\left\{hk:\text{$ h\in H $ e $ k\in K $}\right\} \). Considerato ora il gruppo, additivo, \( \mathbb{Z} \), che cosa significa la ...
3
3 ago 2019, 14:14

anto_zoolander
Ciao! So che è un esercizio banale però vorrei cominciare a prendere dimestichezza con lo strumentario e le terminologie Sia \( \mathrm{C} \) una categoria Se \( 0,0' \in \mathrm{Obj_{C}} \) sono due oggetti iniziali allora sono isomorfi Poiché sono oggetti iniziali allora esistono e sono unici i morfismi \( \mathrm{ i \in Hom_{C}(0,0’), j \in Hom_{C}(0’,0)} \) Data la legge si composizione \( \mathrm{ i \circ j \in Hom_{C}(0’,0’), j \circ i \in Hom_{C}(0,0)} \) Dato che sono sempre ...
5
31 lug 2019, 21:48

palladino.al
ho questa funzione h= R-->R ∀Z∈R h(z)= 1/3z^5-1 se voglio trovare la suriettività perchè devo fare questi passaggi? h+1=1/3z^5 z^5=3(h+1) ---> perchè sparisce il denominatore? z^5= ^5√3(h-1)
2
1 ago 2019, 14:07