Nonexistence of countable extremally disconnected groups with many open subgroups

ثابت شده است که وجود یک گروه توپولوژیک بولین محدود به حساب می آید که شامل یک خانواده از زیرگروه های باز است که تقاطع آن ناحیه خالی است، به این معنی است که وجود یک فیلتر اولترافیلتر سریع.