Linear systems over \(\mathbb{Z}[Q_{16}]\) and roots of maps of some 3-complexes into \(M_{Q_{16}}\) (Q1704367)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear systems over \(\mathbb{Z}[Q_{16}]\) and roots of maps of some 3-complexes into \(M_{Q_{16}}\) |
scientific article |
Statements
Linear systems over \(\mathbb{Z}[Q_{16}]\) and roots of maps of some 3-complexes into \(M_{Q_{16}}\) (English)
0 references
9 March 2018
0 references
Let \(\mathbb{Z}[Q_{16}]\) be the group ring where \(Q_{16}=\langle x,y\mid x^4=y^2,\, xyx=y\rangle\) is the quaternion group of order \(16\) and \(\varepsilon\) the augmentation map. The author continues his project from [Cent. Eur. J. Math. 6, No. 4, 497--503 (2008; Zbl 1153.55002)] and shows that, if the equations \(PX=K(x-1)\) and \(PX=K(-xy+1)\) have solutions over \(\mathbb{Z}[Q_{16}]\) and all \(m\times m\) minors of \(\varepsilon(P)\) are relatively prime, then the linear system \(PX=K\) has a solution over \(\mathbb{Z}[Q_{16}]\), where \(P = [p_{ij}]\) is an \(m\times n\) matrix with \(m\leq n\). As a consequence of that result, it is proved that there is no map \(f : W \to M_{Q_{16}}\) that is strongly surjective, i.e., such that \(MR[f,a]=\min\{\sharp(g^{-1}(a))\mid\, g\in [f]\}\not=0\). Here, \(M_{Q_{16}}\) is the orbit space of the \(3\)-sphere \(\mathbb{S}^3\) with respect to the action of \(Q_{16}\) determined by the inclusion \(Q_{16}\subseteq \mathbb{S}^3\) and \(W\) is a \(CW\)-complex of dimension \(3\) with \(H^3(W;\mathbb{Z})=0\).
0 references
quaternion group
0 references
quaternionic determinant
0 references
strongly surjective map
0 references