Grothendieck groups of integral nilpotent group rings (Q798759): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0021-8693(84)90123-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1992738198 / rank | |||
Normal rank |
Revision as of 20:22, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Grothendieck groups of integral nilpotent group rings |
scientific article |
Statements
Grothendieck groups of integral nilpotent group rings (English)
0 references
1984
0 references
Let R be a Dedekind domain, G a finite group, RG the group ring of G over R and \(G_ 0(RG)\) the Grothendieck group of the category of finitely generated RG-modules. The purpose of this paper is to generalize \textit{H. Lenstra}'s [J. Pure Appl. Algebra 20, 173-193 (1981; Zbl 0467.16016)] calculation of \(G_ 0(RG)\) from abelian groups G to nilpotent groups G. Let K be the quotient field of R and KG be the group algebra of G over K. From a part of the author's introduction: ''From now on, let G be a finite nilpotent group and for an irreducible K-character \(\theta\) of G we denote by \(e(\theta)\) the central primitive idempotent of KG (or \(KG/G_ p\) if \(p=ch(K)\) is not prime to the order \(| G|\) of G, where \(G_ p\) denotes a Sylow p-subgroup of G) corresponding to \(\theta\). Let \(\pi\) (G) and \(\pi\) (\(\theta)\) be the sets of all prime divisors of the order of G and the order \(n(\theta)\) of G/Ker \(\theta\), respectively. In order to obtain an analogue of Lenstra's formula, we set \(RG<e(\theta)>=RGe(\theta)[X]/(n(\theta)X-1).\) Theorem 1. Let G be a finite nilpotent group. Then we have the following isomorphism: \(G_ 0(RG)\simeq\oplus_{\theta\in Y}G_ 0(RG<e(\theta)>),\) where Y is the set of all isomorphism classes of irreducible K-characters of G.'' The author also investigates the structure of \(G_ 0(RG<e(\theta)>)\). In a paper following the one above by Lenstra, \textit{M. Liu} [ibid. 24, 287-291 (1982; Zbl 0488.18004)] has given a formula for \(G_ 1(RG)\) in which the group G is finite abelian. The author [ibid. 29, 151-153 (1983; Zbl 0519.18014)] has generalized this to finite nilpotent groups.
0 references
Grothendieck group
0 references
category of finitely generated RG-modules
0 references
nilpotent groups
0 references
irreducible K-character
0 references
central primitive idempotent
0 references