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
Allora, ho bisogno di fare un po di chiarezza tra i termini inglesi e quelli italiani perchè non ho capito come devo tradurre quel termine 'bundle'
La nozione di fibrato viene tradotta come Fiber bundle
La nozione di fibra viene tradotta come fiber
La nozione di fibrazione viene tradotta come fibration
La nozione di Bundle, però, non la trovo, come viene tradotta ?
Sia la fibration, sia bundle sono generalizzazioni del fiber bundle. Il termine fiber, inoltre, si riferisce a 2 contesti ...
Buongiorno.
Ho questo problema:
dati i due omeomorfismi del piano complesso a,b tali che $a(z)=z+i$, $b(z)=\bar{z}+\frac{1}{2}+i$, dimostrare che $ba=a^{-1}b$ e dedurne che $G=\{a^mb^{2n}b^{\epsilon} : m,n \in Z, \epsilon=0,1\}$ è un gruppo di omeomorfismi di C
Sulla prima parte dovrei esserci, ho dimostrato che aba=b.
Non riesco però a capire poi come dedurre da lì che G è un gruppo
Mi potreste dare una mano per piacere?
Per quanto ho visto, le dimostrazioni del fatto che un gruppo $G$ è isomorfo ad un sottogruppo di $Sym(S)$, per un opportuno insieme $S$, considerano tutte ben determinati $S$ "in carne ed ossa" (es. $G$ stesso). Esiste una caratterizzazione generale dell'insieme $S$ su cui un arbitrario gruppo $G$ può agire?
Ciao
devo trovare il sotto anello fondamentale di $R:=M_2(ZZ_6)$
come definizione di sotto anello fondamentale uso $phi:n in ZZ -> n*1_R in R$ e definisco
$E(R):=phi(ZZ)cong(ZZ)/(Ker(phi))$
dunque in questo caso $Ker(phi)$ non è altro che l'ideale generato dalla caratteristica dell'anello, nonché $6$ e quindi in poche parole quel quoziente sarà $ZZ_6$ e il sotto anello fondamentale sarà $ZZ_6$ a meno di isomorfismi.
Ha senso?
'sta cosa del sottoanello fondamentale mi ...
Buonasera. Sul materiale di studio c'è scritto che "E' immediato verificare che il reticolo trirettangolo è modulare".. Ho pensato che in base alla definizione di reticolo trirettangolo, per verificare che esso è modulare dovrei verificare che è soddisfatta la definizione tra il primo elemento e ciascuno dei restanti 4 elementi del reticolo.. Ma nella definizione entra in gioco ogni volta anche un altro elemento diverso (più precisamente sono altri 4 elementi diversi).. Inoltre più precisamente ...
Ora mi sto preparando per l'orale quindi metto alcune dimostrazioni che mi servono per concludere.... le farei vedere alla professoressa, ma poi non me le chiederebbe
$D^(star):=Dsetminus{0}$
$D$ non vuoto e non anello banale
sia $(D,+,*)$ un PID e $p in D^(star)$
$p$ primo $<=>$ p irriducibile
dimostrazione:
supponiamo che esistano $a,b in D^(star)$ tale che $p|ab$
consideriamo l'ideale $I=(p,a)$[nota]potremmo considerare ...
Il campo di spezzamento (CdS) di un polinomio è definito come l'estensione finita di un campo, nella quale il polinomio si spezza in fattori lineari. Se il polinomio ha una o più radici multiple, ha ancora senso parlare di CdS?
Grazie per l'attenzione.
Mi è venuta in mente questa cosa, e non trovandola da nessuna parte, vorrei sapere se fosse corretta.
siano $R,S$ anelli e $RtimesS$ gruppo prodotto diretto di $R,S$
se $A$ è ideal di $R,S$ allora esistono $I,J$ ideali di $R,S$ rispettivamente tale che $ItimesJ=A$
consideriamo gli insiemi $I={x in R: (x,0_S) in A}$ e $J={y in R: (0_R,y)in A}$
Intanto $I,J$ sono ideali di $R,S$ mostriamolo solo ...
Mi sembra che le seguenti considerazioni informali rendano "naturale" il teorema di Cayley (gruppi finiti).
Un gruppo finito $G={a_1,...,a_n}$ si può dire "completamente conosciuto" una volta che sono noti i risultati di tutte le possibili moltiplicazioni di fattori che si possono produrre con i suoi elementi. In virtù della proprietà associativa, a tale fine occorre e basta conoscere i risultati delle $n^2$ "moltiplicazioni di base" $a_ia_j$ in termini degli ...
Buongiorno a tutti. Scusatemi, studiando i reticoli mi sono trovata di fronte all'uguaglianza (a$vv$b)$^^$ c = b$^^$c con l'ipotesi che a$<=$c e sapendo che in generale a, b$<=$a$vv$b.. Ho ragionato in diversi modi per arrivare a dimostrare tale uguaglianza ma non ci sono riuscita . Tra gli ultimi ragionamenti ho dedotto che dovremmo avere che a $<=$ b$^^$c per ottenere l'uguaglianza ...
Buona sera a tutti, qualche buon anima sarebbe cosi gentile da spiegarmi come fare ad avere una classe resto positiva di una congruenza quando il numero è negativo. Ad esempio [-1665] modulo 44. Sono bloccato per questo su alcuni esercizi ed non riesco più ad andare avanti, grazie in anticipo.
Buona sera, ho un problema con questo esercizio:
sia la retta di equazione 3x + 25y + 23= 0 . Mi viene chiesto di determinare le coordinate del punto avente minima
ascissa nonnegativa.
Procedendo con Euclide e Bezout arrivo ad avere 3(184) + 25(-23)= -23
Da cui dico che ho come soluzione generale x= 184 +25k e y= -23 -3k
Pero non riesco a capire come arrivare alla soluzione del quesito, se qualcuno mi può aiutare lo ringrazio molto.
Scherzavo, l'ultima dimostrazione è questa
Ma oltre alla dimostrazione vorrei capirne gli utilizzi, intanto:
sia $G$ un gruppo e $N$ sottogruppo normale, allora esiste una corrispondenza biunivoca $psi:H->pi(H)$(dove $pi$ è la proiezione canonica) tra i sottogruppi di $G$ contenenti $N$ e i sottogruppi di $G/N$
la sostanza è che per un omomorfismo $h:G->G'$ si ha che se $HleqG$ allora ...
Salve sono uno studente delle superiori ed ho iniziato a studiare per conto mio un po' di aritmetica modulare.
Mi sono imbattuto in un problema,so che: $ x^(phi(m))-= 1 mod(m) $ quando x e m sono interi coprimi; per $ AA x,m in \mathbb {N^** } $ non necessariamente coprimi mi sono accorto che vale allora:
$ x^(phi(m))-= x^(n*phi(m)) mod(m), AA nin \mathbb {N^** } $ non sono però riuscito a trovare dimostrazioni di quest'ultima formula. Qualcuno potrebbe aiutarmi?
Ciao ragazzi, sto cercando di risolvere questo esercizio :
Sapendo che n! = n (n−1) (n−2)· · · 3 2 1, provare che n! < n^n dove n è un intero più grande di 1.
Ho effettuato il caso base e la proprietà risulta verificata per 2, il problema è che non so come procedere per :
P(n) -> P(n+1)
P(n) è verificata per ipotesi, quindi ho sviluppato il tutto in questo modo:
n * (n-1) * (n-2) * ... * 3 * 2 * 1 < n^n -> (n+1) * n * (n-1) * (n-2) * ... * 3 * 2 * 1 < n+1 ^ n+1
Il problema è che ora non so ...
So che probabilmente sarà una banalità ma non capisco il ragionamento dietro questa uguaglianza. Potete darmi una mano?
$\sum_{i=1}^n i = \frac{n*(n+1)}{2}$
Mi è rimasto quest'ultimo teorema sui gruppi da dimostrare:
sia $F={G_i : i=1,...,n}$ una famiglia di gruppi finiti di ordine $|G_i|=n_i$
allora sono equivalenti:
$prod_( i=1)^(n)G_i$ è ciclico
$forallh,k=1,...,n(hnek=>(n_k,n_h)=1)$ e $G_i$ è ciclico per ogni $i=1,...,n$
dimostrazione
(
salve, nella dimostrazione del teorema di Huppert (Se tutti i sottogruppi massimali di $G$ hanno indice primo, $G$ è supersolubile.) mi imbatto in questo passaggio:
"allora $|G:M|$ è coprimo con $p$, ovvero in altre parole, $|G:M|=1$ (mod $p$)"
non mi è chiaro questo passaggio perchè $|G:M|=d$ è coprimo con $p$ significa per Bezout che esistono $a,b \in \mathbb{Z}$ tali che $ad+bp=1$ ovvero in ...
Salve a tutti!
E' il primo post su questo forum e ho letto velocemente il regolamento per evitare i guai, se doveste avere qualche consiglio o critica su questo post vi prego di farmelo notare!
Ho il seguente polinomio:
$ p(x)=x^3+4x^2+ax+2 $
e mi viene chiesto di discuterne la riducibilità in $ Q[x] $ al variare del parametro "a". Ho pensato di usare il criterio di irriducibilità di Eisenstein ma credo proprio che sia l'approccio sbagliato in quanto significherebbe usare ...
In sede di esame la mia professoressa ha messo un esercizio dove in poche parole in un punto si chiedeva la seguente cosa:
Dato il sottogruppo $U_3(ZZ_p)$ delle matrici unitriangolari superiori di ordine tre a coefficienti in $ZZ_p$ e poi di considerare l’insieme
$G:=U_3(ZZ_p)timesprod_(k=1)^(m-3)ZZ_p$ con $mgeq3$
Chiaramente la sua cardinalitá è $p^m$ ma non è importante questo.
Chiedeva di considerare $Z(G)$ che torna essere semplicemente il prodotto tra il ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo