Isomorphic group rings over domains revisited (Q582357): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let R and S be commutative rings with 1 and let G and H be abelian groups. In this paper the authors consider what relations must hold between R and S when R is an integral domain and the group rings RG and SH are isomorphic as rings. If S is also an integral domain and the torsion subgroup T(G) of G splits in G then they show that RG\(\cong SH\) implies R(G/T(G))\(\cong S(H/T(H)).\) Furthermore, let R be an integral domain of characteristic 0 and let G and H be torsion abelian groups. Suppose that \(\pi (G)\cap R^*=\emptyset\), where \(\pi\) (G) is the set of all primes p such that the subgroup \(G_ p\) of p-torsion elements of G is nontrivial and \(R^*\) is the multiplicative group of R. Then RG\(\cong SH\) if and only if there exist subgroups K and L of G such that \(G=K\times L\), \(K\cong H\) and \(S\cong RL\). | |||
Property / review text: Let R and S be commutative rings with 1 and let G and H be abelian groups. In this paper the authors consider what relations must hold between R and S when R is an integral domain and the group rings RG and SH are isomorphic as rings. If S is also an integral domain and the torsion subgroup T(G) of G splits in G then they show that RG\(\cong SH\) implies R(G/T(G))\(\cong S(H/T(H)).\) Furthermore, let R be an integral domain of characteristic 0 and let G and H be torsion abelian groups. Suppose that \(\pi (G)\cap R^*=\emptyset\), where \(\pi\) (G) is the set of all primes p such that the subgroup \(G_ p\) of p-torsion elements of G is nontrivial and \(R^*\) is the multiplicative group of R. Then RG\(\cong SH\) if and only if there exist subgroups K and L of G such that \(G=K\times L\), \(K\cong H\) and \(S\cong RL\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: S. V. Mihovski / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S34 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20C07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20K10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4130585 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
commutative rings | |||
Property / zbMATH Keywords: commutative rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abelian groups | |||
Property / zbMATH Keywords: abelian groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
integral domain | |||
Property / zbMATH Keywords: integral domain / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
group rings | |||
Property / zbMATH Keywords: group rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
torsion subgroup | |||
Property / zbMATH Keywords: torsion subgroup / rank | |||
Normal rank |
Revision as of 19:07, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Isomorphic group rings over domains revisited |
scientific article |
Statements
Isomorphic group rings over domains revisited (English)
0 references
1990
0 references
Let R and S be commutative rings with 1 and let G and H be abelian groups. In this paper the authors consider what relations must hold between R and S when R is an integral domain and the group rings RG and SH are isomorphic as rings. If S is also an integral domain and the torsion subgroup T(G) of G splits in G then they show that RG\(\cong SH\) implies R(G/T(G))\(\cong S(H/T(H)).\) Furthermore, let R be an integral domain of characteristic 0 and let G and H be torsion abelian groups. Suppose that \(\pi (G)\cap R^*=\emptyset\), where \(\pi\) (G) is the set of all primes p such that the subgroup \(G_ p\) of p-torsion elements of G is nontrivial and \(R^*\) is the multiplicative group of R. Then RG\(\cong SH\) if and only if there exist subgroups K and L of G such that \(G=K\times L\), \(K\cong H\) and \(S\cong RL\).
0 references
commutative rings
0 references
abelian groups
0 references
integral domain
0 references
group rings
0 references
torsion subgroup
0 references