2,733 reputation
718
bio website blog.jpolak.org
location
age
visits member for 4 years, 2 months
seen 4 hours ago

I am a mathematics PhD student at McGill University and I'm interested in the representation theory of algebraic groups and the geometry of these groups over local fields. I am also interested in homological algebra and algebraic K-theory.


Nov
23
comment Homotopy Groups for Categories
All the homotopy groups of an essentially small category can be defined and this is well-known. You take the homotopy of the associated nerve. This is one way for instance to define the algebraic K-theory of a ring: one takes the homotopy groups of the nerve of the Q-construction applied to the category of fg projection modules over the ring.
Nov
16
answered How to show that homotopy of chain maps respects composition?
Nov
14
answered complex analysis: book suggestion after using Serge Lang's book
Nov
13
answered Any recommendation of software for keeping a mathematical diary?
Nov
13
answered Algebraic results using lower K-theory as a blackbox
Nov
9
comment Weibel IHA Exercise 1.2.5
My hint is to try for a small double complex, say a "2x2" complex.
Sep
24
awarded  Autobiographer
Sep
21
awarded  Yearling
Sep
8
comment Is there a theory of lie “rings”?
Do you mean $GL(n)$?
Aug
7
answered Example of Tor-Rigid Module
Aug
3
answered Graded rings and modules - which book to refer to?
Jul
29
awarded  Nice Answer
Jul
6
answered Using Tor to find the Torsion submodule
Jul
2
comment Tensor product and projective dimension
What about if $M$ is the zero module for your first question?
Jun
26
comment Examples of non commutative rings.
Check out Lam's "A First Course in Noncommutative Rings". There are many examples in Section 1.1.
Jun
21
answered Homological algebra (homotopical approach)
Jun
9
comment Order of operations - why are they in the order they're in?
Parentheses are certainly natural enough, and once you accept these, multiplication over addition makes the formula 5*(4 + 2) = 5*4 + 5*2 pretty nice.
May
15
awarded  Good Answer
May
11
answered Proof of that entire $A$ is a UFD iff every nonzero prime ideal contains a nonzero prime element. (Kaplansky)
May
11
answered Inequality amongst projective dimensions!?