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
Aletzunny1
Ciao a tutti! Sto trovando difficoltà nel capire la soluzione di questo problema di algebra 1. Ho scritto i miei dubbi nello svolgimento. Grazie mille a chi mi aiuterà. Siano dati i gruppi $Inv(Z/12)$, $Inv(Z/16)$. Determinare se questi gruppi sono ciclici. Il gruppo $Inv(Z/12)$ ha ordine $4$, quindi i suoi elementi possono avere ordine $1$,$ 2$ o $4$. Gli elementi di $Inv(Z/12)$ sono del tipo $[a]_12$ con a ...
19
4 gen 2020, 19:55

BIGsmoog
Salve a tutti, ho cercato a lungo sulla rete ma non trovo niente che possa aiutarmi, spero che qualcuno sotto ci riesca. Non riesco a capire una dimostrazione per il mio esame di Discreta, probabilmente sarà una cosa banale ma non ci arrivo proprio. Il teorema è il piccolo teorema di Fermat e questa è la dimostrazione: Se MCD(a, p) = 1 => [a] (modp) appartiente a U(Zp) "Elementi invertibili di Zp", la quale dimensione è p-1. => [a]^p-1 (modp) = [1] (modp)
2
6 gen 2020, 19:15

jinsang
C'è questo lemma sui gruppi che ciclicamente entra ed esce dalla mia testa. Lo posto qui in forma di esercizio, con la duplice utilità di fornire un riferimento al me del futuro e lasciare a chi vuole esercitarsi del materiale . LEMMA Sia $G$ gruppo[nota]Non necessariamente finito, anche se poi il LEMMA lo uso praticamente solo nel caso finito.[/nota], $H<G$ sottogruppo con $[G]=j$. Dimostrare che esiste \( N \lhd G \) tale che $j<=[G]<=j!$. Più ...
2
4 gen 2020, 16:42

Studente Anonimo
Ho un problema nel punto c) di questo esercizio, scrivo anche i punti a) e b) perché introduce una notazione. Anche per il punto b) ii), non so cosa sbaglio Sia \( \phi : G \to G' \) un omomorfismo di gruppi a) Siano \( Y,Y' \) dei \( G' \) insiemi. Dimostra che se \( v : Y \to Y' \) è un applicazione \( G' \) equivariante allora \( v : Y \to Y' \) è anche \( G \) equivariante dove \( Y \) e \(Y' \) sono dei \(G \) insiemei via l'azione indotta per \( \phi \). Notiamo \( {}^\phi v: {}^\phi Y ...
12
Studente Anonimo
4 gen 2020, 18:07

Pasquale 90
Buongiorno, ho la seguente funzione $f:x in NN \ to \ -(x-1) in ZZ$ devo determinare $f(NN)$ e $f^(-1)(ZZ).$ Ricordo: Definizione di immagine di un insieme considero $g:S to T$ sia $X subseteq S,$ Si definisce immagine di $X$ mediante $g$ il sottoinsieme $g(X)={y in T \:\ EE x in S \:\ y=g(x)}$ di $T.$ Definizione di immagine inversa di un insieme Considero $g:S to T$ sia $Y subseteq T,$ Si definisce immagine inversa di $Y$ mediante ...
2
6 gen 2020, 12:17

Studente Anonimo
Siano \(p,q \) due primi distinti e \(G \) un gruppo di ordine \(p^2 q \) Dimostra che \(G \) non è semplice. L'unica cosa che riesco a dire supponendo per assurdo che sia semplice è che se denotiamo con \( n_p \) il numero dei \(p\)-sottogruppi di Sylow e \(n_q \) il numero dei \(q\)-sottogruppi di Sylow allora \(n_p=q \) e \( n_q=p^2 \). Ma da qui mi blocco e non so come continuare... [xdom="Martino"]Spostato in Algebra.[/xdom]
9
Studente Anonimo
4 gen 2020, 04:14

ProPatria
Ciao. L'esercizio che mi crea problemi è questo: Sia $ g in G $, con G gruppo. Dimostra che $ o(g)=o(g^(-1)) $. L'esercizio mi risulta semplice se non fosse per un passaggio su cui sono incerto: $ (g^n)^(-1)=g^(-n)=(g^(-1))^n $ È lecito fare ciò? In altre parole, $ (g^n)^(m)=g^(n*m) $ con $ g in G $ in un gruppo G qualsiasi?
3
4 gen 2020, 04:23

Savoo2000
Salve ragazzi e buone fatte feste! Studiando algebra 1 sul libro "Elementi di algebra" del prof De Giovanni, mi sono accorto che, quando tratta gli insiemi finiti e il loro ordine, dà per scontato che in una partizione l'ordine dell'unione degli elementi sia la somma degli ordini. Ho dunque pensato di dimostrarlo per conto mio ma non so proprio da dove cominciare, anche se intuitivamente il concetto mi sembra piuttosto chiaro e semplice. Potete darmi uno spunto per la dimostrazione (in ...
3
3 gen 2020, 18:31

SimoneColombelli7611
Buonasera, sono impegnato nel seguente esercizio. Siano $X$ un insieme ed $A,B sube X$. Dimostrare che : $A Delta B =(A uu B) nn (A^c uu B^c)$ dove $A^c = X\setminus A$.
8
30 dic 2019, 20:44

Tregon
Buongiorno a tutti, Premetto che è la prima volta che posto qualcosa sul forum, ma ho visto altri problemi sull'algebra di Boole in questo topic, quindi spero di essere nel posto giusto Sono alle prime armi con l'algebra di Boole, ho imparato le proprietà fondamentali (spero) ma ancora in alcuni esercizi mi perdo soprattutto in un particolare passaggio. Ad esempio nell'esercizio seguente (la variabile seguita da ' è negata): Y = A⋅B⋅C' + BC + A'⋅B'⋅C [risultato: A⋅B + ...
2
27 dic 2019, 16:12

Studente Anonimo
Sia \( H \) un sottogruppo di \( G \). Dimostra che abbiamo un isomorfismo di gruppi \( \operatorname{Aut}_G(G / H) \cong N_G(H)/H \) dove \( \operatorname{Aut}_G(G / H) \) è il gruppo degli automorfismi \(G\)-equivarianti di \(G / H \) mentre \(N_G(H) \) è il normalizzatore di \( H \) in \(G \). Non capisco una parte delle soluzioni, le altre sono apposto! Deiniamo \( \phi : N_G(H) \to \operatorname{Aut}_G(G / H) \) per \( \phi(g): G / H \to G/H \), \( x H \mapsto xg^{-1} H \) per tutti i ...
8
Studente Anonimo
3 gen 2020, 15:39

Antonio.Romano.870
Salve, mi sto preparando per un esame di Matematica Discreta e tra tutti gli argomenti quello del calcolo combinatorio è quello che più mi turba: gli esercizi tipici non sono di carattere "meccanico" come esercizi sui sistemi lineari nè intuitivi come quelli sul principio d'induzione. Non ho modo di verificare se ho svolto correttamente un esercizio, e questo mi lascia appeso col dubbio "forse dovevo usare le disposizioni anzichè le combinazioni..." Tra i materiali offerti dal prof vi sono 2 ...
4
14 dic 2019, 16:57

s.capone7
Ciao ragazzi ho sempre dubbi sugli esercizi che svolgo in quanto su questo argomento la mia prof non mi ha dato esercizi guida, l'esercizio è il seguente: (riporto solo i punti che mi interessano) Sono assegnate sull'insieme $A = Z_6 xx Z_3$ le leggi di composizione interne $+$, $xx$ definite come segue: $AA (x, y), (z, t) in A$ $(x, y) + (z, t) = (x +z, y + t), (x, y) xx (z,t) = (xz, yt)$ e sia $B = {(O, y) : y in Z_3}$. (a) Determinare l'elemento neutro della struttura (A, +); (b) determinare l'elemento neutro della ...
2
2 gen 2020, 18:57

Studente Anonimo
Sia \( G \) un gruppo, \( H < G \) un sottogruppo, e \( N < G \) un sottogruppo normale tale che \( H ,N \) sono risolubili. Dimostra che \(HN \) è risolubile. Abbiamo che se \( f: G \to G' \) è un omomorfimso suriettivo e \( G \) risolubile allora anche \( G' \) è risolubile, tant'è che se \( G \) risolubile allora esistono \( G=G_0 > \ldots > G_n = \{e\} \) tale per cui \( G_{i+1} \) è normale in \( G_i \) e \( G_i \setminus G_{i+1} \) è abeliano. Abbiamo che \( G' = f(G_0) > f(G_1) >\ldots ...
2
Studente Anonimo
3 gen 2020, 02:38

Studente Anonimo
Sia \( G \) un gruppo che agisce su un insieme \( X \). Sia \( H \) un sottoguppo di \(G\). Dimostra che \( H \) agisce transitivamente su \( X \) se e solo se \( G \) agisce transitivamente su \( X \) e \( G= H G_x \) dove \( x \in X \), e \( G_x \) è il gruppo di isotropia di \( x \) sotto l'azione di \( G \). Il mio dubbio sta nel fatto che mi dice \( G= H G_x \) dove \( x \in X \), intende per un unico \( x \in X \) fissato oppure per ogni \( x \in X \)? Se è per ogni \( x \in X \): Se \( ...
3
Studente Anonimo
3 gen 2020, 02:18

Studente Anonimo
Siano \( H_1, \ldots, H_n \) dei sotto gruppi normali di \(G \) Consideriamo l'applicazione \[ \phi : G \to G \setminus H_1 \times \ldots \times G \setminus H_n , g \mapsto (gH_1,\ldots,g H_n) \] a) Dimostra che \( \ker(\phi)= H_1 \cap \ldots H_n \) b) Dimostra che, se \( H_i \) è d'indice finito in \(G \), per tutti gli \( 1 \leq i \leq n \), e \( gcd( [G : H_i],[G:H_j])=1 \) per tutti gli \( i \neq j \), allora \( \phi \) è suriettiva e \[ [G: H_1 \cap \ldots \cap H_n ] = \prod_{i=1}^{n} [ ...
9
Studente Anonimo
31 dic 2019, 20:09

Pasquale 90
Siano $S,T$ inisiemi non vuoti. Provare che: $f:S to T$ è suriettiva se e soltanto se per ogni coppia $X,Y $ sottoinsiemi di $T$ da $f^(-1)(X) subseteq f^(-1)(Y) to X subseteq Y$ Prima implicazione $f$ suriettiva se, e soltanto se $f^(-1)({y}) ne emptyset $ per ogni $y in T.$ Sia $emptyset=X subseteq T$ allora $emptyset=f^(-1)(emptyset) subseteq f^(-1)({y}) ne emptyset \ to \ emptyset subseteq {y}.$ Va bene la prima ?
16
31 dic 2019, 16:19

Settevoltesette
C'è una dimostrazione che non capisco, o meglio per me aggiunge qualcosa di superfluo, ma non essendo sicuro al 100% chiedo a voi. la dimostrazione è questa: \(\displaystyle G \) monoide commutativo, \(\displaystyle x_1 , x_2 , ... , x_n \) elementi di \(\displaystyle G \), sia \(\displaystyle f \) una biezione da \(\displaystyle (1, 2, ..., n) \) in se, allora: \(\displaystyle \prod\limits_{v=1}^{n} \) \(\displaystyle x_{f(v)} = \) \(\displaystyle \prod\limits_{v=1}^{n} \) \(\displaystyle ...
7
2 gen 2020, 16:49

Studente Anonimo
Riguardando un vecchio esercizio mi sono venuti un paio di dubbi: Definiamo i quaternioni \( \mathbf{Q} \) come il sottogruppo \( \left< A,B \right> \) di \( GL_2(\mathbb{C}) \) generato dalle matrici \[ A=\begin{pmatrix} 0& 1\\ -1& 0 \end{pmatrix}\] e \[ B=\begin{pmatrix} 0& i\\ i& 0 \end{pmatrix}\] Dare tutti gli elementi di \( \mathbf{Q} \) in termini di \( A \) e \(B \) e dimostra che l'ordine di \( \mathbf{Q} \) è 8. Allora chiaramente abbiamo che \( A^2 = - I \), \( A^3 = -A \) e ...
2
Studente Anonimo
31 dic 2019, 14:37

Pasquale 90
Buongiorno, Dovrei verificare che, se $m/n$ è un razionale positivo e $(m,n)$ denota il $M.C.D.$ positivo di $m,n$ il numero inetero $|m+n|/(m,n)$ dipende soltanto dalla frazione $m/n$ e non dalla scelta di un suo rappresentante. Provare quindi che l'applicazione $f:m/n in QQ^+ to |m+n|/(m,n) in NN -{1}$è suriettiva e non iniettiva. Dall'algoritmo di Euclide ho $r=M.C.D(m,n)$ allora risulta $r ne 0$ , sia $y in NN-{1}$ allora ...
1
31 dic 2019, 10:34