GMAT QUANTITATIVE REASONING • NUMBER PROPERTIES

GCF And LCM — Determine GCF and LCM using factor structure.

Master the prime-factorization framework to solve divisibility and multiple problems with speed and precision on the GMAT.

Historical Context & Motivation

The concepts of greatest common factor (GCF) and least common multiple (LCM) trace their origins to the earliest systematic treatments of number theory. Ancient mathematicians recognized that understanding the internal structure of integers — specifically their divisors and multiples — was essential for solving problems in measurement, commerce, and astronomy. The factor structure approach, rooted in the Fundamental Theorem of Arithmetic, provides a deterministic and elegant method for computing both the GCF and LCM of any set of positive integers. On the GMAT, this framework is not merely academic — it is the backbone of a significant class of quantitative reasoning questions that test your ability to manipulate divisibility relationships under time pressure.

c. 300 BCE
Euclid's Elements
Euclid formalized the algorithm for finding the GCF (Book VII, Propositions 1–2), using repeated subtraction — the precursor to the modern Euclidean algorithm. He also established foundational propositions about divisibility and common measures.
1801
Gauss's Disquisitiones Arithmeticae
Carl Friedrich Gauss published a rigorous proof of the Fundamental Theorem of Arithmetic — every integer greater than 1 has a unique prime factorization. This theorem provides the theoretical basis for computing GCF and LCM via prime factor decomposition.
1870s
Set-Theoretic Formulation
Dedekind and Kronecker reframed divisibility in terms of ideals and lattice structures, revealing that GCF and LCM correspond to meet and join operations on the lattice of divisors — an insight that connects elementary number theory to abstract algebra.
2000s
GMAT Standardized Testing
The GMAT incorporated number properties as a core quantitative competency. Problems involving GCF and LCM — often disguised in word-problem contexts involving cycles, divisibility constraints, or fraction simplification — became staples of the exam.

The central question this lesson addresses is deceptively simple: given two or more positive integers, how do we systematically determine their largest shared factor and their smallest shared multiple? While listing factors and multiples can work for small numbers, the prime factorization method provides a universal, efficient framework that scales to any pair of integers and — critically for the GMAT — reveals structural relationships that enable you to solve problems without brute-force computation.

Core Principles & Definitions

The factor structure approach to GCF and LCM rests on a small set of powerful ideas. Once internalized, these principles allow you to decompose any GCF/LCM problem into a mechanical procedure — one that is both fast and error-resistant. The conceptual core is the unique prime factorization of every positive integer greater than 1, which serves as a kind of "DNA" for that number, encoding all information about its divisors and multiples.

1

Fundamental Theorem of Arithmetic

Every integer n > 1 can be expressed as a product of prime numbers in exactly one way (up to the order of the factors). For example, 360 = 2³ × 3² × 5¹. This decomposition is the foundation for all factor-structure reasoning.
2

GCF = Minimum Exponents

The GCF of two integers is the product of all shared prime bases, each raised to the minimum of its exponents across the two factorizations. GCF captures the largest factor that divides both numbers evenly.
3

LCM = Maximum Exponents

The LCM of two integers is the product of all prime bases appearing in either factorization, each raised to the maximum of its exponents. LCM captures the smallest number that both integers divide into evenly.
4

The GCF–LCM Product Identity

For any two positive integers a and b: GCF(a, b) × LCM(a, b) = a × b. This identity provides a powerful shortcut — if you know one, you can derive the other without re-factoring.
5

Coprimality

Two integers are coprime (or relatively prime) when GCF(a, b) = 1 — they share no prime factors. In this case, LCM(a, b) = a × b. Recognizing coprimality instantly simplifies many GMAT problems.
KEY TAKEAWAY
Think of the prime factorization of a number as a recipe. The number 360 = 2³ × 3² × 5 is a recipe calling for three cups of 2, two cups of 3, and one cup of 5. To find the GCF, you identify only the ingredients both recipes share and take the smaller quantity of each. To find the LCM, you ensure you have enough of every ingredient to satisfy both recipes — so you take the larger quantity of each. This min/max logic on exponents is the entire algorithm.

Visual Explanation — Venn Diagram of Prime Factors

The most intuitive way to visualize GCF and LCM is through a Venn diagram of prime factors. Consider two numbers — 360 and 756. Their prime factorizations are 2³ × 3² × 5 and 2² × 3³ × 7, respectively. The Venn diagram places shared prime bases (with their minimum exponents) in the intersection, and each number's "excess" primes in the outer regions. The GCF is the product of what lies in the intersection; the LCM is the product of everything in the entire diagram.

The intersection contains the shared primes at their minimum exponents (GCF = 36), while the union contains all primes at their maximum exponents (LCM = 7,560). Note the product identity holds: 36 × 7,560 = 360 × 756.

This diagram makes the min/max logic concrete. For each prime, the intersection captures the minimum exponent (what both numbers guarantee they share), while each outer region adds the "excess" exponent unique to that number. The LCM, by taking the maximum exponent, absorbs both the shared and excess factors. This visual framework is especially powerful on GMAT data sufficiency questions, where you must determine whether a given piece of information is sufficient to pin down the GCF or LCM without needing to compute the actual values.

Mathematical Framework

Let us formalize the procedure. Suppose two positive integers a and b have prime factorizations involving the primes p₁, p₂, …, pₖ (the union of all primes appearing in either factorization). We can write each number using every prime in this union, allowing zero exponents where a prime does not divide a given number.

PRIME FACTORIZATION
a = p₁^α₁ × p₂^α₂ × … × pₖ^αₖ b = p₁^β₁ × p₂^β₂ × … × pₖ^βₖ
where αᵢ, βᵢ ≥ 0 for each prime pᵢ. If pᵢ does not divide a, then αᵢ = 0.
GCF FORMULA
GCF(a, b) = p₁^min(α₁,β₁) × p₂^min(α₂,β₂) × … × pₖ^min(αₖ,βₖ)
Take the minimum exponent for each prime. If a prime appears in only one number (exponent 0 in the other), min = 0, so it drops out — exactly as expected.
LCM FORMULA
LCM(a, b) = p₁^max(α₁,β₁) × p₂^max(α₂,β₂) × … × pₖ^max(αₖ,βₖ)
Take the maximum exponent for each prime. Every prime from either factorization is retained at its highest power — this guarantees divisibility by both a and b.
PRODUCT IDENTITY
GCF(a, b) × LCM(a, b) = a × b
This follows because min(α, β) + max(α, β) = α + β for all non-negative integers α, β. This identity is a frequent shortcut on GMAT problems: if you know GCF(a, b) and the product a × b, you can find LCM(a, b) = (a × b) / GCF(a, b).
💡 GMAT Tip
On data sufficiency questions, remember that GCF(a, b) always divides both a and b, and both a and b always divide LCM(a, b). The chain of divisibility is: GCF(a, b) | a, b | LCM(a, b). Also, GCF(a, b) always divides LCM(a, b). These structural constraints often let you eliminate answer choices without computing.

Detailed Breakdown — Exponent Comparison Table

A systematic way to organize the computation is to build an exponent comparison table. This technique is especially useful when dealing with three or more numbers, or when a problem gives you partial prime factorization information and asks what you can deduce. The table lists every distinct prime along the rows and the exponent each number contributes along the columns. An additional column records the min (for GCF) and max (for LCM). Let us illustrate with a three-number example: find GCF(180, 252, 300) and LCM(180, 252, 300).

Exponent comparison table for GCF and LCM of 180, 252, and 300
Prime180252300Min (GCF)Max (LCM)
222222
322112
510202
701001
Result126,300
The flowchart illustrates the four-step algorithm. After factorizing and listing all distinct primes, the path diverges: take minimum exponents for GCF and maximum exponents for LCM. Always verify using the product identity.

The exponent comparison table and flowchart together provide a complete, systematic procedure. The table is the workspace; the flowchart is the algorithm. For GMAT purposes, you will rarely encounter numbers requiring more than three or four distinct primes, so the table typically has just a few rows — making this approach extremely efficient on timed questions.

Worked Example — GMAT-Style Problem

Let us work through a representative GMAT-style problem from start to finish. Problem: Two gears rotate at constant speeds. Gear A completes a full revolution every 168 seconds, and Gear B completes a full revolution every 180 seconds. If both gears start at the same position simultaneously, after how many seconds will they first return to that position at the same time?

Finding LCM(168, 180) via Factor Structure
1
Step 1 — Identify the Mathematical StructureBoth gears return to their starting position at the same time when the elapsed time is a common multiple of 168 and 180. We want the first such time, which is the least common multiple of 168 and 180.
Need: LCM(168, 180)
2
Step 2 — Prime Factorize Each Number168 = 2 × 84 = 2 × 2 × 42 = 2 × 2 × 2 × 21 = 2³ × 3 × 7. Separately, 180 = 2 × 90 = 2 × 2 × 45 = 2² × 9 × 5 = 2² × 3² × 5.
168 = 2³ × 3¹ × 7¹ | 180 = 2² × 3² × 5¹
3
Step 3 — Build the Exponent TableDistinct primes: {2, 3, 5, 7}. For prime 2: exponents are 3 and 2, so max = 3. For prime 3: exponents are 1 and 2, so max = 2. For prime 5: exponents are 0 and 1, so max = 1. For prime 7: exponents are 1 and 0, so max = 1.
Max exponents: 2³, 3², 5¹, 7¹
4
Step 4 — Compute the LCMLCM = 2³ × 3² × 5 × 7 = 8 × 9 × 5 × 7 = 72 × 35 = 2,520.
LCM(168, 180) = 2,520 seconds
5
Step 5 — Verify Using the Product IdentityGCF = 2² × 3¹ = 4 × 3 = 12 (using minimum exponents; primes 5 and 7 have min exponent 0). Check: GCF × LCM = 12 × 2,520 = 30,240. Product: 168 × 180 = 30,240. ✓ The identity holds, confirming our computation.
Verification: 12 × 2,520 = 30,240 = 168 × 180 ✓

Method Comparison — Strengths & Limitations

The factor structure method is not the only approach to GCF and LCM. On the GMAT, recognizing which method to deploy — and when — is itself a strategic skill. The table below compares three common methods across key dimensions.

Comparison of three methods for computing GCF and LCM
CriterionPrime Factorization (Factor Structure)Euclidean AlgorithmListing Factors / Multiples
Speed (small numbers)Fast — factorization is quick for 2–3 digit numbersVery fast — only requires division stepsFast for very small numbers only
Speed (large numbers)Slows down — factorization can be hardRemains fast — logarithmic in input sizeImpractical — too many factors/multiples
Gives both GCF & LCM?Yes — simultaneously from the same tableGCF directly; LCM via product identitySeparate enumeration required
Structural insight?Excellent — reveals divisor structure, factor counts, coprimalityMinimal — gives the GCF value but not whyMinimal — enumerative, not analytical
Extends to 3+ numbers?Seamlessly — add more columns to the tableIteratively — GCF(a,b,c) = GCF(GCF(a,b),c)Very tedious
Best GMAT use caseMost problems; especially when factor counts or exponent logic is testedWhen numbers are large and hard to factorOnly for single-digit or very small numbers
STRATEGIC INSIGHT
The factor structure method is your default tool for GMAT number properties questions because it reveals the "why" behind divisibility — not just the answer. Think of it like an MRI versus a temperature reading: the Euclidean algorithm tells you the GCF (the temperature), but the prime factorization shows you the entire internal structure (the full scan). On data sufficiency questions especially, structural insight often lets you determine sufficiency without computing the final numerical answer.

Connection to Advanced Number Theory & GMAT Patterns

The factor structure framework extends naturally into several advanced GMAT topics. Understanding these connections transforms isolated formulas into a coherent web of number-theoretic reasoning. The table below maps core GCF/LCM concepts to their advanced applications.

Core ConceptAdvanced Application on GMAT
Prime factorizationCounting total divisors: if n = p₁^a₁ × p₂^a₂ × … × pₖ^aₖ, then the number of positive divisors is (a₁+1)(a₂+1)…(aₖ+1). This formula appears in problems asking "how many factors does n have?"
GCF = 1 (coprimality)Fraction simplification: a/b is in lowest terms if and only if GCF(a, b) = 1. Problems involving reducibility of fractions or uniqueness of rational representations rely on this directly.
LCM as cycle synchronizationWord problems involving repeating patterns (bus schedules, blinking lights, gear rotations) ask for the LCM of the cycle lengths. Recognizing this pattern is critical for GMAT word problems.
Product identityData sufficiency shortcut: if a problem gives you the product of two numbers and their GCF (or LCM), you can determine the other. This is a classic DS trap — test-takers who don't know the identity may judge information as insufficient.
Exponent min/max logicDivisibility chains: if a | b (a divides b), then GCF(a, b) = a and LCM(a, b) = b. This simplification frequently accelerates problem solving when one number is stated to be a multiple of another.

Looking beyond the GMAT, the lattice of divisors — where GCF and LCM serve as the meet and join operations — connects to abstract algebra and cryptography. RSA encryption, for instance, relies on the difficulty of prime factorization for large numbers, and the extended Euclidean algorithm (a generalization of the GCF algorithm) computes modular inverses central to public-key cryptography. While these topics are well beyond the GMAT's scope, understanding that GCF and LCM are gateway concepts to a rich mathematical landscape provides motivational context for mastery.

Practice Problems

PROBLEM 1CONCEPTUAL
If GCF(a, b) = a, what must be true about the relationship between a and b? Explain using the exponent comparison framework.
PROBLEM 2BASIC CALCULATION
Find GCF(84, 126) and LCM(84, 126) using the prime factorization method.
PROBLEM 3INTERMEDIATE
The GCF of two positive integers is 18 and their LCM is 540. If one of the integers is 108, what is the other?
PROBLEM 4APPLIED
Three neon signs flash at intervals of 6, 8, and 14 seconds respectively. If all three flash simultaneously at time t = 0, what is the next time (in seconds) when all three will flash together?
PROBLEM 5CRITICAL THINKING
Let a and b be positive integers such that GCF(a, b) = 12 and LCM(a, b) = 1,260. How many distinct ordered pairs (a, b) satisfy these conditions? Justify your reasoning using the factor structure framework.

Lesson Summary

The prime factorization method provides a universal framework for determining GCF and LCM. Every positive integer greater than 1 has a unique prime factorization (the Fundamental Theorem of Arithmetic). To find the GCF, take the product of shared primes at their minimum exponents. To find the LCM, take the product of all primes at their maximum exponents. The critical identity GCF(a, b) × LCM(a, b) = a × b enables rapid shortcuts — if you know one value, compute the other through simple division.

On the GMAT, this framework powers a wide class of problems: cycle synchronization (LCM of cycle lengths), fraction simplification (GCF of numerator and denominator), divisor counting (exponents plus one, multiplied), and data sufficiency reasoning about divisibility relationships. Build the exponent comparison table, apply the min/max rule, verify with the product identity, and you will handle any GCF/LCM problem the GMAT presents — efficiently and with confidence.

Varsity Tutors • GMAT Quantitative Reasoning • GCF And LCM — Determine GCF and LCM using factor structure.