Skip to main content
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link

It is written in Wikipedia http://en.wikipedia.org/wiki/Groupoid, that any connected groupoid $A\rightrightarrows X$ is isomorphic to an action groupoid $G\ltimes X$ coming from a transitive action of some group $G$ on $X$. I do not understand how to construct such a group $G$, and would be grateful for an explanation or a reference.

I think that in general one cannot recover $G$ from the action groupoid $G\ltimes X$. Indeed, if $G$ acts simply transitively on $X$, then the action groupoid is given by the equivalence relation $X\times X$ on $X$, hence does not depend on $G$, provided that ${\rm Card}(G)={\rm Card}(X)$. Is this correct?

This question is a version of my question at Math Stack Exchangemy question at Math Stack Exchange to which I got no answers.

It is written in Wikipedia http://en.wikipedia.org/wiki/Groupoid, that any connected groupoid $A\rightrightarrows X$ is isomorphic to an action groupoid $G\ltimes X$ coming from a transitive action of some group $G$ on $X$. I do not understand how to construct such a group $G$, and would be grateful for an explanation or a reference.

I think that in general one cannot recover $G$ from the action groupoid $G\ltimes X$. Indeed, if $G$ acts simply transitively on $X$, then the action groupoid is given by the equivalence relation $X\times X$ on $X$, hence does not depend on $G$, provided that ${\rm Card}(G)={\rm Card}(X)$. Is this correct?

This question is a version of my question at Math Stack Exchange to which I got no answers.

It is written in Wikipedia http://en.wikipedia.org/wiki/Groupoid, that any connected groupoid $A\rightrightarrows X$ is isomorphic to an action groupoid $G\ltimes X$ coming from a transitive action of some group $G$ on $X$. I do not understand how to construct such a group $G$, and would be grateful for an explanation or a reference.

I think that in general one cannot recover $G$ from the action groupoid $G\ltimes X$. Indeed, if $G$ acts simply transitively on $X$, then the action groupoid is given by the equivalence relation $X\times X$ on $X$, hence does not depend on $G$, provided that ${\rm Card}(G)={\rm Card}(X)$. Is this correct?

This question is a version of my question at Math Stack Exchange to which I got no answers.

Source Link
Mikhail Borovoi
  • 14.1k
  • 2
  • 31
  • 71

Connected groupoids and action groupoids

It is written in Wikipedia http://en.wikipedia.org/wiki/Groupoid, that any connected groupoid $A\rightrightarrows X$ is isomorphic to an action groupoid $G\ltimes X$ coming from a transitive action of some group $G$ on $X$. I do not understand how to construct such a group $G$, and would be grateful for an explanation or a reference.

I think that in general one cannot recover $G$ from the action groupoid $G\ltimes X$. Indeed, if $G$ acts simply transitively on $X$, then the action groupoid is given by the equivalence relation $X\times X$ on $X$, hence does not depend on $G$, provided that ${\rm Card}(G)={\rm Card}(X)$. Is this correct?

This question is a version of my question at Math Stack Exchange to which I got no answers.