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
Angus1956
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?
4
6 set 2023, 15:21

sisterioso
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 ...
63
10 ago 2023, 13:34

giacomo991
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
1
22 ago 2023, 17:41

pistacios
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 ...
6
18 ago 2023, 03:15

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

Il_Gariboldi
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 ...
21
13 lug 2023, 11:41

Lorenzo Pantieri
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 ...
4
19 ago 2023, 15:20

olanda2000
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
3
15 ago 2023, 11:09

francicko
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?
0
18 ago 2023, 14:48

valerimartohan
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!
0
17 ago 2023, 00:44

francicko
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!$??
3
12 ago 2023, 16:44

galli4
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.
4
11 ago 2023, 17:23

valerimartohan
Voglio trasformare alfa, in forma normale prenessa congiuntiva. 1) 2) Non riesco a capire da dove viene w e che cosa è w, avrei bisogno di una spiegazione. Grazie mille!
1
9 ago 2023, 19:08

galli4
Per quali numeri primi n > 2 l'equazione diofantea (Xⁿ - Yⁿ)/(X - Y) = Zⁿ possiede soluzioni non banali? Esistono soluzioni primitive?
1
9 ago 2023, 18:54

galli4
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.
3
8 ago 2023, 19:19

GBX1
Buongiorno, sto cercando di risolvere un problema su un'estensione finita di un campo finito, e mi trovo in difficoltà. Il problema è questo:
4
30 lug 2023, 12:06

galli4
Per quali numeri primi n > 2 l'equazione diofantea (Xⁿ - Yⁿ)/(X - Y) = Zⁿ possiede soluzioni non banali? Se esistono soluzioni primitive, quali sono?
0
4 ago 2023, 10:26

galli4
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.
3
3 ago 2023, 11:08

Angus1956
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 ...
1
1 ago 2023, 17:30

Angus1956
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 ...
2
1 ago 2023, 11:05