De Branges's theorem: Difference between revisions
en>EmilJ m →Schlicht functions: fix hypercorrection |
en>Enyokoyama |
||
Line 1: | Line 1: | ||
{{about|a type of element in a ring|the type of group|Nilpotent group|the type of ideal|Nilpotent ideal}} | |||
In [[mathematics]], an element ''x'' of a [[ring (mathematics)|ring]] ''R'' is called '''nilpotent''' if there exists some positive [[integer]] ''n'' such that ''x''<sup>''n''</sup> = 0. | |||
The term was introduced by [[Benjamin Peirce]]<ref>Polcino & Sehgal (2002), p. 127.</ref> in the context of elements of an algebra that vanish when raised to a power. | |||
== Examples == | |||
*This definition can be applied in particular to [[square matrix|square matrices]]. The matrix | |||
:: <math>A = \begin{pmatrix} | |||
0&1&0\\ | |||
0&0&1\\ | |||
0&0&0\end{pmatrix} | |||
</math> | |||
:is nilpotent because ''A''<sup>3</sup> = 0. See [[nilpotent matrix]] for more. | |||
*In the [[factor ring]] '''Z'''/9'''Z''', the equivalence class of 3 is nilpotent because 3<sup>2</sup> is congruent to 0 [[Modular arithmetic|modulo]] 9. | |||
* Assume that two elements ''a'', ''b'' in a (non-commutative) ring ''R'' satisfy ''ab'' = 0. Then the element ''c'' = ''ba'' is nilpotent (if non-zero) as ''c''<sup>2</sup> = (''ba'')<sup>2</sup> = ''b''(''ab'')''a'' = 0. An example with matrices (for ''a'', ''b''): | |||
:: <math>A = \begin{pmatrix} | |||
0&1\\ | |||
0&1 | |||
\end{pmatrix}, \;\; | |||
B =\begin{pmatrix} | |||
0&1\\ | |||
0&0 | |||
\end{pmatrix}. | |||
</math> | |||
: Here ''AB'' = 0, ''BA'' = ''B''. | |||
*The ring of [[coquaternion]]s contains a [[cone (linear algebra)|cone]] of nilpotents. | |||
== Properties == | |||
No nilpotent element can be a [[unit (ring theory)|unit]] (except in the [[trivial ring]] {0} which has only a single element 0 = 1). All non-zero nilpotent elements are [[zero divisor]]s. | |||
An ''n''-by-''n'' matrix ''A'' with entries from a [[field (mathematics)|field]] is nilpotent if and only if its [[characteristic polynomial]] is ''t''<sup>''n''</sup>. | |||
If ''x'' is nilpotent, then 1 − ''x'' is a [[Unit (ring theory)|unit]], because ''x''<sup>''n''</sup> = 0 entails | |||
:<math>(1 - x) (1 + x + x^2 + \cdots + x^{n-1}) = 1 - x^n = 1.\ </math> | |||
More generally, the sum of a unit element and a nilpotent element is a unit when they commute. | |||
== Commutative rings == | |||
The nilpotent elements from a [[commutative ring]] <math>R</math> form an [[ring ideal|ideal]] <math>\mathfrak{N}</math>; this is a consequence of the [[binomial theorem]]. This ideal is the [[Nilradical of a ring|nilradical]] of the ring. Every nilpotent element <math>x</math> in a commutative ring is contained in every [[prime ideal]] <math>\mathfrak{p}</math> of that ring, since <math>x^n=0\in \mathfrak{p}</math>. So <math>\mathfrak{N}</math> is contained in the intersection of all prime ideals. | |||
If <math>x</math> is not nilpotent, we are able to [[localization of a ring#Construction and properties for commutative rings|localize]] with respect to the powers of <math>x</math>: <math>S=\{1,x,x^2,...\}</math> to get a non-zero ring <math>S^{-1}R</math>. The prime ideals of the localized ring correspond exactly to those primes <math>\mathfrak{p}</math> with <math>\mathfrak{p}\cap S=\empty</math>.<ref>{{cite book |last=Matsumura |first=Hideyuki |title=Commutative Algebra |publisher=W. A. Benjamin |year=1970 |pages=6 |chapter=Chapter 1: Elementary Results |isbn=978-0-805-37025-6}}</ref> As every non-zero commutative ring has a maximal ideal, which is prime, every non-nilpotent <math>x</math> is not contained in some prime ideal. Thus <math>\mathfrak{N}</math> is exactly the intersection of all prime ideals.<ref>{{cite book |last1=Atiyah |first1=M. F. | last2=MacDonald |first2=I. G. | title=Introduction to Commutative Algebra |publisher=Westview Press |date=February 21, 1994 |pages=5 |chapter=Chapter 1: Rings and Ideals |isbn=978-0-201-40751-8}}</ref> | |||
== Nilpotent elements in Lie algebra == | |||
Let <math>\mathfrak{g}</math> be a Lie algebra. Then an element of <math>\mathfrak{g}</math> is called nilpotent if it is in <math>[\mathfrak{g}, \mathfrak{g}]</math> and <math>\operatorname{ad} x</math> is a nilpotent transformation. See also: [[Jordan decomposition in a Lie algebra]]. | |||
==Nilpotency in physics== | |||
An [[operand]] ''Q'' that satisfies ''Q''<sup>2</sup> = 0 is nilpotent. [[Grassmann number]]s which allow a [[Path integral formulation|path integral]] representation for Fermionic fields are nilpotents since their squares vanish. The [[BRST charge]] is an important example in [[physics]]. | |||
As linear operators form an associative algebra and thus a ring, this is a special case of the initial definition.<ref>Peirce, B. ''Linear Associative Algebra''. 1870.</ref><ref>Milies, César Polcino; Sehgal, Sudarshan K. ''An introduction to group rings''. Algebras and applications, Volume 1. Springer, 2002. ISBN 978-1-4020-0238-0</ref> More generally, in view of the above definitions, an operator ''Q'' is nilpotent if there is ''n''∈'''N''' such that ''Q''<sup>''n''</sup> = 0 (the [[zero function]]). Thus, a [[linear map]] is nilpotent [[iff]] it has a nilpotent matrix in some basis. Another example for this is the [[exterior derivative]] (again with ''n'' = 2). Both are linked, also through [[supersymmetry]] and [[Morse theory]],<ref>A. Rogers, ''The topological particle and Morse theory'', Class. Quantum Grav. 17:3703–3714,2000 {{doi|10.1088/0264-9381/17/18/309}}.</ref> as shown by [[Edward Witten]] in a celebrated article.<ref>E Witten, ''Supersymmetry and Morse theory''. J.Diff.Geom.17:661–692,1982.</ref> | |||
The [[electromagnetic field]] of a plane wave without sources is nilpotent when it is expressed in terms of the [[algebra of physical space]].<ref>Rowlands, P. ''Zero to Infinity: The Foundations of Physics'', London, World Scientific 2007, ISBN 978-981-270-914-1</ref> | |||
==Algebraic nilpotents== | |||
The two-dimensional [[dual number]]s contain a nilpotent space. Other algebras and numbers that contain nilpotent spaces include [[split-quaternion]]s (coquaternions), [[split-octonion]]s, | |||
[[biquaternion]]s <math>\mathbb C\otimes\mathbb H</math>, and complex [[octonions]] <math>\mathbb C\otimes\mathbb O</math>. | |||
==See also== | |||
*[[Idempotent element]] | |||
*[[Unipotent]] | |||
*[[Reduced ring]] | |||
*[[Nil ideal]] | |||
== References == | |||
{{Reflist}} | |||
[[Category:Ring theory]] | |||
[[Category:Zero]] |
Revision as of 07:55, 2 February 2014
29 yr old Orthopaedic Surgeon Grippo from Saint-Paul, spends time with interests including model railways, top property developers in singapore developers in singapore and dolls. Finished a cruise ship experience that included passing by Runic Stones and Church.
In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n such that xn = 0.
The term was introduced by Benjamin Peirce[1] in the context of elements of an algebra that vanish when raised to a power.
Examples
- This definition can be applied in particular to square matrices. The matrix
- is nilpotent because A3 = 0. See nilpotent matrix for more.
- In the factor ring Z/9Z, the equivalence class of 3 is nilpotent because 32 is congruent to 0 modulo 9.
- Assume that two elements a, b in a (non-commutative) ring R satisfy ab = 0. Then the element c = ba is nilpotent (if non-zero) as c2 = (ba)2 = b(ab)a = 0. An example with matrices (for a, b):
- The ring of coquaternions contains a cone of nilpotents.
Properties
No nilpotent element can be a unit (except in the trivial ring {0} which has only a single element 0 = 1). All non-zero nilpotent elements are zero divisors.
An n-by-n matrix A with entries from a field is nilpotent if and only if its characteristic polynomial is tn.
If x is nilpotent, then 1 − x is a unit, because xn = 0 entails
More generally, the sum of a unit element and a nilpotent element is a unit when they commute.
Commutative rings
The nilpotent elements from a commutative ring form an ideal ; this is a consequence of the binomial theorem. This ideal is the nilradical of the ring. Every nilpotent element in a commutative ring is contained in every prime ideal of that ring, since . So is contained in the intersection of all prime ideals.
If is not nilpotent, we are able to localize with respect to the powers of : to get a non-zero ring . The prime ideals of the localized ring correspond exactly to those primes with .[2] As every non-zero commutative ring has a maximal ideal, which is prime, every non-nilpotent is not contained in some prime ideal. Thus is exactly the intersection of all prime ideals.[3]
Nilpotent elements in Lie algebra
Let be a Lie algebra. Then an element of is called nilpotent if it is in and is a nilpotent transformation. See also: Jordan decomposition in a Lie algebra.
Nilpotency in physics
An operand Q that satisfies Q2 = 0 is nilpotent. Grassmann numbers which allow a path integral representation for Fermionic fields are nilpotents since their squares vanish. The BRST charge is an important example in physics. As linear operators form an associative algebra and thus a ring, this is a special case of the initial definition.[4][5] More generally, in view of the above definitions, an operator Q is nilpotent if there is n∈N such that Qn = 0 (the zero function). Thus, a linear map is nilpotent iff it has a nilpotent matrix in some basis. Another example for this is the exterior derivative (again with n = 2). Both are linked, also through supersymmetry and Morse theory,[6] as shown by Edward Witten in a celebrated article.[7]
The electromagnetic field of a plane wave without sources is nilpotent when it is expressed in terms of the algebra of physical space.[8]
Algebraic nilpotents
The two-dimensional dual numbers contain a nilpotent space. Other algebras and numbers that contain nilpotent spaces include split-quaternions (coquaternions), split-octonions, biquaternions , and complex octonions .
See also
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- ↑ Polcino & Sehgal (2002), p. 127.
- ↑ 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - ↑ 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - ↑ Peirce, B. Linear Associative Algebra. 1870.
- ↑ Milies, César Polcino; Sehgal, Sudarshan K. An introduction to group rings. Algebras and applications, Volume 1. Springer, 2002. ISBN 978-1-4020-0238-0
- ↑ A. Rogers, The topological particle and Morse theory, Class. Quantum Grav. 17:3703–3714,2000 21 year-old Glazier James Grippo from Edam, enjoys hang gliding, industrial property developers in singapore developers in singapore and camping. Finds the entire world an motivating place we have spent 4 months at Alejandro de Humboldt National Park..
- ↑ E Witten, Supersymmetry and Morse theory. J.Diff.Geom.17:661–692,1982.
- ↑ Rowlands, P. Zero to Infinity: The Foundations of Physics, London, World Scientific 2007, ISBN 978-981-270-914-1