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
albertobosia
questo è un problema che mi è stato posto da un amico, del quale sto cercando da tempo la soluzione. faccio una minuscola intro, giusto per spiegare due cosette certamente molti di voi conosceranno il cubo di rubik, puzzle meccanico i cui stati formano un gruppo di permutazioni di circa \(4.3 * 10^{19}\) elementi. negli standard internazionali, si usa la notazione secondo cui una mossa è una rotazione di \(90^\circ\), \(180^\circ\) o \(270^\circ\) di una faccia. ci sono quindi 18 mosse ...
6
30 dic 2011, 09:28

Studente Anonimo
Salve a tutti, Propongo una serie di quesiti relativi a un paper che ho scritto tempo fa (l'ho uppato su Scribd, spero che la cosa non crei inconvenienti e che sia conforme al regolamento - in caso contrario prego i mods di rimuovere tutto quanto): http://www.scribd.com/doc/51184856/Patt ... ty-Problem Per tutte le definizioni (e le locuzioni create “ad hoc” come “permutazioni circolari”) rimando al suddetto paper. Sono costretto a fare così, per via delle svariate pagine che una descrizione ex-novo dell'argomento ...
1
Studente Anonimo
3 gen 2012, 16:56

Studente Anonimo
Posto un risultato astrattamente utile per risolvere alcuni problemi di matematica ricreativa, inerenti a particolari sequenze costruite giustapponendo cifre alla sinistra di altri numeri noti: le c.d. "sequenze concatenate rovesciate". Nell’ambito della matematica ricreativa sono relativamente note le sequenze di interi create da Florentin Smarandache. Tra le più famose cito quella consecutiva [tex]\ (1,12,123,1234, ... ,123456789,12345678910,...)[/tex], quella circolare [tex]\ ...
3
Studente Anonimo
1 gen 2012, 14:52

steven.M
Consideriamo i numeri ottenuti aggiungendo 3 ad ogni quadrato intero: 3 + 1 = 4 3 + 4 = 7 3 + 9 = 12 3 + 16 = 19 3 + 25 = 28 ........ Se scomponiamo i risultati ottenuti, non considerando il fattore 2, (e come giustamente Gi8 mi ha fatto notare escludendo anche il fattore 3) otteniamo sempre numeri del tipo 3k + 1, cioè che divisi per 3 danno resto 1. Per esempio $3 + 16^2 = 259 = 7*37$ 7 e 37 sono del tipo 3k + 1. Qualcuno sa dimostrare questa congettura?
11
31 dic 2011, 14:39

francicko
Sia $G$ un gruppo di ordine $2^4*3=48$, allora possiede un sottogruppo proprio,normale, cioè $!=e$ e $!=G$. Utilizzando i teoremi di Sylow, sappiamo che il numero dei $2$-sottogruppi di sylow è dato da $1+2k$ tale che $1+2k|48$, gli unici valori di $k$ per cui tale condizione è sodddisfatta sono $k=0$ ed $k=1$. Il caso $k=0$ quindi $1+2*0=1$ comporta ...
15
16 dic 2011, 23:55

Fanna_60
Buonasera! Sono nuova nel forum e spero che qualche anima buona possa aiutarmi. Frequento il primo anno di matematica all'università, e sto trovando una certa difficoltà negli esercizi sulle permutazioni o_o Nella fattispecie, ho compreso tutta la teoria, ma la pratica mi è alquanto ostica, non capisco come si debba procedere. Esempio: si calcoli decomposizione in cicli disgiunti di \(\theta = ( 1 2 )\circ( 4 2 )\circ( 1 2 3 ) \) Grazie in anticipo!
5
1 gen 2012, 22:32

the_hound11
$A$ $nn$ ($B$ $uu$ $C$ ) = ($A$ $nn$ $B$) $uu$ ( $A$ $nn$ $B$ $nn$ $C^c$ ) Salve, qualcuno ha idea di quale relazione venga usata per dimostrare l'uguaglianza? La seconda di De Morgan?Se si, come? Ringrazio anticipatamente chiunque mi dia una mano.
3
2 gen 2012, 02:09

balestrav
Se ho un anello noetheriano locale con m ideale massimale come posso provare che [tex]\bigcap_{i\in \mathbb{N}} m^i=0[/tex]?
3
31 dic 2011, 15:35

Howard_Wolowitz
Presento alcuni esercizi che hanno per argomento, come da titolo, le funzioni e le loro proprietà su dominio e codominio. Vi chiedo cortesemente di darmi qualche consiglio sulla risoluzione o interpretazione degli stessi. 1)Preso [tex]A=B \subseteq \mathbb{Z}[/tex] tale che sia [tex]f[/tex] funzione [tex]f: A \rightarrow B[/tex], analizzare le seguenti relazioni e dire se sono funzioni. Specificare poi l'immagine; se sono iniettive, suriettive, biiettive ed in tal caso determinare l'inversa: a. ...
4
30 dic 2011, 21:43

hamming_burst
Salve, vorrei avere un parere di un fatto un po' assurdo, almeno per me. Avendo un insieme $S$ non vuoto, finito cioè di cardinalità $|S|< \aleph_0$. E' possibile che le cardinalità \(|S|= |\wp(S)|\) con \(|\wp(S)|< \aleph_0\) (perciò anch'esso finito). Ci può essere equipotenza tra $S$ e l'insieme \(\wp(s)\)? Non importa molto cosa sia $S$, vorrei sapere se in campo finito (numerabile) una cosa del genere è possibile, se fosse vero perchè è ...
7
26 ott 2011, 16:55

zipangulu
Ho il seguente esercizio da svolgere: Nel gruppo $S_4$ determinare , se esiste , una permutazione $tau$ tale che $tau circ (123) circ tau^(-1) = (124) $ Per svolgere l'esercizio ho pensato si potesse fare qualcosa del genere: pensando alle permutazioni come applicazioni lineari , poichè $tau$ dovrebbe essere invertibile posso applicare ad entrambi i membri $tau^(-1)$ , quindi otterrò: $tau^(-1) circ tau circ (123) circ tau^(-1) = tau^(-1) circ (124)$ $->$ $(123) circ tau^(-1) = tau^(-1) circ (124)$ arrivato qui ho pensato ...
3
29 dic 2011, 18:02

balestrav
Salve ho un poblema con un esercizio che mi chiede di determinare se due anelli A e B sono isomorfi. [tex]A=(\frac{k[x,y]}{(x^2y,xy^2)})_{(x)}[/tex] dove il pedice intende la localizzazione B=k[y]. B è un dominio, ma mi è sorto un dubbio su A. Infatti considerando gli elementi [tex]x^2[/tex] e [tex]y[/tex] il loro prodotto è zero in [tex]\frac{k[x,y]}{(x^2y,xy^2)}[/tex] quindi dovrebbe esserlo anche nella localizzazione. Però [tex]y[/tex] non appartiene a [tex](x)[/tex] e quindi non dovrebbe ...
3
27 dic 2011, 16:58

miriam161089
ho questo esercizio da risolvere: esibire un isomorfismo tra $ZZ_12$ e $ZZ_4 xx ZZ_3$ io sono giunta alla conclusione che questo isomorfismo dipende dal teorema cinese del resto però come faccio ad esibirlo in modo formale? grazie mille
9
5 dic 2011, 14:54

balestrav
Per dimostrare che l'ideale [tex](x^2,y^2)[/tex] è primario in [tex]k[x,y,z][/tex] ho provato a vedere che nel quoziente gli zero-divisori sono nilpotenti, facendo molti conti! A qualcuno viene in mente un modo più veloce applicabile a questo caso?Grazie
3
27 dic 2011, 17:24

balestrav
Ciao a tutti! Volevo chiedere se qualcuno poteva darmi qualche dritta su come comportarsi quando si deve trovare una decomposizione primaria. Ad esempio mi si chiede di trovare due decomposizioni primarie (diverse!) di [tex]I=(x^2y,xy^2) \subset \mathbb{C}[x,y][/tex] e di [tex]J=(xyz^2,xy^2)\mathbb{C}[x,y,z][/tex]. Io non so proprio da dove iniziare anche perchè nei due esempi in croce che abbiamo fatto in classe la decomposizione veniva buttata lì per magia!
6
17 dic 2011, 23:36

francicko
Sia $G$ un gruppo ed $|G|=2^2*3^2*11$, essendo $n_11=12$ qual'è l'ordine di $N_(C_11)$ in $G$?
5
27 dic 2011, 14:56

Sk_Anonymous
Ciao a tutti, ho il seguente dubbio. Qual è la differenza tra una n-upla ed un insieme ordinato (supponiamolo finito per semplicità)? n-upla: insieme ordinato che può avere elementi uguali al suo interno. Ma com'è possibile questo se la n-upla è un insieme? Un insieme non può avere elementi uguali al suo interno; come si può quindi formalizzare il concetto di n-upla a partire da quello di insieme ordinato? C'entra qualcosa il concetto di "relazione d'ordine" oppure devo per forza rifarmi ad ...
19
24 dic 2011, 17:53

perplesso1
Stavo studiando un pò il teorema che dice che un gruppo di ordine $ pq $ con $ p>q $ primi tali che $ p \ne 1 (mod q) $ è ciclico, così ho pensato che forse una teorema analogo si poteva costruire nel caso $ pqr $ e ho cercato di dimostrare questa proposizione ( ... che come tutte le mie congetture sicuramente risulterà sbagliata ) Siano $ p>q>r $ numeri primi tali ...
2
26 dic 2011, 18:03

perplesso1
Fra una portata e l'altra del pranzo di natale mi sono messo a fare un problema sui p-gruppi ( si, sono fissato! xD ) 1) Sia $ G $ un gruppo di ordine $ p^3 $ (con p primo) non abeliano, mostrare che $ Z(G) $ ha ordine p. Trattandosi di un p-gruppo il centro non è banale. Ovviamente non può avere ordine $ p^3 $ perchè $ G $ non è abeliano. Se avesse ordine $ p^2 $ allora $ G/{Z(G)} $ avrebbe ordine $ p $ e ...
2
25 dic 2011, 17:19

studentessa CdLmate
Ciao a tutti.. mi chiedevo se qualcuno poteva aiutarmi con questi esercizi: 1] Sia $R$ un anello commutativo con unità e siano $I$,$J$ $subset R$ due ideali coprimi, cioè $I+J=R$. Dimostra che per ogni $m>=1$ si ha $I^m+J^m=R$. Io ho pensato di farlo per induzione su $m$. Per $m=1$ si ha banalmente la tesi poichè $I$ e $J$ sono coprimi per hp. Quindi per ...
15
19 dic 2011, 22:36