Representations of group rings and groups

DOI10.22108/IJGT.2017.21484MaRDI QIDQ5124045zbMATH OpenOpenAlexFDO

Publication date 17 September 2020

Full work available at URL https://arxiv.org/abs/1506.05149

Algebraic systems of matrices (15A30) Group rings (16S34) Group rings of finite groups and their modules (group-theoretic aspects) (20C05)

Abstract: An isomorphism between the group ring of a finite group and a ring of certain block diagonal matrices is established. The group ring

R G

of a finite group

G

is isomorphic to the set of {em group ring matrices} over

R

. It is shown that for any group ring matrix

A

of

m a t h b b C G

there exists a matrix

P

(independent of the entries of

A

) such that

P^{- 1} A P = e x t d i a g (T_{1}, T_{2}, l d o t s, T_{r})

for block matrices

T_{i}

of fixed size

s_{i} i m e s s_{i}

where

r

is the number of conjugacy classes of

G

and

s_{i}

are the ranks of the group ring matrices of the primitive idempotents. Using the isomorphism of the group ring to the ring of group ring matrices followed by the mapping

A m a p s t o P^{- 1} A P

(where

P

is of course fixed) gives an isomorphism from the group ring to the ring of such block matrices. Specialising to the group elements gives a faithful representation of the group. Other representations of

G

may be derived using the blocks in the images of the group elements. Examples are given demonstrating how interesting and useful representations of groups can be derived using the method. For a finite abelian group

Q

an explicit matrix

P

is given which diagonalises any group ring matrix of

m a t h b b C Q

. The matrix

P

is defined directly in terms of roots of unity depending only on an expression for

Q

as a product of cyclic groups. The characters and character table of

Q

may be read off directly from the rows of the diagonalising matrix

P

. This has applications to signal processing and generalises the cyclic case.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Representations of group rings and groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5124045)