Έστω Κ ένα αριθμητικό σώμα. Ως δακτύλιο ακεραίων του Κ (ring of integers of K ) ορίζουμε το σύνολο . Το σύνολο αυτό είναι δακτύλιος ως υποδακτύλιος του καθώς τα είναι υποδακτύλιοι του .Ακόμα επειδή και έπεται άμεσα ότι .