- #1

- 1,426

- 1

Just need a yes or no.

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Werg22
- Start date

- #1

- 1,426

- 1

Just need a yes or no.

- #2

Integral

Staff Emeritus

Science Advisor

Gold Member

- 7,212

- 56

You need to define your terms.

- #3

- 1,426

- 1

You need to define your terms.

I'm speaking of units and irreducibles in integral domains.

- #4

Integral

Staff Emeritus

Science Advisor

Gold Member

- 7,212

- 56

OK, so you have added an new term, and stil no definitions. ????

- #5

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,269

- 1,471

no, but one word answers are frustratingly not allowed here. so i had to enter it thrice.

Last edited:

- #6

- 1,426

- 1

An irreducible is an element of an integral domain that cannot be factored without one of its factor being a unit.

For example when the integral domain in question are the integers, the units are -1 and 1 and the irreducibles are the primes.

- #7

Gib Z

Homework Helper

- 3,346

- 6

I would say your last line confirms the answer no, since -1 and 1 are not primes.

- #8

morphism

Science Advisor

Homework Helper

- 2,015

- 4

I think the confusion resulted from the definition of "irreducible". This adjective is exclusive to non-units (and nonzero elements!); see for example http://planetmath.org/encyclopedia/Irreducible.html [Broken].

Last edited by a moderator:

- #9

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,269

- 1,471

in general think of how you want to understand a domain: you want to know how it differs from a field.

so first basic question: what are all the units?

second question: what are all the non units? hopefully there is some way to organize the non units, and one basic way is to define irreducibles, then hope to factor other elements into those.

so to undertstand non units we define irreducibles.

then we try to prove that under various simple hypotheses we can factor every non unit into irreducibles (e.g. noetherian domain)

then we hope for some uniqueness statement. obviously anything can be factored by any unit, so any uniqueness statement must akllow for this non uniqueness due to units.

sow ,e hope for a statement that factorization into irreducibles not only exists, but is unique except for an equivalence relation where multiplying by a unit is considered leaving things equivalent.

so we break the domain into two disjoint sets, units and non units. then the group of units acts on the multiplicatively closed set of non units.

we consider elements of the same the equivalence class as "associates". then we try to factor non units into irreducibles, uniquely up to associates, which is not always possible.

i believe it is possible if the domain is noetherian, and it is possible to define gcd's of any two elements.

so a key concept is that of a gcd.

Share: