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
Mi servirebbe un aiuto concreto con un esempio del calcolo della funzione conteggio dei numeri primi pigreco(x). Ho cercato di decifrare sul libro di Derbyshire il contributo dei quattro termini trovati da Riemann ma senza successo.Dove altro posso vedere? In italiano c'e' pochissima robba su cui vedere!!!!
Molte grazie in anticipo
Buonasera, avevo dei dubbi su un esercizio il cui testo è: Sia G un gruppo di ordine 650 (=2*5^2*13), si dimostri che G non è semplice. Si mostri che G ammette un unico sottogruppo H di ordine 325. Si determini n5 (numero di 5-Sylow in G). Supponendo poi che esista sigma:G --> H un morfismo suriettivo, si provi che G è abeliano.
Il primo punto l'ho svolto ricordando i teoremi di Sylow dai quali deduco che n13 = 1 e che quindi esiste un unico 13-Sylow in G che denoto N ( che quindi è normale) ...
Buongiorno a tutti,
Il seguente sistema di MCD nell'incognita n da dare al variare di n, una volta risolto, tutti i numeri primi:
(2n+1,1)=1 , (2n+1,3)=3 , ........ , (2n+1,2n-1)=1 (1)
Come posso fare a risolverlo?
Adesso spiego anche come ci sono arrivato:
L'indice del generico polinomio ciclotomico di ordine m può assumere qualsiasi valore intero e dunque anche primo pari a 2n+1
Dopo aver fatto numerosi esempi (anche se non sono una dimostrazione generale!) si vede che ...
Buongiorno a tutti,
Sono un studente universitario che sta cercando di approfondire la propria conoscenza in ambito di algebra tensoriale, in quanto nella mia università i corsi si fermano alla semplice algebra e geometra lineare.
Il mio obiettivo sarebbe quello di saper gestire tensori di rango superiore a quello delle matrici, volevo chiedere se qualcuno ha qualche consiglio o appunti su questa materia, in quanto online non si trova molto.
Grazie
Ciao a tutti, vorrei chiedere riguardo a una definizione:
$Sym_X$ $ $ $:=$ $U(X^(X), o)$ è detto gruppo delle permutazioni di X o gruppo simmetrico su X.
dove $X^X$ è l'insieme delle funzioni biiettive da X in X (ossia, le permutazioni) e con "o" ho indicato la composizione tra funzioni.
Il simobolo $U(X^X, o)$, stando a quanto detto dalla mio prof., indica l'insieme degli elementi invertibili di $(X^X, o)$. Quindi ...
Salve,
mi sono iscritto al forum da appena 5 giorni, sono un pensionato che ha la passione per i numeri primi e diverse lacune in campo matematico, ho però lavorato come analista-programmatore per 40 anni, mi considero più uno sperimentale (a mio agio con i numeri) che un teorico (sempre un po' in difficoltà con le formule e le dimostrazioni).
Il problema che volevo sottoporre alla vostra attenzione riguarda i residui quadratici; ho cercato nella rete internet qualcosa che potesse ...
Ciao a tutti e tutte.
Ho trovato questo forum cercando sul web una risposta ad una questione che non riesco a risolvere, e spero di non annoiarvi con un argomento banale che non sono riuscito a trovare effettuando una ricerca.
Si tratta di una dimostrazione, ovvero del fatto che il prodotto definito su $\mathbb{Z}$ attraverso le classi di equivalenza ed i loro rappresentanti privilegiati è indipendente appunto dalla scelta di questi ultimi.
Se per definizione si ha:
\[
(a, b) \cdot (c, ...
Stavo provando averificare questa identità:
$$\sum_{j=1}^{r+1} (-1)^{r+1-j} \binom{d-j+1}{d-r} \sum_{l=1}^{d-k} (-1)^{l+1} \binom{d-k}{l} \binom{d-l+1}{j-1} = 1
$$
dove $r\leq k-1$ e $k \leq \lfloor d/2 \rfloor$
Ho iniziato riordinando i termini in questo modo:
$$(-1)^{r+1}\sum_{l=1}^{d-k} (-1)^{l+1} \binom{d-k}{l} \sum_{j=0}^{r+1} (-1)^{j} \binom{d-j+1}{d-r} \binom{d-l+1}{j-1}$$
quindi mi sono concentrato sulla sommatoria più interna ...
Mi servirebbe di individuare analiticamente il seguente insieme diofanteo in x,y,z:
{2x+1-2zy-z>0,2x-2zy-z-2y
Ciao,
ho un dubbio sulla differenza tra implicazione materiale (condizionale) e implicazione logica.
Leggendo qui l'implicazione logica e' in realta' di 2 tipi: sintattica e semantica.
Dette P e Q due proposizioni nell'ambito della "proposition logic" possiamo costruire la nuova proposizione \(\displaystyle P \to Q \) ovvero "if P then Q". Ora la proposizione \(\displaystyle P \to Q \) stessa e' per definizione true quando P e' false oppure Q e' true (o entrambi).
Consideriamo ...
Ciao,
Avevo già chiesto, ma sento di non aver ancora capito il mio errore e volevo provare a discuterne con qualcun altro, così che magari nonostante la mia idiozia riesca a capire.
Io non riesco a figurarmi il motivo per cui:
1) Se io ho $f(g(x))=z$, in cui $g(x)=y$, allora posso sostituire ta parentesi a primo membro a $g(x)$ la y e ho f(y)=z, questo è banalmente il concetto di "funzione composta" e questa sostituzione funziona e porta a qualcosa di corretto.
2) ...
Buongiorno a tutti,
Nella preparazione del corso di Algebra I, che a Firenze comprende un poco di teoria dei numeri e la teoria su anelli e polinomi, mi sono imbattuto in un problema relativo ad un vecchio esame che non riesco a risolvere, dunque mi rivolgo a voi in aiuto. Il problema è il seguente:
\(\displaystyle \text{Sia } p \geq 3 \text{ un numero primo; si determini l'immagine } Im(\phi) \text{ dell'applicazione } \phi: \mathbb{Z} \rightarrow \mathbb{Z}/p\mathbb{Z} \)
\(\displaystyle ...
Stavo vedendo la dimostrazione che due chiusure algebriche di un campo sono isomorfe e ad un certo punto il libro usa il seguente fatto che non dimostra.
Sia $\phi : F-->K$ un omomorfismo di campi tale che K è una chiusura algebrica di F $=>$ K è un estensione algebrica di $\phi (F)$
Non mi è chiaro il perché.
Buongiorno vorrei provare questa regola di calcola valida in un generico gruppo $G$, cioè siano $a,b \in G$ e $m,n \in \mathbb{Z}$, si ha che
i) $(m+n)a=ma+na$
ii) $n(a+b)=na+nb$
Provo la 1) per induzione su $n$
$n=0$, e $m \in mathbb{Z}$ risulta $(m+n)a=(m+0)a=ma=ma+0=ma+0a=ma+na$, quindi l'asserto è vero.
$n>0, m \in \mathbb{Z}$, per ipotesi induttiva $(n-1)a+ma=((n-1)+m)a$. Si ha allora ...
Gli elementi delle sequenze P1(n) e P2(n) sono uguali per la prima a 6*n-1 e ai prodotti fra due degli elementi di entrambe che aumentati di 1 sono divisibili per 6 e per la seconda a 6*n+1 e ai prodotti fra due degli elementi di entrambe che diminuiti di 1 sono divisibili per 6.Gli elementi successivi differiscono di 6,P(n+1)=P(n)+6.Si assegna a P1(1) il valore 5 e a P2(1) il valore 7.I prodotti fra fra 5 e 7 sono 25,35,49.Si scelgono i due minori,25 e 35.Per quanto detto sarà ...
Si può dimostrare in logica intuizionista il sequente $\forall x \neg A(x) \vdash \neg \exists x A(x)$?
Ciao, non sono un matematico ma cercavo su internet un forum per porre una domanda di un test, o meglio di alcuni esercizi che stavo svolgendo per un test generalista.
Mi sono incastrato sul seguente:
Delle tre figlie di Giacomo – Alma, Beatrice e Chiara – almeno una è bionda. Sapendo che se Alma è bionda anche Beatrice lo è, che se Chiara è bionda lo è anche Alma, e che tra Beatrice e Chiara una non è bionda, si può dedurre con certezza che:
A) Alma, Beatrice e Chiara sono ...
Vorrei porre 3 domande che sono correlate tra di loro e riguardano "semplicemente" la definizione di campo numerico.
Ora è vero che, in generale, capita di trovare definizioni diverse di una stessa cosa a seconda del campo di studio, però queste domande mi sono sorte spontanee.
Come definizione di campo numerico, in alcuni testi di teoria dei campi viene data questa
a) un qualunque campo che sia un'estensione (di grado finito o infinito) del campo dei numeri razionali \(\displaystyle ...
Salve, vorrei chiedervi conferma sulla correttezza di questa dimostrazione.
Siano date due applicazioni: $f: X->Y$ e $g: Y->Z$.
Se $f$ e $g$ sono entrambe suriettive, allora $g * f$ è suriettiva. [nota]$*$ rappresenta l'operazione di composizione.[/nota]
Poiché $f$ e $g$ sono suriettive, $AA y in Y, f^-1(y) != \emptyset$ e $AA z in Z, f^-1(z) != \emptyset$.
Quindi $g * f (x) = g(f(x)) = g(y)$[nota]Qui ho applicato che ...
(1.1) \[320\cdot {{3}^{4}}+1={{161}^{2}}\]
(1.2) \[723\cdot {{3}^{4}}+1={{242}^{2}}\]
(1.3) \[30\cdot {{2}^{5}}+1={{31}^{2}}\]
(1.4) \[62\cdot {{2}^{6}}+1={{63}^{2}}\]
(1.5) \[570\cdot {{2}^{6}}+1={{191}^{2}}\]
scusate non ricordo come si procede col Latex.
Ho trovato questi risultati con un mio metodo. Non so dire se sono banali.
Gradita una valutazione difficoltà . Pensatiper studenti di liceo.
Grazie
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo