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