لغت نامه دهخدا دره ابراهیم. [ دَ رِ اِ ] ( اِخ ) دهی است از دهستان بالا بخش شهرستان نهاوند. واقع در 10هزارگزی جنوب نهاوند و 4 هزارگزی جنوب باختری راه شوسه نهاوند به ملایر، با 430 تن سکنه. آب آن از چشمه و راه آن مالرو است. ( از فرهنگ جغرافیایی ایران ج 5 ).
