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
Buongiorno,
Sto leggendo la proposizione riguardante l'algoritmo della divisione. Vi riporto solo la parte che non mi è chiara cioè quella inerente all'unicità.
Enunciato
Siano $P_1$ un polinomio di grado $n$ e $P_2$ di grado $m$. Allora esistono e sono unici due polinomi $Q$ e $R$ tali che:
$P_1=Q circdot P_2+R$ e $deg(R)<m$.
Inoltre, se $ m le n $ si ha $deg(Q)=n-m$ , mentre se ...
Salve chiedo aiuto per questo esercizio
'Sia $(S,<=)$ un insieme ordinato tale che ogni parte totalmente ordinata sia inferiormente limitata. Provare che $(S,<=)$ è dotato di elementi mininali'
L'enunciato assomiglia al lemma di Zorn ma è a parti invertite, non saprei come procedere... Premetto inoltre che non conosco la dimostrazione del lemma di Zorn
Grazie
Sappiamo già la validità delle seguenti inclusioni insiemistiche:
sia $f:X \rightarrow Y$ con $A\subseteq X$ e $B \subseteq Y$
allora $A \subseteq f^(-1)(f(A))$ e $f(f^(-1)(B)) \subseteq B$.
Ora io aggiungo l'ipotesi che la funzione sia anche iniettiva. Allora $A = f^(-1)(f(A))$. Per dimostrare questa uguaglianza insiemistica mi basta solo verificare che $f^(-1)(f(A)) \subseteq A$. Ora visto che ho supposto la f iniettiva, essa ammette una inversa sinistra $g$ che io chiamo $f^(-1)$ e quindi ho ...
Buonasera,
dovrei dimostrare tramite il principio di induzione che
5 |(11^n + 4) ∀ n ∈ N
Procedo in questo modo:
Passo base (P) = 1 :
\(\displaystyle 5|(11^n + 4) \)
\(\displaystyle 5|(11^1 + 4) \)
\(\displaystyle 5| (11 + 4) \)
\(\displaystyle 5| 15 \) (verificata dato che 15 è un multiplo di 5)
Passo induttivo (per n+1) :
\(\displaystyle 5|(11^n +1 + 4) \)
\(\displaystyle 5| 11^n · 11 + 4 \)
\(\displaystyle 5| 11^n · (10 + 1) + 4 \)
\(\displaystyle 5| 11^n · 10 + ...
Salve ragazzi,
non mi è ben chiara la dimostrazione per cui una relazione è di equivalenza.
Prendo in esempio questo esercizio:
Sia assegnata la relazione \(\displaystyle p ⊂ Z x Z \) \(\displaystyle tale \) \(\displaystyle che \) \(\displaystyle ∀ \) \(\displaystyle a, b ∈ Z \)
\(\displaystyle apb ⇔ 11 |(7a + 4b) \)
(1) Verificare che \(\displaystyle p \) è una relazione di equivalenza.
(2) Determinare la classe di equivalenza \(\displaystyle [5]p \).
Per poter ...
Ciao a tutti ragazzi!!vorrei sapere dei trucchi per capire bene le deduzioni sui sillogismi...siccome dovrò fare un test di ammissione, ho guardato su internet dappertutto, e ti spiegano solo le caratteristiche della premessa maggiore, minore e della conclusione, quindi riguardo quelle 3 proposizioni...ma non spiegano nulla riguardo le deduzioni sulle risposte presenti nel test...ad esempio: Tutti gli avvocati sono prolissi;Giorgio ama la montagna; tutte le persone che amano la montagna sono ...
"Sia $S$ un insieme e $\epsilon(S)$ l'insieme delle relazioni di equivalenza in $S$. Provare che esiste un'applicazione iniettiva di $\epsilon(S)$ in $P(P(S))$"
Ho costruito questa applicazione:
$\phi: R in \epsilon(S) ->{F} in P(P(S))$
Dove $F$ è la partizione individuata da $R$.
Dovrei avere
$\phi(R)=\phi(R') <=> {F}={F'} <=> F=F' <=> R=R'$
Dunque $\phi$ è ben definita e iniettiva. D'altra parte per un teorema ad ogni partizione è associata una e una sola ...
Sia $S$ un insieme non vuoto e $R$ una relazione di equivalenza su $S$. Provare che esiste un'applicazione $f$ con dominio $S$ tale che $R=R_f$ (dove, se $f:S->T$ è un'applicazione, $xR_fy <=> f(x)=f(y)$)
Ho costruito l'applicazione $f:x in S->[x]_R in S/R$
$xRy <=> [x]_R=[y]_R <=> f(x)=f(y) <=> xR_fy $ cioè $R=R_f$.
Può andare?
Dovevo dimostrare che dato $S={(a,3a)inRR^2| a inRR}$ il quoziente $RR^2setminusS$ fosse isomorfo $RR$ dove le strutture sono entrambe additive.
L’idea è che i laterali sono costituiti dalle rette affini passanti per $(x,y)$ e avente direzione $(1,3)$
$(x,y)+S={(z,t)inRR^2:(x-z,y-t)inS}$
Quindi l’isomorfismo che ho considerato è $f(x)=(x,x)+S$
L’idea di base è che comunque due classi coincidono se due punti appartengono a una stessa retta. Quindi in genere dato un punto del piano ...
Qualcuno sa dove posso trovare la dimostrazione dell’unicità dell’isomorfismo $L:G/(Ker(f))->Im(f)$ , $L(Kg)=f(g)$
ove $f:G->G’$ omomorfismo e $(G,varphi),(G’,phi)$ gruppi
Ciao
Dovevo mostrare che il centro di un gruppo è un sottogruppo normale.
prendo $(G,phi)$ gruppo e $Z(G)$ il suo centro
$Z(G)g={phi(h,g) inG: h inZ(G)}$
$gZ(G)={phi(g,h) inG: h inZ(G)}$
chiaramente essendo $h inZ(G)$ abbiamo che $phi(h,g)=phi(g,h)$ per definizione stessa di centro di un gruppo. Dato che gli elementi di $Z(G)$ commutano con tutti gli elementi del gruppo, dovranno commutare anche con un particolare elemento
$x inZ(G)g <=> exists h inZ(G): x=phi(h,g)=phi(g,h) <=> x ingZ(G)$
quindi $forallg inG, Z(G)g=gZ(G)$ da cui segue che ...
Stavo studiando algebra quando mi sono incappato in una cosa che non mi ricordo come si fa e per questo vi chiedo aiuto; la domanda è: il gruppo degli automorfismi di un gruppo ciclico è abeliano? Questa è la domanda principale ma me ne vengono in mente anche altre collegate, per esempio: è anche ciclico? funziona anche se si parte da un gruppo abeliano? funziona se e solo se si parte da un gruppo abeliano?
Ciao
si consideri il gruppo additivo delle funzioni continue in $[0,1]$ a valori reali $RR$(che chiamerò $G$)
si consideri l'insieme, $N={f inG:f(a)=0}, a=1/3$
si mostri che $N$ è normale in $G$. A cosa è isomorfo $G/N$?
per prima cosa $G$ è abeliano quindi sul fatto che $N$ sia normale non c'è dubbio.
Vedendo un generico laterale,
$[f]={g inG: f(a)=g(a)}$
l'idea è che $G$ sia ...
Stavo guardando un po' alcuni esercizi e mi è venuto in mente di dimostrare questa cosa:
sia $(G;phi)$ un gruppo.
Se $G$ è ciclico allora ogni sottogruppo è normale e il gruppo quoziente associato è generato dalla classe del generatore di $G$
per prima cosa $existsg inG: G= <<g>>$
per seconda cosa, un qualsiasi sottogruppo di $G$ sarà ciclico e della forma $H= <<g^k>>$ per qualche intero $k$
mostriamo che $H$ è ...
Ciao,
Ho un dubbio su un esercizio.
Semplificare l'espressione:
$barB+barC+ BC$
Dove con $+$ è indicata la somma logica e quando le lettere sono vicine c'è in mezzo il prodotto logico, con la barra si indica il negato del letterale.
Il problema è che questa espressione allo stesso tempo mi risulta uguale a $barC$ e a $barB$.
$barB+barC+ BC=barB+(barC+B)(barC+C)=barB+(barC+B)=barB+barC+B=barC$
Oppure, sfruttando la proprietà associativa della somma logica:
$barB+barC+ BC=barC+barB+ BC=barC+(barB+B)(barB+C)=barB+C+barC=barB$.
Dove sbaglio?
Grazie.
Ciao a tutti, sono nuovo del forum e non so se abbia aperto l'argomento giusto nella sezione giusta, ma mi serve una mano nel capire questi quesiti logico-aritmetici. Qualcuno saprebbe spiegarmi la risoluzione?
Mi chiede di eliminare un numero nell'insieme, esercizi simili che risoluzione hanno? qual è il filo logico?
E sfrutto la vostra gentilezza chiedendovi un aiuto anche in quest tipo di quesiti:
Un commesso ha venduto ad un cliente una giacca e una camicia per un valore complessivo di 615 ...
Ciao
sia $(K;+,*)$ un campo (dove $1_Kne0_K)$, allora gli unici ideali del campo sono $K$ e ${0_K}$
(uso le notazioni additiva e moltiplicativa per non appesantire)
chiaramente $K$ e ${0_K}$ sono due ideali bilateri del campo.
mostrerò che se $I$ è un ideale di $K$ e $Ine{0_K}$ allora $I=K$.
$1)$ se $IsubseteqK$ è un ideale(lo chiamo ideale perchè ovviamente è ...
Ciao
Devo dimostrare che ogni sottoanello di $ZZ$ è del tipo $ZZn$ con $n inNN$
Il mio libro fa una dimostrazione esagerata e quindi propongo la mia per vedere se sia corretta.
Chiaramente ogni insieme del tipo $ZZn$ dotato delle stesse operazioni di $ZZ$ si ottiene un anello.
Viceversa se $H$ è un sottoanello di $ZZ$ in particolare è sottogruppo rispetto alla somma, ma $ZZ$ è ciclico e ...
Ciao
siano $R,S$ anelli e $f:R->S$ un epimorfismo di anelli unitari
Se $1_R inKer(f)$ allora $S={1_R}$
La dimostrazione é breve ma non vorrei incappare in errori inutili
$f$ epimorfismo $=> f(1_R)=1_S$
$1_R inKer(f) => f(1_R)=0_S$
Ma allora $1_S=0_S=>S={1_S}$
Ovvero se in un epimorfismo di anelli il nucleo contiene l’unità del dominio, allora il codominio è l’anello zero.
Stavo leggendo sul fatto che in genere il nucleo non fosse un sottoanello ...
Ciao a tutti! Oggi mi sono trovato una teorema e una dimostrazione di particolare interesse. Il fatto è che non mi sono chiari dei tratti della dimostrazione. Riporto pari pari quanto scritto sul libro che sto consultando:
"Pietro Di Martino in Algebra":24qoqlr6:
Proposizione. Se $(G,\ast)$ è un gruppo finito, un sottoinsieme $H$ di $G$ è un sottogruppo se e solo se $H$ è chiuso per l'operazione $\ast$.
Dimostrazione. Una ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo