<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://groupprops.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Characteristicity_is_transitive_for_Lie_rings</id>
	<title>Characteristicity is transitive for Lie rings - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://groupprops.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Characteristicity_is_transitive_for_Lie_rings"/>
	<link rel="alternate" type="text/html" href="https://groupprops.subwiki.org/w/index.php?title=Characteristicity_is_transitive_for_Lie_rings&amp;action=history"/>
	<updated>2026-08-10T02:12:11Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.41.2</generator>
	<entry>
		<id>https://groupprops.subwiki.org/w/index.php?title=Characteristicity_is_transitive_for_Lie_rings&amp;diff=19411&amp;oldid=prev</id>
		<title>Vipul: Created page with &#039;{{Lie subring metaproperty satisfaction| property = characteristic subring of a Lie ring| metaproperty = transitive Lie subring property}} {{analogue of fact| old generic context…&#039;</title>
		<link rel="alternate" type="text/html" href="https://groupprops.subwiki.org/w/index.php?title=Characteristicity_is_transitive_for_Lie_rings&amp;diff=19411&amp;oldid=prev"/>
		<updated>2009-07-20T19:10:42Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;#039;{{Lie subring metaproperty satisfaction| property = characteristic subring of a Lie ring| metaproperty = transitive Lie subring property}} {{analogue of fact| old generic context…&amp;#039;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{Lie subring metaproperty satisfaction|&lt;br /&gt;
property = characteristic subring of a Lie ring|&lt;br /&gt;
metaproperty = transitive Lie subring property}}&lt;br /&gt;
{{analogue of fact|&lt;br /&gt;
old generic context = group|&lt;br /&gt;
new generic context = Lie ring|&lt;br /&gt;
old fact = characteristicity is transitive|&lt;br /&gt;
alternative analogue = derivation-invariance is transitive}}&lt;br /&gt;
&lt;br /&gt;
==Statement==&lt;br /&gt;
&lt;br /&gt;
If &amp;lt;math&amp;gt;A \le B \le L&amp;lt;/math&amp;gt; are [[Lie ring]]s such that &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt; is a [[characteristic subring of a Lie ring|characteristic subring]] of &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; is a characteristic subring of &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt; is a characteristic subring of &amp;lt;math&amp;gt;L&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
==Related facts==&lt;br /&gt;
&lt;br /&gt;
* [[Derivation-invariance is transitive]]&lt;br /&gt;
* [[Derivation-invariant subring of ideal implies ideal]]&lt;/div&gt;</summary>
		<author><name>Vipul</name></author>
	</entry>
</feed>