Orrery: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
Rewrote lead to link to more general concept of solar system model
en>Tom.Reding
m See also: Long list -> 3 columns.
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
In [[abstract algebra]], a non-zero non-[[unit (ring theory)|unit]] element in an [[integral domain]] is said to be '''irreducible''' if it is not a product of two non-units.
My name is Jenni Hellyer. I life in Cotswold Hills (Australia).<br><br>Here is my web blog [http://safedietplansforwomen.com/bmi-calculator bmi calculator women]
 
Irreducible elements should not be confused with [[prime element]]s. (A non-zero non-unit element <math>a</math> in a [[commutative ring]] <math>R</math> is called prime if whenever <math>a | bc</math> for some <math>b</math> and <math>c</math> in <math>R</math>, then <math>a|b</math> or <math>a|c</math>.) In an [[integral domain]], every prime element is irreducible,<ref>Consider p a prime that is reducible: p=ab. Then p | ab => p | a or p | b. Say p | a => a = pc, then we have: p=ab=pcb => p(1-cb)=0. Because R is a integral domain we have: cb=1. So b is a unit and p is irreducible.</ref> but the converse is not true in general. The converse ''is'' true for [[unique factorization domain|UFD]]s (or, more generally, [[GCD domain]]s.)
 
Moreover, while an ideal generated by a prime element is a [[prime ideal]], it is not true in general that an ideal generated by an irreducible element is an [[irreducible ideal]].  However, if <math>D</math> is a GCD domain, and <math>x</math> is an irreducible element of <math>D</math>, then the ideal generated by <math>x</math> ''is'' an irreducible ideal of <math>D</math>.<ref>http://planetmath.org/encyclopedia/IrreducibleIdeal.html</ref>
 
== Example ==
In the [[quadratic integer ring]] <math>\mathbf{Z}[\sqrt{-5}]</math>, it can be shown using [[Field norm|norm]] arguments that the number 3 is irreducible. However, it is not a prime in this ring since, for example,
:<math>3 | \left(2 + \sqrt{-5}\right)\left(2 - \sqrt{-5}\right)=9</math>
 
but <math>3</math> does not divide either of the two factors.<ref>William W. Adams and Larry Joel Goldstein (1976), ''Introduction to Number Theory'', p. 250, Prentice-Hall, Inc., ISBN 0-13-491282-9</ref>
 
== References ==
{{reflist}}
 
{{DEFAULTSORT:Irreducible Element}}
[[Category:Ring theory]]
 
{{Abstract-algebra-stub}}

Latest revision as of 06:10, 21 December 2014

My name is Jenni Hellyer. I life in Cotswold Hills (Australia).

Here is my web blog bmi calculator women