Perfect braided crossed modules and their mod-\(q\) analogues (Q1382786): Difference between revisions

A braiding on a crossed module \(\partial\colon N\to G\) is a map \(\{\;,\;\}\colon G\times G\to N\) satisfying several conditions. Canonical braidings are the commutator and tensor product maps. Braided crossed modules are a special case of the crossed squares of \textit{J.-L. Loday} [J. Pure Appl. Algebra 24, No. 2, 179-202 (1982; Zbl 0491.55004)]. The mod-\(q\) non-Abelian tensor product of crossed modules was defined by \textit{D. Conduché} and \textit{C. Rodríguez-Fernández} [J. Pure Appl. Algebra 78, No. 2, 139-160 (1992; Zbl 0795.20035)], and \textit{J. L. Doncel-Juárez} and \textit{A. R.-Grandjeán} [J. Pure Appl. Algebra 81, No. 3, 279-292 (1992; Zbl 0829.20045)] used this to obtain the mod-\(q\) analogue of \textit{K. Norrie}'s theorem over perfect crossed modules [Ph.D. thesis (1987)]. The author considers the extension theory of braided crossed modules and proves the braided versions of Norrie's theorem for perfect braided crossed modules and of Doncel-Juárez and R.-Grandjeán's theorem for \(q\)-perfect braided crossed modules: If \((N\to G,\{\;,\;\})\) is a \(q\)-perfect braided crossed module with \(N\) being a \(q\)-central extension of \(G\), then \((N\otimes^qG\to G\otimes^qG,\{\;,\;\}^q)\) becomes the universal \(q\)-central extension of it.