On the star class group of a pullback

Abstract: For the domain

R

arising from the construction

T, M, D

, we relate the star class groups of

R

to those of

T

and

D

. More precisely, let

T

be an integral domain,

M

a nonzero maximal ideal of

T

,

D

a proper subring of

k : = T / M

,

p h i : T o k

the natural projection, and let

R = {p h i}^{- 1} (D)

. For each star operation

a s t

on

R

, we define the star operation

a s t_{p} h i

on

D

, i.e., the ``projection of $a s t$ under $p h i$ , and the star operation ${(a s t)}_{_{T}}$ on $T$ , i.e., the ``extension of

a s t

to

T

. Then we show that, under a mild hypothesis on the group of units of

T

, if

a s t

is a star operation of finite type,

0 o C l^{a s t_{p h i}} (D) o C l^{a} s t (R) o C l^{{(a s t)}_{_{T}}} (T) o 0

is split exact. In particular, when

a s t = t_{R}

, we deduce that the sequence

0 o C l^{t_{D}} (D) o C l^{t_{R}} (R) o C l^{(t_{R})_{_{T}}} (T) o 0

is split exact. The relation between

(t_{R})_{_{T}}

and

t_{T}

(and between

C l^{(t_{R})_{_{T}}} (T)

and

C l^{t_{T}} (T)

) is also investigated.

Cites Work

Cited In (5)

This page was built for publication: On the star class group of a pullback