阿廷-蘭同態定理(Artin-Lang homomorphismtheorem)有理位存在的蘭定理的推廣.它在實域理論與實代數幾何中有廣泛的套用.設A是一個在實閉域R上有限生成的整環.若A的分式域是實域，則存在一個從A到R的R代數同態.此定理可由關於有理位存在的蘭定理直接推出，並且其內容具有多種適用的形式.
