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
Un linguaggio predicativo di solito è definito come il dato di 1) parentesi (\( ( \) e \( ) \)), 2) connettivi vari (\( {\land} \), \( \rightarrow \), ecc.), 3) quantificatori (\( {\forall} \), \( {\exists} \)) e 4) un'infinità numerabile di "variabili" (\( x_1,x_2,\dots \)). A questi quattro punti talvolta sono aggiunti 5) dei segni di funzione \( n \)-aria per (\( f_1^n,f_2^n,\dots \)) per \( n = 1,2,\dots \) e 6) dei segni di relazione \( n \)-ara.
I termini di un linguaggio predicativo ...
Volevo chiedere una cosa a chi ha dimestichezza con questi argomenti.
Abbiamo un linguaggio adeguato con connettivi proposizionali (che rappresentano funzioni di verità) per rappresentare tutte le funzioni di verità e un'infinità di variabilili $Var = {P, Q, R, S, P_1, Q_1, R_1, S_1, P_2, ...}$ per formare formule ad esempio come...
$((P => Q) => not P)$, $not P$, $(P => not R)$, ...
Mentre $I$ è l'insieme delle interpretazioni sulle variabili del linguaggio; un'interpretazione è una funzione ...
Mostrare che se $d > 1$ è un intero dispari allora $ZZ[sqrt(−d)]$ contiene elementi irriducibili che non sono primi.
Mi sembra che la strada sia quella di trovare un irriducibile che non è primo, per esempio in $ZZ[sqrt(−5)]$ ho che $1+\epsilon$ è irriducibile ma non primo(con $\epsilon=sqrt(−5))$ però in generale non riesco a trovarne uno, qualche consiglio?
Gentili utenti del forum,
come da titolo vorrei un chiarimento sulla definizione di insieme numerabile.
Sui testi ne ho trovate due diverse:
1) Un insieme si dice numerabile se può essere posto in corrispondenza biunivoca con $\mathbb{N}$
2) Un insieme si dice numerabile se è finito oppure può essere posto in corrispondenza biunivoca con $\mathbb{N}$
Grazie
Dare una descrizione esplicita dell’ideale generato da un sottoinsieme $S$ di un anello non unitario $A$.
$A$ fosse unitario questo ideale sarebbe $I={a_1s_1+...+a_ns_n|s_1,...,s_ninS$ ed $a_1,...,a_ninA}$.
Nel caso non unitario ho pensato di usare $I={a_1s_1+...+a_ns_n|s_1,...,s_ninS$ ed $a_1,...,a_ninA}+S$.
Infatti per definizione di ideale $I$ generato da un sottoinsieme (ovvero l'intersezione degli ideali che contengono $S$) si ha che ${a_1s_1+...+a_ns_n|s_1,...,s_ninS$ ed ...
Sia $A=ZZ_(/5)[X]_(/(x^2-2x))$. Determinare il sottoanello fondamentale di $A$.
Siccome $ZZ_(/5)subA$ se considero $\varphi$ l'omomorfismo fondamentale da $ZZ$ ad $A$ tale che $\varphi(z)=[z]_5$ con $zinZZ$. Quindi il sottoanello fondamentale di $A$ è proprio $ZZ_(/5)$. Dovrebbe andare bene giusto?
Salve, sto facendo un test psico attitudinale e probabilmente il mio cervello è alquanto limitato, ma non riesco a capire perchè la soluzione al seguente quiz è 11..
Una corda di 40 metri viene tagliata in 2 spezzoni. Se un pezzo è 18 metri più lungo dell'altro, qual è la lunghezza dello spezzone più corto?
Grazie in anticipo
Un insieme si dice amorfo se è infinito ma non è unione disgiunta di due insiemi infiniti.
Nel libro The Axiom of Choice di T. Jech viene presentato un modello di ZFA (teoria degli insiemi di Zermelo-Fraenkel con atomi) in cui l'insieme A degli atomi è un insieme amorfo.
Vorrei sapere se esistono modelli di ZF (teoria degli insiemi di Zermelo-Fraenkel) in cui esistono insiemi amorfi. Qualcuno di voi ha per caso visto questo risultato da qualche parte?
Determinare, se possibile, un ideale $I$ di $ZZ[X]$ tale che $ZZ[X]_(/I)$ è isomorfo a $ZZ_(/2)$.
Allora io pensavo appunto di sfruttare il primo teorema fondamentale dell'omomorfismo per anelli dove se mostro che esiste un omomorfismo non nullo $\varphi:ZZ[X]->ZZ_(/2)$ allora l'ideale che cerco corrisponde proprio con $Ker\varphi$, il problema ho provato più volte a costruire un tale omomorfismo ma non ne sono ancora riuscito a trovare nessuno. Avevo pensato ...
Buonasera a tutti!
Vorrei cortesemente capire come possa dimostrare la seguente proposizione:
Siano A e B insiemi. Provare che: [tex]A \backslash (A \backslash B) = A \cap B[/tex]
Ho una possibile risposta ma premetto che non conosco il metodo giusto per dimostrare una proposizione del genere, per questo motivo dubito altamente che sia corretta, anzi, credo che contenga molti errori, ve la mostro di seguito:
se: [tex]A \cap B + (A \backslash B) = A[/tex] allora [tex]A \backslash (A ...
Ho notato che il binomiale $((n-1),(-1))=0$, volevo sapere se ci fosse un motivo preciso per cui vale questo.
Buonasera amici.
Sto studiando la teoria di Galois e mi sono imbattuto, nel caso infinito, nella struttura di gruppo profinito. La riscrivo qui:
Un gruppo profinito $G$ è un gruppo topologico compatto, hausdorff e tale che i sottogruppi normali siano una base di intorni di 1 (elemento neutro di $G$).
Un gruppo topologico è un gruppo con una topologia che rende continua la moltiplicazione e l'inverso.
Bene, ora che siamo d'accordo sulle definizioni (a volte non ...
Stavo guardando una cosa sulle Categories di Mac Lane e c'è un dettaglio che non mi è chiaro.
Nel seguito, se \( C \) e \( D \) sono categorie, \( c\in C \) è un oggetto di \( C \) e \( S\colon D\to C \) è un funtore, chiamo freccia universale da \( c \) a \( S \) un elemento iniziale (r\in D, u\colon c\to S(r)) della categoria virgola \( c/S \).
Se \( S\colon D\to \mathsf{Set} \) è un funtore a valori nella categoria degli insiemi, chiamo inoltre un elemento universale di \( S \) una coppia ...
Salve ragazzi, ho questa relazione:
Per ogni a,b appartenenti a N*, aRb a/b = 2^k per un certo k appartenente a Z.
Verifica che sia una relazione di equivalenza:
1) RIFLESSIVA: Per ogni a appartenente a N*, aRa a/a = 2^k. E' riflessiva perchè a/a sarà sempre 1 e con k=0, vale 1=1 quindi ok.
2) SIMMETRICA: Per ogni a,b appartenenti a N*, aRb => bRa , quindi a/b = 2^k => b/a = 2^k...
Qui ad occhio direi che non è simmetrica, ma il dubbio è: il fatto che aRb implica anche che il valore ...
Un ordine parziale $(X,\le)$ è una coppia formata da un insieme $X$ e da una relazione binaria $\le$ su X riflessiva, antisimmetrica e transitiva.
Un ordine totale $(X,\le)$ è una coppia formata da un insieme $X$ e da una relazione binaria $\le$ su X riflessiva, antisimmetrica, transitiva e totale.
Un ordine parziale $(X,\le_\star)$ estende un ordine parziale $(X,\le)$ se per ogni $x,y\inX$ si ha che ...
Buongiorno,
scusate per la banalità della domanda ma non riesco a capire come fare.
Devo semplificare la seguente espressione (P $rArr$ L ) $rArr$ P
La soluzione è P, ma non capisco come arrivarci.
Sono arrivato a questo punto:
(P $ ^^ $ $ neg $ L) $ vv $ P
Grazie mille!
Ciao. Scusate ma ho un dubbio veramente stupido. Se ho un insieme \( X \) e due suoi sottoinsiemi \( A \) e \( B \), e so che esiste una biiezione tra \( X \) e \( A\amalg B = A\times \{0\}\cup B\times \{1\} \), posso affermare che \( X = A\cup B \) e \( A\cap B = \emptyset \)?
Ho ripreso le equazioni diofantee lineari e, facilmente , ho risolto una con 8 variabili:
$2x+3y+5z+7p+11q+13r+17w+19k=$
Una domanda già posta in passato e alla quale non sono riuscito ad avere risposta (nemmeno da un docente di teoria dei numeri) : che metodi si possono usare per risolvere equazioni con piu' di 3 variabili ?
Posterò poi la soluzione.
Grazie
Oliver
P.S. la mia soluzione richiede complessivamente 2 pagine..
come mai :
ω+1≠ω ma 1+ω=ω ?
ω è l'insieme ordinato di tutti i numeri naturali.
Grazie
Salve ragazzi,
sto svolgendo una tipologia di esercizio la cui traccia è la seguente:
Scrivere le tavole di addizione e moltiplicazione dell'anello abeliano unitario Z/8Z delle classi di resto modulo 8. Possiamo dire che è un campo?
Il mio problema non è verificare le proprietà in generale, ma definirle leggendo le tavole di addizione e moltiplicazione.
Le mie domande sono due:
1) Cosa devo vedere nelle tabelle per dire se si tratta di un campo o no?
2) Sapendo che in Zn, se n è primo allora ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo