ده سرخ

ده سرخ . [ دِه ْ س ُ ] (اِخ ) دهی است ازدهستان گرکن بخش فلاورجان شهرستان اصفهان . واقع در 22هزارگزی جنوب خاوری فلاورجان متصل به شوسه ٔ مبارکه به اصفهان . دارای 1406 تن سکنه است . آب آن از زاینده رود تأمین می شود. (از فرهنگ جغرافیایی ایران ج 10).