English

$(\sigma, \tau)$-Derivations of Group Rings with Applications

Rings and Algebras 2024-10-07 v3 Representation Theory

Abstract

Leo Creedon and Kieran Hughes in [18] studied derivations of a group ring RGRG (of a group GG over a commutative unital ring RR) in terms of generators and relators of group GG. In this article, we do that for (σ,τ)(\sigma, \tau)-derivations. We develop a necessary and sufficient condition such that a map f:XRGf:X \rightarrow RG can be extended uniquely to a (σ,τ)(\sigma, \tau)-derivation DD of RGRG, where RR is a commutative ring with unity, GG is a group having a presentation XY\langle X \mid Y \rangle (XX the set of generators and YY the set of relators) and (σ,τ)(\sigma, \tau) is a pair of RR-algebra endomorphisms of RGRG which are RR-linear extensions of the group endomorphisms of GG. Further, we classify all inner (σ,τ)(\sigma, \tau)-derivations of the group algebra RGRG of an arbitrary group GG over an arbitrary commutative unital ring RR in terms of the rank and a basis of the corresponding RR-module consisting of all inner (σ,τ)(\sigma, \tau)-derivations of RGRG. We obtain several corollaries, particularly when GG is a (σ,τ)(\sigma, \tau)-FC group or a finite group GG and when RR is a field. We also prove that if RR is a unital ring and GG is a group whose order is invertible in RR, then every (σ,τ)(\sigma, \tau)-derivation of RGRG is inner. We apply the results obtained above to study σ\sigma-derivations of commutative group algebras over a field of positive characteristic and to classify all inner and outer σ\sigma-derivations of dihedral group algebras FD2n\mathbb{F}D_{2n} (D2n=a,ban=b2=1,b1ab=a1D_{2n} = \langle a, b \mid a^{n} = b^{2} = 1, b^{-1}ab = a^{-1}\rangle, n3n \geq 3) over an arbitrary field F\mathbb{F} of any characteristic. Finally, we give the applications of these twisted derivations in coding theory by giving a formal construction with examples of a new code called IDD code.

Keywords

Cite

@article{arxiv.2303.04372,
  title  = {$(\sigma, \tau)$-Derivations of Group Rings with Applications},
  author = {Praveen Manju and Rajendra Kumar Sharma},
  journal= {arXiv preprint arXiv:2303.04372},
  year   = {2024}
}

Comments

In the previous version, the proof of Theorem 3.4 contained a calculation error. This is the more complete version of the previous article. Comments are welcome