ideal class semigroup; infinite algebraic extension; upper semicontinuous functions