https://en.formulasearchengine.com/w/api.php?action=feedcontributions&feedformat=atom&user=74.212.183.186formulasearchengine - User contributions [en]2026-08-21T01:46:23ZUser contributionsMediaWiki 1.47.0-wmf.7https://en.formulasearchengine.com/w/index.php?title=Racket_features&diff=26963Racket features2013-11-23T22:37:19Z<p>74.212.183.186: /* Logic Programming */</p>
<hr />
<div>In [[number theory]], a '''norm group''' is a group of the form <math>N_{L/K}(L^\times)</math> where <math>L/K</math> is a finite abelian extension of nonarchimedean [[local field]]s. One of the main theorems in [[local class field theory]] states that the norm groups in <math>K^\times</math> are precisely the open subgroups of <math>K^\times</math> of finite index.<br />
<br />
== See also ==<br />
*[[Takagi existence theorem]]<br />
<br />
== References ==<br />
*J.S. Milne, ''Class field theory.'' Version 4.01.<br />
<br />
{{numtheory-stub}}<br />
<br />
[[Category:Number theory]]</div>74.212.183.186