We prove that if is a CW-complex and is a 0-cell of , then the crossed module does not depend on the cellular decomposition of up to free products with , where is the 1-skeleton of . From this it follows that if is a finite crossed module and is finite, then the number of crossed module morphisms $\Pi_2(M,M^1,*) \to GI_G(M)$ (i. e. not dependent on the cellular decomposition of ). We describe an algorithm to calculate as a crossed module over , in the case when is the complement of a knotted surface in and is the 1-handlebody of a handle decomposition of , which, in particular, gives a method to calculate the algebraic 2-type of . In addition, we prove that the invariant yields a non-trivial invariant of knotted surfaces.

生成讲解博客的中文版本

生成AI智能校验的中文版本