One is the quiet exception to nearly every rule in basic number theory. It's the only positive integer that is neither prime nor composite, the only number that divides evenly into every other number, and the "multiplicative identity" — the one value that leaves any number unchanged when multiplied by it (n × 1 = n, always, for any n).
The exclusion of 1 from the primes is the detail most people find genuinely surprising. A prime number is defined as having exactly two distinct positive divisors: 1 and itself. The number 1 has only one divisor — itself — so it fails that definition outright. This isn't an arbitrary decision made for tidiness; it protects a foundational result called the Fundamental Theorem of Arithmetic, which states that every integer greater than 1 has exactly one prime factorization. If 1 counted as prime, that uniqueness would collapse instantly — any factorization could be padded with as many extra factors of 1 as you liked (12 = 2²×3 = 2²×3×1 = 2²×3×1×1...) without changing the number at all, and "the" prime factorization of 12 would stop meaning anything specific. Mathematicians in the 19th century, including some who had previously treated 1 as prime in earlier work, moved toward the modern convention specifically to preserve this theorem.
As the multiplicative identity, 1 plays a role in multiplication precisely analogous to the role 0 plays in addition (the additive identity: n + 0 = n for any n). This isn't a coincidence of terminology — both concepts describe an operation's "do nothing" element, and recognizing that parallel is one of the small building blocks that later develops into more abstract areas of mathematics, like group theory, where identity elements are a formally studied concept in their own right.
One also has the distinction of being the first term (or, depending on convention, tied for first) in the Fibonacci sequence and the first triangular number (a single dot, trivially satisfying the pattern that defines all triangular numbers) and the first perfect square (1² = 1) and the first perfect cube (1³ = 1) simultaneously — a kind of universal starting point across several of the number classifications tracked on this site. It sits at the intersection of nearly every category precisely because the definitions of those categories are typically built to include their simplest, smallest case.
Beyond pure number theory, 1 carries an outsized cultural and practical weight: it's the unit against which every measurement, ratio, and percentage is implicitly compared (100% is, definitionally, 1 whole of something), and "unity" as a broader concept in mathematics, philosophy, and religious thought often traces its symbolic resonance back to this same foundational number. Whatever the context, 1 tends to represent wholeness, a starting point, or a single indivisible unit — a fitting cultural echo of its precise mathematical role as the value every number can be built up from by repeated addition or multiplication.
It's worth pausing on just how many mathematical structures 1 quietly anchors. Every counting system, in every base humans have ever used, starts its meaningful count at 1 (with 0 arriving, historically, much later as a separate invention). Every ratio and every scale factor is implicitly measured against 1 as the "unchanged" baseline. And in probability, 1 represents absolute certainty — an event with probability 1 is guaranteed to happen, exactly as 0 probability represents an impossible event, giving 1 a role at the far boundary of that entire mathematical framework as well.
One more property worth knowing: 1 is a perfect square (1²=1), a perfect cube (1³=1), and every other whole-number power of itself (1ⁿ=1 for any n) — a degenerate but genuine case that sits at the base of every exponential sequence. This is part of why 1 is often excluded or treated as a special boundary case in mathematical proofs about powers and exponents specifically: any general statement about how exponentiation behaves needs to explicitly account for the fact that 1 raised to any power never changes, unlike every other positive integer.
This same "boundary case" role recurs across combinatorics as well: there is exactly 1 way to arrange zero or one objects, exactly 1 way to choose all of a set or none of it, and factorial notation is defined so that 0! = 1 precisely to keep these counting formulas consistent at their edges. Wherever a mathematical structure needs a well-defined "trivial" or "empty" case, 1 (alongside 0) is almost always the value doing that quiet structural work.