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
ilaria22801
Salve, dopodomani dovrò sostenere un esame di algebra e sto incontrando alcune difficoltà con il seguente esercizio, in particolare nel provare che G è un sottogruppo. Qualcuno potrebbe aiutarmi? Nel gruppo \(\displaystyle GL(2, \mathbb{Q}) \) delle matrici \(\displaystyle 2\times 2 \) invertibili su \(\displaystyle \mathbb{Q} \), si consideri il sottoinsieme \(\displaystyle G = \left\{\left(\begin{matrix}1+c&c\\-c&1-c\\\end{matrix}\right)\ t.c.\ \ c\in\mathbb{Q}\right\} \) Si provi che ...
2
14 set 2020, 12:39

faby99s
Buonasera ho problemi ad dimostrare l'iniettività e la surriettività potete aiutarmi posto di seguito l'esercizio: $f : X \in P ( Z ) \Rightarrow X \cap { 3 } \in P ( N )$ $ g : X \in P ( Z ) \Rightarrow X \cap { 3 } \in P ( Z )$ si dica se è o non è ben definita come applicazione e, nel caso lo sia, se è iniettiva, suriettiva, biettiva, calcolando in quest’ultimo caso l’applicazione inversa. $---------------------------$ per quando riguarda f non è ben definita. Ma g invece è ben definita ora calcolo la suriettivià: ...
18
4 set 2020, 19:25

garnak.olegovitc1
Salve a tutti, volevo più una conferma, ovvero se la definizione di funzione inclusione è giusta; siano $A$ e $B$ due insiemi, ove $A \subseteq B$ e \( A \neq \emptyset \) e \( B \neq \emptyset \), dicesi funzione inclusione di $A$ in $B$, ed indicasi con la scrittura $i:A \rightarrow B$, una funzione binaria di $A$ in $B$ e $i(x)=x, \forall x \in A$ Ringrazio anticipatamente! Cordiali saluti
4
16 mar 2013, 20:51

alfiere15
Buon pomeriggio. Ho il seguente problema. Dati due complessi di catene $X = (X_n, d_n^X)$ e $Y = (Y_n, d_n^Y)$, definisco il coprodotto $X \oplus Y$ elemento per elemento, ossia $X \oplus Y = (X_n \oplus Y_n, d_n)$, dove i differenziali sono ottenuti applicando la proprietà universale al diagramma: dove le $i_{X_n}$ e $i_{Y_n}$ sono le inclusioni. Fin qui tutto chiaro. Però si deve dimostrare che, effettivamente, $d_{n-1} \circ d_n = 0$, essendo con complessi di catene. Qui il ...
14
3 set 2020, 19:51

Pasquale 90
Buonasera, sto svolgendo un esercizio riguardante i gruppi. Riporto solo una parte dell'esercizio una volta discussa procedo con la rimanente, giusto per non creare molta confusione. Sia $G=GL(2,ZZ_8)$, sia $H subseteq G$ definito ponendo \(\displaystyle H=({\begin{vmatrix} y & x \\ 0 & y \end{vmatrix}} \:\ x \in \mathbb{Z_8}, y \in \mathbb{Z_8^*} ) \) a) $H le G$ Risulta $H ne \emptyset$, infatti \(\displaystyle I={\begin{vmatrix} 1 & 0 \\ 0 & 1 \end{vmatrix}} \), in tal ...
3
4 set 2020, 20:11

C_Ginger
Come fattorizzo \(\displaystyle x^6 + x^3 +1\) su \(\displaystyle \mathbb{R} \)?
12
25 ago 2020, 12:50

francicko
Sia $x^3 - x-1$ il polinomio in oggetto: essendo irriducibile in $Q$, ed avendosi $delta=sqrt(Delta)$ non appartenente a $Q$ posso affermare che il gruppo di Galois è $S_3$. Posso costruire il campo $Q(alpha)={a_0+a_1(alpha)+a_2(alpha)^2$ $ | $ $a_i$ $in$ $Q, $ $alpha^3 =alpha+1}$ , come posso calcolare esplicitamente i campi intermedi?
3
30 lug 2020, 12:17

faby99s
buon pomeriggio ho dubbi nel calcolare la parte chiusa in questo esercizio: $\AA a, b \in ZZ_23$ $ a ⊕ b = a + b + 1$ $ a ◦ b = ab + a + b$ (iv) Sia $ V = {−2, 0} ⊆ ZZ_23$. V è una parte chiusa in $(ZZ_23, ◦)$? V è un sotto-anello di $ (ZZ_23, ⊕, ◦)$? Io mi sono calcolato: 1) $0◦0 \in {0,-2}\subseteq ZZ_23$ 2) $0◦-2\in {0,-2}\subseteq ZZ_23$ 3) $-2◦-2\in {0,-2}\subseteq ZZ_23$ Quindi V è una parte chiusa giusto??
6
1 set 2020, 15:45

marco2132k
Ciao. Sia \( R \) un anello (con unità, come tutti gli altri nel seguito). Se \( M \) è un monoide, si dovrebbe poter costruire un anello \( R[M] \) di funzioni \( M\to R \) a supporto finito ponendo per ogni \( m\mapsto a_m \) e \( m\mapsto b_m \) la somma \( a + b \) pari alla somma di funzioni classica, e il prodotto \( ab \) pari alla funzione \( m\mapsto (ab)_m = \sum_{\substack{x,y\in M\\xy = m}}a_xb_y \). 1. Buona definizione delle operazioni. È evidente che è possibile sommare in quel ...
7
21 ago 2020, 17:15

francicko
Quello che ancora non mi è chiaro, è che se ho un estensione $E//F$ di campi, sia $G=Gal(E//F)$, dato un sottogruppo $H$ di $G$ si pone: $E^H$ $={a$ $in$ $E$ $| sigma(a) =a$ per ogni $sigma$ $in$ $H} $, nel testo dice si vede "facilmente" che questo è un campo intermedio, per l'estensione $E//F$. Potreste fornirmi qualche dettaglio in più su questo ...
3
29 ago 2020, 09:37

Pasquale 90
Buonasera, sto provando a svolgere il seguente esercizio: Sia $G$ gruppo e $N$ un sottogruppo normale di $G$. Provare che se $H,K$ sono sottogruppi di $G$ tali che \(\displaystyle H \triangleleft K \) allora il sottogruppo \(\displaystyle HN \triangleleft KN \). Mi sono bloccato, cioè ho fatto le seguenti osservazioni \(\displaystyle N \triangleleft G \leftrightarrow \forall a \in G\,\ \forall n \in N \ a^{-1}na \in N \), ...
3
26 ago 2020, 19:53

faby99s
Buonasera sto provando a fare questo esercizio: Per ogni primo (positivo) p si consideri il polinomio $ f_p =x +x −35x −36x+34 \inZ_p[x]. $ (i) lo si usi per determinare l’insieme T dei primi p tali che fp sia divisibile (in Zp[x]) per $x_2 − 1$. (ii) Per ogni $p\in T$ si scriva $f_p$ come prodotto di polinomi monici irriducibili in Zp[x]. Allora per (i) ho fatto ruffini tra $f_p$ e $x_2+1$ ed ho ottenuto $-15$ da ciò ...
6
25 ago 2020, 16:35

narikucaho.averdov
Spero sia la sezione corretta, il nostro docente a lezione disse che \(\{\in\}\) è il linguaggio della teoria degli insiemi \(\rm ZFC\), ed \(\in\) è l'unica relazione primitiva che non definiamo, e tutti gli altri simboli sono abbreviazioni di formule ben formate che involgono il simbolo di appartenenza come ad esempio \(X\subseteq Y:=\forall z:(z\in X \to z \in Y)\). Il problema mio nasce dall'assioma di estensionalitá, ovvero $$\forall X,Y:(X=Y \leftrightarrow \forall z:(z\in ...
10
10 ott 2017, 21:41


Pasquale 90
Buongiorno, sto provando a svolgere il seguente esercizio:Determinare i sottogruppi normali di $GL(2,ZZ_2)$. Procedo cosi: Per semplicità pongo $G(cdot):=GL(2,ZZ_2)$. Determino l'ordine di $G$, inoltre $ZZ_2={0,1}$ sono classi di congruenza (non so fare la barra sopra) Sia $A in G$ dove \(\displaystyle A=\begin{vmatrix} x & y \\ z & v \end{vmatrix} \), dove $x,y,z,v \ in ZZ_2 $ deve risultare $xv=1$ cioè solo se $x=v=1$, inoltre ...
9
18 ago 2020, 13:38

faby99s
Buonasera potete aiutarmi, devo indicare se sono vere o false sapendo che a !=∅, (i) {a,a} = {a}; (ii) a ∈ {a}; (iii) {a} ∈ {a}; (iv) {a} ⊆ {a}; (v) ∀b({a} ∈ {a, b}); (vi) ∀b({a} ⊆ {a, b}); (vii) {∅} ⊆ {a, {∅}}; (viii) {∅} ∈ {a, {∅}}; (ix) ∅ ∈ {a, {∅}}; (x) ∅ ⊆ {a, {∅}}. I miei risultati sono: (i) falso (ii) vero (iii) falsa (iv) falsa (v) falso (vi)falso (vii) falso (viii) falso (ix)vero (x)vero giusto?
13
1 ago 2020, 16:12

faby99s
Buonasera potete aiutarmi con l'ultimo punto dell'esercizio intendo la parte chiusa: Sia $∗$ l’operazione binaria definita in $Z_16 × Z_16$ ponendo, $AA a, b, c, d \in Z_16$ , $(a, b) ∗ (c, d) = (ac, b).$ (i) Si verifichi se $∗$ è associativa e se è commutativa; se, rispetto a $∗$,$ Z_16 × Z_16$ ha elementi neutri a destra, a sinistra, neutri. (iii) Si verifichi che, per ogni $b \in Z_16$, $T := Z_16 × {b}$ è ...
1
23 ago 2020, 19:45

alfiere15
Buon pomeriggio. Sto studiando teoria delle categorie per un progetto. Mi sono ritrovato davanti a questa difficoltà, banale, ma da cui non riesco ad uscire. Io so che il funtore $Hom(Y, -)$ è esatto a sinistra. Inoltre, per definizione, diremo che l'oggetto $Y$ è proiettivo se e solo se il funtore $Hom(Y, -)$ è esatto, quindi se manda epimorfismi in epimorfismi. Di conseguenza, se Y è proiettivo ho che la sequenza esatta $0 -> A -> B -> C -> 0$ viene mandata in ...
11
21 ago 2020, 18:40

marco2132k
Ciao. Come si può dimostrare "con le mani" che l'insieme \( I \) dei polinomi di \( \mathbb R[X_1,X_2] \) a coefficiente costante nullo è un ideale massimale ma non principale? (Con "con le mani" intendo dire "ignorando che \( I \) è massimale se e solo se \( R/I \) campo", ecc.).
3
18 ago 2020, 14:47

faby99s
Mi sapete aiutare a capire perché: $ -17 mod 10 = 3 $ Grazie in anticipo
6
19 ago 2020, 10:05