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
montanaro.giovanni
Salve, Mi potete aiutare gentilmente a capire cosa mi chiede l'esercizio sugli insiemi ?? Non avendo dimestichezza con la matematica, chiedo qui Siano B e C sottoinsiemi di un insieme A. Si dimostri che $C_A$ (B ∪ C) = $C_A$(B) ∩ $C_A$(C) e $C_A$(B ∩ C) = $C_A$(B) ∪ $C_A$(C) Grazie Tante
12
19 feb 2018, 20:11

David010
Buon pomeriggio a tutti, ho dei problemi a svolgere due esercizi in particolare di Calcolo Combinatorio, la stessa tipologia non sono riuscito a trovarla in altri topic ed eccomi qua, prima di postare il secondo vorrei sapere se nel primo qui di seguito ho ragionato bene oppure no. Testo esercizio 1. Determinare il numero di terne che è possibile formare utilizzando una sola volta i numeri compresi tra 1 e 25 in modo tale che la loro somma non sia 16. Svolgimento Primo dubbio, ...
4
20 feb 2018, 16:41

ilmatty98s
Potete aiutarmi nella risoluzione di questo esercizio? 1) I sottogruppi di H che ho trovato sono {0,2,3,4,6}; (sono giusti?) 2) Diagramma di Hasse sugli elementi di H; (non lo faccio perchè mi risulta difficile da tastiera, al massimo in seguito carico una foto) 3)Gli unici complementi che ho trovato sono: (3,4) MCD(x,y)=1 mcm(x,y)=12 4) H è distributivo perchè presi 3 valori (2,3,4) mcm(2, MCD(3,4))=(2,1)=2 mcm(2,3)=6 mcm(2,4)=4 MCD(4,6)=2 2=2 quindi è ...
2
19 feb 2018, 16:10

pisanivito
Buonasera a tutti. Sto preparando l'esame di algebra lineare, nelle varie tracce d'esame ho trovato le seguenti tracce. Sareste cosi gentili da descrivermi gli argomentazioni inerenti alle tracce in modo tale che possa focalizzarmi li? Mi potreste indicare testi di riferimento e/o dispense su queste argomentazioni? Grazie
4
13 feb 2018, 18:23

GualtieroMalghesi
Sia A l’insieme dei sottomultipli di 60. In A è definita la relazione:   $xRy$ $rArr$ $x$ è multiplo di $y$   Si verifichi che è una relazione di ordine largo, Si rappresenti con un diagramma a frecce. È una relazione di ordine totale?   L’insieme $A$ dei sottomultipli di 60 ha come elementi:   $A={1;2;3;4;5;6;10;12;15;20;30;60}$   Se $x$ è multiplo di $y$ $x=k*y$ $k$ ...
8
17 feb 2018, 07:13

Marco_math
Salve, ho un problema da risolvere in ambiente matlab (ma la soluzione può essere data anche se non lo si conosce). Ho un vettore di 19 elementi. Se lo grafico al variare dell'indice di riga ho un grafico che unisce i punti del vettore: il grafico mostra che l'andamento è strettamente monotono crescente quindi il grafico è una funzione invertibile. io voglio trovare l'inversa di questa funzione (funzione che devo costruire dato il vettore di 19 elementi di partenza, e poi invertirla) e poi mi ...
1
16 feb 2018, 18:47

jek9884
$ QQ^* $Salve, ho riscontrato un problema nello svolgimento di un esercizio riguardante gli omomorfismi. Il problema nasce dal fatto che so la teoria ma non riesco ad applicarla agli esercizi. I problemi in questione sono questi due: 1) Quali sono gli omomorfismi da ($ZZ$,+) in ($QQ^*$, $*$) ? 2) Quali sono gli omomorfismi da ($ZZ$,+) in ($Q_8$, $*$) ? Inoltre ho anche un dubbio per quanto concerne gli ...
3
8 feb 2018, 11:32

algibro
Devo determinare $Z(G)$ (centro), $I(G)$ (insieme degli automorfismi interni) e $Aut(G)$ per $G= ZZ_5, ZZ_7, ZZ_8$. Chiedo conferma della correttezza dei ragionamenti e metto in corsivo i dubbi che ho. $(ZZ_5, +), (ZZ_7,+), (ZZ_8,+)$ sono tutti e tre ciclici e quindi abeliani. Per questo motivo il centro di tutti e tre i gruppi coincide con il gruppo stesso: $Z(ZZ_5)=ZZ_5, Z(ZZ_7)=ZZ_7, Z(ZZ_8)=ZZ_8$. Se il gruppo $G$ è abeliano, dato $a \in G$, un automorfismo interno ...
5
4 feb 2018, 11:44

frak27
"Dimostrare che l'intersezione di due relazioni di equivalenza su uno stesso insieme è ancora una relazione di equivalenza" Cosa si intende per intersezione di due relazioni di equivalenza?
6
8 feb 2018, 13:52

sdkansdks
Si considerino l’insieme $A = {1, 2, 3, 4, 5, 6}$ e l’operazione binaria $⊥$ definita in $A$ ponendo $a ⊥ b = b$, per ogni $a, b ∈ A$. Come faccio a trovare l'elemento neutro? Vi prego, aiutatemi, ci sto sopra da tutto il giorno.
7
9 feb 2018, 21:26

ghost_7eight
Ciao a tutti, avrei un problemino su un esercizio di logica apparentemente banale, ecco il testo: 1a parte: Date tre proposizioni P, S e R, scrivere la tabella di verità (S =>P) or (R and S). E fin qui ci siamo. 2a parte: Determinare, motivandone la risposta, se la proposizione $ EE y in R $ t.c. $ AA s in N $ e $ AA a in Z $ si ha $ y-s +a != 0 $ è vera o falsa e scriverne la sua negazione. Ecco, per questa seconda parte non so da che punto partire e sono totalmente ...
5
7 feb 2018, 19:24

hank12
Salve, mi servirebbe un aiuto per risolvere il seguente esercizio: Dimostrare che per ogni $ n>=1(n!>=2^(n-1)) $ . Io sono arrivato a questo punto: Passo base: $ 1! =1>=1=2^(1-1) $ Passo induttivo: ipotesi induttiva: $ n!>=2^(n-1) $ Tesi induttiva: $ (n+1)!>=2^(n) $ $ (n+1)! =(n+1)*n!>=2^(n-1)*(n+1) $ Da questo punto in poi non so come continuare, Qualche suggerimento? Grazie
6
7 feb 2018, 13:24

luca661
Ragazzi ho un dubbio riguardo il procedimento di un esercizio che richiede di scrivere la forma normale disgiuntiva di un dato polinomio. Userò \(\displaystyle ' \) per il complemento, \(\displaystyle \vee \) per \(\displaystyle OR \) e sottointendo l' \(\displaystyle AND \) Ho quindi \(\displaystyle a' \vee b' \vee c \) Devo scriverne la forma norm. disg. Spezzo il problema per ordine mentale cominciando da \(\displaystyle a' \): ho quindi \(\displaystyle a'(1)=a'(b \vee b') = a'b ...
1
1 gen 2018, 15:22

lcdatti
Salve, sto tentando di risolvere questo esercizio e ho abbozzato questa dimostrazione, ma sono poco convinto su un passaggio. HP: G gruppo H sottogruppo normale di G e sottoinsieme del centro. TH: G/H ciclico => G abeliano Dim. G/H è ciclico, dunque \(\ \exists g'H \in G/H \) tale che \(\
2
23 gen 2018, 16:05

Noemi_9898
Consideriamo f: GxG in G definita da f((x,y))=xy come si determina un isomorfismo tra Ker(f) e G?
15
2 gen 2018, 16:24

Firefilo1
Salve a tutti! Come da titolo, ho un dubbio riguardo i campi finiti ed in particolare quello che riguarda la costruzione di un campo finito. Poichè sto studiando la seguente parte da una dispensa trovata su google, vi lascio il link come riferimento dato che tale dubbio parte proprio da una osservazione fatta a pagina 9: http://people.unipmn.it/catenacc/mec/campifiniti.pdf Iniziamo con la introduzione al problema: Partendo dal paragrafo 4 di pagina 8, ho il Teorema di Struttura che mi da la seguente proposizione: Sia ...
1
2 feb 2018, 21:31

scarsoalcubo
Ciao a tutti, sono un autodidatta che ha imparato in 6-7 mesi le basi della matematica (anche se con difficoltà) per poter frequentare al meglio l'università di informatica. L'anno prossimo, quando andrò, dovrò affrontare l'esame "matematica discreta" e non voglio trovarmi troppo impreparato. Non pretendo di saper fare l'esame già prima di andare all'università, ma vorrei acquisire tutte le basi e le nozioni per poter affrontare questo esame con facilità. Quali argomenti dovrei studiare? grazie ...
3
1 feb 2018, 16:44

ilmatty98s
Potreste dire come faccio a determinare quando un gruppo è ciclico o meno? Preferirei partire da degli esercizi più semplici per poi arrivare a fare fio che ho scritto nella domanda? Potreste aiutarmi? Grazie
3
28 gen 2018, 18:48

erimasi
salve a tutti volevo avere la certezza di un appunto che ho fatto sul mio quaderno. un insieme se totalmente ordinatoammette solo massimi e minimi giusto?
3
1 feb 2018, 19:24

Lorin1
Salve, sto preparando l'esame di algebra I e nel ripetere la teoria mi è sorto un attimo un dubbio sulla definizione di insieme totalmente ordinato. In pratica un insieme $S$ con $<=$ è totalmente ordinato se vale: riflessiva, simmetria, asimmetrica, transitiva? cioè in pratica se valgono le tre proprietà della relazione d'ordine più il fatto che: $a<=b or b<=a$? grazie
5
21 giu 2009, 13:06