Θεμελιώδες θεώρημα αριθμητικής

Στην θεωρία αριθμών, το θεμελιώδες θεώρημα της αριθμητικής είναι ένα από τα πιο σημαντικά θεωρήματα των μαθηματικών. Λέει ότι κάθε φυσικός αριθμός μεγαλύτερος της μονάδας αναλύεται σε γινόμενο πρώτων παραγόντων κατά ένα και μοναδικό τρόπο, αν δεν λάβουμε υπόψιν μας την σειρά των παραγόντων στο γινόμενο.

Για παράδειγμα, το θεώρημα λέει ότι ο αριθμός  μπορεί να γραφτεί ως το γινόμενο  δηλαδή ως το γινόμενο των πρώτων αριθμών , και επιπλέον η παραγοντοποίηση αυτή είναι μοναδική (αν θεωρήσουμε ίδιες τις μορφές ).

 Η απόδειξη του Ευκλείδη 

 Παρατηρήσεις 
Το λήμμα του Ευκλείδη είναι απαραίτητο για την απόδειξη της μοναδικότητας. Το λήμμα ισχύει στο δακτύλιο των ακεραίων αριθμών αλλά δεν ισχύει γενικά σε οποιοδήποτε δακτύλιο αριθμών. Η παρατήρηση αυτή έγινε από τον Γερμανό μαθηματικό Ερνστ Κούμερ το 1843.

Για παράδειγμα, θεωρούμε το σύνολο των φυσικών αριθμών της μορφής . Σε αυτό το σύνολο οι "πρώτοι αριθμοί" είναι αυτοί που δεν μπορούν να γραφτούν σαν το γινόμενο δύο άλλων αριθμών από το σύνολο. Για παράδειγμα, το  είναι "πρώτος" καθώς δεν μπορεί να γραφτεί σαν το γινόμενο δύο τέτοιων αριθμών, ενώ το , δεν είναι καθώς .

Σε αυτό το σύνολο το , μπορεί να γραφτεί με δύο τρόπους ως το γινόμενων δύο πρώτων παραγόντων, .

 Κανονική μορφή φυσικών αριθμών 

Από το θεμελιώδες θεώρημα της αριθμητικής, αν ομαδοποιήσουμε τους πρώτους παράγοντες που είναι ίσοι, έχουμε ότι κάθε φυσικός αριθμός  μπορεί να γραφτεί ως 
, 
όπου  και  είναι πρώτοι αριθμοί. 

Για παράδειγμα, 

.

Αν επιτρέψουμε τα  να είναι μηδέν, τότε μπορούμε να εκφράσουμε τον αριθμό  ως το γινόμενο των απείρων όρων 
, 
όπου  είναι οι πρώτοι αριθμοί. 

 Δυαδικές πράξεις 
Η αναπαράσταση αριθμών στην κανονική τους μορφή επιτρέπει τον εύκολο υπολογισμό διαφόρων δυαδικών πράξεων. Για παράδειγμα, αν  και , τότε
 Ο πολλαπλασιασμός τους είναι ίσος με
.
 Το ελάχιστο κοινό πολλαπλάσιο τους είναι ίσο με
.
 Ο μέγιστος κοινός διαιρέτης τους είναι ίσος με
.

 Πολλαπλασιαστικές συναρτήσεις 
Η κανονική μορφή χρησιμεύει στον υπολογισμό διαφόρων πολλαπλασιαστικών συναρτήσεων. Για παράδειγμα, για την συνάρτηση  του Όιλερ ισχύει ότι 
.

 Πλήθος διαιρετών 
Το πλήθος των διαιρετών ενός αριθμού δίνεται από το γινόμενο:
.

 Δείτε επίσης 
 Λήμμα του Ευκλείδη
 Πρώτος αριθμός

 Παραπομπές 

Κατηγορία:Πρώτοι αριθμοί
Κατηγορία:Θεωρία αριθμών