hin zig kagmate.dm.uba.ar/~gtartag/assets/files/bartels.pdf · letrbearing 6bea group for...

1
Let R bearing 6 be a group For RER with REO and FERG with rf.fr 1 1 rf is a unit On monday we only considered unit of the form 1 rg with GE G Showthat any unit of theform 4 is a product of units of the form 2 Let Es be the cyclic group of order 5 Let t be a generator of G Show that 1 t t is a unit in Iks Show also that in Keks we have 1 t.tt g for all g CC b.ie that 1 t.tt is even in K theory different fromthe canonical units Hin Use ZIG E and det KAG 0 Let P be a finitely generated free R module Find a boundedbelow chain complex of finitely generated free R modules C s t a Pi b is dominated by a finite length chain complex of finitely generated freeR modules Let H be a finite group Let P Q with the trivial H action Show that P is projective as a EH module Show that P does not have a finite length resolution by finitely generated free R Modules Hint Show first PIE Ko Eko HI s Az Let 41 Gab KIRK be defined by g feg Show that At is split injective

Upload: others

Post on 23-May-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Hin ZIG KAGmate.dm.uba.ar/~gtartag/assets/files/Bartels.pdf · LetRbearing 6bea group For RERwithREO and FERG with rf.fr 1 1 rf is a unit Onmonday weonlyconsidered unit oftheform

Let Rbearing 6be a group For RERwithREO and FERG with rf.fr1 1 rf is a unit

On monday weonlyconsidered unit oftheform

1 rg withGEG

Showthatanyunitof theform 4 is a productof units of the form 2

Let Es be thecyclicgroupoforder 5 Let t be a generatorof GShow that 1 t t is a unit in IksShow also that in Keks we have 1 t.tt g for all gCC b.iethat 1 t.tt is even in K theorydifferent fromthe canonicalunits

Hin Use ZIG E and det KAG 0

Let P be afinitely generated free R module Find a boundedbelow

chain complex of finitelygenerated free R modules C s ta Pi b is dominatedby a finitelengthchaincomplex of

finitely generated freeR modules

Let H be a finitegroup Let P Q with the trivial H actionShow that P is projective as a EH module

Showthat P does not have a finitelength resolution byfinitely generated free R Modules

Hint Showfirst PIE Ko Eko HIs

AzLet 41 Gab KIRK be definedbyg feg

Showthat At is split injective