Perron number

A Perron number is a specific type of algebraic integer that is a root of a polynomial with integer coefficients and has certain distinct properties. Specifically, a Perron number is defined as an algebraic integer \(\alpha\) that is greater than 1 and satisfies the condition that: 1. The conjugates of \(\alpha\) (all the roots of its minimal polynomial) are all less than or equal to \(\alpha\).