Definition
Modulus (absolute value) is a function assigning a nonnegative magnitude to numbers or elements of normed structures: for real x, |x| is distance to zero; for complex z = x+iy, |z| = sqrt(x^2+y^2). More generally it is a norm or absolute value on a field or normed space.

Principle

Principle
Modulus encodes distance from the additive identity and satisfies nonnegativity, multiplicativity on fields often (|ab|=|a||b|), and the triangle inequality (|a+b| ≤ |a|+|b|) when induced by a norm.

Demonstration

Demonstration
Real example: |−5|=5. Complex example: for z=3+4i, |z|=5. Field example: the p-adic absolute value assigns size according to divisibility by prime p and satisfies multiplicativity but a non-Archimedean triangle inequality.

Misapplication

Misapplication
Assuming modulus is additive (|a+b|=|a|+|b|) in general, or applying Euclidean intuition to non-Archimedean absolute values or to algebraic rings without a defined norm.

Consequence

Consequence
Modulus induces a metric and topology, underlies convergence and continuity, and allows comparison of magnitudes; choice of modulus (Euclidean, p-adic, operator norm) changes analytic behavior profoundly.

Reversal

Reversal
The reverse viewpoint focuses on sign or argument: while modulus discards direction and sign information, the argument or sign map retains phase/direction but not magnitude.

Boundary

Boundary
Defined whenever a notion of absolute value or norm is given; not every algebraic structure admits a natural modulus. For operators one needs operator norms or trace/spectral norms with further restrictions (e.g., boundedness).

Semantic Tension

Semantic Tension
Competes with 'norm' and 'magnitude' — modulus is often used for scalars but norms generalize to vectors and operators; 'absolute value' on fields can differ in properties (Archimedean vs non-Archimedean).

Synthesis

Synthesis
Modulus is the nonnegative quantity measuring distance to zero: in simple cases the Euclidean absolute value, but in broader contexts any absolute value or norm that turns algebraic objects into metricized quantities governing size, convergence, and continuity.