3148972994

3148972994



1.5. Grupa Grothendiecka i forma Eulera

prawie rozszczepialnymi. Zauważmy, że z powyższych rozważań wynika, że moduł X nie może być injektywny, moduł Z nie może być projektywny, oraz X ~ taZ i Z ~ t^X.

Powyższe pojęcia pozwolą nam zdefiniować pojęcie kołczanu Auslandera-Reiten algebry A, który będziemy oznaczać przez Jest to kołczan z translacją, którego zbiorem wierzchołków jest zbiór klas izomorfizmów nie-rozkładalnych A-modułów, które będziemy także identyfikować z samymi modułami. Jeśli X i Y są dwoma nierozkładalnymi A-modułami, X —> jest minimalnym lewym prawie rozszczepialnym odwzorowaniem, N —> Y jest minimalnym prawym prawie rozszczepialnym odwzorowaniem, to ilość strzałek z X do 7 w jest równa krotności modułu Y w M lub, równoważnie, modułu X w N. Translacja w kołczanie Ta jest indukowana przez ta- Dzięki utożsamieniu nierozkładalnych A-modułów z wierzchołkami kołczanu możemy mówić o nierozkładalnych modułach preprojektywnychpreinjektywnych. Ogólnie, moduł będziemy nazywać preprojektywnym, gdy jest sumą prostą nierozkładalnych modułów preprojektywnych, zaś preinjek-tywnym, gdy jest sumą prostą nierozkładalnych modułów preinjektywnych. Jeśli C jest składową skierowaną kołczanu Auslandera-Reiten o skończonej liczbie r^-orbit, to będziemy mówić, że składowa C jest standardowa, jeśli mamy równość dim*- Hom^fW, Y) = dc(X, Y) dla wszystkich nierozkładalnych A-modułów X i Y należących do C. Przypomnijmy, że funkcja dc została zdefiniowana w paragrafie 1.3.

1.5. Grupa Grothendiecka i forma Eulera

Niech A = KQ/I będzie algebrą, gdzie Q = (Qo,Qi) jest jej kołczanem. Definiujemy grupę Grothendiecka K0(A) kategorii mod A jako ZQo. Elementy grupy Kq(A) będziemy nazywać wektorami. W grupie Kq(A) możemy wprowadzić porządek. Jeśli x, y € Kq(A), to x < y wtedy i tylko wtedy, gdy x(a;) < y(#) dla każdego x E Qq. Możemy także mówić o nierównościach ostrych. W szczególności w Kq(A) mamy wektory dodatnie określone przez warunek x > 0. Dla każdego A-modułu M definiujemy wektor wymiaru dim M E Kq(A) wzorem

dimM(x) := dimK(x\x)M

dla x E Qq. Wektory wymiaru mają dobrą interpretację. Okazuje się bowiem, że

dim M{x) = dim*: Hom^(Pa;, M) = dim# Hom^(M, Ix)



Wyszukiwarka

Podobne podstrony:
1.5. Grupa Grothendiecka i forma Eulera dla x E Qo. Warto dodać, że wzory zadające równoważność kate
8. VOł0€tfVa6v a • (/? • a) - {a • fi) ■ a Uwaga 6.0.1. Zauważmy, że w powyższej definicji występują
ullman064 (2) 134 3 RELACYJNY MODEL DANYCH Zauważmy, że powyższy związek oraz związek /. pr/.ykładu
Wstyd i przemo0042 82 Wstyd i przemoc zauważyć, że zawiść, podobnie jak zazdrość, jest formą wstydu,
Zauważmy, że z pierwszej relacji wynika a^e = ea*, więc element e leży w centrum grupy G„. Grupa ilo
image 052 52 Fizyczne i wirtualne źródła pola promieniowania Zauważmy, że do rozwiązania tych równań
image 061 Twierdzenie o dualności 61 Zauważmy, że podstawienia (3.48)-i-(3.50) implikują również prz

więcej podobnych podstron