# Earthliŋ

less info
reputation
113
bio website location age member for 1 year, 9 months seen yesterday profile views 67

The Portuguese Language proposal on Area 51 could use your support. Anyone interested in the Portuguese language can follow the proposal here.

 May11 comment Space modelled on ring @ZhenLin Well, you tell me. In my limited understanding, I think of schemes as functors that give something space-like for each argument, like $GL_n$ spitting out $GL_n(\mathbb C)$ or $GL_n(\mathbb R)$, when feeding it $\mathbb C$ or $\mathbb R$, respectively. In my example, so far I only know how to think about one ring: the ring of (global) functions. Apr28 comment Find $\dim R(T)$ and $\dim N(T)$ from the matrix of a linear map $T$ Look up Gaussian elimination, e.g. on Wikipedia or YouTube. Apr28 comment Automorphism group of Lie algebra $\mathfrak{g\oplus g}$ I did the calculation. As you said it was very boring—it turns out to be a 10-dimensional subgroup of $GL(6,\mathbb R)$ times $\mathbb Z_2$ (semi-direct). Apr19 comment Automorphism group of Lie algebra $\mathfrak{g\oplus g}$ "Just compute it" isn't what I hoped for when I asked the question, but maybe the only sensible answer. Thank you for the lead, I'm giving it a try. Apr19 comment Easy problems on continuity Sorry, I only saw the word continuous, and the identity $\mathrm{cos}\tfrac1x=1-\mathrm{sin}\tfrac1{2x}$... Apr19 comment Automorphism group of Lie algebra $\mathfrak{g\oplus g}$ @MarianoSuárez-Alvarez I gave up trying to write it as a quotient and edited the question. Apr19 comment Easy problems on continuity You sure? What happens with (i) when $x\to 0$? Google "cos(1/x)", Google seems to have a plotting function now. Apr18 comment Automorphism group of Lie algebra $\mathfrak{g\oplus g}$ True. This seems to be less trivial than I imagined. Is $\operatorname{Aut}(\mathfrak{g\oplus g})\cap\operatorname{Aut}(\Delta\mathfrak g)$ normal in $\operatorname{Aut}(\mathfrak{g\oplus g})$? Apr18 comment Automorphism group of Lie algebra $\mathfrak{g\oplus g}$ Yes, I mean $\operatorname{Aut}(\mathfrak{g\oplus g)/\operatorname{Aut}(\Delta g})$. Apr18 comment Choosing central generator for nilpotent group generated by 3 elements I found a comment on this question on MO, which claims that one generator can be chosen to be central. However, I do not understand the reasoning by which the commenter deduced this fact. Could there be a simple proof for the case when the number of generators is 3? Apr18 comment Choosing central generator for nilpotent group generated by 3 elements Thanks. I guess that means that even in fairly simple cases (nilpotence class 2, 3 generators, torsion-free), these conditions imply very little about the group. I also guess it's a measure of my mathematical ignorance that makes me state overly strong conjectures. Do you have any idea what happens if I add the condition that the centre be generated by one element, i.e. infinite cyclic? Apr17 comment Choosing central generator for nilpotent group generated by 3 elements Yes, really really sorry I didn't remember to put it into the question. By 2-step I mean that $[a,b]$ is in the centre of $G$, i.e. trivial group "in two steps". Apr17 comment Choosing central generator for nilpotent group generated by 3 elements Thanks, that's a neat counter-example. I would like to add the condition "torsion-free" to $G$. Apr11 comment How to show that $\mathrm{Sym}_{n\times n}(\Bbb{R})$ and $\mathrm{Skew}_{n\times n}(\Bbb{R})$ are subspaces of $\mathrm{M}_{n\times n}(\Bbb{R})$ Sorry I hadn't finished reading your proof, which seems complete to me. Apr11 comment When are homology groups free abelian groups? Look up homology of real projective space. Aug20 comment Determine topological properties of a space of matrices Connectedness, homotopy groups, homology groups, cohomology groups. These would all follow from general theory, if one could write down explicitly, what this space is, as for the case when one just imposes the second condition. Jul26 comment Structures on torus That is much more than I expected from any answer. Thank you so much! Jul26 comment $\mathrm{det}(A-B)\neq0$ if and only if $\mathrm{det}(A+B)\neq0$? @all: I tried to delete as soon as I hit the submit button, but at first there was no delete button, and by the time it appeared, there was already an answer, and the site told me I would have to flag an admin if I wanted to vote for deletion. It is quite curious, however, how much response an embarrassingly bad question elicits. Even worse, I have actually gained reputation with this question, because downvotes have less impact than upvotes. I was doing calculations which seemed to imply my question and was too quick to ask. My sincere apologies to all. Jul26 comment Structures on torus Thanks. If I understand it correctly, points in the Teichmüller space for the torus correspond to complex structures, but the various metrics on the Teichmüller space don't correspond to metrics on the torus... How about the Riemannian metric inherited from $\mathbb R^2$. This one should vary with the lattice, I would assume. I just don't know how... Jul25 comment Set of homomorphisms from discrete upper triangular group into continuous u.t. group But will conjugates alone give all injective homomorphisms? For example, in dimension 3, the set of injective homomorphisms is the 6-dimensional space $GL_2\mathbb R\times\mathbb R^2$ with $G$ acting transitively on the $\mathbb R^2$ factor, but trivially on $GL_2\mathbb R$. Including and conjugating would thus only yield $\{\text{pt}\}\times\mathbb R^2$ and not the whole set...