Core Concepts
This paper introduces the concept of easily computable indecomposable dimension (ECID) group algebras, which are finite group algebras where all group codes generated by primitive idempotents have dimension less than or equal to the characteristic of the underlying field. Several characterizations and conditions are provided for identifying ECID group algebras.
Abstract
The paper introduces the concept of easily computable indecomposable dimension (ECID) group algebras, which are finite group algebras where all group codes generated by primitive idempotents have dimension less than or equal to the characteristic of the underlying field.
The key highlights and insights are:
Several characterizations are provided for ECID group algebras, including conditions related to the size of q-orbits, splitting fields, and the structure of the group algebra.
Necessary and sufficient conditions are given for a group algebra to be a minimal ECD (easily computable dimension) group algebra, where the dimension of all principal indecomposable modules is less than or equal to the characteristic of the field.
For non-semisimple ECID group algebras, it is shown that they have finite representation type and their Sylow p-subgroups are cyclic of order p.
Lower bounds are provided for the dimension and minimum Hamming distance of group codes in ECID group algebras.
Arithmetical tests are presented to determine whether an idempotent in a finite group algebra is not primitive.
Examples are included to illustrate the main results.
Stats
|G| - |H/H'| = 21
max{nj * [Fj : Fq]} = 10
γ = 21
Quotes
"An easily computable dimension (or ECD) group code in the group algebra FqG is an ideal of dimension less than or equal to p = char(Fq) that is generated by an idempotent."
"An easily computable indecomposable dimension (or ECID) group algebra as a finite group algebra for which all group codes generated by primitive idempotents are ECD."