Eckmann–Hilton argument

For the notion of duality in algebraic topology, see Eckmann–Hilton duality.

In mathematics, the Eckmann–Hilton argument (or Eckmann–Hilton principle or Eckmann–Hilton theorem) is an argument about two monoid structures on a set where one is a homomorphism for the other. Given this, the structures can be shown to coincide, and the resulting monoid demonstrated to be commutative. This can then be used to prove the commutativity of the higher homotopy groups. The principle is named after Beno Eckmann and Peter Hilton, who used it in a 1962 paper.

The Eckmann–Hilton result

Let X be a set equipped with two binary operations, which we will write \circ and \otimes, and suppose:

  1. \circ and \otimes are both unital.
  2. \forall a,b,c,d \in X ~ . ~ (a \otimes b) \circ (c \otimes d) = (a \circ c) \otimes (b \circ d).

Then \circ and \otimes are the same and in fact commutative and associative.

Remarks

The operations \otimes and \circ are often referred to as multiplications, but this might imply they are associative, a property which is not required for the proof. In fact, associativity follows. If the operations are associative, each one defines the structure of a monoid on X, and the conditions above are equivalent to the more abstract condition that \otimes is a monoid homomorphism (X,\circ)\times(X,\circ)\to(X,\circ) (or vice versa). An even more abstract way of stating the theorem is: If X is a monoid object in the category of monoids, then X is in fact a commutative monoid.

It is important that a similar argument does NOT give such a triviality result in the case of monoid objects in the categories of small categories or of groupoids. Instead the notion of group object in the category of groupoids turns out to be equivalent to the notion of crossed module. This leads to the idea of using multiple groupoid objects in homotopy theory.

More generally, the Eckmann–Hilton argument is a special case of the use of the interchange law in the theory of (strict) double and multiple categories. A (strict) double category is a set, or class, equipped with two category structures, each of which is a morphism for the other structure. If the compositions in the two category structures are written \circ, \otimes then the interchange law reads

 (a \circ b) \otimes (c \circ d) = (a \otimes c) \circ (b \otimes d)

whenever both sides are defined. For an example of its use, and some discussion, see the paper of Higgins referenced below. The interchange law implies that a double category contains a family of abelian monoids.

The history in relation to homotopy groups is interesting. The workers in topology of the early 20th century were aware that the nonabelian fundamental group was of use in geometry and analysis; that abelian homology groups could be defined in all dimensions; and that for a connected space, the first homology group was the fundamental group made abelian. So there was a desire to generalise the nonabelian fundamental group to all dimensions.

In 1932, E. Cech submitted a paper on higher homotopy groups to the International Congress of Mathematics at Zurich. However, Alexandroff and Hopf quickly proved these groups were abelian for n > 1, and on these grounds persuaded Cech to withdraw his paper, so that only a small paragraph appeared in the Proceedings. It is said that Hurewicz attended this conference, and his first work on higher homotopy groups appeared in 1935. Thus the dreams of the early topologists have long been regarded as a mirage.

Cubical higher homotopy groupoids are constructed for filtered spaces in the book Nonabelian algebraic topology cited below, which develops basic algebraic topology, including higher Seifert van Kampen Theorems, without using singular homology or simplicial approximation.

Proof

First, observe that the units of the two operations coincide:  1_\circ = 1_\circ \circ 1_\circ
               = (1_{\otimes} \otimes 1_\circ) \circ (1_\circ \otimes 1_\otimes)
               = (1_\otimes \circ 1_\circ) \otimes (1_\circ \circ 1_\otimes)
               = 1_\otimes \otimes 1_\otimes
               = 1_\otimes.

Now, let a,b \in X. Then a \circ b = (1 \otimes a) \circ (b \otimes 1)
                     = (1 \circ b) \otimes (a \circ 1)
                     = b \otimes a
                     = (b \circ 1) \otimes (1 \circ a)
                     = (b \otimes 1) \circ (1 \otimes a)
                     = b \circ a.

For associativity, (a \otimes b) \otimes c = (a \otimes b) \otimes (1 \otimes c) = (a \otimes 1) \otimes (b \otimes c) = a \otimes (b \otimes c).

Remarks on the Proof

The proof can be clarified with the following 'clock' diagram. In this image, 0 is the unit for \oplus and 1 is the unit for \otimes. Starting from any position on the clock we can move to the next by some use of the unital character of 0 and 1 or the distributive rule:

References

External links

This article is issued from Wikipedia - version of the Thursday, March 31, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.