Skip to main content
added 1 character in body
Source Link
Qfwfq
  • 23.3k
  • 14
  • 122
  • 225

A crossed module is a pair of groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c^{-1}=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is: what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

A crossed module is a pair of groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c^{-1}=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

A crossed module is a pair of groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c^{-1}=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is: what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

added missing inverse in definition of crossed module
Source Link

Crossed module structure on homotopy groups.

A crossed module is a pair of groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c=(\partial c)\cdot c'$$cc'c^{-1}=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

Crossed module structure on homotopy groups.

A crossed module is a pair of groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

Crossed module structure on homotopy groups

A crossed module is a pair of groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c^{-1}=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

edited body
Source Link
Tom Goodwillie
  • 55.9k
  • 7
  • 151
  • 240

A crossed module is a pair toof groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, that $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

A crossed module is a pair to groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, that $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module Simply put, my question is what does this give us, other than an extra bit of structure? Does knowing that this is aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

A crossed module is a pair of groups $C$ and $G$, an action of $G$ on $C$, and a homomorphism $\partial: C \to G$ that satisfy

  • $\partial(g\cdot c)=g(\partial c)g^{-1}$, and
  • $cc'c=(\partial c)\cdot c'$

Let $(X,A)$ be a pointed pair of spaces. Whitehead proved that, in the homotopy long exact sequence of the pair, $$ \pi_2(X,A) \stackrel{\partial}{\rightarrow} \pi_1(A) $$ is a crossed module. Simply put, my question is what does this give us, other than an extra bit of structure? Does knowing that this is true aid on calculation? Does it aid in distinguishing spaces? Does it give us something really cool that I haven't thought of? (Probably the answer to this one is "yes".)

Source Link
Josh
  • 1.4k
  • 1
  • 16
  • 28
Loading