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
Sia $f$ un polinomio di grado $n$ in $F[x]$.
Sia $E$ un campo di spezzamento di $f$ su $F$.
Mostrare che $|E:F|$ divide $n!$.
Potreste darmi qualche suggerimento correlato ad un esempio concreto, grazie?
Il logica bivalente classica vero-funzionale esiste l'operatore di Sheffer $\uparrow$
$1, 1$
$1, 0$
tramite il quale si possono rappresentare tutti gli altri connettivi e tutte le altre funzioni di verità (di arietà finita) combinandolo insieme a delle variabili tramite formule del tipo $((x \uparrow y) \uparrow x)$.
In logiche a più valori finiti è possibile trovare qualcosa di analogo?
Cercando in rete ho trovato soltanto questo...
In logica trivalente supponendo ...
Stavo provando a dimostrare che per ogni relazione $R$, vale la chiusura transitiva. Se qualcuno vuole dare un'occhiata e darmi dei consigli, ci sono sempre.
Posto
$R^1=R$ e $AA i in NN : i>0, R^(i+1) = R@R^i$
risulta
$R^+= bigcup_{i in NN}R^i$ è transitiva:
$ R sube R^+$: $R^+$ contiene per definizione tutti gli $R^i$ e in particolare $R$
Ora, se $(s_1,s_2),(s_2,s_3) in R^+$ allora $(s_1,s_2) in R^k ^^ (s_2,s_3) in R^t$, per qualche $k,t in NN$,
ed essendo poi la composizione ...
Salve a tutti.
Supponiamo di avere un gruppo $G$ che si possa spezzare come $A \rtimes_{\varphi} B$ e sia $K$ normale in $A$ (naturalmente lo sarà anche in $G$). Allora dico che (non so se è vero! Sono congetture mie)
1) Esiste ed è ben definito un $\bar{\varphi} : B \rightarrow Aut(A//K)$ omomorfismo tale che $\bar{\varphi}(b): [a]_{K} \mapsto [bab^{-1}]_K=[\varphi_{b}(a)]_K$, dove $\varphi_{b}=\varphi(b)$.
2) $(A//K) \rtimes_{\bar{\varphi}}B$ è un gruppo.
3) $(A//K) \rtimes_{\bar{\varphi}}B$ è isomorfo ad un sottogruppo $L \rtimes_{\varphi} B$ di ...
Non ho idea di come possa essere fatta questa cosa, mi chiedevo se per una teoria abbastanza semplice come quella dei gruppi potesse esistere un unico assioma-equazione equivalente a quelli usuali.
Per assioma-equazione intendo uno in cui ci sia un'unica occorrenza di uguale $=$, le variabili (in numero a piacere) e gli usuali operatori di operazione $+$ e opposto $-$.
un esempio di un assioma-equazione di cui sto parlando può essere ...
Salve,
Ho queste ipotesi:
$G_1$ e $G_2$ due gruppi tali che $|G_1|=p^{\alpha}m$, $|G_2|=p^{\alpha}m'$ dove $MCD(m,p)=MCD(m',p)=1$ ed $m'\geq m$.
Affermo che: Se $\exists \psi: G_1 \rightarrow G_2$ immersione di gruppi $\implies$ i p-Sylow di $G_1$ e di $G_2$ hanno la stessa struttura di gruppo.
Ho già dimostrato questa proposizione. Ora mi sto chiedendo: vale il viceversa? Cioè, se i p-Sylow di entrambi i gruppi sono isomorfi allora esiste un'immersione di ...
Apro un nuovo argomento per sottoporre agli utenti del forum questo mio lavoro che avevo già mostrato nel post "Numeri primi: regolarità e possibile dimostrazione della congettura dei gemelli".
Lì la formulazione era incerta e poco comprensibile anche perché, non avendone ancora preso coscienza, non evidenziavo come, pur con un approccio elementare, la mia teoria trovi riscontro con il prodotto di Eulero e quindi la funzione zeta di Riemann e non fosse strampalata come poteva ...
Non per voler essere in tema ma cosa possiamo dire dei gruppi di ordine 2010?
$2010 = 2*3*5*67$.
E' una cosa che ho pensato adesso così per via del capodanno... Probabilmente ci penserò anche stasera, tra seitan al cumino, grano saraceno e guacamole.
12
Studente Anonimo
31 dic 2009, 18:54
Buonasera.
Se ho un anello $(A,+, times)$ unitario, e, $H$ un suo ideale bilatero di $A$.
Devo provare che da $H subset A$ segue $A/H ne {0}$. Questa cosa non riesco a vederla ad occhio.
Ho provato a procedere per assurdo ma mi blocco su un punto, cioè
$A/H={x+H:x in A}={0} to forall x+H in A/H to x+H in {0}$
Come posso continuare ?
Salve ragazzi sto cercando di risolvere il seguente esercizio
Dato il gruppo $GL(2, \mathbb{Q})$ delle matrici invertibili su $\mathbb{Q}$, si consideri il sottoinsieme $A$ delle matrici del tipo:
\begin{pmatrix} 1-c & -c \\ c & 1+c \end{pmatrix} con $ c \in \mathbb{Z}$
Si provi che $A$ è un sottogruppo e si determini la sua cardinalità.
La verifica che si tratta di un sottogruppo son riuscito a farla agilmente, il dubbio è sulla cardinalità. Qualche imbeccata su ...
Salve,
Volevo dimostrare che se in $S_6$ prendo in cicli $\tau = (1 4) $ e $ \sigma = (1 2 3 4 5 6)$ allora questi non sono un sistema di generatori per $S_6$. Di solito per dimostrare che un certo insieme di generatori genera $S_6$ si procede verificando che un certo sistema noto di generatori di $S_6$ si ottiene in vari modi dai due generatori $\sigma$ e $\tau$. Tuttavia se invece devo dimostrare che questi non generano ...
Buongiorno, sto provando a verificare che il gruppo quoziente $(QQ/ZZ,+)$ è un gruppo periodico infinito.
Osservo
i) Il $(G,+)$ gruppo si dice periodico se esiste $n>0$ tale che $forall x in G$ risulta $nx=1_G$
ii) L'unità di $QQ/ZZ$ è $ZZ$
iii) Gli elementi di $QQ/ZZ$ sono dalla forma $x+ZZ$ con $x in QQ$.
Dunque, devo verificare per quale $n in NN$ si ha $n(x+ZZ)=ZZ.$
Preso ...
Buongiorno, vi chiedo gentilmente aiuto per il seguente esercizio:
Sia $E$ la curva ellittica di equazione $y^2=x^3+3$ sul campo $K=GF(29)$.
a) Si determini l'ordine di $E$;
b) Si definisca $E[n]$;
c) Si determini $E\cap E[9]$;
I miei problemi riguardano principalmente la domanda c).
Vi riporto lo svolgimento degli altri punti per conferma:
a) Conosco il seguente Teorema:
Sia $E(GF(q))$ la curva sul campo ...
Senza nessuna pretesa di rigore, pensavo al seguente argomento per rendere visivamente plausibile l'aggettivo "interni" per gli automorfismi per coniugazione. Ve lo propongo per vedere se, al di là della possibile arbitrarietà di alcune interpretazioni, non vi siano almeno degli errori.
La moltiplicazione a sinistra e a destra per un fissato $a\in G$, ovvero \(\theta\colon G\to\operatorname{Sym}(G)\) e \(\gamma\colon G\to\operatorname{Sym}(G)\) definite da $\theta_a(g):=ag$ e ...
Buongiorno, vi chiedo gentilmente di aiutarmi con il seguente esercizio
Si dica per quali primi $p$ $x^3+x-3\equiv 0 \mod p$ ha soluzione.
Non chiedo la soluzione ma un piccolo suggerimento per partire.
Grazie a chi risponderà!
Buongiorno.
Cerco una soluzione a un problema, inizialmente dovevo svolgere il seguente esercizio. Ho trovato la dimostrazione corretta, però ne ho anche un'altra che mi porta ad errore e dimostrare una cosa in teoria non vera. Non riesco a scovare l'errore e credo mi aiuterebbe a non ripeterlo capire a fondo.
Il tutto è nato con il seguente esercizio ormai risolto:
Siano
A,B⊆I. Dimostrare che: se (I\B)⊆(I\A) allora A⊆B
Ora un ragionamento che mi sembra corretto ma mi porta ad errore:
io ho ...
Ciao ragazzi, avrei bisogno di un vostro parere che mi sta mandando in confusione.
Sia $A={2,3,4,5,6,60}$ un insieme parzialmente ordinato dalla relazione d'ordine:
$xRy hArr x|y$, cioè x divide y.
Si mostra facilmente che è un insieme parzialmente ordinato (vale riflessiva, transitiva e antisimmetrica).
Adesso mi chiedo se questo insieme è completo.
Un poset $a$ è completo se $AA b sube a EE vvb$, dove $vvb=$sup(b)=minimo dei maggioranti di b
Un elemento m è ...
Salve a tutti,
Sto cercando di risolvere questo esercizio col principio di induzione:
$7 sum_{i=0}^(n+1) 8^i = 8^(n+2) -1$
la base dell'induzione è dimostrata e mi viene con $n=0$ :
$63 = 63$
per il passo induttivo invece faccio con $n=1$:
$8^(n+2) -1 + 7 * 8^(n+2) = 8^(n+3)-1$
Tuttavia da qui non riesco ad ottenere a sinistra dell'uguale la forma che è a destra.
Grazie a chi mi aiuterà
Siano $(G,**)$ e $H,K le G.$ Devo verificare
Se $H$ normale in $<HcupK>$ comporta $HK=KH.$
Per il seguito, mi occorrono
1)$H$ \(\displaystyle \unlhd\) $<HcupK> <=> Hx=xH, forall x in <HcupK>,$
2)$<HcupK>\={hk|h in H, k in K}.$
3)L'unione insiemistica è commutativa, dunque $<HcupK>\=<KcupH>.$
Preso $x in <HcupK> $ esistono $h_1 in H, k_1 in K$ tali che $x=h_1k_1,$
inoltre, dalla 2) e 3) esistono $k_2 in K, h_2 in H$ tali che $h_1k_1=k_2h_2. $
Allora dalla 1) si ha ...
Salve, potrei affermare che se $G$ è un gruppo allora i suoi sottogruppi CICLICI sono in corrispondenza biunivoca con $Hom(\mathbb{Z},G)$? L'idea è che $\forall f\in Hom(\mathbb{Z},G)$ si ha che $Im(f)<G$ ma per il primo teorema di omomorfismo $\mathbb{Z}\\Ker(f)< G$ e poichè i sottogruppi di $\mathbb{Z}$ sono tutti e soli gli $m\mathbb{Z}$ allora $f$ è un omomorfismo se e solo se $G$ contiene una copia di $\mathbb{Z}\\m\mathbb{Z}$ per $m \in \mathbb{Z}$, visto che ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo