mcd(0,a)=....
L’altre dia llegint un llibre, vaig veure aquest que definia el mcd(a,b) com “el màxim comú divisor estrictament positiu de a i de b si a i b eren tots dos distints de zero i 0 altrament”.
Me va sorprendre aquesta definició i vaig intentar justificar-la (òbviament el cas que algun dels arguments fos zero) de dues maneres:
1. Amb la definició de divisor comú
Donats
, podem definir que c és un divisor comú de a i de b
c és un divisor de a i c és un divisor de b simultàniament, i.e.
i
per alguns
(nota: aquesta és la definició més general de divisor. Hi ha altres definicions que exigeixen que c sigui distint de zero, per a què el concepte de divisor en la divisor entera i aquest concepte coincideixin. Ara bé, si elegim que c sigui distint de zero, aleshores no hi ha una correspondència entre múltiples i divisors d’un nombre).
Per tant, tenim que donats, a, b sencers, podem definir el conjunt de divisors de a i b com

I per tant, definir el màxim comú divisor de a i de b com:

Aleshores si a no és zero, el mcd(a,0) és igual a

(ja que qualsevol nombre és divisor de zero)
i
que no existeix
Per tant, amb una definició raonable del mcd, arribem a la conclusió de què mcd(0,a) = a si a no és zero i que mcd(0,0) no existeix.
2. Amb un poc d’àlgebra (ideals amagats)
Ara bé, facem servir un poc d’Àlgebra.
Notem per
, i de forma més general

O sigui
és l’ideal general pel conjunt
a 
Es pot veure que donats a, b enters, tenim que:
Si b =0 i a no és zero, tenim que (a, 0) = (a). Per tant, el mcd(0,a) hauria de ser a.
Si a i b són zero, llavors, (0,0) = {0} = (0). Per tant, el mcd(0,0) hauria de ser 0.
Conclusions
Aleshores, amb tot, trec que:
- una bona definició per mcd(0,a) seria a
- una bona definició per mcd(0,0) seria 0
- El llibre “s’equivocava”: de totes totes el mcd(0,a) no és zero (tenc dos arguments per demostrar divergències amb aquesta definició).
Algú més s’atreveix a donar un altra argument? Per favor, animeu-vos!









