Professional Documents
Culture Documents
1969 Epstein Kneser Funnctors Between Categories of Vector Spaces
1969 Epstein Kneser Funnctors Between Categories of Vector Spaces
OF V E C T O R SPACES
by
D. B. A. E p s t e i n *
and
M. K n e s e r * *
we h a v e a f u n c t o r f r o m to B, w h i c h assigns to e a c h ob-
w i l l be c a l l e d a c o n s t a n t functor.
Theorem 1
a c t e r i s t i c and L is infinite.
** G o t t i n g e n , Germany
- 155 -
finite sets, and for any field L there are many functors
Theorem 2
iii) F = | .
n
Corollary 3
L.
Corollary 4
in [2].
Corollary 3 is a c o n s e q u e n c e of T h e o r e m 2. The
[2] L e m m a 7.2.
Since FV is n a t u r a l l y isomorphic to
Lemma 5
angular.
- 157 -
W ~ W 1 = {w 6 Wl (@g)w = lw} ~ 0
Lemma 6
or
8x 9 eg = eg . 8xX (x,g) .
Theorem 7
phism. Then
i) L is i n f i n i t e ;
but we do n o t p r o v e this.
L must be infinite.
unipotent elements.
%(1 + ~Eik) is u n i p o t e n t .
and the p r o o f of T h e o r e m 7 is c o m p l e t e .
false, t h e n by T h e o r e m 7, e a c h homomorphism
Therefore
which is a c o n t r a d i c t i o n .
of all n i l p o t e n t endomorphisms.
Lemma 8
Let G be the g r o u p of a u t o m o r p h i s m s of V of
Lemma 9
Fq.
of K in to L.
follows.
i
form I , where the value of i may depend on the position
projections
i: C - - C x D, j: D ) C x D, p: C x D > C, q: C x D 9 D,
Lemma i0
Lemma ii
decomposition i0.
If G: ~k > ~ is a f u n c t o r of k variables,
.th
one can perform the above process on t h e l variable for
FI(cl,...,Cn ) = I m ( E K ( - 1 ) IKIF(~K)) c FC ,
- 1 6 6 -
the o r d e r of the v a r i a b l e s C I , . . . , C n. We d e f i n e
Lemma 12
F,n,l~ is a d d i t i v e in e a c h v a r i a b l e if and o n l y if
(n+l)
F = 0 9
5). A functor F w i l l be c a l l e d h o m o g e n e o u s of d e g r e e i if
is the d i r e c t s u m of h o m o g e n e o u s functors. In o r d e r to p r o v e
Lemma 13
If F is h o m o g e n e o u s of d e g r e e n, then F (n) ~ 0
and F(n+l) = 0 .
ues of F (k) (X,...,X) are of the form Xn l + n 2 + ' ' ' + n k . Since
Lemma 12 a n d so e a c h n. is equal to o n e .
1
Lemma 14
FI > F2
[
G 1 > G2
1
where
(n)
B is induced by a
VeV
2
V :~ V
which is e q u a l to F1 v + F1 v + F m o YV where
commutative diagram
(2) (2)
F1 (V,V) 9 F2 (V,V)
F (2) . A2 .
- 169 -
Tr,n_ r in (r - i) ! (n - r - i) ! copies of
proof of T h e o r e m 2.
- 170 -
REFERENCES
[3) Eilenberg, S., and MacLane, S., "On the groups H(~,n),