Hi,

Given a dcpo of finitely presented groups, I wanted to say that the free group is 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
```