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
Salve a tutti!!!
Allora ho l'anello $R=M_n(D)$ (l'anello delle matrici d'ordine $n$ a coefficienti nel corpo $D$) e voglio dimostrare che esso è semplice, cioè che non possiede ideali diversi da $(0)$ e $R$ (questa è la definizione a cui debbo fare riferimento).
L'idea della dimostrazione è quella di prendere un ideale bilatero $U$ di $R$, $U \ne (0)$ e provare che $U=R$.
Quello che si ...
Googlando ho trovato scritto che la congettura di Levy è eqivalente alla RH ??
Davvero ??
http://www.google.it/#safe=off&hl=it&sc ... 80&bih=662 [xdom="Martino"]Ho specificato il titolo.[/xdom]
Salve ragazzi!
Come tradurreste l'enunciato e la dimostrazione del seguente teorema?
Let E be an elliptic curve defined by $y^2=x^3+Ax+B$ over su $\mathbb{F}_q$. Then $#E(\mathbb{F}_q)=q+1+\sum _{x\in \mathbb{F}_q}(\frac{x^3+Ax+B}{\mathbb{F}_q})$
Proof. For a given $x_0$, there are two points $(x,y)$ with $x$-coordinate $x_0$ se $x_0^3+Ax_0+B$ is a nonzero square in $\mathbb{F}_q$, one such point if it is zero, and no points if it is not square. Therefore, the ...
Salve a tutti,
vorrei soltanto un indirizzo di pensiero da parte di qualcuno su alcune precisazioni che con alcuni colleghi ci stanno mettendo in difficoltà, se io definisco una funzione totale $f: A \to B $ è lecito poi definire o porre le funzioni $f:C \to B$ o $f:C \to D$, ove \( \emptyset \neq C \subseteq A \) e \( \emptyset \neq D \subseteq B \) ???
Io con altri colleghi pensiamo che sia più giusto pensare alle restrizioni, nel primo caso, di $f$ in ...
Salve, spero voi possiate aiutarmi. Allora, in preparazione per l'esame di analisi 2 mi sono messo in testa di studiare un pò tutta la matematica di base che si studia nella facoltà di matematica. Ho quindi comprato un libro di algebra che usano gli studenti di matematica. Grazie all'aiuto del forum ho capito finalmente come si studia la matematica e com'è fatta (definizioni, teoremi, dimostrazioni). Tuttavia, ho ancora qualche difficoltà ad applicare questo metodo. In particolare, ho ancora ...
Il testo dice:
Sia N l'insieme dei numeri naturali e si consideri la relazione R in N definita come segue:
aRb se e solo se 3a+b è pari.
Si dica (giustificando brevemente) se le seguenti affermazioni sono vere o false:
a) R è riflessiva
b) R è transitiva
c) R è simmetrica
d) R è antisimmetrica
Al che mi viene un dubbio. Ad esempio, per la a, la riflessività, devo dimostrare che:
per ogni a,b $ epsilon $ N $ rArr $ a=b ?
Ciao a tutti, stavo svolgendo una semplice dimostrazione per induzione, ma leggendo la soluzione proposta non capisco un semplicissimo passaggio algebrico. Il problema in questione è il seguente:
"Calcolare la somma di tutti i numeri dispari compresi tra 100 e 1000" .
La mia soluzione è sostanzialmente uguale a questa che sto per scrivere, salvo per l'ultima uguaglianza, che è quella che non riesco a comprendere:
Consideriamo il primo e l'ultimo numero dispari appartenenti all'insieme: ...
Buongiorno, ho trovato un esempio su un libro. Primo lo ricopio poi vi espongo il mio dubbio.
Sia E un campo di spezzamento per f= \( x^3-2 \) su \( Q \) .
Ora, \( [Q(\sqrt[3]{2}):Q]=3 \) e \( [Q(w):Q]=2 \) dove \( w=cos(2\pi /3) + isin(2\pi /3) \) è la radice primitiva 3 dell'unità. Pertanto, le radici del mio polinomio iniziale sono \( b_{1} \) =\sqrt[3]{2} \) , \( b_{2} \) =w\sqrt[3]{2} \) e \( b_{3} \) =w^2\sqrt[3]{2} \) . Quindi, \( E=Q(b_{1},b_{2},b_{3}) \) . Dunque \( ...
Buongiorno a tutti. Avrei un esercizio da proporvi che non mi torna.
Sia \( E|F \) un'estensione di campi di grado finito e tale che per ogni coppia \( F_{1},F_{2} \) di campi intermedi tra F ed E si ha \( F_{1}\supseteq F_{2} \) oppure \( F_{1}\subseteq F_{2} \) . Provare che \( E|F \) è un'estensione semplice.
Vi ringrazio.
Indichiamo con :
$a$ il numero dgli interi aventi tra i loro fattori primi il $2$
$b$ il numero dgli interi aventi tra i loro fattori primi il $3$
$c$ il numero dgli interi aventi tra i loro fattori primi il $5$
Non posso dire che $a>b$ ne che $a<b$ , per corrispondenza biunivoca ,
infatti (almeno penso) , si ha che $a=b$ .
Sempre per corrispondenza biunivoca allora si ha ...
Per puro caso a lezione ho scoperto l'esistenza di certi gruppi molto particolari, i gruppi mostri di Tarsky e mi è sorta la curiosità di sapere come possano essere costruiti.
Ho trovato l'articolo originario che ne parla ma la versione originaria russa non posso comprenderla per ovvi motivi e non ho l'accesso alla versione inglese.
Naturalmente non riuscirei a capire l'articolo: sto semplicemente cercando l'idea generale alla base della costruzione di questi strani gruppi per soddisfare una mia ...
Ciao, sto cercando di risolvere questo eserczio dal libro di Qing Liu "Algebraic Geometry and Arithmetic Curves". E' il 1.12 del capitolo 5. Ecco il testo:
Sia $X$ uno schema localmente noetheriano.
[list=1]
[*:388h02np] Sia $\mathcal F$ un fascio coerente su $X$. Mostrare che se $\mathcal F_x$ è libero di rango $n$ su $\mathcal O_{X,x}$ allora esiste un intorno $U$ di $x$ tale che $\mathcal F|_U$ è libero di rango ...
Dato un numero primo "P" e il primo successivo "Z" il numero N di numeri compresi fra P e Z è minore o uguale al numero del primo precedente a P.
in altre parole...
dato un insieme di numeri primi consecutivi P1, P2, P3:
(P3-P2)
Ciao, c'è qualche tecnica per dimostrare per induzione che :
\(\displaystyle 4\sqrt{n}log{n}+7n
Per il teorema fondamentale dell’aritmetica , ogni numero composto è dato dal prodotto tra numeri primi .
Ne segue che ogni numero primo $p$ può essere ricavato da un numero composto $c$
attraverso :
1) la divisione di $c$ con i suoi fattori primi
(o in modo equivalente tramite la sottrazione ripetuta da $c$ dei suoi fattori primi
2) Come resto del seguente processo algoritmo sottrattivo $c=p*q+q$ , ...
devo dimostrare che l'insieme vuoto e' un sottoinsieme improprio di un generico insieme A:
$0 sube A$
pero' non so da dove partire...
Diciamo che so che un'insieme vuoto non ha elementi e che puo' essere visto come elemento di un generico insieme ($n$ sottoinsiemi possono essere considerati elementi dell'insieme stesso), ma non riesco ad arrivare alla dimostrazione richiesta. Probabilmente conosco i concetti ma ancora non riesco a collegarli.... suggerimenti???
PS. ...
Ho un problemino che non sono riuscito a modellizzare...
Ho 3 eventi A, B e C, che si ripetono rispettivamente ogni 5, 7 e 9 anni.
Voglio sapere tra quanti anni avverranno tutti e tre insieme.
Come si modellizza un problema del genere?
Io avevo pensato un sistema di 3 equazioni, ma l'unico punto in comune che mi ritrovo dai calcoli è l'anno 0, ovvero l'inizio dei 3 eventi, evidentemente il modello è sbagliato.
Chi mi aiuta?
Questo posto potrebbe anche andare nella sezione Analisi, trattandosi di analisi p-adica, ma anche qui non dovrebbe esser fuori posto.
Comunque, ho un esercizio di analisi p-adica in cui non riesco a trovare la strada:
Sia $\Omega$ la chiusura algebrica di $\QQ_p$, $M$ l'ideale massimale.
e' in tre step
1) mostrare che $\log_p:1+M ->\Omega$ e' suriettiva (so che nel disco di raggio $r=p^{-1/{p-1}}$ ho l'inversa, che e' l'esponenziale).
2) Per ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo