What is the structure of group algebras for D4 and Q8?

  • Context: Graduate 
  • Thread starter Thread starter algebrist
  • Start date Start date
  • Tags Tags
    Group
Click For Summary
SUMMARY

The discussion focuses on the group algebras of the dihedral group D4 and the quaternion group Q8, specifically their algebra and coalgebra structures over a field k. For fields with characteristic not equal to 2, the group algebra kG can be described using Wedderburn's structure theorem, resulting in a structure of FxFxFxFx(M_2(F))x(M_2(F)). In contrast, for fields of characteristic 2, the algebra structure becomes more complex, although the size of k does not affect the description of the algebra structure, only its characteristic.

PREREQUISITES
  • Understanding of group theory, specifically dihedral and quaternion groups.
  • Familiarity with group algebras and their algebraic structures.
  • Knowledge of Wedderburn's structure theorem and its implications.
  • Basic concepts of field theory, particularly characteristics of fields.
NEXT STEPS
  • Research the implications of Wedderburn's structure theorem on group algebras.
  • Study the representation theory of groups, focusing on D4 and Q8.
  • Explore the differences in group algebra structures over fields of different characteristics.
  • Learn about coalgebra structures and their relation to group algebras.
USEFUL FOR

Mathematicians, algebraists, and graduate students specializing in group theory and representation theory, particularly those interested in the structures of group algebras.

algebrist
Messages
12
Reaction score
0
group algebras of D4 and Q8.. please help!

ok this is my problem:
---------------------------------------------------------------------
for
D4 - the dihedral group of order 8
and
Q8 - quaternion group of order 8

describe the group algebra kG (for a big enough k so that Masche thm. holds), both its algebra and coalgebra structure.
---------------------------------------------------------------------
please if you have any suggestions how should i procede i'll be glad to see them
 
Physics news on Phys.org
First you must tell us over what field you want the algebra defined. If the field has characteristic not equal to 2 the answer is almost trivial by wedderburn's structure theorem (it is FxFxFxFx(M_2(F))x(M_2(F)) where F is the field I think, by complete reducibility of the group's representation theory). Over char 2 it's a little harder.
 
Sorry, I omitted to say, that the *size* of k is unimportant to describe the algebra structure, merely its characteristic (if it is a field, a ring is different again). It is a full matrix algebra so its structure and coalgebra structure are easy to describe (if the char is not 2).
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
970
  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 50 ·
2
Replies
50
Views
4K
  • · Replies 61 ·
3
Replies
61
Views
9K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K