Aritmetica intera in Z Flashcards
Z, +, *, 0, 1 è un?
anello
definisci la divisibilità tra due numeri in Z
siano a e b due interi diciamo ch a divide b se e solo se esiste un k intero tale che a*k=b
osservazioni su 1 all’interno del discorso della divisibilità
1 divide qualisasi numero
osservazioni su 0 all’interno del discorso della divisibilità
ogni numero divide 0
quali proprietà soddisfa una relazione di equivalenza?
- riflessività: xRX per ogni x in X
- simmetricità: xRy –> yRx per ogni x,y in X
- transitiva: xRy e yRx –> xRz per ogni x,y,z in X
quali proprietà soddisfa una relazione di ordine parziale
- riflessività: xRX per ogni x in X
- antisimmetricità: xRy e yRx –> x=y
- transitiva: xRy e yRx –> xRz per ogni x,y,z in X
quindi nota che la divisibilità è una relazione, nello specifico è una relazione di equivalenza o di ordine parziale?
nessuna delle due
la divisibilità soddisfa
1. riflessività: a divide sempre sé stesso
2. transitività: se a divide b e b divide c allora a divide c
ma non soddisfa né l’antisimmetria né la simmetria
in quale caso la relazione divisibilità è relazione di ordine parziale? perché
in N perché in Z a divide b e b divide a si ha che a è uguale a b ma a e b possono essere sia 1 che -1
definisci numero primo
p è un numero primo se p è diverso da zero e diverso da più o meno 1 e se per ogni a,b in Z a*b=p se e solo se o a=1 o b=1
definisci massiom comune divisore di a,b
d è massimo comune divisore di a,b se
1. d divide a e d divide b
2. per ogni c in Z tale che c divida sia a che b allora c è più piccolo di d e lo divide
definisci minimo comune multiplo di a,b
d è minimo comune multiplo di a e b se
1. a divide m e b divide m
2. per ogni c in Z t.c. c è diviso sia da a che da b allora m è più piccolo di c e divisore
se d divide a e d divide b allora
d divide alpha a + beta b
se a divide b e c divide d allora
ac divide bd
se d è mc di a,b e a è dk e b è dc allora
mcd di k e c è uno ovvero sono coprimi
enuncia il teorema della divisione euclidea
per ogni a e b in Z con b diverso da zero, eistono unici q ed r in Z tali che a=bq+r con 0=<r<|b|