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
Consideriamo $xx$ il prodotto cartesiano/esterno. $EEG$ gruppo abeliano tale che $GxxZZ_(/2)$ sia isomorfo a $ZZ$?.
Allora intanto $G$ deve avere ordine infinito altrimenti non si ha sicuramente un isomorfismo. Però nonostante questo credo che non possa esistere o sbaglio?
Buongiorno, stavo leggendo una vecchia discussione https://www.matematicamente.it/forum/vi ... 6&t=230844 ma vorrei fare una domanda a riguardo sebbene davvero stupida ma che non capisco come risolvere.
Essendo $R$ quello che ho scoperto chiamarsi gruppo vuol dire che ci sono elementi inversi per ogni elemento.
Quindi se io prendo
$ax=y$ posso dire:
- qualunque sia x che ho scelto ho una rispettiva y, questo mi pare ovvio (se assumo l'operazione ben definita, che poi sarebbe un po' il ...
Come dimostro che un insieme infinito $S$ può essere messo in corrispondenza biunivoca con $S\times S$? Le dimostrazioni che ho trovato in giro usando tutte numeri transfiniti e cose del genere mentre a me servirebbe senza. grazie
Ciao alla sezione.
scrivo qui perché c'è un fatto che mi lascia perplesso e per cui non trovo una ragione del perché funzioni.
Posso dimostrare che il sottospazio delle matrici simmetriche (S) e antisimmetriche (A) sono in somma diretta (quindi posso scrivere ogni matrice M in modo unico come somma di una matrice antisimmetrica e una simmetrica) e in particolare sottospazi supplementari di un $R^(n,n)$
Dimostrare che $S+A=R^(n,n)$ è facile per doppia inclusione:
ogni elemento di ...
Non so moltissimo di logica e teoria degli insiemi! Pertanto vorrei chiedere se qualcuno qui potrebbe spiegarmi/o aggiungere parole/correggermi se sbaglio a quanto segue:
L'"insieme complementare" è un oggetto ben definito nella teoria assiomatica degli insiemi?
Se definiamo l'universo \( U= \{ x : x = x \} \) e l'insieme vuoto \( \emptyset = \{ x : x \neq x \} \) allora abbiamo che \( \emptyset \) è un insieme mentre \(U\) è una classe propria (ovvero è una classe che non è un insieme). A ...
3
Studente Anonimo
16 ago 2023, 15:03
Buongiorno, volevo porre due domande sulla disuguaglianza di cauchy schwarz.
Il punto su cui nutro dubbi è il seguente: nel testo che ho dice che l'uguaglianza della $|x*y|<=||x||*||y||$ si ha $<=>$ ($x=0$ or $y=0$ or $x=ay$ (cioè proporzionali con a reale)).
Ora il testo procede così:
(domanda1) prende $x=0$ e dice $0<=0$, discorso analogo per $y=0$ e quindi per questi due l'uguaglianza è verificata, perciò questo ...
Buongiorno, e perdonatemi se la domanda è sciocca, ma sono decenni che non studio l'Algebra con la A maiuscola.
Il piccolo teorema di Fermat dice che se $p$ è un numero primo, allora per ogni intero $a$:
\[
a^p \equiv a \mod{p}
\]
Su Wiki trovo scritto che una "piccola generalizzazione del teorema, che deriva immediatamente da questo", è la seguente: se $p$ è primo e $m$ e $n$ sono interi positivi con
\[
m \equiv n ...
Nell'insieme Z degli interi, la relazione di uguaglianza è simmetrica?
Io dico di sì, guardando la definizione di relazione simmetrica:
per qualsiasi coppia di elementi (a,b) scelta nell'insieme Z : aRb ==> bRa
Se scelgo a=b allora l'implicazione è vera : V ==> V
Se a =/= b allora l'implicazione è ancora vera , in quanto
F ==> F è Vera
E' corretto il ragionamento ?
Cioè io considero tutte le possibili coppie di elementi dell'insieme Z, non sono quelle che soddisfano la relazione.
Grazie
Sia $Q$ campo dei razionali e $p(x)$ un polinomio irriducibile di grado $n$ supponiamo che le uniche relazioni tra radici a valori in $Q$ siano le funzioni simmetriche , cosa si può dire del gruppo di Galois?
Per semplificare la domanda ho già applicato l'algoritmo di una formula proposizionale.
Sono arrivato al seguente insieme di clausole:
{ {not (b), not (d)} , {not (e)} }
Quali sono i passi successivi?
Ottengo alla fine {} o {[]} ? Ovvero soddisfacibile o non soddisfacibile ?
Grazie mille!
Sia $Q$ campo dei razionali e sia $p(x)$ un polinomio di grado $n$ ivi irriducibile,siano ${x_1,x_2,...,x_n}$ le radici distinte di tale polinomio , se il più piccolo numero di radici da aggiungere al campo base $Q$ , necessario per raggiungere il campo di spezzamento $E$ è $(n-1)$ allora $[E]=n!$??
Sia p un numero primo dispari. Individuare almeno una successione a(n) tale che i divisori primi di ogni suo termine siano maggiori di p e della forma 2kp + 1.
Per quali numeri primi n > 2 l'equazione diofantea
(Xⁿ - Yⁿ)/(X - Y) = Zⁿ
possiede soluzioni non banali? Esistono soluzioni primitive?
Sto incontrando difficoltà nel dimostrare il seguente teorema.
Sia n un numero intero somma di due quadrati. Dimostra che ogni suo divisore è somma di due quadrati.
Buongiorno, sto cercando di risolvere un problema su un'estensione finita di un campo finito, e mi trovo in difficoltà.
Il problema è questo:
Per quali numeri primi n > 2 l'equazione diofantea
(Xⁿ - Yⁿ)/(X - Y) = Zⁿ
possiede soluzioni non banali?
Se esistono soluzioni primitive, quali sono?
Determinare le soluzioni razionali dell'equazione
7x³+18x²y-6xy²+9y³-1 = 0.
Sono riuscito a determinarne 2, portando 1 al secondo membro, e fattorizzando il resto del polinomio. Sono (2/5;1/5) e (-1/5;2/5); ho ipotizzato che ciascun fattore valesse 1 ma un fattore potrebbe essere della forma r/s e l'altro della forma s/r con M.C.D.(r,s)=1. In questo caso non riesco ad andare avanti.
Se $X$ è un insieme infinito e $Y$ è un insieme finito, allora si provi che $X$ e $XuuY$ hanno la stessa cardinalità.
Allora consideriamo l'inclusione $i:X->XuuY$ che è iniettiva per cui $abs(X)<=abs(XuuY)$, ora siccome $Y$ è finito e $X$ è infinito si ha $abs(X)>=abs(Y)$, per cui esiste una funzione suriettiva $f_1:X->Y$ e poniamo $f_0=Id:X->X$, inoltre si ha anche che $abs(X)>=2=abs({0,1})$ per cui ...
Mi chiedevo se fosse possibile costruire sempre una funzione iniettiva da $NN$ a un insieme $X$ infinito, e mi sono risposto così:
si può fare, basta definire la funzione in modo che $0$ lo mandiamo in un elemento qualsiasi di $X$, poi $1$ lo mandiamo in un elemento di $X$ diverso da quello scelto per $0$, poi $2$ lo mandiamo in un elemento di $X$ diverso da quello ...