Finite vs Ring Groups: Examining Theorems

  • Context: MHB 
  • Thread starter Thread starter cbarker1
  • Start date Start date
  • Tags Tags
    Finite Groups Ring
Click For Summary
SUMMARY

This discussion clarifies the relationship between finite groups and ring groups, specifically group rings as defined by Dummit and Foote. It establishes that not every theorem applicable to finite groups holds for ring groups due to their structural differences; for instance, while a finite group can be cyclic, a cyclic ring does not exist. The group ring RG contains a subring isomorphic to the commutative ring R and a subset that forms a group isomorphic to the finite group G.

PREREQUISITES
  • Understanding of group theory, specifically finite groups
  • Familiarity with ring theory and the definition of group rings
  • Knowledge of the concepts of cyclic groups and their properties
  • Basic comprehension of isomorphism in algebraic structures
NEXT STEPS
  • Study the properties of group rings in detail, focusing on their structure and applications
  • Explore the implications of theorems in group theory versus ring theory
  • Investigate examples of finite groups and their corresponding group rings
  • Learn about isomorphisms and their significance in algebraic structures
USEFUL FOR

Mathematicians, algebra students, and educators interested in advanced group theory and ring theory concepts, particularly those examining the distinctions between finite groups and ring groups.

cbarker1
Gold Member
MHB
Messages
345
Reaction score
23
Dear Everyone,

Does every theorem that holds for finite group holds for ring groups? Why or Why not?Thanks
Cbarker1
 
Physics news on Phys.org
What do you mean by “ring groups”?
 
A group ring defined as the following from Dummit and Foote:

Fix a commutative ring $R$ with identity $1\ne0$ and let $G=\{g_{1},g_{2},g_{3},...,g_{n}\}$ be any finite group with group operation written multiplicatively. A group ring, $RG$, of $G$ with coefficients in $R$ to be the set of all formal sum

$a_1g_1+a_2g_2+\cdots+a_ng_n$, $a_i\in R$, $1\le i\le n$
 
Well, note that $G$ is a group whereas $RG$ is a ring, so not every theorem about $G$ may be applicable to $RG$. For example, $G$ may be a cyclic group, but there is no such thing as a cyclic ring, so a theorem about cyclic groups may not make sense when applied to rings.

What you can say is that $RG$ contains a subring isomorphic to $R$, namely
$$\{a\cdot e_G:a\in R\}$$
as well as a subset which, with respect to multiplication, forms a group isomorphic to $G$, namely
$$\{1_R\cdot g:g\in G\}.$$
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
9K
  • · Replies 1 ·
Replies
1
Views
584
  • · Replies 2 ·
Replies
2
Views
3K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
934
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K