COLLEGE ALGEBRA • FOUNDATIONS & ALGEBRAIC SKILLS

Real Numbers: Operations & Properties — Order of Operations and Properties of Real Numbers

The structural axioms and evaluation conventions that govern every algebraic manipulation you will ever perform.

Historical Context & Motivation

Mathematics as a discipline has always depended on shared conventions—agreements about what symbols mean and in what sequence computations should be carried out. Without such agreements, an expression like 3 + 4 × 2 could yield 14 or 11 depending on the reader's assumptions, making mathematical communication impossible. The order of operations and the field properties of real numbers emerged over centuries to eliminate precisely this kind of ambiguity, providing a universal grammar for algebraic reasoning. These ideas did not appear all at once; they were refined through contributions spanning ancient Babylonian arithmetic, Greek axiomatic thinking, Islamic algebraic innovation, and modern formalism.

c. 300 BCE
Euclid's Elements
Euclid codified axiomatic reasoning for geometry and number theory, establishing the idea that mathematical truths rest on clearly stated assumptions—precursors to the modern field axioms of real numbers.
c. 825 CE
Al-Khwārizmī's Al-Jabr
Muhammad ibn Mūsā al-Khwārizmī systematized algebraic manipulation, implicitly relying on commutativity and the distributive property. His work gave algebra its name and introduced procedural thinking about arithmetic operations.
1557
The Equals Sign Appears
Robert Recorde introduced the '=' symbol in The Whetstone of Witte, advancing symbolic notation that would eventually necessitate unambiguous rules for evaluating compound expressions.
1800s
Formal Order of Operations
As algebraic notation matured, mathematicians converged on the convention that exponentiation precedes multiplication and division, which in turn precede addition and subtraction. Textbooks began codifying these rules explicitly, reflecting the growing need for consistency in technical and scientific literature.
1889–1930s
Peano & the Axiomatic Turn
Giuseppe Peano and later mathematicians like Hilbert and van der Waerden axiomatized the real number system, formulating the complete ordered field axioms that rigorously ground every algebraic identity we use today.

The central question this lesson addresses is deceptively simple: given a compound expression involving real numbers and several operations, how do we evaluate it unambiguously, and what structural properties guarantee that standard algebraic manipulations—such as regrouping terms or factoring—are valid? Mastering these conventions and properties is not merely a procedural exercise; it is the bedrock upon which every subsequent topic in college algebra, from polynomial factoring to rational expressions, is constructed.

Core Principles & Definitions

The real number system, denoted , includes the rationals and irrationals and forms a complete ordered field under the operations of addition and multiplication. Two interrelated frameworks govern computation over ℝ: (1) a hierarchy of operations that dictates the sequence of evaluation, and (2) a set of algebraic properties (axioms) that describe how those operations behave. Understanding both is essential—order of operations tells you when to compute, while the properties tell you what transformations are legal.

1

Order of Operations (PEMDAS)

Parentheses → Exponents → Multiplication/Division (left to right) → Addition/Subtraction (left to right). This convention ensures that any well-formed expression has exactly one unambiguous value.
2

Commutative Properties

For all a, b ∈ ℝ: a + b = b + a and a × b = b × a. The order of operands does not affect sums or products—but note that subtraction and division are not commutative.
3

Associative Properties

For all a, b, c ∈ ℝ: (a + b) + c = a + (b + c) and (a × b) × c = a × (b × c). Grouping of operands may be rearranged freely for addition and multiplication.
4

Distributive Property

For all a, b, c ∈ ℝ: a × (b + c) = a × b + a × c. This is the bridge between multiplication and addition and is the foundation of factoring and expanding expressions.
5

Identity & Inverse Elements

The additive identity is 0 (a + 0 = a), and the multiplicative identity is 1 (a × 1 = a). Every real number a has an additive inverse −a and, if a ≠ 0, a multiplicative inverse 1/a.
KEY TAKEAWAY
Think of the field properties as the rules of a board game: commutativity says you can swap two pieces without changing the outcome, associativity says regrouping moves is allowed, and the distributive property lets you convert between two different types of moves. Meanwhile, the order of operations is the turn order—it tells you which rule to apply first so that every player reaches the same final state. Without both, the game is unplayable.

Visual Explanation — The Hierarchy of Operations

The hierarchy shows four priority levels. Parentheses (Level 1) override everything, followed by exponents (Level 2), then multiplication/division (Level 3), and finally addition/subtraction (Level 4). Within the same level, operations are resolved left to right.

A frequent source of error is treating the mnemonic PEMDAS (or BODMAS in some countries) as a strict six-step sequence, which leads students to believe that multiplication always precedes division, or that addition always precedes subtraction. In reality, multiplication and division occupy the same tier, as do addition and subtraction. The correct reading is P, then E, then MD (left to right), then AS (left to right). A well-constructed algebraic expression eliminates ambiguity by leveraging parentheses whenever the default order might cause confusion—particularly with nested operations or unary minus signs.

Common Pitfall
Consider 8 ÷ 2(2 + 2). Many online debates arise from this expression because it is poorly written. Under standard conventions, 8 ÷ 2 × 4 = 16 (left to right at Level 3), but juxtaposition notation can imply grouping in some disciplines. In formal mathematics, clarity is paramount: always use explicit parentheses to avoid ambiguity. Write (8 ÷ 2)(2 + 2) or 8 ÷ [2(2 + 2)] depending on intent.

Mathematical Framework — The Field Axioms

The algebraic properties of real numbers are not merely useful shortcuts—they are the axioms that define the real number system as a field. Every algebraic manipulation you perform, from simplifying an expression to solving an equation, is justified by one or more of these properties. The following formulations apply for all a, b, c ∈ ℝ.

COMMUTATIVE PROPERTIES
a + b = b + a a × b = b × a
The commutative property states that the order in which two numbers are added or multiplied does not affect the result. This does not extend to subtraction (5 − 3 ≠ 3 − 5) or division (6 ÷ 2 ≠ 2 ÷ 6).
ASSOCIATIVE PROPERTIES
(a + b) + c = a + (b + c) (a × b) × c = a × (b × c)
The associative property states that regrouping three or more addends (or factors) does not change the sum (or product). This is why we can write a + b + c without specifying parentheses.
DISTRIBUTIVE PROPERTY
a × (b + c) = a × b + a × c
The distributive property connects multiplication and addition. It is the theoretical justification for expanding products, factoring polynomials, and combining like terms. Its reverse application, a × b + a × c = a × (b + c), is the basis of factoring.
IDENTITY & INVERSE ELEMENTS
a + 0 = a a × 1 = a a + (−a) = 0 a × (1/a) = 1 (a ≠ 0)
The additive identity is 0, and the multiplicative identity is 1. Every element a has an additive inverse −a and (provided a ≠ 0) a multiplicative inverse 1/a. The restriction a ≠ 0 for the multiplicative inverse is why division by zero is undefined.

Together, these axioms (plus closure under addition and multiplication) make (ℝ, +, ×) a field. When we add the ordering axioms (trichotomy, transitivity, and compatibility with addition and multiplication) and the completeness axiom (every nonempty set bounded above has a least upper bound), we obtain the complete ordered field that is the real number line. For this course, the five properties above—commutativity, associativity, distributivity, identity, and inverse—are the ones you will invoke most frequently to justify algebraic steps.

Detailed Breakdown — Properties in Action

It is one thing to state the axioms abstractly; it is another to see how they interact in a single computation. The diagram below traces the simplification of a moderately complex expression, annotating each transformation with the property that licenses it. This is the kind of rigorous justification often required in proof-based or writing-intensive algebra courses.

This flow traces the simplification of 3(x + 4) + 2x − 5 · 1 + 0 to the simplified form 5x + 7. Each transformation is annotated: the multiplicative identity eliminates 5 · 1 → 5, the additive identity removes + 0, the distributive property expands and later factors, and the commutative property reorders terms for combination.
Summary of field properties with numeric examples
PropertyAddition ExampleMultiplication ExampleDoes NOT Hold For
Commutative7 + 3 = 3 + 7 = 104 × 6 = 6 × 4 = 24Subtraction, Division
Associative(2 + 3) + 5 = 2 + (3 + 5) = 10(2 × 3) × 4 = 2 × (3 × 4) = 24Subtraction, Division
Distributive5(3 + 2) = 15 + 10 = 25Distributes × over + only
Identity9 + 0 = 99 × 1 = 9
Inverse7 + (−7) = 07 × (1/7) = 10 has no mult. inverse

Worked Example — Multi-Step Simplification

Let us apply both the order of operations and the field properties to simplify a realistic expression encountered in college algebra. We will evaluate the expression fully, citing each principle as we proceed.

Simplify: 2[3 + 4(5 − 1)²] ÷ 8 − 3 × 2 + 7
1
Step 1 — Innermost ParenthesesBegin with the innermost grouping symbol. Inside the brackets, the parenthetical expression (5 − 1) must be evaluated first.
5 − 1 = 4
2
Step 2 — Exponent inside BracketsApply the exponent to the result from Step 1. The expression inside the brackets becomes 3 + 4(4)².
4² = 16, so the bracket contains 3 + 4(16)
3
Step 3 — Multiplication inside BracketsWithin the brackets, multiplication precedes addition (Level 3 before Level 4). Compute 4 × 16.
4 × 16 = 64, so the bracket contains 3 + 64
4
Step 4 — Addition inside BracketsComplete the evaluation within the brackets by adding 3 + 64.
3 + 64 = 67. The expression is now 2(67) ÷ 8 − 3 × 2 + 7.
5
Step 5 — Multiplication and Division (Left to Right)Now handle Level 3 operations scanning left to right. First: 2 × 67 = 134. Then: 134 ÷ 8 = 16.75. Then: 3 × 2 = 6. The expression becomes 16.75 − 6 + 7.
After Level 3: 16.75 − 6 + 7
6
Step 6 — Addition and Subtraction (Left to Right)Finally, evaluate Level 4 operations left to right. 16.75 − 6 = 10.75, then 10.75 + 7 = 17.75.
Final Answer: 17.75
📝 Notation Note
Some textbooks write this result as the fraction 71/4. In exact arithmetic, 134 ÷ 8 = 67/4, and the final answer is 67/4 − 6 + 7 = 67/4 + 1 = 71/4 = 17.75. When possible, maintain fractional form to preserve precision until the final step.

Common Errors & How Properties Prevent Them

A surprisingly large proportion of algebraic mistakes in college courses trace back to misapplying (or forgetting) order-of-operations conventions or misusing a property that does not hold for a particular operation. Below is a diagnostic table of the most frequent errors, along with the correct reasoning and the property that clarifies the issue.

Common algebraic errors and their corrections
Incorrect StepWhy It's WrongCorrect Reasoning
3 + 4 × 2 = 14Addition performed before multiplication (violates PEMDAS Level 3 before Level 4).3 + (4 × 2) = 3 + 8 = 11
10 − 3 − 2 = 10 − 1 = 9Subtraction is not associative: (10 − 3) − 2 ≠ 10 − (3 − 2).(10 − 3) − 2 = 7 − 2 = 5 (left to right)
−3² = 9Exponentiation applies only to 3, not −3 (the negative is a unary operator, not a parenthesized base).−(3²) = −9. If you mean the square of negative three, write (−3)² = 9.
2(a + b) = 2a + bDistributive property requires multiplying both terms inside the grouping.2(a + b) = 2a + 2b
a ÷ b ÷ c = a ÷ (b ÷ c)Division is not associative. Left-to-right evaluation is required.(a ÷ b) ÷ c. Example: 12 ÷ 4 ÷ 2 = 3 ÷ 2 = 1.5, not 12 ÷ 2 = 6.
KEY TAKEAWAY
In engineering, a misplaced operation can mean the difference between a bridge that stands and one that collapses. The field properties act like load-bearing constraints on algebraic reasoning: you can rearrange (commute) load paths only along certain axes, regroup (associate) structural members only with compatible connectors, and distribute forces only according to verified formulas. Ignoring which operations support which properties is the algebraic equivalent of assuming a cantilever behaves like a simple beam.

Connection to Advanced Theory — From ℝ to Abstract Algebra

The properties we have studied are not unique to the real numbers. They reappear—sometimes in modified form—across many algebraic structures. Recognizing this connection early provides valuable context: the skills you build now in college algebra are directly transferable to linear algebra (where matrix multiplication is associative and distributive but not commutative), complex analysis (where ℂ is also a field), and abstract algebra (where groups, rings, and fields generalize these same axioms).

How real-number properties compare across algebraic structures
Propertyℝ (Real Numbers)Matrices (n × n)ℤ (Integers)
Closure (+, ×)✓ ✓✓ ✓✓ ✓
Commutativity (×)✗ (AB ≠ BA in general)
Associativity (×)
Multiplicative Inverse✓ (a ≠ 0)Only if det ≠ 0✗ (1/a ∉ ℤ generally)
Field?YesNo (non-commutative, not all invertible)No (ring only, no mult. inverses)

In subsequent courses, the loss of commutativity in matrix algebra and the absence of multiplicative inverses in the integers will require you to be much more careful about which manipulations are permissible. The discipline you develop now—of always identifying the property that justifies an algebraic step—will serve you well when the comfortable assumptions of real-number arithmetic no longer hold.

Practice Problems

PROBLEM 1CONCEPTUAL
Explain why the expression 6 ÷ 2(1 + 2) is ambiguous as written. Which convention resolves it, and what is the result under that convention? Could a different reasonable interpretation yield a different answer?
PROBLEM 2BASIC CALCULATION
Evaluate the expression: 5 + 3² × (8 − 6) − 4 ÷ 2.
PROBLEM 3INTERMEDIATE
Simplify the algebraic expression 4(2x − 3) − 2(x + 5) + 6x, citing each field property used in your simplification.
PROBLEM 4APPLIED
A physics student calculates kinetic energy using KE = ½mv². Given m = 4.0 kg and v = 3.0 + 2.0 m/s (the object accelerated from 3.0 to a net speed of 5.0 m/s), the student writes KE = ½ × 4.0 × 3.0 + 2.0² and obtains 10.0 J. Identify the order-of-operations error, write the correctly parenthesized expression, and compute the correct kinetic energy.
PROBLEM 5CRITICAL THINKING
Prove that subtraction over ℝ is neither commutative nor associative by providing explicit counterexamples. Then explain why we can still write expressions like a − b − c without ambiguity. What convention resolves the potential problem, and how can subtraction be rewritten using addition and additive inverses so that associativity and commutativity do apply?

Lesson Summary

The order of operations provides a universal convention—Parentheses, then Exponents, then Multiplication and Division (left to right), then Addition and Subtraction (left to right)—that ensures every well-formed numerical expression evaluates to exactly one value. This convention eliminates ambiguity and is foundational to all subsequent algebraic work.

The field properties of the real numbers—commutativity, associativity, the distributive property, identity elements, and inverse elements—provide the theoretical justification for every algebraic manipulation: expanding, factoring, combining like terms, and solving equations. These properties hold for addition and multiplication but do not extend to subtraction or division, a distinction that prevents common errors and deepens understanding as students progress to structures like matrices and rings where additional properties may fail.

Varsity Tutors • College Algebra • Order of Operations and Properties of Real Numbers