Inner and outer derivations of \(\mathbb{FV}_{8n}\) (Q6935973)

The first part of the paper includes some preliminary results and definitions that the authors need to prove the main results. In continue, they present an explicit classification of all the inner and outer derivations of the group algebra \(\mathbb{F}V_{8n}\), where \(\mathbb{F}\) be a field of characteristic \(0\) or an odd rational prime \(p\), and \(V_{8n}\) is a group of order \(8n\) (\(n\) a positive integer) with presentation \N\[\N\langle a, b \ | \ a^{2n} = b^4 1, ba = a^{-1}b^{-1}, b^{-1}a = a^{-1}b\rangle. \N\]\NFirst, they explicitly classify all the \(\mathbb{F}\)-derivations of \(\mathbb{F}V_{8n}\) by giving the dimension and a basis of the derivation algebra consisting of all \(\mathbb{F}V_{8n}\)-derivations of \(\mathbb{F}V_{8n}\). Then, they classify all inner and outer derivations of \(\mathbb{F}V_{8n}\) when \(\mathbb{F}\) is an algebraic extension of a prime field. They establish that all the derivations of \(\mathbb{F}V_{8n}\) are inner when the characteristic of \(\mathbb{F}\) is \(0\) or \(p\) with \(p\) relatively prime to \(n\), and that non-zero outer derivations exist only in the case when the characteristic of \(\mathbb{F}\) is \(p\) with \(p|n\).