SEMIGRUPPI LIBERI E TEORIA DEI CODICI

Размер: px
Начинать показ со страницы:

Download "SEMIGRUPPI LIBERI E TEORIA DEI CODICI"

Транскрипт

1 SEMIGRUPPI LIBERI E TEORIA DEI CODICI Esercizi proposti Esercizio 1. Sia X = {1, 2, 3,..., 9}, e sia S = F (X) il semigruppo delle trasformazioni di X. Si consideri l elemento ( ) f = S Si determini l ordine, l indice e il periodo di f. Si individuino tutti gli elementi idempotenti del sottosemigruppo monogenico f. Si descriva il nucleo K f di f, individuandone in particolare un generatore e l elemento neutro. Esercizio 2. di G. Sia S un sottosemigruppo periodico di un gruppo G. Si dimostri che S è un sottogruppo Esercizio 3. Sia X un insieme numerabile, e sia S = F (X) il semigruppo delle trasformazioni di X. Si consideri il sottoinsieme T = {α S : α iniettiva, X \ Xα infinito} di S. Si dimostri che T è un sottosemigruppo di S. Si dimostri che, per ogni α T, gli insiemi X \ Xα e Xα \ Xα 2 sono equipotenti. Si deduca che T è privo di idempotenti. Esercizio 4. Si considerino il semigruppo S = {a, b, c, d} avente tabella moltiplicativa a b c d a a b c d b b a d c c c d c d d d c d c e le partizioni F = { {a}, {b}, {c, d} } e G = { {a, b}, {c, d} } di S. Si provi che la relazione di equivalenza ρ associata a F è una congruenza in S, e si compili la tabella moltiplicativa del semigruppo quoziente S/ρ. Si provi che la relazione di equivalenza σ associata a G è una congruenza in S, e si compili la tabella moltiplicativa del semigruppo quoziente S/σ.

2 Esercizio 5. Si consideri il semigruppo S = {a, b, c, d, e} avente tabella moltiplicativa a b c d e a d d d a a b d b c a a c d c b a a d a a a d d e a e e d d Si provi che l insieme I = {a, d} è un ideale di S. Si compili la tabella moltiplicativa del quoziente di Rees S/I. Esercizio 6. Sia X = {1, 2, 3, 4, 5}, e sia R(X) il semigruppo delle relazioni in X. Si consideri l elemento ρ = { (1, 1), (1, 3), (2, 3) } R(X). Si determini la relazione riflessiva ρ r generata da ρ. Si determini la relazione simmetrica ρ s generata da ρ. Si determini la relazione transitiva ρ t generata da ρ. Si determini la relazione di equivalenza ρ e generata da ρ. Esercizio 7. Sia A = {0, 1} l alfabeto binario, e sia S = A + il semigruppo delle parole su A. Si consideri il sottoinsieme X = {1, 10, 11, 101} di S. Si determini il semigruppo sintattico S(X) di X, compilandone la tabella moltiplicativa. Si determini il semigruppo S F act(x) dei fattori di X, compilandone la tabella moltiplicativa. Esercizio 8. Si compili la tabella moltiplicativa del semigruppo S avente presentazione S = a, b a 2 = a, b 2 = b, (ab) 2 = a, precisando poi quali sono gli elementi idempotenti di S.

3 Esercizio 9. Si dimostri che il monoide M avente presentazione M = a, b aba = ε è un gruppo ciclico infinito. Esercizio 10. Si consideri l alfabeto A = {a, b, c}. Si determini l inviluppo libero del sottoinsieme X = {b, ab, abc, cab, cb} del monoide A. Esercizio 11. Si consideri il monoide biciclico B = a, b ab = ε. Per ogni n 1 si individui un sottomonoide di B avente ordine esattamente n. Si determini il gruppo degli elementi invertibili di B. Si determinino tutti gli elementi idempotenti di B. Esercizio 12. Si considerino l alfabeto binario A = {0, 1} e il sottoinsieme W = {w 1, w 2, w 3, w 4, w 5, w 6 } del monoide A, dove w 1 = , w 2 = , w 3 = , w 4 = , w 5 = , w 6 = Si individuino tutte le parole primitive in W. Si determinino tutte le coppie di parole permutabili in W. Si determinino tutte le coppie di parole coniugate in W.

4 Esercizio 13. Utilizzando l algoritmo di Sardinas e Patterson, si stabilisca se l insieme di parole è un codice sull alfabeto A = {a, b, c, d, e}. X = {a, abce, bcd, bcde, cbda, dabc, dabd, ecb} Esercizio 14. Si considerino l alfabeto A = {a, b, c}, e la distribuzione di Bernoulli µ su A verificante µ(a) = 2 3, µ(b) = 1 4. Utilizzando la diseguaglianza di Kraft-McMillan si verifichi che il sottoinsieme X = {a, ab, ba, c 2 } di A non è un codice su A. Esercizio 15. Si considerino l alfabeto binario A = {a, b} e il sottoinsieme X = {ab, ba, ab 2 a} di A. Ovviamente X non è un codice su A. Si verifichi che la diseguaglianza di Kraft-McMillan non si inverte, mostrando che se µ è la misura su A indotta da una qualunque distribuzione di Bernoulli su A allora µ(x) < 1. Esercizio 16. Si consideri l alfabeto A = {a, b, c, d}. Si determini, se esiste, un codice su A costituito da 20 parole, di cui 2 di lunghezza 1, 5 di lunghezza 2 e 13 di lunghezza 3. Esercizio 17. Si consideri l alfabeto A = {a, b, c, d}. Si determini, se esiste, un codice completo su A costituito da 19 parole, di cui 2 di lunghezza 1, 5 di lunghezza 2 e 12 di lunghezza 3. Esercizio 18. Si consideri l alfabeto A = {a, b, c}. Quanti e quali sono i codici bifissi su A costituiti da 9 parole, di cui 1 di lunghezza 1, 4 di lunghezza 2 e 4 di lunghezza 3?

5 Esercizio 19. Si consideri l alfabeto A = {a, b, c, d, e}. Si determini, se esiste, un codice massimale sincronizzante su A costituito da 25 parole, di cui 3 di lunghezza 1, 4 di lunghezza 2, 5 di lunghezza 3, 6 di lunghezza 4 e 7 di lunghezza 5. Esercizio 20. sottoinsieme Si considerino l alfabeto binario A = {a, b} (ordinato tramite la posizione a < b) e il X = { a α b β a : α, β {0, 1, 2} } di A. Si disegni il diagramma di Hasse di X ordinato rispetto all ordine prefissiale, all ordine suffissiale, all ordine fattoriale, all ordine di divisione, all ordine lessicografico, all ordine militare.

Matematica Discreta Classe 1 Dott. C. Delizia 15 Luglio 2008

Matematica Discreta Classe 1 Dott. C. Delizia 15 Luglio 2008 Matematica Discreta Classe 1 Dott. C. Delizia 15 Luglio 2008 Cognome Nome Matricola Esercizio 1. Siano S, T e V. Motivando la risposta, si stabilisca se è vero che S V T V = S T. Esercizio 2. Utilizzando

Подробнее

Matematica Discreta e Logica Matematica ESERCIZI

Matematica Discreta e Logica Matematica ESERCIZI Matematica Discreta e Logica Matematica ESERCIZI Proff. F. Bottacin e C. Delizia Esercizio 1. Scrivere la tavola di verità della seguente formula ben formata e determinare se essa è una tautologia: A ((A

Подробнее

Università degli studi di Verona Corso di laurea in Informatica Prova scritta di Algebra 3 settembre 2002

Università degli studi di Verona Corso di laurea in Informatica Prova scritta di Algebra 3 settembre 2002 Prova scritta di Algebra settembre 2002 1) Si consideri il sottoinsieme del gruppo Q \{0} dei numeri razionali non nulli rispetto alla moltiplicazione: { m X = n } m 0, n Si dimostri che X è un sottosemigruppo;

Подробнее

MATEMATICA DEL DISCRETO (Informatica) Docenti BONZINI e TURRINI esercizi di preparazione alla prova di metà corso

MATEMATICA DEL DISCRETO (Informatica) Docenti BONZINI e TURRINI esercizi di preparazione alla prova di metà corso MATEMATICA DEL DISCRETO (Informatica) Docenti BONZINI e TURRINI esercizi di preparazione alla prova di metà corso NOTA - Negli esercizi che seguono verranno adottate le seguenti notazioni: il simbolo Z

Подробнее

Prove d esame di Algebra I

Prove d esame di Algebra I Prove d esame di Algebra I aa 2015/2016 Prova scritta 15 gennaio 2016 Esercizio 1 Dimostrare che, per ogni z Z, vale mcd(z 2 + 3, z 2) {1, 7} Determinare gli interi z tali che mcd(z 2 + 3, z 2) = 7 Esercizio

Подробнее

METODI MATEMATICI PER L INFORMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 26 novembre 2008

METODI MATEMATICI PER L INFORMATICA. Canale E O a.a Docente: C. Malvenuto Primo compito di esonero 26 novembre 2008 METODI MATEMATICI PER L INFORMATICA Canale E O a.a. 2008 09 Docente: C. Malvenuto Primo compito di esonero 26 novembre 2008 Istruzioni. Completare subito la parte inferiore di questa pagina con il proprio

Подробнее

CORSO DI MATEMATICA DISCRETA I (ALGEBRA) Prof. Paolo Papi ESERCIZI

CORSO DI MATEMATICA DISCRETA I (ALGEBRA) Prof. Paolo Papi ESERCIZI CORSO DI MATEMATICA DISCRETA I (ALGEBRA) Prof. Paolo Papi ESERCIZI ). Siano A, B, C insiemi. Provare che (A B) C = A (B C) A (B C) =(A B) (A C) C(A B) =C(A) C(B). 2). Definiamo la differenza simmetrica

Подробнее

Esercizi di Algebra - Seconda parte

Esercizi di Algebra - Seconda parte Esercizi di Algebra - Seconda parte Esercizio 1. In Q Q si consideri le operazioni + e definite da (a, b) + (c, d) = (a + c, b + d), (a, b) (c, d) = (ac 8bd, ad + bc + 2bd). Si stabilisca se la struttura

Подробнее

Altri esercizi assegnati negli esoneri degli scorsi anni

Altri esercizi assegnati negli esoneri degli scorsi anni Altri esercizi assegnati negli esoneri degli scorsi anni Esercizi sul principio di induzione 1. Utilizzando il principio di induzione si dimostri che, per ogni numero naturale positivo n, risulta: Esercizi

Подробнее

TEST DI VERIFICA DI ALGEBRA Novembre 2007 generalità su gruppi e anelli Testo con soluzioni...

TEST DI VERIFICA DI ALGEBRA Novembre 2007 generalità su gruppi e anelli Testo con soluzioni... TEST DI VERIFICA DI ALGEBRA 2 13 Novembre 2007 generalità su gruppi e anelli Testo con soluzioni....................................................................... N.B.: il simbolo contrassegna gli

Подробнее

Programma di Algebra 1

Programma di Algebra 1 Programma di Algebra 1 A. A. 2015/2016 Docenti: Alberto Canonaco e Gian Pietro Pirola Richiami su relazioni di equivalenza: definizione, classe di equivalenza di un elemento, insieme quoziente e proiezione

Подробнее

C.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1

C.L. Informatica, M-Z Bari, 12 Gennaio 2016 Traccia: 1 Bari, 2 Gennaio 206 Traccia: Esercizio. Scrivere la definizione di funzione suriettiva. Dimostrare che la composizione di due funzioni suriettive è una funzione suriettiva. Esercizio 2. () Stabilire se

Подробнее

R = {(0, 0), (1, 1), (2, 2), (3, 3),... }. Esempio 2. L insieme

R = {(0, 0), (1, 1), (2, 2), (3, 3),... }. Esempio 2. L insieme Definizione 1. Siano A e B insiemi. Si definisce prodotto cartesiano l insieme: A B = {(a, b) : a A b B}. Osservazione 1. Si osservi che nella Definizione 1. le coppie sono ordinate, vale a dire (x, y)

Подробнее

Teoria degli Insiemi

Teoria degli Insiemi Teoria degli Insiemi Docente: Francesca Benanti Ottobre 2017 1 Teoria degli Insiemi La Teoria degli Insiemi è una branca della matematica creata alla fine del diciannovesimo secolo principalmente dal matematico

Подробнее

01 - Elementi di Teoria degli Insiemi

01 - Elementi di Teoria degli Insiemi Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2013/2014

Подробнее

ESERCIZI DI ALGEBRA 1 GRUPPI Permutazioni

ESERCIZI DI ALGEBRA 1 GRUPPI Permutazioni ESERCIZI DI ALGEBRA 1 GRUPPI 8-1-2003 Permutazioni 1 Siano g = ( 1 5 2 6 )( 3 4 7 ) e h = ( 1 5 )( 2 3 7 6 ) due permutazioni su 7 elementi. Calcolare la permutazione h g 1. 2 Siano α = ( 2 3 ) e β = (

Подробнее

Dispense del corso di Algebra 1. Soluzioni di alcuni esercizi

Dispense del corso di Algebra 1. Soluzioni di alcuni esercizi Dispense del corso di Algebra 1 Soluzioni di alcuni esercizi Esercizio 1.1. 1) Vero; ) Falso; 3) V; 4) F; 5) F; 6) F (infatti: {x x Z,x < 1} {0}); 7) V. Esercizio 1.3. Se A B, allora ogni sottoinsieme

Подробнее

Definizione 1 Sia G un gruppo e sia Ω un insieme: si dice azione (o rappresentazione)

Definizione 1 Sia G un gruppo e sia Ω un insieme: si dice azione (o rappresentazione) 1 Azione di Gruppo 1.1 Azione di un gruppo su un insieme. Definizione 1 Sia G un gruppo e sia Ω un insieme: si dice azione (o rappresentazione) di G su Ω un qualunque omomorfismo da G ad S Ω (gruppo simmetrico

Подробнее

DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI

DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI FACOLTA' DI ECONOMIA UNIVERSITA DELLA CALABRIA Corso di Modelli Matematici per l Azienda a.a. 2011-2012 DISPENSE SU TEORIA DEGLI INSIEMI E NUMERI Prof. Fabio Lamantia INSIEMI INSIEME= gruppo di oggetti

Подробнее

ESERCIZI PROPOSTI. Capitolo 5 MCD(15,5) = 15 5 =3. un unico sottogruppo di ordine d, cioè x 20/d = C d. , x 20/10 = x 2 = C 10. , x 20/4 = x 5 = C 4

ESERCIZI PROPOSTI. Capitolo 5 MCD(15,5) = 15 5 =3. un unico sottogruppo di ordine d, cioè x 20/d = C d. , x 20/10 = x 2 = C 10. , x 20/4 = x 5 = C 4 ESERCIZI PROPOSTI Capitolo 5 511 Determinare il periodo dell elemento x 320 del gruppo ciclico C 15 = x x 15 =1 Indicare tutti i generatori del sottogruppo x 320 Soluzione Dividiamo 320 per 15 Si ha 320

Подробнее

STRUTTURE ALGEBRICHE. Francesca Benanti. Novembre : A A A (a, b) a b, a, b A

STRUTTURE ALGEBRICHE. Francesca Benanti. Novembre : A A A (a, b) a b, a, b A STRUTTURE ALGEBRICHE Francesca Benanti Novembre 2018 1 Semigruppi Definizione 1 Sia A un insieme non vuoto, A. Una operazione (o operazione binaria o legge di composizione interna) su A è un applicazione

Подробнее

UNITEXT La Matematica per il 3+2

UNITEXT La Matematica per il 3+2 UNITEXT La Matematica per il 3+2 Volume 68 For further volumes: http://www.springer.com/series/5418 Aldo de Luca Flavio D Alessandro Teoria degli Automi Finiti ~ S p r i n g e r Aldo de Luca Dipartimento

Подробнее

C.L. Informatica, M-Z Bari, 18 Gennaio 2017 Traccia: 1

C.L. Informatica, M-Z Bari, 18 Gennaio 2017 Traccia: 1 Bari, 18 Gennaio 2017 Traccia: 1 Esercizio 1 Applicando il principio di induzione stabilire se è vero che, per ogni n 2 N, si ha n+1 1 X 2 i = 3 2 n+1 2 3 2 3 i=0 Esercizio 2 Si dia la definizione di funzione

Подробнее

Minimizzazione degli stati di reti sequenziali asincrone (RSA) / sincrone (RSS)

Minimizzazione degli stati di reti sequenziali asincrone (RSA) / sincrone (RSS) Minimizzazione degli stati di reti sequenziali asincrone (RSA) / sincrone (RSS) Problema: Data una tabella di flusso (TdF) contraddistinta da un numero arbitrario N di stati s 1, s 2,, s N, individuare

Подробнее