A property of an operation is a statement that holds for every input. The order of two addends never affects the sum; the grouping of three factors never changes the product. These facts are not coincidences — they are the structural rules of arithmetic, and every algebraic manipulation rests on them. This page collects the core properties of addition and multiplication, the bridge between the two, and the smaller derived rules that follow.
A property of an operation is a statement that holds for every choice of inputs. The expression 3+5 equals 5+3, and so does −12+0.7, and so does 92+11. The pattern — that the order of two addends does not affect the sum — is universal. That universality is what makes it a property. Properties differ from definitions and from procedural rules. A definition introduces an object: what a fraction is, what a prime number is. A procedural rule prescribes a method: how to add fractions, how to test divisibility by 9. A property states a fact that the operation itself satisfies, independently of any specific computation. Properties are also distinct from conventions. The order of operations — multiply before add, evaluate parentheses first — is a convention agreed upon to disambiguate notation. The commutative property of addition is not a convention. It would remain true under any notational system, because it describes how addition behaves, not how it is written. The properties on this page are the foundation of arithmetic and algebra. Every manipulation in algebra — combining like terms, factoring, solving equations — relies on them. They are usually applied without being named, but they are always present.
Two Main Operations: Addition and Multiplication
Most of the properties on this page come in pairs. There is a commutative property of addition and a commutative property of multiplication. There is an associative property of addition and an associative property of multiplication. There is an additive identity and a multiplicative identity, an additive inverse and a multiplicative inverse. The pattern is consistent and intentional. The reason is that addition and multiplication are the two fundamental binary operations of arithmetic. Every other operation reduces to one of them. Subtraction is not a separate operation but a special case of addition: a−b is shorthand for a+(−b), treated in detail under subtraction as inverse addition. Division is similarly a special case of multiplication: ba is shorthand for a⋅b1, treated under division as inverse multiplication. Once subtraction and division are recognized as derived operations, only addition and multiplication remain as the primitive ones. This is why the properties below appear in dual form. Each section presents the addition version and the multiplication version side by side, reflecting the symmetry of the two operations and the structural pattern that runs through arithmetic.
Commutative Property
The commutative property states that the order of operands does not change the result.
For Addition
a+b=b+a
The expressions 7+4 and 4+7 both equal 11. The order of the two addends is irrelevant.
For Multiplication
a⋅b=b⋅a
The expressions 7⋅4 and 4⋅7 both equal 28. Reversing the factors does not affect the product.
Subtraction and Division Are Not Commutative
Neither subtraction nor division shares this property. The expressions 7−4 and 4−7 are different (3 and −3). The expressions 7÷4 and 4÷7 are different (1.75 and approximately 0.571). The commutative pattern stops at addition and multiplication — for the reasons developed in subtraction as inverse addition and division as inverse multiplication.
Associative Property
The associative property states that the grouping of operands does not change the result.
For Addition
(a+b)+c=a+(b+c)
To compute 2+3+5, the order in which the additions are performed makes no difference. Adding 2+3 first and then adding 5 gives 10. Adding 3+5 first and then adding 2 gives the same. The parentheses can be moved without consequence.
For Multiplication
(a⋅b)⋅c=a⋅(b⋅c)
To compute 2⋅3⋅5, the grouping (2⋅3)⋅5=6⋅5=30 matches 2⋅(3⋅5)=2⋅15=30.
Subtraction and Division Are Not Associative
Subtraction fails: (8−3)−2=3, but 8−(3−2)=7. Division fails: (12÷6)÷2=1, but 12÷(6÷2)=4. Without associativity, parentheses are mandatory for these operations.
Generalization
The associative property extends to any number of terms or factors. A sum like a+b+c+d+e can be evaluated in any grouping order and yields the same result. This is why such expressions are written without parentheses — none are needed.
Distributive Property
The distributive property connects addition and multiplication. It states that multiplying a sum by a number gives the same result as multiplying each addend separately and then adding.
a(b+c)=ab+ac
For 3(4+5): applying the formula gives 3⋅4+3⋅5=12+15=27. Computing directly gives 3⋅9=27. The two routes agree. The right form mirrors the left:
Reading the equation right to left gives the basis for factoring: ab+ac=a(b+c). Pulling a common factor out of a sum is the inverse direction of distribution. The two operations — distributing and factoring — are the same property applied in opposite directions.
Why It Matters
Distribution is the only property linking the two main operations. Without it, addition and multiplication would be entirely independent. The distributive property is what allows expressions like 3x+12 to be rewritten as 3(x+4), and what makes algebraic manipulation possible.
Identity Elements
An identity element for an operation is a value that leaves any input unchanged. Each of the two main operations has its own.
Additive Identity
a+0=a
Zero is the additive identity. Adding it to any number returns that number unchanged. The property holds in both directions: 0+a=a as well.
Multiplicative Identity
a⋅1=a
One is the multiplicative identity. Multiplying any number by 1 returns that number unchanged. Like the additive case, this works in both directions: 1⋅a=a.
Why Identities Matter
Identity elements are not interchangeable. Adding 1 does not leave a number unchanged, and multiplying by 0 does not either. Each operation has exactly one identity, and that uniqueness is structural — it follows from the definition of the operation, not from convention. Identities are essential for defining inverses. The next section explains how every real number has an additive inverse summing to 0, and how every nonzero real number has a multiplicative inverse multiplying to 1 — relationships that require the identity elements as their target.
Inverse Elements
An inverse element undoes an operation. For each of the two main operations, every element has an inverse, with one exception.
Additive Inverse
a+(−a)=0
For every real number a, the value −a is its additive inverse. The two combine to produce the additive identity. Every real number has exactly one additive inverse.
Multiplicative Inverse
a⋅a1=1,a=0
For every nonzero real number a, the value a1 — also called its reciprocal — is its multiplicative inverse. The two combine to produce the multiplicative identity.
Why Zero Has No Multiplicative Inverse
The number 0 is the only real number without a multiplicative inverse. The equation 0⋅x=1 has no solution because, by the zero property of multiplication, 0⋅x=0 for every x. There is no number that, when multiplied by 0, gives 1. This is the formal reason division by zero is undefined: 01 would be the multiplicative inverse of 0, and that inverse does not exist.
Zero Property of Multiplication
a⋅0=0
Multiplying any number by zero gives zero. The property holds in both directions: 0⋅a=0 as well. This is sometimes treated as a separate axiom, but it is actually a consequence of the distributive property. Starting from a⋅0=a⋅(0+0)=a⋅0+a⋅0, subtracting a⋅0 from both sides leaves 0=a⋅0. The result follows from the structure of arithmetic itself, not from a separate definition. The zero property is what prevents zero from having a multiplicative inverse, as discussed in inverse elements. It is also why the product of any list of numbers is zero whenever even one of the factors is zero — a fact that underlies factoring techniques in algebra.
Sign Rules
Three rules govern signs in multiplication.
(−a)(−b)=ab
The product of two negatives is positive. Multiplying −3 by −4 gives 12, not −12.
(−a)(b)=−(ab)
The product of a negative and a positive is negative. Multiplying −3 by 4 gives −12.
−(−a)=a
The negative of a negative is the original number. The expression −(−5) equals 5. These rules are not independent axioms — they follow from the distributive property combined with the definition of additive inverses. Starting from (−a)(b)+ab=(−a+a)(b)=0⋅b=0, the value (−a)(b) must equal −(ab). A similar derivation produces the other two rules.
Subtraction as Inverse Addition
a−b=a+(−b)
Subtraction is defined as the addition of an additive inverse. The expression 7−3 is shorthand for 7+(−3). There is no separate "subtraction" operation in formal arithmetic — only addition combined with negation. This definition has consequences. Because subtraction reduces to addition, certain properties of addition transfer to subtraction in a controlled way. The distributive property distributes over subtraction: a(b−c)=ab−ac, since a(b+(−c))=ab+a(−c)=ab−ac. The commutative and associative properties, however, do not transfer cleanly. The expression a−b does not equal b−a, and (a−b)−c does not equal a−(b−c). The reason is that subtraction is shorthand for an asymmetric operation — a+(−b) treats a and b differently — so the symmetry that addition enjoys is lost in the abbreviation. Recognizing subtraction as inverse addition simplifies algebraic manipulation. Once a−b is rewritten as a+(−b), the addition properties apply directly, and many apparent quirks of subtraction dissolve.
Division as Inverse Multiplication
ba=a⋅b1,b=0
Division is defined as multiplication by a multiplicative inverse. The expression 412 is shorthand for 12⋅41. There is no separate "division" operation in formal arithmetic — only multiplication combined with reciprocation. The structural parallel with subtraction is exact. Subtraction is addition of an additive inverse; division is multiplication by a multiplicative inverse. Both are derived operations built on top of their primary counterparts. The condition b=0 is unavoidable. Since 0 has no multiplicative inverse (see inverse elements), the expression 0a has no meaning. This is the formal reason division by zero is undefined. Like subtraction, division does not inherit the commutative or associative properties of multiplication. The expression ba does not equal ab, and ca/b does not equal b/ca. Rewriting ba as a⋅b1 — moving from division to multiplication-by-reciprocal — is the standard technique for applying multiplication properties to expressions that involve division.
Why These Properties Matter
The properties on this page are the rules that make algebra possible. Every standard manipulation — combining like terms, factoring, expanding products, solving equations — depends on them. Combining 3x+5x into 8x is an application of the distributive property: 3x+5x=(3+5)x=8x. Rewriting a2−b2 as (a−b)(a+b) uses distributive expansion in reverse. Solving 2x+5=11 by subtracting 5 from both sides relies on the additive inverse and the principle that adding the same quantity to both sides of an equation preserves equality. Mental arithmetic also relies on these properties. Computing 25⋅4⋅7 as 100⋅7=700 uses associativity to regroup the factors. Computing 8⋅17 as 8(20−3)=160−24=136 uses distributivity to break a hard multiplication into easier pieces. The properties are usually applied without being named. The point of stating them explicitly is to clarify why standard techniques work and to provide a foundation that generalizes — the same properties hold for the rational numbers, the real numbers, and many algebraic structures encountered later in mathematics.
Related Concepts
The properties on this page connect to several adjacent topics on the site. Fractions inherit every property of multiplication and addition. The reciprocal of a fraction is its multiplicative inverse, and adding fractions with a common denominator uses the same commutative and associative rules as adding integers. Modular arithmetic extends these properties to a finite cyclic system. Addition and multiplication remain commutative, associative, and distributive within any modulus, but inverses behave differently — not every element has a multiplicative inverse modulo n unless it is coprime to n. Algebraic equations are solved by applying these properties step by step. Equivalent equations are produced by adding the same quantity to both sides (additive inverse), multiplying both sides by a nonzero constant (multiplicative inverse), or distributing across parentheses. The solving methods catalogued under linear, quadratic, and polynomial equations all rest on the rules listed here. Powers and exponents extend multiplication into repeated multiplication, and the exponent rules — am⋅an=am+n, (ab)n=anbn — are direct consequences of the associativity and commutativity of multiplication.