Subject: Re: three responses
Date: Mon, 24 Nov 2003 18:37:16 -0600
From: "Martin C. Tangora" <tangora@uic.edu>
To: Don Davis <dmd1@lehigh.edu>

Regarding the kernel of Sq^0 (p=2),
it seems to me that the element
at (t-s,s)=(17,7) is in the kernel
(and not in the image of h0^4).
It is h0^3.e0 or h1^3.d0 or P(h2^3)
and the non-zero element at (41,7)
can not be recognized as Sq^0 of any of those.
But maybe I am being naive about Sq^0.

Regarding odd primes,
paragraph 2.7 (page 18) of my AMS Memoir #337 (1985)
(Computing the homology of the lambda algebra)
has some remarks and a couple of references
(Curtis, Wellington, Aikawa).
It reveals that I didn't (and don't) really know how
to define this operation for odd primes.
As for p=2, I refer to this operation as
an "endomorphism" which -- twenty years later --
I think shows that I was ducking the question
of what's in the kernel.

At 05:00 PM 11/24/2003 -0500, you wrote:
>Three quick postings to Lazarev's question............DMD
>...

Martin C. Tangora
University of Illinois at Chicago
tangora@uic.edu