Hi,
Given a dcpodirected-complete partial order of finitely presented groups, I wantedwant to say that the free group is the bottom, but I don't think that is right. Can anyone say what is a typical bottom in a dcpo of groups? Furthermore, are the finitely presentable groups the finite or compact elements?
Best,
Ben
Can anyone say what is a typical bottom in a directed-complete partial order of groups? Furthermore, are the finitely presentable groups the finite or compact elements?