Talk:Lang's theorem

Proposed merger with Lang–Steinberg theorem

• Question Is it clear that these two theorems are related? Please give references. Deltahedron (talk) 07:42, 9 March 2014 (UTC)
• Comment Surely it should be the other way round? The Lang-Steiner theorem appears to be a later generalisation of Lang's original result, and as such would surely be the version used. The Lang-Steiner article should have a "Development" section, describing the history: first Lang's theorem, then Steiner's. Then Lang's Theorem should redirect to Lang-Steiner. (I have only glanced at it quickly, and might be completely wrong.) Imaginatorium (talk) 09:09, 9 March 2014 (UTC)
  • (Clarification) The suggestion appears to be to merge L-S *into* Lang; this I think is backwards. Imaginatorium (talk) 09:11, 9 March 2014 (UTC)

Is there a reference that expounds the connection? Deltahedron (talk) 11:28, 9 March 2014 (UTC)

I must clarify my action. I created this article without knowing there was already Lang–Steinberg theorem (they are essential the same; the why should be explained in the article, of course.) The direction of merger is not too important. My impression is that Lang's theorem is much more common; for example, Springer, the reference for this article, uses the name "Lang's theorem". It's just if we were to use "Lang's theorem", the proposed direction is simpler. -- Taku (talk) 12:26, 9 March 2014 (UTC)

Actually, the difference seems more significance than I thought. The usual proof of Lang's theorem (which we should present) uses differential, while Steinberg doesn't. I think the merger still makes sense: we discuss the usual Lang's theorem on Frobeneius and will have a section on generalization due to Steinberg. -- Taku (talk) 00:35, 10 March 2014 (UTC)