Clarifying Groupoids and Groups

This post started out as a response to a question in the comments of my last post on groupoids. Answering those questions, and thinking more about the answers while sitting on the train during my commute, I realized that I left out some important things that were clear to me from thinking about this stuff as I did the research to write the article, but which I never made clear in my explanations. I'll try to remedy that with this post.

So - in the last post I explained a bit about the categorical viewpoint on why
we should care about groupoids. Every groupoid contains groups. The groups
capture the symmetries that exist within the groupoid. So why should we care about
the groupoid?

The symmetries of the groups that exist within the groupoid are built using the
groupoid operator. That should be pretty obvious. But the groupoid operator is more
than just a stepping stone to the symmetries. The groupoid also relates the symmetries of the group - and that's one of the really important things about groupoids. They don't just define the symmetries, but they show you how they're built and how they're related.

Look back at the 15 puzzle for a moment. Given a configuration, there's a group consisting of the set of sequences of moves that both start and end at that configuration. The immunity to transformation is a kind of permutation symmetry - you're performing actions that shuffle things around, and end up with something that's indistinguishable from what you started with.

If you look more at the 15 puzzle, you can see another interesting feature. There's a group for each possible configuration of the puzzle. But if you look at that collection of groups, many of them are isomorphic. For example, the groups for every configuration with a corner square unoccupied are isomorphic. That's an interesting property - and an important one for really understanding the nature of the symmetries of the puzzle.

If you look at it from a different perspective, you can find configurations which can be transformed into other configurations - non-symmetric transformations, formed by the same steps that are used to build the symmetric transformations, and which also define the relationships between the configurations that are the roots of symmetries. You can
also find particular configurations which cannot be transformed into
specific other configurations - once again, defined by the nature of the elements of
the symmetries of the puzzle. For example, if you have the tiles 1 through 13 in their
"home" positions, and 14 and 15 swapped, you can't define any sequence
of steps that will end with every tile in its "home" position.

Those things are part of the structure of the puzzle, and part of the structure that defines the symmetries. But the groups themselves don't talk about it. In terms of the categorical formulation, they're part of the information that is lost in the non-natural transformation from the groupoid to the set of groups.

Some readers were confused that the interesting groupoid properties were related to the
discrete nature of the 15 puzzle. That's my fault. My work revolves pretty much entirely around discrete math. Unless I make a specific effort to think about continuous math, I tend to automatically think about things in discrete terms - so the examples that come to mind for me tend to be discrete examples. But the importance of groupoids doesn't just apply to continuous math.

In fact, the specific example of the groupoid over the 15 puzzle has a very nice
continuous counterpart, in the land of topological spaces. In a topological space, you can
define something called the fundamental groups of a topological space based on the closed loops from a point in the space to itself. When we examine those groups, we find that in a topological space, the set of groups for closed loops on points in the space reduces to a small number of isomorphic groups. Those groups are close counterparts of the configuration groups of the 15 puzzle.

The full structure of the topological space isn't captured by the groups on that space. The essential symmetries of the space are captured by the groups - but there's more to the structure of those symmetries and the relationships between them than you can get from just
the collection of groups. The groupoid defines the symmetries of the groups, and also the
structure of, and relationships between, those symmetries. If you're interested, I wrote about the fundamental groupoids of topological spaces, and some of their interesting properties here back when I was writing about topology.

More like this

Today's entry is short, but sweet. I wanted to write something longer, but I'm very busy at work, so this is what you get. I think it's worth posting despite its brevity. When we look at groups, one of the problems that we can notice is that there are things that seem to be symmetric, but which…
In my introduction to groupoids, I mentioned that if you have a groupoid, you can find groups within it. Given a groupoid in categorical form, if you take any object in the groupoid, and collect up the paths through morphisms from that object back to itself, then that collection will form a group…
In my last topology post, I started talking about the fundamental group of a topological space. What makes the fundamental group interesting is that it tells you interesting things about the structure of the space in terms of paths that circle around and end where they started. For example, if you'…
In my last post on group theory, I screwed up a bit in presenting an example. The example was using a pentagram as an illustration of something called a permutation group. Of course, in my attempt to simplify it so that I wouldn't need to spend a lot of time explaining it, I messed up. Today I'll…

I sent an email to Mark CC, which he might not have read, as it was titled "Paper on Peristalsis" and related to my current computational biomathematical research, which email included the PDF and other links to a smashingly wonderful paper on Groupoid applications, and a few of my groupoid sequences on the OEIS...

Ian Stewart and Martin Golubitsky
NONLINEAR DYNAMICS OF NETWORKS: THE GROUPOID FORMALISM

AMERICAN MATHEMATICAL SOCIETY, 2006
May 3, 2006

Abstract:

A formal theory of symmetries of networks of coupled dynamical systems, stated in terms of the group of permutations of the nodes that preserve the network topology, has existed for some time. Global network symmetries impose strong constraints on the corresponding dynamical systems, which affect equilibria, periodic states, heteroclinic cycles, and even chaotic states. In particular, the symmetries of the network can lead to synchrony, phase relations, resonances, and synchronous or cycling chaos.

Symmetry is a rather restrictive assumption, and a general theory of
networks should be more flexible. A recent generalization of the group-theoretic notion of symmetry replaces global symmetries by bijections between certain subsets of the directed edges of the network, the 'input sets'. Now the symmetry group becomes a groupoid, which is an algebraic structure that resembles a group, except that the product of two elements may not be defined. The groupoid formalism makes it possible to extend group-theoretic methods to more general networks, and in particular it leads to a complete classification of 'robust' patterns of synchrony in terms of the combinatorial structure of the network.

Many phenomena that would be nongeneric in an arbitrary dynamical system can become generic when constrained by a particular network topology. A network of dynamical systems is not just a dynamical system with a high-dimensional phase space. It is also equipped with a canonical set of observables--the states of the individual nodes of the network. Moreover, the form of the underlying ODE is constrained by the network topology--which variables occur in which component equations, and how those equations relate to each other. The result is a rich and new range of phenomena, only a few of which are yet properly understood.

=== end abstract ===