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
Pasquale 90
Buonasera, sto provando a svolgere il seguente esercizio inerente ad una prova di algebra 1 v.o. ; l'esercizio riguardante i gruppi si svolge su quattro punti dove $G=GL(2,Z_6)$ gruppo e si considera la parte $H$ definita nella seguente maniera \(\displaystyle H={\begin{vmatrix} a & 0 \\ c & a \end{vmatrix} : a \in Z_6^**, c \in Z_6 }. \) i) provare che $H le G$ abeliano, se ne determini l'ordine, e si studi se $H$ è normale in $G$. ...
6
17 ott 2020, 13:18

Studente Anonimo
Ci sono diverse cose che non capisco in questa dimostrazione Sia \(R\) un \(PID\) e \(M\) un modulo finitamente generato su \(R\). Allora \[ M \cong R^{\oplus m_0} \oplus \left( \bigoplus_{i=1,\ell = 1}^{s,r} \left( R/ (p_i^{\ell}) \right)^{\oplus m_{i,\ell}} \right) \] per qualche intero \(m_0,s,r \geq 0 \), \(m_{i,j} \geq 0 \) e differenti primi \(p_i \in R \), che sono unici a meno di un riordinamento degli indici \(i\), se assumiamo che \(p_i \not\mid p_j \) per ogni \( i \neq j \) e che ...
1
Studente Anonimo
16 ott 2020, 07:19

AlexanderSC
Buon giorno, sto avendo problemi con il seguente esercizio: Dimostrare che, per ogni intero n, il numero 2n^17 + 2n^15 + 3n^3 + 3n `e divisibile per 5. Le prime oservazioni che ho fatto sono state che 5 è un numero primo e che quindi ha come proprietà che se divide a*b, allora 5|a oppure 5|b., quindi mi basta che 5 divida un prodotto di tale numero. Altrimenti devo dimostrare che in 2n^17 + 2n^15 + 3n^3 + 3n = 5q + r, la r = 0 Il prodotto che mi esce dopo un paio di semplificazioni semplici ...
5
14 ott 2020, 20:57

ProPatria
Ciao a tutti, il problema è il seguente: Si determinino tutti gli omomorfismi del gruppo additivo $(QQ,+)$ in $(ZZ,+)$. Q non è ciclico dunque non posso determinarli con le immagini dei generatori. Come procedere?
5
14 ott 2020, 19:42

Studente Anonimo
Sia \( X = C([0,1],\mathbb{R} ) \) lo spazio vettoriale su \( \mathbb{R} \), considera \( \varphi_n (x) = \sin(n \pi x) \) per \(n \in \mathbb{N} \). Dimostra che per ogni \( k \geq 1 \) l'insieme \( \{ \varphi_n : n = 1,\ldots,k\} \) è linearmente indipendente. Le soluzioni fanno una cosa che non capisco. Per \( \lambda_1, \ldots, \lambda_k \), scalari, supponiamo che \[ \sum_{n=1}^{k} \lambda_n \varphi_n(x) = 0 \] per ogni \( x \in [0,1] \). Dimostriamo che \( \lambda_n = 0 \) per ogni \( 1 ...
4
Studente Anonimo
14 ott 2020, 10:46

ByD
Non mi ricordo più cosa mi è stato insegnato a scuola, però gli elenchi nei numeri primi mi sembrano iniziare sempre dal 2. Quindi la domanda è se c'è un motivo per cui il numero 1 non è un numero primo.
9
ByD
13 ott 2020, 21:27

lorenzofranco24
Salve ragazzi ho questa traccia ma non riesco a venirne a capo. Sono riuscito, credo, a risolvere i primi 2 punti ma non riesco a capire la richiesta del punto 3. Non dovrei avere dei vincoli? Ci sono? Quali sono? Non riesco ad individuarli. Qualcuno ha qualche idea? Vi lascio il testo, grazie. Un’economia è suddivisa in 3 settori, manifattura, agricoltura e energetico, che sono dipendenti l’uno dall’altro. In particolare, ogni euro ottenuto dal settore manifatturiero richiede l’utilizzo di ...
2
13 ott 2020, 08:53

Pasquale 90
Buongiorno, sto provando a dimostrare un'uguaglianza, in particolare si ha $G(**) $ gruppo. Se $H le G$ dove $H^(-1) subseteq H$. In generale si ha: se $(H_i)_(i in I)$ famiglia di sottogruppi di $G$, $(bigcup_(i in I)H_i)^(-1)=bigcup_(i in I)((H_i^(-1))) subseteq bigcup_(i in I)(H_i).$ $X^(-1) :={x^(-1): x in X} $ con $emptyset ne X subseteq G.$ Osservo che l'inclusione che si presente nella relazione precedente, in particolare quella a destra, dovrebbe essere conseguenza di $H^(-1) subseteq H$, invece per provare l'uguaglianza procedo ...
8
11 ott 2020, 11:48

Studente Anonimo
Ho alcuni dubbi su come ho svolto questo esercizio. In particolare non sono sicuro di poter dire dell'esistenza delle composition series (1) e (2). Inoltre non sono sicuro di come ho dimostrato le inclusioni strette e la massimalità di (3) Dimostra che le seguenti cosa sono vere per un \(R\)-modulo \(M\) di lunghezza finita \( l(M)\) (ovvero ammette una composition series di lunghezza finita) 1) Se esiste una "short exact sequence" \[ 0 \to M' \to M \to M'' \to 0 \] allora \( ...
8
Studente Anonimo
10 ott 2020, 22:16

Galager
ciao a tutti, dovrei dimostrare questo fatto: sia A un anello commutativo e R l'anello delle matrici nxn a valori in A. Una matrice è un'unita di R se e solo se il suo determinante è un'unità di A. La prima implicazione è banale. Per la seconda sono riuscito a dimostrare che $\forall a \in A, \exists M,N \in R t.c. det(M)=a, det(N)=a^-1$ e quindi $det(MN)=1$ ma questo non è sufficiente a dire che N sia proprio l'inversa di M. Potete aiutarmi?
2
8 ott 2020, 17:04

ByD
La domanda più nello specifico diventa: Può essere accettata dai matematici come "non casuale" la distribuzione dei numeri primi se la dimostrazione è basata sulla evidenza dei fatti ma non è supportata da una funzione? Mi sembra evidente che la distribuzione dei numeri primi deriva da come si "combinano" (si spartiscono i numeri composti, lasciando dei "buchi") i multipli dei numeri primi precedenti, vedi setaccio di Eratostene. Non ho creduto all'apparente disordine e credo di aver motivo ...
21
ByD
7 ott 2020, 09:19

pop_dirac
Ciao a tutti, ho da poco iniziato il corso di Analisi 1 e mi trovo già bloccato ad un passaggio di uno dei primi teoremi che abbiamo affrontato: il teorema che afferma che, preso un insieme X, l'insieme delle parti di X, p(X), ha cardinalità maggiore. (Abbiamo poi dimostrato anche il noto fatto che la cardinalità di p(X) è $2^n$, con n pari al numero degli elementi di X). $card(x)<=card[p(x)]$ Dimostrazione per assurdo: Se $card(x)>=card[p(x)]$ allora $EE y: X -> p(X)$ surgettiva Sia ...
3
2 ott 2020, 14:39

ByD
I numeri primi si spartiscono i numeri composti secondo proporzioni che si definiscono sempre meglio aumentando la quantità di numeri composti e di numeri primi considerati. La domanda è se esiste una funzione comunemente accettata che fornisce queste proporzioni.
5
ByD
2 ott 2020, 13:42

Studente Anonimo
Sia \(f\) una funzione aritmetica moltiplicativa. Dimostra che la sua inversa di Dirichlet \(f^{-1} \) è completamente moltiplicativa se e solo se \(f(p^k) = 0 \) per ogni \(p\) primo e per ogni \( k \geq 2 \). Allora il prof ci ha dato l'hint di dimostrare prima che \( f \) è completamente moltiplicativa se e solo se \( f^{-1}(n) = \mu(n)f(n) \). L'hint una direzione l'ho fatta così. Se \(f\) è completamente moltiplicativa allora chiamando \(g(n):=\mu(n)f(n) \) dobbiamo dimostrare che \(g ...
2
Studente Anonimo
2 ott 2020, 10:47

ByD
Ho letto che l'ipotesi di Riemann è importante anche per il legame con la distribuzione dei numeri primi. Non sono però riuscito a trovare un solo esempio a riguardo, qualcuno mi può togliere questa curiosità con un semplice esempio?
3
ByD
2 ott 2020, 07:31

oleg.fresi
Ho trovato su degli appunti in internet un teorema che recita così: esiste un'unica quaterna $(RR,+,.>=)$ che verifica gli assiomi algebrici di ordinamento e continuità. Se non ho capito male questo teorema dice sostanzialmente che il campo dei numeri reali è unico. Vorrei trovare la dimostrazione di unicità, per favore potreste passarmi il nome di questo teorema?
2
1 ott 2020, 18:33

Studente Anonimo
Va bene come dimostrazione? Dimostra che se \( \tau(n) \) è la funzione divisore (che restituisce il numero di divisori di \(n\)) allora per ogni \( \epsilon >0 \) esiste una costante \( C_{\epsilon} >0 \) tale che \[ \tau(n) \leq C_{\epsilon} n^{\epsilon} \] Sia \( n = \prod_{j=1}^{k} p_j^{\alpha_j } \). Fissiamo \( \epsilon \) e supponiamo che per ogni \(j \in J \subseteq \{1,\ldots,k\} \) risulta che \( p_j^{\alpha_j \epsilon} \leq (\alpha_j +1) \) allora per la proprietà archimedea di \( ...
5
Studente Anonimo
29 set 2020, 16:21

Studente Anonimo
Dimostra che per ogni \( x \geq 3 \) risulta che \[ \sum_{2 < n \leq x} \frac{1}{n \log n} = \log \log x + C_1 + \mathcal{O} \left( \frac{1}{x \log x} \right) \] dove \(C_1 \) è una costante reale. Io ho pensato di fare così ma non riesco a dimostrare che \[ - \int_2^{\infty} \frac{\psi(\xi)\left( \log \xi +1 \right)}{\xi^2 \log^2 \xi} d \xi < \infty \] e \[ \int_2^x \frac{\psi(\xi)\left( \log \xi +1 \right)}{\xi^2 \log^2 \xi} d \xi = \mathcal{O} \left( \frac{1}{x \log x} \right) ...
1
Studente Anonimo
27 set 2020, 13:30

Kos1
Sto impazzendo non riesco a trovare le soluzioni del seguente sistema di 5 equazioni in 5 incognite. le equazioni sono le seguenti: 1) $x*y=250*10^(-6)$ 2)$(100+z)*k=62,5*10^(-6)$ 3)$100*k=125*10^(9)$ 4)$x*(y*h)/(y+h)=28,57*10^(-6)$ 5)$1/((y+h)*z)=178000$ Chiunque resca a risolverlo mi farebbe un grande favore perchè mi serve per completare un progetto. Vi ringrazio in anticipo.
4
25 set 2020, 15:36

TizioIncognito2
Ciao, ho 3 problemi che non capisco. 1) Definisco in modo induttivo $\prod_{v=1}^n x_v$ come $x_1*x_2*...*x_n = (x_1*...*x_{n-1})(x_n)$ Dimostro per induzione che $\prod_{v=1}^m x_v * \prod_{v=1}^{n} x_{m+v} = \prod_{v=1}^{m+n} x_v $ Si ha che $\prod_{v=1}^m x_v * \prod_{v=1}^1 x_{m+v} = (x_1*...*x_m)(x_{m+1}) = x_1*...*x_{m+1}$ Suppongo sia vero per n, dimostro che è vero per n+1. $\prod_{v=1}^{m} x_v * \prod_{v=1}^{n+1} x_{m+v} = \prod_{v=1}^{m} x_v * \prod_{v=1}^{n} x_{m+v} *x_{m+n+1} = (x_1*...*x_{m+n})(x_{m+m+1}) = x_1*...*x_{m+n+1}$ La dimostrazione è corretta? È così semplice che non capisco se ho dimostrato qualcosa o meno. 2) Dati 2 insiemi I e J considero la funzione $f: IxJ \rarr G$ tra monoidi commutativi. Si ha che $\prod_{i\inI}*[\prod_{j\inJ} f(i, j)] = \prod_{j\inJ}*[\prod_{i\inI} f(i, j)]$ Per dimostrarlo dico ...
5
25 set 2020, 13:14