Let $\mathfrak{g}$ and $\mathfrak{h}$ be two-dimensional non abelian Lie-algebras. Show that they are isomorphic.   Suppose that $\{E_1,E_2\}$ and $\{F_1,F_2\}$ be basis for $\mathfrak{g}$ and $\mathfrak{h}$ respectively. Since both $\mathfrak{g}$ and $\mathfrak{h}$ are nonabelian, $[E_1,E_2] \ne 0$ and $[F_1,F_2] \ne 0$. Suppose that $[E_1,E_2]=aE_1+bE_2$. If $a=0$, then dividing by nonzero $b$ we have $[E_1,\frac{1}{b}E_2]=E_2$. If $a \ne 0$, then dividing by $a$ throughout we have $[E_1,\frac{1}{a}E_2]=E_1+\frac{b}{a}E_2$. Then $[E_1+\frac{b}{a}E_2-\frac{b}{a}E_2,\frac{1}{a}E_2]=[E_1+\frac{b}{a}E_2,\frac{1}{a}E_2]=E_1+\frac{b}{a}E_2$. So to start with, we can choose $\{E_1,E_2\}$ and $\{F_1,F_2\}$ such that $[E_1,E_2]=E_1$ and $[F_1,F_2]=F_1$.   Now define $\phi: \mathfrak{g} \to \mathfrak{h}$ by $\phi(aE_1+bE_2)=aF_1+bF_2$. Then $\phi$ is linear, one-to-one and onto. Moreover, we have $\phi([E_1,E_2])=\phi(E_1)=F_1=[\phi(E_1),\phi(E_2)]$. Thus, $\phi$ is an isomorphism.   I was wondering if I could do this more directy, without any assumption on the Lie brackets of both sides. If I do that and define $\phi$ as above, then I just have to show the nice behavior of $\phi$ with the Lie brackets. Now $\phi([E_1,E_2])=aF_1+bF_2$ but I don't know how to show that $[F_1,F_2]=aF_1+bF_2$.  Thanks for the help!!
I am trying to find all 1- or 2- dimensional Lie Algebras "a" up to isomorphism. This is what I have so far:  If a is 1-dimensional, then every vector (and therefore every tangent vector field) is of the form $cX$. Then , by anti-symmetry, and bilinearity:  $$[X,cX]=c[X,X]= -c[X,X]==0$$  I think this forces a unique Lie algebra because Lie algebra isomorphisms preserve the bracket.  I also know Reals $\mathbb{R}$ are the only 1-dimensional Lie group, so its Lie algebra ($\mathbb{R}$ also) is also 1-dimensional. How can I show that every other 1-dimensional algebra is isomorphic to this one? Do I use preservation of bracket?  For 2 dimensions, I am trying to use the fact that the dimension of the Lie algebra g of a group $G$ is the same as the dimension of the ambient group/manifold $G$. I know that all surfaces (i.e., groups of dimension 2) can be classified as products of spheres and Tori, and I think the only 2-dimensional Lie group is $S^1\times S^1$, but I am not sure every Lie algebra can be realized as the Lie algebra of a Lie group ( I think this is true in the finite-dimensional case, but I am not sure).  I know there is a result out there that I cannot yet prove that all 1- and  2-dimensional Lie algebras are isomorphic to Lie subalgebras of $GL(2,\mathbb{R})$ (using matrix multiplication, of course); would someone suggest how to show this last? Thanks.
How to use Mathematica functions in Python programs? I've seen a couple questions around here like , which mentions:     Unfortunately that same browser won't allow me to test HTTP PUT, DELETE, and to a certain degree even HTTP POST.   I've also heard that browsers support only GET and POST, from some other sources like:        However, a few quick tests in Firefox show that sending PUT and DELETE requests works as expected -- the XMLHttpRequest completes successfully, and the request shows up in the server logs with the right method. Is there some aspect to this I'm missing, such as cross-browser compatibility or non-obvious limitations? Prevent windows from going into sleep when my program is running? \begin{eqnarray*} M&amp;=&amp; \max{\left \{a,b,\frac{a+b}{2},\right}\\ &amp;&amp; a+b,a+b/2\Bigg\} \end{eqnarray*} AMD GPU Material in "material preview mode" and "rendered mode", is entirely gray as background. Only outline is displayed I don't know why but now, when i go in material preview or rendered (in solid mode it works fine), my object is entirely gray, or invisible idk, because it has the same color of the background. I've been working for days on this project without having this issue, it suddenly showed up. I tried opening other old projects and suddenly they all do the same so i guess it is some blender program setting that applies for all the projects, but idk how it happened cuz i didn't change anything :/, anyone got any tips? What is the life expectancy of a Wookiee? At lunch, my coworkers and I were discussing The Force Awakens, and started questioning Chewbacca's age.  A quick check of  and it says he is possibly about 230 years old as of Episode VII.  Following the  link on that page, Wookieepedia claims that they live to be 400 years old.  Do we know from canon what the average life expectancy of a Wookiee is? Is there a way to get new dwellers with higher than normal stats? How to get function's name from function's pointer in Linux kernel? Humans don't digest fibre, and nor do any animals, but some creatures have micro-organisms (bacteria, I'm guessing) in their gut which digest fibre for them.  My question is, could humans take some sort of pill and establish our own fibre-digesting colonies in our intestines?  Has this been tried?  Supposing it could be done, would you suppose it would have any negative effects on our health?  (i.e.. would those whose gut digested fibre for them be stuck on a low-fibre diet?).    Purpose of question: just wondering.  It would be cool to be able to eat bark. What is the size of this microcontroller? Having trouble reading a data sheet I am trying to find a small enough microcontroller for a project, but I am not familiar with the notation used to denote the sizes in this image:  What does that mean when it says 12,20/11,80 SQ and 7,50 TYP.  The image is from .  OR is this not where I find the physical dimensions? If these do not denote the physical dimensions of the part, then where in the datasheet is that written? We need a profanity filter I searched SE.Meta and was unable to find such question.  Someone just swore at us in a  as an  (warning: profanity, may be NSFW), sure, Arqade (profanity in phrases in games) or some SE (ELU, ELL or Anime.SE maybe?) can sometimes contain profanity as a small parts of question.  I think that a part should be added to the review system that will automatically hide questions/answers with profanity, just like the close vote system, the question/answer will be on hold and will be voted to be shown or be deleted.  Tip, if this gets implemented, u can be typed as \/ or v, and most other can be written as leet (l = 1 etc). Maybe it can be called "suspicious activity", and can be triggered when there is too many number or Unicode characters. (I can write hi as |-| |, |-|I, |-|l, l-li, hî, 1-1i, H1 and many more) How can I clone an ArrayList and also clone its items in Java?  For example I have:  ArrayList&lt;Dog&gt; dogs = getDogs(); ArrayList&lt;Dog&gt; clonedList = ....something to do with dogs....   And I would expect that objects in clonedList are not the same as in dogs list. Are human chromosomes connected or separate molecules? Do the 46 human chromosomes form a single unbroken DNA helix?  Or is it rather that a human's genome consists of 46 disconnected helices?    If it is the former, does the common numbering scheme for the chromosomes have any correlation to their actual ordering in the one large strand?  If is the latter, is there a convention on how the chromosomes are ordered in genomic datasets?  Also, is there a clear understanding of how sister chromosomes "find" each other in Meiosis I?  Generally, during periods when Mitosis/Meiosis are not occurring,  what's a good physical picture for how the chromosomes are physically arranged (e.g. a bowl of 46 spaghetti noodles, or maybe the sister chromosomes always stay close together, etc)  thanks! Why is ${x^{\frac{1}{2}}}$ the same as $\sqrt x $?   I'm currently studying indices/exponents, and this is a law that I was told to accept without much proof or explanation, could someone explain the reasoning behind this.  Thank you. i am finding nowhere a solution I am running UBUNTU 12.04 and using GNOME desktop, which I installed additionally. Logging into classic GNOME I see the following:     WHAT is this "earth globe" icon coming from?Seems to be named "starter". It is configured to open a website, from my bookmarks. WHY is it not showing the TIME?   Using dconf-editor I had no luck in answering the above questions.  Any idea? Chatroom owners can star their own messages I was able to star my own message by pinning it and unpinning it.  Pinning a message adds a star, even to your own messages, but when the pin is removed, the star remains. Proper way to do "conditional segue" in iOS5 A fiber bundle over Euclidean space is trivial. What's the easiest way to see this? The only thing I could think of was to try to patch together trivializations. I couldn't find a way to make that work. Thank you! edit: For the record, here's why I asked about this special case of the more general result about fiber bundles over contractible spaces. In the much beloved book by Bott and Tu, it's claimed that the Leray Hirsch theorem can be proven in the same way the Kunneth theorem is proven:  induct on the size of a finite good cover for the base space, then apply the Mayer Vietoris sequence and the Poincare lemma for the induction step. It's assumed that there exists a finite good cover for the base space, but it's not assumed that this cover is a refinement of the cover of the base space, which gives the local trivializations of the fiber bundle. Therefore, to apply the Poincare lemma in the induction step, it seems that you need to know that the result I asked about is true. Since fiber bundles had just been introduced in the text, I thought there may be a short, elementary proof that the authors had taken for granted. How do you compute negative numbers to fractional powers? My teachers have gone over rules for dealing with fractional exponents. I was just wondering how someone would compute say: $$(-5)^{2/3}$$ I have tried a couple ways to simplify this and I am not sure if the number stays negative or turns into a positive. I know that if a negative number is raised to an odd power it is negative, but fractional powers are neither odd or even. Is there a general rule for dealing with these types of problems? When changing fields, should I focus more on describing past research or connecting it to the new area in my statement of purpose? I want to change my field from molecular biophysics to theoretical ecology. While they are basically required some same basic background (physics, math, programming), the rest is quite irrelevant. In my current draft of this part, about a half is about this the problem and the result of the work, another half is for my contribution and what I've learnt. Having said that, should I focus less on describing the work and leave space for the thing that will be useful for the next research?  Below is copy from .     What have you already done? What problems have you solved, or at least worked on? What independent projects have you been part of? What were your key contributions? What did you learn? What did you teach the world? How do your results compare to what was already known? What original ideas are you most proud of? Be specific, technical, credible, and confident (but not arrogant). Refer the reader to your web page for more details. Have a web page with more details: preprints, project reports, source code, videos, etc.