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
miuemia
un esercizio carino... sapendo noto il teorema che afferma : sia $F$ un campo a caratteristica $0$ un polinomio $f\inF[x]$ è risolubile per radicali se e solo se il suo gruppo di Galois è risolubile. vi chiedo di trovare polinomi o classi di polinomi non risolubili per radicali... ciao a tutti scusate ho fatto un po di confusione...prima.
1
6 dic 2007, 13:29

rocco12341
Salve ragazzi, la prossima settimana ho l'esame di geometria e algebra all'università, e tra gli esercizi proposti ci sarà sicuramente una classificazione di una conica. Il prof però avendo finito le suo ore di lezione ci ha detto che dobbiamo studiare dal libro come si fa la classificazione. Il problema è questo dal libro non si capisce niente. La mia domanda è se ho una conica di equazione: $x^2+2y^2+4xy-2y+1=0$ come faccio a classificare tale conica e a trovare il centro di ...
2
31 gen 2013, 10:48

Vash437
Ciao, vi chiedo supporto per questo esercizio di matematica discreta, non credo sia troppo difficile ma non riesco a capire come muovermi e applicare le regole della relazione di equivalenza : punto primo Sia A = { 1, 2, 3, 4, 5, 6} un insieme con 6 elementi e si supponga $A = A1 \uu\ (A2 \uu\ A3)$ con $Ai \nn\ Aj =$ vuoto se $i \!=\ j$ e $Ai \!=\ $ vuoto ; con $ i \in\ $ { 1, 2, 3 }. Si provi che esiste una e una sola relazione di equivalenza R su A tale che l'insieme ...
1
29 gen 2013, 11:40

noipo
Come si svolge questa tipologia di esercizi: quanti $k–cicli$ ci sono nel gruppo $S_n$? Esempio: Quanti $3–cicli$ ci sono nel gruppo $S_5$? Quale formula di applica? Grazie
4
28 gen 2013, 16:39

giocind_88
Buonasera a tutti . Dando attenzione al teorema che afferma che Due campi ordinati completi sono isomorfi, con l'utilizzo delle "code razionali" (concezione numeri reali dovuta a Russell), considerando i sottocampi razionali di tali due campi (in particolare,poichè i campi sono ordinati, la loro caratteristica è zero, quindi il sottocampo razionale è isomorfo a Q) Q1 e Q2, ho difficoltà nel provare che l'applicazione che va dal campo 1 al campo 2 è un isomorfismo. Ho preso anche la ...
3
30 gen 2013, 16:20

Linux1987
Fissato $N$ risulta che $\omega_N$ è una radice N-sima dell'unità primitiva, dove $\omega_N=e^(i2\pi/N)$. Ma risulta una radice N-sima dell'unità primitiva anche $(\omega_N)^(-1)=e^(-i2\pi/N) $. Perche?
9
24 gen 2013, 22:08

eisen1
Questa domanda riguarda semplicemente un esercizio da un eserciziario di geometria e algebra sulle congruenze mod(M). Il mio metodo risolutivo è abbastanza meccanico, ma trovo trovo spesso soluzioni molto differenti, mi chiedo se sbaglio qualcosa io o è il libro che è fatto all'acqua di rose (libro scritto dalla prof, ovviamente =\) Vado al punto: Risolvere la seguente congruenza $15x-=10mod20$ $(15,20)=5$ (MCD) ho 5 soluzioni non congrue tra loro quindi. Procedo con l'identità di ...
3
28 gen 2013, 20:01

ladyna1
Ciao, sto studiando per l'esame di Matematica Discreta. Ho un problema con un esercizio sulle funzioni, penso che la soluzione sia molto semplice ma proprio non riesco ad arrivarci. L'esercizio e' questo: Determinare quali delle seguenti relazioni sono funzioni e per quelle che lo sono specificare se sono iniettive, suriettive o biunivoche. (a) A = { -2, -1, 0, 1, 2}, B = { 0, 1, 4}, f : A --> B definita da f(x) = x^2 Ma qual e' la procedura per determinare se e' una funzione?
8
28 gen 2013, 13:02

perplesso1
Sia $\mathcal A$ una categoria. Sono equivalenti le affermazioni: a) $\mathcal A$ possiede un oggetto iniziale $0$ b) Il funtore identico $id_\mathcal{A}: \mathcal {A -> A}$ ammette limite c) ogni funtore $F: \mathcal {A -> C}$ ammette limite Mi blocco subito sull'implicazione a) $=>$ b) tutto quello che riesco a dire è che detto $!_A : 0 -> A$ l'unico morfismo fra $0$ ed un oggetto $A \in Ob(\mathcal{A})$ allora $(0, !_A)_{A \in Ob(A)}$ è un cono sul funtore identico ...
9
24 gen 2013, 19:09

WKerber
Dimostrando la bigezione tra i due insiemi, mi è venuta questa idea di considerarli come due gruppi e far vedere che sono isomorfi. P(X) cioè l'insieme dei sottoinsiemi di X con l'operazione di intersezione, l'insieme delle funzioni da X in {0,1} che per comodità chiamerò F con l'operazione prodotto definita come segue: [tex](f*g)(x)=f(x)g(x)[/tex] Ora, l'isomorfismo l'ho descritto così: [tex]\phi:P(X) \longrightarrow F \\A \longrightarrow f: x \rightarrow 1\ se\ x \in A, 0 \ ...
2
26 gen 2013, 22:45

nuwanda1
Salve a tutti! Come da titolo, sono impelagato nella comprensione del $GCD$ in un dominio d'itnegrità. Intanto l'esercizio da cui sono partito: sto cercando $(2,x)$ nell'anello dei polinomi a coefficienti interi, ovvero in $Z[x]$. Dovrebbe essere $1$ a rigor di logica, ma non so come dimostrarlo! Più in generale,se sono in un $PID$ il modo di trovare il $GCD$ è abbastanza facile (il $GCD$ tra ...
3
23 gen 2013, 15:37

gienoveffa91
Sia p un primo e sia k > 0 un divisore di (p - 1). Un elemento x $ in $ Z/pZ si dice k-esima potenza se esiste y $ in $ Z tale che $ x= Y^k $  (a) Dimostrare che x $ in $ Z/pZ è k-esima potenza se e solo se $ X^(p-1)/k= 1 $ in Z/pZ  (b) Dimostrare che { $ x^k : x in $ Z/pZ } è un sottogruppo di Z/pZ di cardinalità (p-1)/k 
1
23 gen 2013, 22:28

Plepp
Salve ragazzi. Ho in $S_{18}$ due permutazioni $\sigma$ e $\tau$ di ordine rispettivamente 60 e 120. Posto $H:=<\sigma>\cap<\tau>$, devo provare che $|H|=30$. Io ho ragionato così: poiché $<\sigma>$ e $<\tau>$ sono sottogruppi, allora la loro intersezione, ovverosia $H$ è ancora un sottogruppo di $S_{18}$. Inoltre, essendo $H\subseteq<\tau>\le S_{18}$, ho che $H\le<\tau>$ (analogamente si ha $H\le<\sigma>$). Essendo ...
9
25 gen 2013, 17:42

giuliacarlino1993
Salve ragazzi non riesco a dimostrare che il sottogruppo di un gruppo ciclico è caratteristico?? Come dovrei fare??
2
23 gen 2013, 22:44

Plepp
Salve ragazzi, dovrei verificare che un certo numero complesso $z_0$ è soluzione di un'equazione del genere: \[g(x)=x^{100002}+x^{100000}-13333x^2-13333=0\] E' la prima volta che mi trovo di fronte a un problema del genere, non saprei come comportarmi Mi conviene tentare di provare, in qualche modo, che $g(x)$ è divisibile per $(x-z_0)$? EDIT: con l'algoritmo di Ruffini posso provare, in una maniera un po' rozza, che $(x-z_0)$ non divide ...
7
25 gen 2013, 02:10

Linux1987
Dati due numeri $M,M+1 \in Z $ perchè si ha sempre che $MCD(M,M+1) =1 $?
3
24 gen 2013, 22:02

mdoni
Salve a tutti, sto tentando di dimostrare un risultato di logica del prim'ordine, ma non ne vengo fuori. Si tratta di mostrare che: Detto \(\Delta \subseteq Form_L \) per un certo linguaggio del prim'ordine \( L \), \( \varphi \in Form_L, x \) una variabile che non occorre libera in \( \Delta \) né in \( \varphi \), e \( c \) un simbolo di costante. Allora \[ \Delta \vdash \varphi \Rightarrow \Delta[c/x] \vdash \varphi[c/x] \] Ora, immagino si debba procedere per induzione sull'insieme delle ...
1
25 gen 2013, 00:05

Annutz
chi mi può aiutare su questo esercizo? Grazie in anticipo. sia K un campo con 9 elementi. Quanti elementi primitivi ha K ?
4
24 gen 2013, 17:34

Covelli1
Salve, vorrei proporvi il seguente problema, tratto da un esame di matematica discreta: "Quante sequenze di dieci numeri strettamente crescenti è possibile formare utilizzando i numeri della tombola?" Chi può aiutarmi? Grazie
1
24 gen 2013, 12:26

giuliacarlino1993
Salve ragazzi non riesco a risolvere questo esercizio. Dovrei calcolare la cardinalità degli elementi invertibili dell'anello quoziente Zp[x]/(X^2+1). Io so che gli elementi di questo anello sono della forma $ alpha chi + beta $, e il numero degli elementi dell'anello è dato da $ rho \cdot rho $ .Per sapere invece la cardinalità degli elementi invertibili ho pensato di fare una distinzione tra i $ rho -=1mod4 $ e i $ rho -=3mod4 $ . Ma a questo punto mi sono bloccata. Chi potrebbe ...
4
23 gen 2013, 22:32