<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Iterated_limit</id>
	<title>Iterated limit - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Iterated_limit"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Iterated_limit&amp;action=history"/>
	<updated>2026-05-20T05:16:04Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Iterated_limit&amp;diff=29434&amp;oldid=prev</id>
		<title>en&gt;Michael Hardy at 16:51, 24 September 2013</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Iterated_limit&amp;diff=29434&amp;oldid=prev"/>
		<updated>2013-09-24T16:51:14Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;In algebra, &amp;#039;&amp;#039;&amp;#039;Weyl&amp;#039;s theorem on complete reducibility&amp;#039;&amp;#039;&amp;#039; is a fundamental result in the theory of [[Lie algebra representation]]s. Let &amp;lt;math&amp;gt;\mathfrak{g}&amp;lt;/math&amp;gt; be a semisimple Lie algebra over a field of characteristic zero. The theorem states that every finite-dimensional module over &amp;lt;math&amp;gt;\mathfrak{g}&amp;lt;/math&amp;gt; is semisimple as a module (i.e., a direct sum of simple modules.)&lt;br /&gt;
&lt;br /&gt;
The theorem is a consequence of [[Whitehead&amp;#039;s lemma (Lie algebras)|Whitehead&amp;#039;s lemma]] (see Weibel&amp;#039;s [[homological algebra]] book). Weyl&amp;#039;s original proof was analytic in nature: it famously used the [[unitarian trick]].&lt;br /&gt;
&lt;br /&gt;
A Lie algebra is called [[reductive Lie algebra|reductive]] if its [[adjoint representation of a Lie algebra|adjoint representation]] is semisimple. Thus, the theorem says that a [[semisimple Lie algebra]] is reductive. (But this can be seen more directly.)&lt;br /&gt;
&lt;br /&gt;
== References ==&lt;br /&gt;
* [[Nathan Jacobson|Jacobson, Nathan]], &amp;#039;&amp;#039;Lie algebras&amp;#039;&amp;#039;, Republication of the 1962 original. Dover Publications, Inc., New York, 1979.  ISBN 0-486-63832-4&lt;br /&gt;
* {{cite book |last=Weibel |first=Charles A. |authorlink=Charles Weibel |title=An Introduction to Homological Algebra |url= |accessdate= |year=1995 |publisher=Cambridge University Press |location= |isbn= |page=}}&lt;br /&gt;
&lt;br /&gt;
== External links ==&lt;br /&gt;
* A [http://amathew.wordpress.com/2010/01/31/weyls-theorem-on-complete-reducibility/ blog post] by Akhil Mathew&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Category:Lie algebras]]&lt;/div&gt;</summary>
		<author><name>en&gt;Michael Hardy</name></author>
	</entry>
</feed>