En matemáticas, un entero algebraico real formula_1 es un número de Salem si todas sus raíces conjugadas tienen valor absoluto menor o igual que 1, y al menos una de ellas tiene valor absoluto exactamente igual a 1.