<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://galois.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Formal_derivative_of_a_polynomial</id>
	<title>Formal derivative of a polynomial - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://galois.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Formal_derivative_of_a_polynomial"/>
	<link rel="alternate" type="text/html" href="https://galois.subwiki.org/w/index.php?title=Formal_derivative_of_a_polynomial&amp;action=history"/>
	<updated>2026-04-25T18:59:21Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.41.2</generator>
	<entry>
		<id>https://galois.subwiki.org/w/index.php?title=Formal_derivative_of_a_polynomial&amp;diff=90&amp;oldid=prev</id>
		<title>Vipul: /* Facts */</title>
		<link rel="alternate" type="text/html" href="https://galois.subwiki.org/w/index.php?title=Formal_derivative_of_a_polynomial&amp;diff=90&amp;oldid=prev"/>
		<updated>2009-05-15T01:52:39Z</updated>

		<summary type="html">&lt;p&gt;&lt;span dir=&quot;auto&quot;&gt;&lt;span class=&quot;autocomment&quot;&gt;Facts&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 01:52, 15 May 2009&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l13&quot;&gt;Line 13:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 13:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The formal derivative also satisfies the following rule for multiplication, called the Leibniz rule:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The formal derivative also satisfies the following rule for multiplication, called the Leibniz rule:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;(fg)&#039;(x) = f&#039;(x)g(x) + f(x)g&#039;(x)&amp;lt;/math&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;math&amp;gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;\! &lt;/ins&gt;(fg)&#039;(x) = f&#039;(x)g(x) + f(x)g&#039;(x)&amp;lt;/math&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Vipul</name></author>
	</entry>
	<entry>
		<id>https://galois.subwiki.org/w/index.php?title=Formal_derivative_of_a_polynomial&amp;diff=89&amp;oldid=prev</id>
		<title>Vipul: Created page with &#039;==Definition==  Suppose &lt;math&gt;K&lt;/math&gt; is a field and &lt;math&gt;f(x) \in K[x]&lt;/math&gt; is a polynomial. The &#039;&#039;&#039;formal derivative&#039;&#039;&#039; of &lt;math&gt;f&lt;/math&gt;, denoted &lt;math&gt;f&#039;&lt;/math&gt;, is d...&#039;</title>
		<link rel="alternate" type="text/html" href="https://galois.subwiki.org/w/index.php?title=Formal_derivative_of_a_polynomial&amp;diff=89&amp;oldid=prev"/>
		<updated>2009-05-15T01:52:05Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;#039;==Definition==  Suppose &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; is a &lt;a href=&quot;/w/index.php?title=Field&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Field (page does not exist)&quot;&gt;field&lt;/a&gt; and &amp;lt;math&amp;gt;f(x) \in K[x]&amp;lt;/math&amp;gt; is a polynomial. The &amp;#039;&amp;#039;&amp;#039;formal derivative&amp;#039;&amp;#039;&amp;#039; of &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt;, denoted &amp;lt;math&amp;gt;f&amp;#039;&amp;lt;/math&amp;gt;, is d...&amp;#039;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;==Definition==&lt;br /&gt;
&lt;br /&gt;
Suppose &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; is a [[field]] and &amp;lt;math&amp;gt;f(x) \in K[x]&amp;lt;/math&amp;gt; is a polynomial. The &amp;#039;&amp;#039;&amp;#039;formal derivative&amp;#039;&amp;#039;&amp;#039; of &amp;lt;math&amp;gt;f&amp;lt;/math&amp;gt;, denoted &amp;lt;math&amp;gt;f&amp;#039;&amp;lt;/math&amp;gt;, is defined as follows.&lt;br /&gt;
&lt;br /&gt;
If &amp;lt;math&amp;gt;f(x) = \sum_{m=0}^n a_mx^m&amp;lt;/math&amp;gt;, then &amp;lt;math&amp;gt;f&amp;#039;(x) = \sum_{m=1}^n ma_mx^{m-1}&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Here, the &amp;lt;math&amp;gt;ma_m&amp;lt;/math&amp;gt; is understood as &amp;lt;math&amp;gt;a_m&amp;lt;/math&amp;gt; added to itself &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; times.&lt;br /&gt;
&lt;br /&gt;
==Facts==&lt;br /&gt;
&lt;br /&gt;
The formal derivative gives a &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt;-linear map from &amp;lt;math&amp;gt;K[x]&amp;lt;/math&amp;gt; to itself. When &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; has characteristic zero, the kernel of the map is &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt;, whereas when &amp;lt;math&amp;gt;K&amp;lt;/math&amp;gt; has characteristic &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt;, the kernel of the map is &amp;lt;math&amp;gt;K[x^p]&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
The formal derivative also satisfies the following rule for multiplication, called the Leibniz rule:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;(fg)&amp;#039;(x) = f&amp;#039;(x)g(x) + f(x)g&amp;#039;(x)&amp;lt;/math&amp;gt;.&lt;/div&gt;</summary>
		<author><name>Vipul</name></author>
	</entry>
</feed>