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
sono costretto a scrivere senza usare il vostro editor comunque:
dato il resto della divisione tra interi generici r=n-qd affinchè il numero n sia primo è necessario e sufficiente che tutti i resti di n/d con 2
L'espressione è z=4xy+2x+2y+1 Il problema è di mettere in ordine crescente i valori di z=4xy+2x+2y+1 al variare in modo indipendente di x e y con x=1....n e y=1.....n. Non sò proprio come fare!( associando a z l'equazione di un paraboloide iperbolico e usare le proprietà delle rigate oppure non sò). Oppure usando le proprietà delle forme quadritiche e delle forme lineari essendo z la somma di una forma quadratica con una lineare
ho visto che gli zeri della funzione z cioè i valori di b del numero S=a+ib sono dati tutti in forma decimale
quindi mi è venuto il dubbio che siano apprassimati; perchè non scrivere b=M/N oppure b=una qualche combinazione di pi greco (faccio per dire)
Salve,
è noto che la tavola di verità dell'implicazione materiale risulta essere:
A | C | A->C
0 | 0 | 1
0 | 1 | 1
1 | 0 | 0
1 | 1 | 1
Da questa si può desumere la seguente funzione boleana:
(1) A-> C = (NOT A)(NOT B) +(NOT A)B +AB.
E' però anche noto che questa può essere semplificata fino alla seguente formula:
(2) A -> C = NOT(A(NOT B))
Potreste mostrami attraverso quali passaggi/semplificazioni si passa dalla (1) alla (2) ?
Grazie
Siete al corrente di qualche costruzione geometrica che consenta di trasportare la lunghezza del raggio su quella della circonferenza associata?
Un fatto simpatico che dimostra un affare combinatorio con l'algebra lineare.
Sia \(S\) un insieme finito, \(|S|=n\); si consideri lo spazio vettoriale \(V\) di dimensione \(2^n\) di tutte le funzioni \(2^S \to \mathbb{R}\), e l'applicazione \(\varphi : V \to V\) definita da
\[\varphi(f) : T \mapsto \sum_{Y\supseteq T} fY\]Mostrare che \(\varphi\) è un isomorfismo.
\((\star\star)\) Calcolare \(\det \varphi\).
Un fatto simpatico che ho imparato oggi: forse c'è una dimostrazione più semplice, che non fa uso di un "trucco" (come si dice in italiano "swindle"?).
Se \(A,B,C\) sono insiemi finiti, ed esiste una biiezione \(A\sqcup C\cong B\sqcup C\), allora esiste una biiezione \(A\cong B\); chiaramente (?) è falso per insiemi infiniti.
E' in effetti vera una cosa più forte: se si chiamano
- \({\sf B}(X,Y)\) l'insieme delle biiezioni tra l'insieme $X$ e l'insieme $Y$;
- ...
Sia \( d \geq 2 \) un intero privo di quadrati, e consideriamo l'equazione di Pell, i.e.
\[ x^2 -d y^2 = 1 \]
a) Per \( z = a + b \sqrt{d} \in \mathbb{Z}[\sqrt{d}] =:A \), definiamo \( \overline{z} = a- b \sqrt{d} \) e \(N(z)= z \overline{z} \). Dimostra che \(N(z_1z_2)=N(z_1)N(z_2) \) e che l'insieme delle soluzioni \( A_1^{\times} \) dell'equazione di Pell formano un sottogruppo di \( A^{\times} \).
b) Dimostra che \( \phi : A_1^{\times} \to (\mathbb{R},+) \), \( a +b \sqrt{d} \mapsto \log ...
1
Studente Anonimo
15 mar 2021, 18:34
Salve ragazzi sto cercando di risolvere il seguente esercizio:
Se A e B sono due insiemi che hanno n elementi, quante possibili funzioni
f : A → B biunivoche si possono costruire?
però non ho capito bene come impostarlo , come considerazioni ho pensato che se A e B sono formati da n elementi le possibili funzioni sono date da b^a=n , però per determinare quelle biunivoche non saprei come procedere , potreste per favore darmi una mano?
Sia \( \zeta_p \) una radice primitiva \(p\)-esima dell'unità, \(p\) un numero primo dispari. Definiamo
\[ \tau = \sum_{ a \in \left( \mathbb{Z}/p\mathbb{Z} \right)^{\times} } \left( \frac{a}{p} \right) \zeta_p^{a} \]
Dove \( \left( \frac{ \cdot }{p} \right) \) è simbolo di Legendre.
Dimostra che l'ideale \((q,\tau)=1\) in \( \mathbb{Z}[\zeta_p] \) (hint \((q,\tau^2 ) \subseteq (q,\tau) \)).
Io ho dimostrato che \( \tau^2 = \left( \frac{ -1}{p} \right)p \). Immagino che \( (q,\tau) = 1 \) ...
20
Studente Anonimo
13 mar 2021, 04:28
Dimostra che il simbolo di Legendre è l'unico carattere reale non banale su \( \left( \mathbb{Z}/p\mathbb{Z} \right)^{\times} \).
Io ho pensato a questo: Denotiamo con \( G_{\mathbb{R} } \) il gruppo dei caratteri reali su \( \left( \mathbb{Z}/p\mathbb{Z} \right)^{\times} \) e con \( G_{\mathbb{C}} \) il gruppo dei caratteri complessi su \( \left( \mathbb{Z}/p\mathbb{Z} \right)^{\times} \).
Sia \( \chi : \left( \mathbb{Z}/p\mathbb{Z} \right)^{\times} \to \mathbb{R}^* \) un carattere non ...
2
Studente Anonimo
12 mar 2021, 20:20
Sapete dirmi come si calcola l’insieme quoziente? Ad esempio in
$f:(a,b)\in NxN \iff a^2 +b^2 \in N$
La cardinalita dell’ insieme quoziente A/~ come lo posso calcolare?
Dato il polinomio $f(x) = x^(p^2)-x^p-1 in ZZ[x]$
Per $p = 3$, determinare una fattorizzazione della riduzione di $f(x)$ modulo $3$ in $ZZ_3[x]$.
Per definizione: $f(x)=[1]_3*x^9+[-1]_3*x^3+[-1]_3=x^9+[2]_3*x^3+[2]_3$ è la sua riduzione...
Come posso fattorizzarlo?
Con Ruffini non posso fattorizzarlo, perchè non trovo radici...
1)Siano date, $S_24$ , le permutazioni $\sigma$, di struttura ciclica $(6,5,4,3,1,1,1,1,1,1)$, e $\sigma$ , di
struttura ciclica $(11,7,3,3)$. Provare che l’intersezione $<\sigma>nn<\tau>$ è il sottogruppo banale.
Io ho provato a svolgerlo così, ma sul finire mi blocco...
L'ordine di $<\sigma>$ è 60, mentre quello di $<\tau>$ è 231, allora se considero la loro intersezione, ogni elemento avrà un periodo che dovrà dividere sia 60 che 231 e quindi il ...
Spero sia la sezione adatta, comunque spiego il mio problema. Ho un numero n a 24 cifre e vorrei calcolare
$a^{n-1}$ (mod n), dove $a=2,3,5,7,11$. Conosco algoritmi per sviluppare queste potenze, il problema è che essendo $n$ oltremodo grande non può essere rappresentato in macchina. Come posso fare? C'è qualche trucco o proprietà particolari da sfruttare (conosco il numero n ma su di lui so ben poco, ad es. non so se è primo)?
Sia \( \mathbb{F} \) un campo di caratteristica diversa da 2. Definiamo l'anello dei quaternioni su \( \mathbb{F} \), denotato \( \mathbb{H}_{\mathbb{F}} \), come spazio vettoriale su \( \mathbb{F} \) dato da
\[ \mathbb{H}_{\mathbb{F}} = \mathbb{F} \oplus \mathbb{F} i \oplus \mathbb{F} j \oplus \mathbb{F} k \]
insieme alla struttura di anelli data da
\[ i^2=j^2=k^2 = -1 \]
\[ ij = -ji \]
e
\[ k = ij \]
Per \( q = x + yi + zj + wk \) definiamo \( \overline{q} = x - yi - zj - wk \) e \( N(q) = q ...
18
Studente Anonimo
28 feb 2021, 15:55
Dato in $S_18$ la permutazione $\sigma=(1,2,3)(4,5,6,7)(8,9,10,11,12,13)(14,15,16,17,18)$ e sia $G=<\sigma>$ il gruppo ciclico da essa generato.
Allora devo determinare un sottogruppo ciclico di $S_18$ che abbia ordine 9 e tale che la sua intersezione con G non sia banale.
SVOLGIMENTO:
Il sottogruppo che sto cercando è del tipo $K=<\alpha>$ dove $\alpha$ è un elemento periodico con periodo 9.
Cerco quindi in G dei possibili elementi che abbiano periodo 9, oppure 3.
Usando la ...
Tra una cosa e l'altra mi si chiede di dimostrare che posto \( j := e^{2\pi i/3} \) allora per ogni \(p \geq 2 \) primo risulta che
\[ \mathbb{Z}[j] / (p) \cong \mathbb{F}_p[X] / (X^2+X+1) \]
Allora in primo luogo io ho dimostrato che \( \mathbb{F}_p[X] / (X^2+X+1) \cong \mathbb{F}_p[j] \) notando che \( X^2+X+1 \) è il polinomio minimale di \( e^{2 \pi i /3} \) e quindi è il \( \ker \) della mappa che valuta un polinomio in \( \mathbb{F}_p [X] \) in \( j\). Poi ho semplicemente detto ...
11
Studente Anonimo
27 feb 2021, 00:26
Definizione di classe caratteristica: un modo di associare ad ogni fibrato vettoriale alcune classi di coomologia dello spazio base.
Ho due domande
- che cosa sono le classi di coomologia? Leggendo qui
https://ncatlab.org/nlab/show/cohomolog ... ic_classes
sembrerebbero essere delle classi di equivalenza.
- Per 'spazio base' cosa si intende? quello da cui si parte? uno spazio topologico? uno spazio vettoriale?
Per esempio, the cohomology ring of classifyng space BG provides the characteristic classes for principal ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo