tea.mathoverflow.net - Discussion Feed (Is this a real question about Scott domains?)

Todd Trimble comments on "Is this a real question about Scott domains?" (10591)

Todd Trimble — Fri, 12 Nov 2010 11:58:42 -0800

Something approximating the question might be: is there a natural partial order on the set of finitely presented groups which is a Scott domain? His surrounding text looks like an attempt to motivate the question. There is also a suggestion of: is the subgroup order on finitely presented groups the partial order of a Scott domain?, but I'm afraid I don't quite understand the subgroup relation, since there may be many monomorphisms from one FPG to another (e.g., the free group on three generators is isomorphic to a subgroup of the free group on two generators in many ways). If it were me, I might look at the relation gotten by saying one finite presentation is less than another if the set of generators is the same and the relator subgroup of the first is contained in the second, something like that.

But this is my whole point: finding out what he really means to ask precisely sounds a bit like a fishing expedition, hence not really suitable as an MO question. Yemon said much the same thing more succinctly.

Yemon Choi comments on "Is this a real question about Scott domains?" (10587)

Yemon Choi — Fri, 12 Nov 2010 10:13:05 -0800

I agree with Todd's remarks over there. One indicator, to me at least, is the use of the phrase "I want to start the thread with a thought".

I think there might be an appropriate question lurking unformed in there, but it would do the original poster good to try and work out what he or she wants to ask.

Andy Putman comments on "Is this a real question about Scott domains?" (10586)

Andy Putman — Fri, 12 Nov 2010 09:37:50 -0800

It sounded like "not a real question" to me too, but I was waiting to see if other people had that opinion
before I voted to close.

Todd Trimble comments on "Is this a real question about Scott domains?" (10585)

Todd Trimble — Fri, 12 Nov 2010 09:28:18 -0800

I entered a vote to close http://mathoverflow.net/questions/45780/from-domains-of-finitely-presented-groups-to-continuous-functors as not a real question, but I thought I'd ask here.