31,405 reputation
1187187
bio website mate.dm.uba.ar/~aldoc9
location Buenos Aires
age 40
visits member for 5 years, 2 months
seen 2 days ago
 

2d
comment Proofs without words
If you cannot tell the difference between a proof-tree and a proof without words in the tradition of, say, the AMM Monthly, then that is clearly a limitation of yours. I would rather you start a meta thread, or a blog, instead of further polluting this thread with what is clearly rather orthogonal chatter.
Jan
23
comment Proofs without words
@goblin, I am afraid that you have completely misunderstood the concept. The idea is pictures which have the rather amazing capability of immediately suggesting on the mind of the viewer the idea of a proof. How on earth you managed to get from the rather well-known idea involved in this question to «proofs without logic» is a mystery to me.
Jan
9
awarded  Nice Answer
Dec
30
comment Localizations or quotients of categories?
@FilippoAlbertoEdoardo, consider an antisimmetric category (so that for distinct objects $x$ and $y$ at most one of the sets $\hom(x,y)$ and $\hom(y,x)$ is nonempty,and there are no nonidentity endomorphisms) and consider the equivalence relation which identifies all elements in each nonempty $\hom$ set. This is not a lozalization, because there are no isomrphisms in the resulting category.
Dec
16
comment Defining the cup product in Ext using a Kunneth formula
The cup product is just the composition of maps in the derived category. If you want to actually compute, that's not very helpful, though.
Dec
13
awarded  Nice Answer
Dec
12
awarded  Great Answer
Dec
12
awarded  Popular Question
Dec
11
comment The Euler characteristic of Hilbert series
Knot theory people use «graded Euler characteristic» if I recall correctly, but it seems restricted to that crowd.
Dec
11
asked The Euler characteristic of Hilbert series
Dec
6
comment Higher Homotopy Groups
That we do have a map follows from the celebrated Theorem on The Existence Of Constant Maps.
Nov
22
comment Is the Amitsur-Levitzki identity essentially unique?
Your last paragraph can be expressed succintly using the notion of T-ideals.
Nov
21
comment Rigid nilpotent Lie algebras
The condition by Carles is on any lie algebra or on nilpotent ones?
Nov
18
revised Is there a natural way to view the proof of Hilbert 90?
added 71 characters in body
Nov
18
comment Cohomology of SL(2,R) with coefficients given by linear action
You are looking at $SL_2(\mathbb R)$ as a discrete group?
Nov
17
revised Is there a natural way to view the proof of Hilbert 90?
added 78 characters in body
Nov
17
answered Is there a natural way to view the proof of Hilbert 90?
Nov
12
comment Two rings…are they isomorphic?
@NicholasProudfoot, please do revert the edit and ask another question.
Nov
11
comment The properness of a submersion
Please if after some time you do not get an answer in math.stackexchange.com it can be sensible to reask here, but always provide links to the other question in both sides, and please do not delete questions which have answers on which other users have spent time and energy.
Nov
11
comment The properness of a submersion
This has been asked also at math.stackexchange.com/questions/1004543/… (and then deleted by the OP; but I undeleted it)