In this paper we generalize LLL lattice basis reduction defined by Lenstra,
Lenstra, and Lov´asz. We consider OF -lattice, where OF is the ring of integers in
algebraic number field F. We can prove that basic properties of reduced basis can hold
over imaginary quadratic fields. We can reveal existence of a least positive element
over other algebraic number fields.
