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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references