Cartan maps and projective modules

Abstract: Let

R

be a commutative ring,

p i

be a finite group,

R p i

be the group ring of

p i

over

R

. Theorem 1. If

R

is a commutative artinian ring and

p i

is a finite group. Then the Cartan map

c : K_{0} (R p i) o G_{0} (R p i)

is injective. Theorem 2. Suppose that

R

is a Dedekind domain with

f n c h a r R = p > 0

and

p i

is a

p

-group. Then every finitely generated projective

R p i

-module is isomorphic to

F o p l u s c A

where

F

is a free module and

c A

is a projective ideal of

R p i

. Moreover,

R

is a principal ideal domain if and only if every finitely generated projective

R p i

-module is isomorphic to a free module. Theorem 3. Let

R

be a commutative noetherian ring with total quotient ring

K

,

A

be an

R

-algebra which is a finitely generated

R

-projective module. Suppose that

I

is an ideal of

R

such that

R / I

is artinian. Let

c M_{1}, l d o t s, c M_{n}

be the set of all maximal ideals of

R

containing

I

. Assume that the Cartan map

c_{i} : K_{0} (A / c M_{i} A) o G_{0} (A / c M_{i} A)

is injective for all

1 l e i l e n

. If

P

and

Q

are finitely generated

A

-projective modules with

K P s i m e q K Q

, then

P / I P s i m e q Q / I Q

.

This page was built for publication: Cartan maps and projective modules