KEVOS
ArticlesServicesCase studiesAboutContact
ArticlesServicesCase studiesAboutContact
← ArticlesUnique Factorisation and Ascending Chain ConditionsEngineering · Engineering MathematicsLesson 2/8← PrevNext →
GuidePublished 14 Aug 202613 min readBy KEVOSuniquefactorisationascendingchain
On this page

Ask about this page

KEVOS AIUnique Factorisation and Ascending Chain Conditions

KEVOS knowledge first · trusted web sources when needed

Engineering · Mathematics · Advanced Algebra Handbook

Unique Factorisation and Ascending Chain Conditions

Commutative algebra studies ideals, prime structure, factorisation, localisation, algebraic dependence and dimension. It is most reliable when global questions are reduced to ideal-theoretic or local statements and then reassembled. This page consolidates the relevant material from the supplied algebra source into a stand-alone handbook chapter.

Learning pathCommutative Algebra
LevelAdvanced
FormatHandbook guide
Read time15 min

Executive summary

This chapter develops unique factorisation and ascending chain conditions as part of a connected advanced-algebra learning sequence. The emphasis is on definitions, hypotheses, structural results and repeatable methods rather than historical narrative.

The source material is theorem-rich. Accordingly, the handbook presentation separates vocabulary from results and then adds a verification workflow so that each statement can be applied safely. Mathematical examples in the source are treated as examples, not as universal rules.

Use this page when

You need to refresh the governing definitions, select an applicable theorem, check a proof step, or connect this topic to neighbouring ideas in abstract algebra.

DefinitionsResultsMethodsChecks

Problem-solving workflow

Identify the ring, its units and its relevant ideals.
Check finiteness or chain conditions before using finite-generation arguments.
Use prime or maximal ideals to convert multiplicative questions into quotient-domain or quotient-field questions.
Localise when the property can be tested near a prime or maximal ideal.
Track integrality, dimension or ideal factorisation with the exact hypotheses stated.
Return from local or quotient data to the original ring only through a justified correspondence.

Core definitions

Definition
Elements a and b in a commutative ring R are associates if there exists a unit u ∈R with b = ua. For example, in Z, the units are ±1, and so the only associates of an integer m are ±m; in k[x], where k is a field, the units are the nonzero constants, and so the only associates of a polynomial f (x) ∈k[x] are the polynomials u f (x), where u ∈k and u ̸= 0. In any commutative ring R, associates a and b generate the same principal ideal; the converse may be false if R is not a domain.
Definition
A domain R is a unique factorization domain (UFD) if (i) every r ∈R, neither 0 nor a unit, is a product2 of irreducibles; (ii) if up1 · · · pm = vq1 · · · qn, where u and v are units and all pi and q j are irreducible, then m = n and there is a permutation σ ∈Sn with pi and qσ(i) associates for all i. When we proved that Z and k[x], for k a field, have unique factorization into irreducibles, we did not mention associates because, in each case, irreducible elements were always replaced by favorite choices of associates: In Z, positive irreducibles (i.e., primes) are chosen; in k[x], monic irreducible polynomials are chosen.
Definition
A polynomial f (x) = anxn + · · · + a1x + a0 ∈R[x], where R is a UFD, is called primitive if its coefficients are relatively prime; that is, the only common divisors of an, . . . , a1, a0 are units. Of course, every monic polynomial is primitive. Observe that if f (x) is not primitive, then there exists an irreducible q ∈R that divides each of its coefficients: If the gcd is a nonunit d, then take for q any irreducible factor of d.
Definition
Let R be a UFD with Q = Frac(R). If f (x) ∈Q[x], there is a factorization f (x) = c( f ) f ∗(x), where c( f ) ∈Q and f ∗(x) ∈R[x] is primitive. We call c( f ) the content of f (x) and f ∗(x) the associated primitive polynomial. In light of Lemma 6.24(i), both c( f ) and f ∗(x) are essentially unique, differing only by a unit in R.
Definition
A commutative ring R satisfies the ACC, the ascending chain condition, if every ascending chain of ideals I1 ⊆I2 ⊆· · · ⊆In ⊆· · · stops; that is, the sequence is constant from some point on: there is an integer N with IN = IN+1 = IN+2 = · · · . ACC rings
Definition
If X is a subset of a commutative ring R, then the ideal generated by X is the set of all finite linear combinations I = (X) = finite riai : ri ∈R and xi ∈X . We say that I is finitely generated, often abbreviated to f.g., if X = {a1, . . . , an}; that is, every element in I is an R-linear combination of the ai. We write I = (a1, . . . , an), and we call I the ideal generated by a1, . . . , an. A set of generators a1, . . . , an of an ideal I is sometimes called a basis of I (even though this is a weaker notion than that of a basis of a vector space, for we do not assume that the coefficients ri in the expression c = riai are uniquely determined by c). Of course, every ideal I in a PID is finitely generated, for it can be generated by one element.
Definition
If A is a set, let P(A)# denote the family of all its nonempty subsets. The axiom of choice states that if A is a nonempty set, then there exists a function β : P(A)# → A with β(S) ∈S for every nonempty subset S of A. Such a function β is called a choice function. Informally, the axiom of choice is a harmless looking statement; it says that we can simultaneously choose one element from each nonempty subset of a set. The axiom of choice is easy to accept, and it is one of the standard axioms of set theory. However, the axiom is not convenient to use as it stands. There are various equivalent forms of it that are more useful, the most popular of which are maximality principle and the well-ordering principle. Recall that a set X is a partially ordered set if there is a relation x ⪯y defined on X that is reflexive, antisymmetric, and transitive. We introduce some definitions to enable us to state the well-ordering principle.
Definition
A partially ordered set X is well-ordered if every nonempty subset S of X contains a smallest element; that is, there is s0 ∈S with s0 ⪯s for all s ∈S. Well-ordering principle. Every set X has some well-ordering of its elements.

Principal results and structural facts

Key result
Let R be a domain and let a, b ∈R. (i) a | b and b | a if and only if a and b are associates. (ii) The principal ideals (a) and (b) are equal if and only if a and b are associates.
Key result
Let R be a domain in which every r ∈R, neither 0 nor a unit, is a product of irreducibles. Then R is a UFD if and only if (p) is a prime ideal in R for every irrreducible element p ∈R.3
Key result
If R is a UFD, then a gcd of any finite set of elements a1, . . . , an in R exists.
Key result
If R is a UFD and f (x), g(x) ∈R[x] are both primitive, then their product f (x)g(x) is also primitive.
Key result
now applies: R[x] is a UFD if (p(x)) is a prime ideal for every irreducible p(x) ∈R[x]; that is, if p | f g, then p | f or p | g. Let us assume that p(x) ∤f (x). Case (i). Suppose that deg(p) = 0. Write f (x) = c( f ) f ∗(x) and g(x) = c(g)g∗(x), where c( f ), c(g) ∈R, and f ∗(x), g∗(x) are primitive. Now p | f g, so that p | c( f )c(g) f ∗(x)g∗(x). Since f ∗(x)g∗(x) is primitive, Lemma 6.24(ii) says that c( f )c(g) an associate of c( f g). However, if p | f (x)g(x), then p divides each coefficient of f g; that is, p is a common divisor of all the coefficients of f g, and hence in R, which is a UFD, p divides the associates c( f g) and c( f )c(g). But Proposition 6.17 says that (p) is a prime ideal in R, and so p | c( f ) or p | c(g). If p | c( f ), then p divides c( f ) f ∗(x) = f (x), a contradiction. Therefore, p | c(g) and, hence, p | g(x), as desired. Case (ii). Suppose that deg(p) > 0. Let (p, f ) = { s(x)p(x) + t(x) f (x): s(x), t(x) ∈R[x] } ; of course, (p, f ) is an ideal containing p(x) and f (x). Choose m(x) ∈(p, f ) of minimal degree. If Q = Frac(R) is the fraction field of R, then the division algorithm in Q[x] gives polynomials q′(x),r′(x) ∈Q[x] with f (x) = m(x)q′(x) + r′(x), where either r′(x) = 0 or deg(r′) < deg(m). Clearing denominators, there are polynomials q(x),r(x) ∈R[x] and a constant b ∈R with bf (x) = q(x)m(x) + r(x), where r(x) = 0 or deg(r) < deg(m). Since m ∈(p, f ), there are polynomials s(x), t(x) ∈ R[x] with m(x) = s(x)p(x) + t(x) f (x); hence r = bf −qm ∈(p, f ). Since m has minimal degree in (p, f ), we must have r = 0; that is, bf (x) = m(x)q(x), and so bf (x) = c(m)m∗(x)q(x). But m∗(x) is primitive, and m∗(x) | bf (x), so that m∗(x) | f (x), by
Key result
A similar argument, replacing f (x) by p(x) (that is, beginning with an equation b′′ p(x) = q′′(x)m(x) + r′′(x) for some constant b′′), gives m∗(x) | p(x). Since p(x) is irreducible, its only factors are units and associates. If m∗(x) were an associate of p(x), then p(x) | f (x) (because p(x) | m∗(x) | f (x)), contrary to the hypothesis. Hence, m∗(x) must be a unit; that is, m(x) = c(m) ∈R, and so (p, f ) contains the nonzero constant c(m). Now c(m) = sp + t f , and so c(m)g(x) = s(x)p(x)g(x) + t(x) f (x)g(x). Since p(x) | f (x)g(x), we have p(x) | c(m)g(x). But p(x) is primitive, because it is irreducible, by Example 6.22, and so Lemma 6.24(iv) gives p(x) | g(x). •
Key result
shows that every algebraic integer α has a unique minimal polynomial m(x) ∈Z[x], namely, m(x) = irr(α, Q), and m(x) is irreducible in Q[x]. Remark. We define the (algebraic) conjugates of α to be the roots of irr(α, Q), and we define the norm of α to be the absolute value of the product of the conjugates of α. Of course, the norm of α is just the absolute value of the constant term of irr(α, Q), and so it is an (ordinary) integer. We have also considered them in the proof of polynomial finite-generation’s Theorem 90, which was used to prove that if the field-automorphism groups of a polynomial f (x) ∈k[x] is solvable, where k has characteristic 0, then f (x) is solvable by radicals. ◀ The next criterion uses the integers mod p.
Key result
Let f (x) = a0 + a1x + a2x2 + · · · + xn ∈Z[x] be monic, and let p be a prime. If f (x) is irreducible mod p, that is, if Δf (x) = [a0] + [a1]x + [a2]x2 + · · · + xn ∈Fp[x], is irreducible, then f (x) is irreducible in Q[x].
Key result
Let g(x) ∈Z[x]. If there is c ∈Z with g(x + c) irreducible in Z[x], then g(x) is irreducible in Q[x].
Key result
Let R be a UFD with Q = Frac(R), and let f (x) = a0 +a1x +· · ·+anxn ∈R[x]. If there is an irreducible element p ∈R with p | ai for all i < n but with p ∤an and p2 ∤a0, then f (x) is irreducible in Q[x].
Key result
Let k be a field and let f (x1, . . . , xn) be a primitive polynomial in R[xn], where R = k[x1, . . . , xn−1]. If f cannot be factored into two polynomials of lower degree in R[xn], then f is irreducible in k[x1, . . . , xn].
Key result
If k is a field and g(x1, . . . , xn), h(x1, . . . , xn) ∈k[x1, . . . , xn] are relatively prime, then f (x1, . . . , xn, y) = yg(x1, . . . , xn) + h(x1, . . . , xn) is irreducible in k[x1, . . . , xn, y].
Key result
If I is a proper ideal in a ACC rings R, then there exists a maximal ideal M in R containing I. In particular, every ACC rings has maximal ideals.5
Key result
(i) If k is a field, then k[x1, . . . , xn] is ascending-chain-finite. (ii) The ring Z[x1, . . . , xn] is ascending-chain-finite. (iii) For any ideal I in k[x1, . . . , xn], where k = Z or k is a field, the quotient ring k[x1, . . . , xn]/I is ascending-chain-finite.

Source-grounded examples

Worked source example
Let k be a field and let R be the subring of k[x] consisting of all polynomials f (x) ∈k[x] having no linear term; that is, f (x) = a0+a2x2+· · ·+anxn. It now follows from Proposition 6.20 that R is not a UFD.
Worked source example
It is easy to see, for every positive integer n, that In = { f : R →R : f (x) = 0 for all x ≥n} is an ideal and that In ⊊In+1 for all n. Therefore, R does not satisfy the ACC, and so R is not ascending-chain-finite. ◀ Here is an application of the maximum condition.

How to reason with these results

Most advanced-algebra problems become manageable when the representation is separated from the invariant structure. Begin with the definition, then decide whether the problem is asking for an elementwise calculation, a statement about a morphism, or a classification up to isomorphism. That choice determines the correct proof language.

When a theorem gives a structural conclusion, do not jump directly to the conclusion. Write the hypotheses next to the object you are studying and check them one by one. If a hypothesis fails, either strengthen the object, pass to a quotient or localisation where the theorem applies, or use a more elementary argument.

For computational work, record each transformation together with the equivalence relation it preserves. In algebra, row operations, similarity, quotienting, localisation and isomorphism preserve different kinds of information. A calculation is useful only when the preserved structure matches the question.

Common failure modes

Failure modeControl
Confusing prime and maximal ideals.Return to the definition or theorem hypotheses and verify the missing condition before continuing.
Assuming localisation preserves every property automatically.Return to the definition or theorem hypotheses and verify the missing condition before continuing.
Using finite-generation conclusions without a chain condition.Return to the definition or theorem hypotheses and verify the missing condition before continuing.
Treating radicals, integral closure or dimension as elementwise notions only.Return to the definition or theorem hypotheses and verify the missing condition before continuing.
Assuming geometric statements over arbitrary fields without checking the field hypotheses.Return to the definition or theorem hypotheses and verify the missing condition before continuing.

Verification checklist

  • The ambient set, ring, field, group, module or category has been stated.
  • Every operation and map used is well-defined in that setting.
  • The hypotheses of each structural result have been checked before use.
  • Representatives, coordinates or generators have not been confused with the underlying object.
  • Existence and uniqueness have been separated where both matter.
  • The final result has been checked against the original defining relation or universal property.

Quick questions

What should I identify first in a problem about unique factorisation and ascending chain conditions?

Start with the ambient algebraic structure, its operation or maps, and the exact hypotheses. Most incorrect solutions begin by using a familiar rule that is not valid in the stated structure.

How should definitions be used in proofs?

Expand the definition at the point where it becomes useful. Definitions are not background prose; they are the conditions that determine what must be proved and which implications are available.

When is a structural theorem safer than direct calculation?

Use a structural theorem when its hypotheses are satisfied and the calculation would otherwise depend on arbitrary coordinates, representatives or generators. The theorem usually identifies an invariant that survives those choices.

How can a final answer be checked?

Substitute the result back into the defining relation, verify any required closure or map property, and check edge cases such as zero, the identity, the empty object or degenerate quotients where relevant.

Connections within the handbook

PreviousPrime and Maximal Ideals NextMaximality Methods, Algebraic Dependence and Transcendence

Source basis: supplied advanced algebra reference. Source-identifying authorship, publisher information, acknowledgements and biographical material are intentionally omitted. Mathematical terminology and results are retained in handbook form.

Continue learning

Prime and Maximal IdealsGuide · Engineering MathematicsNEXT LESSON →Maximality Methods, Algebraic Dependence and TranscendenceGuide · Engineering MathematicsAffine Varieties and Polynomial Zero SetsGuide · Engineering MathematicsMultivariable Division and Polynomial Ideal Reduction BasesGuide · Engineering Mathematics
KEVOS · Engineering, manufacturing and project improvement
ArticlesServicesCase studiesAboutContact
© 2026 KEVOS®