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
Lightmind
stabilire se esistono radici non banali del polinomio \(\displaystyle x^5-1 \) in \(\displaystyle F_{16} \) In caso di risposta positiva, determinarle. Inizio con l'osservare che il gruppo moltiplicativo di \(\displaystyle F_{16} \), che denoto con \(\displaystyle F_{16}* \), è ciclico e ha ordine 15. Sia a un generatore di \(\displaystyle F_{16}* \), allora \(\displaystyle a ^{15}=1 \). Se esiste una radice b di \(\displaystyle x^5-1 \) in \(\displaystyle F_{16} \), questa deve essere tale ...
6
21 ott 2013, 14:20

DR1
Perché $p/(q sqrt2)$ è irrazionale ?
9
DR1
14 nov 2013, 12:20

Pappappero1
Mi e' venuta in mente una cosa probabilmente banale, ma per cui non ho trovato fonti. Nella definizione di limite diretto/inverso, qui e qui le corrispondenti pagine di wiki, per definizione si vuole che l'insieme degli indici sia diretto. Ma e' davvero necessario? Esempio. Proviamo a fare un limite inverso di gruppi su un insieme che non e' un insieme diretto. Sia $D'$ un insieme diretto e sia $D = D' \cup \{p \}$ dove $p$ e' un nuovo ...
1
15 nov 2013, 16:09

matematicamenteparlando
ciao a tutti, ho il seguente esercizio in cui devo usare l'induzione ma sinceramente non so dove mettere le mani: "Si dimostri mediante induzione l'asserto seguente: per ogni n>4 è vera la disuguaglianza $ 2^n>n^2$" Vi ringrazio molto per l'attenzione
7
15 nov 2013, 11:38

bbrR1
Buonasera ho bisogno di un aiuto per quanto riguarda una dimostrazione per assurdo, lasciato dalla prof a lezione. L'esercizio era dimostrare per assurdo che [tex]\sqrt{2}[/tex] è un numero irrazionale Comincio negando la tesi, quindi affermo che [tex]\sqrt{2}[/tex] è un numero razionale, dato che [tex]\sqrt{2}[/tex] è razionale, allora [tex]\exists m,n \, \, appartenenti a\, \, \mathbb{Z} /\sqrt{2}=\frac{m}{n}[/tex] quindi continuo così: [tex]\sqrt{2}=\frac{m}{n}[/tex] allora ...
2
15 nov 2013, 17:08

DavideGenova1
Ciao, amici! Rieccomi... Nella dimostrazione del lemma per cui per ogni gruppo finito $H$ di esponente un $d$ che divide $n\in\mathbb{N}-\{0\}$ esiste un isomorfismo di gruppi \(H\simeq \text{Hom}(H,\mathbb{Z}/n\mathbb{Z})\) trovo utilizzato un omomorfismo\[\mathbb{Z}\to\text{Hom}(\mathbb{Z}/d\mathbb{Z},\mathbb{Z}/d\mathbb{Z}),\quad\quad 1\mapsto\text{id} \]che, dice il Bosch, è chiaramente [evidentemente l'autore del mio testo sopravvavaluta uno dei suoi lettori (me)] un ...
6
13 nov 2013, 14:22

Saph1
Ciao ragazzi, qualcuno mi potrebbe spiegare il "significato" del gruppo quoziente? Al di la della definizione formale, vorrei capire qual è l'idea o l'intuizione che ha portato alla definizione del gruppo quoziente e come posso "visualizzarlo" rapidamente nella mia mente. Non so se la richiesta è chiara, quindi faccio un esempio per spiegarmi meglio: prendiamo in considerazione gli omomorfismi. Attraverso un omomorfismo noi possiamo "collegare concettualmente" due gruppi diversi (che si ...
1
13 nov 2013, 17:55

Valentino.gandolfo
C'è qualcosa che non mi convince nel teorema 7.8 che enuncia la seguente tesi: Se \(S\) e \(H\) sono due sottogruppi di \(G\), allora \(S \cup H\) non è sottogruppi di \(G\), tranne nel caso in cui \(H \subseteq S\) oppure \(S \subseteq H\). Qualcono riuscirebbe ad spiegarmelo?
8
14 nov 2013, 16:54

alexqwertyuiopoiu
Salve a tutti, complimenti per il forum, vi seguo da tanto e sono riscito a chiarire un bel po' di dubbi grazie a voi. Ultimamente sono alle prese con un piccolo esercizio che ho trovato anche qui (postato dall'utente valeee93) ma a cui nessuno ha risposto (ed io non ho idea di come fare). L'esercizio è : "Trovare i sottogruppi di ordine 3 e quelli di ordine 5 nel gruppo S4." Qualcuno può aiutarmi? Grazie infinite.
2
14 nov 2013, 17:17

Gost91
Salve a tutti! Non so se questa è la sezione più adatta per il problema che sto per porre, sicché mi scuso in anticipo in caso abbia sbagliato. Dunque, credo di non afferrato correttamente il concetto di assioma. Per quello che mi risulta, un assioma è una proposizione assunta vera a priori, in quanto non derivabile da alcun altra proposizione. Mi chiedo allora, in generale cosa si intende per "soddisfare un assioma" ? Se un assioma è una proposizione vera a priori non ha senso verificare ...
2
9 nov 2013, 13:20

hyoukarou
Ho ripreso quel libro e ho cominciato a svolgere tutti gli esercizi, se qualcuno può controllare le soluzioni di alcuni gliene sarei molto grato(ma non troppo ) 1. Se \(G\) è un gruppo nel quale \((ab)^i = a^i b^i\) per tre interi \(i\) consecutivi e per ogni coppia di elementi \(a, b \in G\) allora \(G\) è abeliano. Sia \((ab)^i = P\), sappiamo che \(aPb = a^{i+1}b^{i+1} = (ab)^{i+1} = (ab)P\) dunque cancellando la \(a\) si ottiene \(Pb = bP\) ovvero \(P \in Z(G)\). Infine \((ab)P(ab) = ...
11
3 nov 2013, 11:52

galois23
Ciao a tutti!! Qualcuno potrebbe darmi la definizione di sottogruppo massimale di un gruppo. In pratica ho il seguente risultato: Se \(\displaystyle G \) è un gruppo d'ordine \(\displaystyle p^a q^b \) con \(\displaystyle p,q \) primi distinti e \(\displaystyle a,b \) interi, allora \(\displaystyle G \) è risolubile. Si prova per induzione su \(\displaystyle |G| \). - Se \(\displaystyle |G|= 1\), banale. - Se \(\displaystyle |G|>1 \), consideriamo il sottogruppo normale \(\displaystyle N ...
3
9 nov 2013, 11:17

DavideGenova1
Ciao, amici! Voglio dimostrare che il gruppo \((\mathbb{Z}/p^r\mathbb{Z})^{\ast}\) delle unità di \(\mathbb{Z}/p^r\mathbb{Z}\) con $p$ primo dispari e $r>0$ è ciclico. Il mio testo suggerisce preliminarmente di dimostrare che il nucleo dell'omomorfismo canonico \((\mathbb{Z}/p^r\mathbb{Z})^{\ast}\to(\mathbb{Z}/p\mathbb{Z})^{\ast}\) è un gruppo ciclico osservando che $1+p$ ha ordine $p^{r-1}$ in $W$. A me sembra che il nucleo ...
3
7 nov 2013, 18:13

Studente Anonimo
Ciao! Dovrebbe essere un risultato noto, ma non riesco a pescarlo. Sia [tex]k[/tex] un intero positivo. Scrivo [tex]\mathbb{N} = \{1,2,3,\ldots\}[/tex]. E' vero che l'equazione [tex]\frac{1}{X_1} + \cdots + \frac{1}{X_k} = 1[/tex] ha un numero finito di soluzioni [tex](X_1,\ldots,X_k) \in \mathbb{N}^k[/tex]? In altre parole e' vero che l'insieme [tex]\{(X_1,\ldots,X_k) \in \mathbb{N}^k\ :\ \sum_{i=1}^k \frac{1}{X_i} = 1\}[/tex] e' finito? Martino
6
Studente Anonimo
23 ott 2013, 17:44

DavideGenova1
Ciao, amici! Non mi piace disturbare per esercizi di natura così "numerica", ma, dato che il mio dubbio riguarda proprio il come procedere nel caso generale di polinomi qualsiasi, torno ancora una volta qui... Vorrei trovare i gruppi di Galois di questi polinomi a) $X^3+6X^2+11X+7\in\mathbb{Q}[X]$ b) $X^3+3X^2-1\in\mathbb{Q}[X]$ c) \(X^4-X^2-3\in\mathbb{Z}/5\mathbb{Z}[X]\) d) \(X^4+7X^2-3\in\mathbb{Z}/13\mathbb{Z}[X]\) e so che è necessario imporre che la restrizione di ogni gruppo di Galois alle ...
10
2 nov 2013, 12:00

DavideGenova1
Ciao, amici! Non riesco proprio a dimostrare che per i polinomi ciclotomici $\Phi_k$ vale, per $n>2$ dispari, l'uguaglianza\[\Phi_{2n}(X)=\Phi_n(-X)\]Cercando informazioni in rete ho scoperto la rappresentazione dell'$n$-esimo polinomio ciclotomico utilizzando l'inversione di Möbius $\prod_{d|n}(X^{n/d}-1)^{\mu(d)}$, ma non riesco ad applicarla a questo caso... Qualcuno ha qualche idea? Inoltre volevo chiedere proprio circa l'applicazione dell'inversione di Möbius: il ...
3
8 nov 2013, 13:17

thebest_i_one
Salve, sono uno studente di Fisica e studiando Meccanica quantistica si scopre che la teoria dei gruppi ha un importanza fondamentale. A dire la verità è fondamentale anche per la teoria dei campi classici. Vi vorrei chiedere una curiosità che è sorta incontrando il primo di questi gruppi che di solito si studia: il gruppo delle traslazioni. Un generico elemento del gruppo si può scrivere così: \(\displaystyle T(\Delta x' \hat{x}) =exp(-\frac{ip \cdot \Delta x' \hat{x}}{\hbar})\) dove p è un ...
6
8 nov 2013, 11:07

50001
Buonasera e grazie in anticipo per l'attenzione Sia G un gruppo finito e siano H,K,L sottogruppi di G. Dimostrare: G=H∪K∪L ===> |G:H|=|G:K|=|G:L|=2 NB: ∪ è ovviamente l'unione gruppale, non l'unione insiemistica. Avete qualche idea?
3
8 nov 2013, 02:00

dolce590
Ho un gruppo di ordine 231 e devo dimostrare che l'11-Sylow è contenuto nel centro. In teoria riesco a dimostrare che il gruppo è abeliano, usando però il prodotto diretto tra gruppi ciclici. Non voglio però intraprendere questa strada, qualcuno ha qualche idea? posso dimostrare che il centro è non banale?
6
26 giu 2011, 18:50

DavideGenova1
Leggo su un testo di logica che una formula ben formata deve racchiudere tra parentesi ogni coppia di formule connesse da un operatore binario come \(\land\) e \(\lor\), sicché \((P\land (Q\land R))\) è corretta, mentre \((P\land Q\land R)\) non lo è. Più informalmente, così come è concesso scrivere \(P\land (Q\land R)\), è consentita, in forma abbreviata, una scrittura del tipo \(P\land Q\land R\)? Inoltre, mi è capitato di trovare in dimostrazioni matematiche cose del tipo ...
3
6 nov 2013, 22:21