Reputation
27,768
Next tag badge:
86/100 score
16/20 answers
Badges
6 89 223
Impact
~938k people reached

9h
awarded  Nice Question
21h
comment Representation theorem for modular lattices?
Thank you. It looks nice.
23h
comment Representation theorem for modular lattices?
I have accepted Todd's answer, but if there is any more sophisticated representation theorem for modular lattices (different from the naive one I have suggested), feel free to add an answer!
23h
accepted Representation theorem for modular lattices?
23h
comment Representation theorem for modular lattices?
What are these strange symbols in the formula? They are not shown properly at my computer.
1d
revised Representation theorem for modular lattices?
added 269 characters in body
1d
asked Representation theorem for modular lattices?
1d
awarded  Enlightened
1d
awarded  Nice Answer
Feb
4
awarded  Popular Question
Feb
1
accepted Definition of ind-schemes
Feb
1
comment Definition of ind-schemes
My proof uses qs in an essential way. (It's the usual trick: first do the case of affine schemes, then qc sep schemes, then qc qs schemes.) Could you write down the details why qc suffices?
Feb
1
awarded  Nice Question
Feb
1
comment Definition of ind-schemes
@MatthieuRomagny: Don't we also need that $Y$ is quasi-separated?
Feb
1
comment Definition of ind-schemes
Thank you. So we use the property of $\mathsf{Set}$ that finite limits commute with filtered colimits. Does $\hom(Y,\varinjlim_n X_n) = \varinjlim_n \hom(Y,X_n)$ hold for arbitrary schemes $Y$ then? I think it holds when $Y$ is quasi-compact and quasi-separated.
Feb
1
comment Definition of ind-schemes
Sorry, I meant affine schemes in each case (this is what I have found in the literature). Edited.
Feb
1
revised Definition of ind-schemes
added 30 characters in body
Feb
1
asked Definition of ind-schemes
Jan
30
awarded  Notable Question
Jan
30
comment $A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$
Yes, it would be nice to see details on (1). Generally speaking, I suggest that the answer may be rewritten so it only contains the actual proof and not its development (this can be found in the history of the post).