Peiffer elements in simplicial groups and algebras

DOI10.1016/J.JPAA.2007.11.016zbMATH Open1146.18006arXivmath/0501260OpenAlexW2060483643MaRDI QIDQ931660FDOQ931660

Authors: J. L. Castiglioni, M. Ladra 

Publication date: 26 June 2008

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: The main objectives of this paper are to give general proofs of the following two facts: A. For an operad $oo$ in $ab$, let $A$ be a simplicial $oo$-algebra such that $A_m$ is the $oo$-subalgebra generated by $(su{m}_{i=0}^m{s}_i(A_{m-1}))$, for every $n$, and let $NA$ be the Moore complex of $A$. Then [ d (N_m A) = sum_{I} gamma(oo_{p} otimes �igcap_{i in I_1}ker d_i otimes ... otimes �igcap_{i in I_{p}}ker d_i) ] where the sum runs over those partitions of $[m-1]$, $I=(I_1,\mathrm{...},I_p)$, $pgeq1$, and $gamma$ is the action of $oo$ on $A$. B. Let $G$ be a simplicial group with Moore complex $NG$ in which the normal subgroup of $G_n$ generated by the degenerate elements in dimension $n$ is the proper $G_n$. Then $$, for $I,Jsubseteq[n-1]$ with $IcupJ=[n-1]$. In both cases, $d_i$ is the $i-th$ face of the corresponding simplicial object. The former result completes and generalizes results from Akc{c}a and Arvasi, and Arvasi and Porter; the latter, results from Mutlu and Porter. Our approach to the problem is different from that of the cited works. We have first succeeded with a proof for the case of algebras over an operad by introducing a different description of the adjoint inverse of the normalization functor $N:saboch$. For the case of simplicial groups, we have then adapted the construction for the adjoint inverse used for algebras to get a simplicial group $$ from the Moore complex of a simplicial group $G$. This construction could be of interest in itself.

Full work available at URL: https://arxiv.org/abs/math/0501260

Recommendations

• scientific article; zbMATH DE number 1024329
• Peiffer commutators by using GAP package
• Iterated Peiffer pairings in the Moore complex of a simplicial group
• Simplicial polygroups and the generalized Moore complexes
• Peiffer pairings in the Moore complex of a pro-\({\mathcal C}\) simplicial group

Mathematics Subject Classification ID

Nonabelian homological algebra (category-theoretic aspects) (18G50)

Cites Work

• Localization Theories for Simplicial Presheaves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Van Kampen theorems for diagrams of spaces
• Simplicial and crossed Lie algebras
• Non-abelian homology of groups
• Title not available (Why is that?)
• NON-ABELIAN HOMOLOGY OF LIE ALGEBRAS
• Modules croisés généralisés de longueur 2
• Title not available (Why is that?)
• Group-theoretic algebraic models for homotopy types
• Title not available (Why is that?)
• Simplicial homotopy theory
• Cosimplicial versus DG-rings: A version of the Dold-Kan correspondence
• Title not available (Why is that?)
• Calculations with simplicial and cubical groups in AXIOM

Cited In (6)

• Title not available (Why is that?)
• Iterated Peiffer pairings in the Moore complex of a simplicial group
• Peiffer pairings in the Moore complex of a pro-\({\mathcal C}\) simplicial group
• Homotopy theory and generalized dimension subgroups
• The peak algebra of the symmetric group revisited.
• Peiffer pairings in multisimplicial groups and crossed n-cubes and applications for bisimplicial groups

This page was built for publication: Peiffer elements in simplicial groups and algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q931660)