2.2.5 Tensor Scalar Operation Context

In tensor algebra, scalar operations define how scalars interact with tensors, forming foundational operations in mathematical physics and linear algebra.

Tensor Scalar Operation Context is the specific mapping between each standard tensor operation, linear combination, tensor product, contraction, symmetrization, index raising and lowering, and the particular field operations, addition, multiplication, division, conjugation, that operation actually invokes on the underlying scalars, making explicit which arithmetic capability of the field F each tensor-level operation depends on and why.

Linear Combination Uses Addition and Multiplication

The Two Field Operations Involved

Forming a linear combination of tensors of the same type requires multiplying each tensor's components by a scalar coefficient, using the field's multiplication, and then adding the results together componentwise, using the field's addition, the two most basic operations any field is required to supply.

α T^{i} + β S^{i} uses field \times and field +

Why This Is the Least Demanding Operation

Because addition and multiplication are guaranteed by the definition of a field itself, linear combination is well defined over every field without any additional condition, unlike operations requiring division or an ordering.

Tensor Product Uses Multiplication Alone

Componentwise Multiplication as the Sole Requirement

Forming the tensor product of two tensors combines their components purely through multiplication, one component from each factor multiplied together to produce each component of the result, with no addition of separate terms required at this stage.

T^{i} S^{j} uses field \times only

Contraction Uses Both Multiplication and Addition

A Sum of Products Over the Contracted Index

Contraction combines the multiplication used to pair matching components with the addition used to sum over the repeated index, making it dependent on both of the field's two basic operations acting together within a single expression.

T_{j}^{i} u^{j} = \sum_{j = 1}^{n} T_{j}^{i} u^{j}

Index Raising and Lowering Uses Multiplication, Addition, and Sometimes Division

The Basic Contraction With the Metric

Raising or lowering an index is itself a contraction against the metric, requiring the same multiplication and addition as any other contraction, applied specifically between a tensor and the metric or its inverse.

v_{i} = g_{i j} v^{j}

Computing the Inverse Metric Requires Division

Before an index can be raised, the inverse metric itself must typically be computed from the original metric's components, a computation that generally requires division, since matrix inversion involves dividing by a determinant or by pivot entries during the inversion procedure.

g^{i j} g_{j k} = δ_{k}^{i} solving for g^{i j} requires division

Symmetrization and Antisymmetrization Require Division by an Integer

Dividing by a Factorial to Normalize the Result

Standard symmetrization and antisymmetrization divide the sum over all index permutations by the factorial of the number of indices involved, a normalization that requires the field to support division by that specific integer.

T_{(i j)} = \frac{1}{2} (T_{i j} + T_{j i})

Why This Division Is Ordinarily Invisible

Because the real and complex numbers both support division by any nonzero integer without restriction, this requirement almost never surfaces as a practical obstacle in applied tensor algebra, and is typically not stated explicitly, though it becomes a genuine restriction in fields of finite characteristic.

Complex-Field Operations Additionally Require Conjugation

Conjugation as an Extra Operation Beyond the Field Axioms

When the field is ℂ, sesquilinear operations, such as forming a Hermitian inner product, require complex conjugation of one argument in addition to ordinary multiplication and addition, an operation with no counterpart at all when the field is the reals.

⟨ u, v ⟩ = \overset{—}{u^{i}} v_{i}

Summary Table of Operation-to-Arithmetic Dependence

Ordering Operations by Required Field Capability

Tensor product requires only multiplication; linear combination and contraction require multiplication and addition; index raising and lowering additionally requires division, at least to compute the inverse metric; symmetrization requires division by a specific small integer; and any sesquilinear, complex-field operation additionally requires conjugation, an ordering that mirrors, and reinforces, the same operation-by-operation dependence found more generally in how tensor operations depend on structure beyond the bare vector space.

Why This Mapping Matters

Knowing exactly which field operation underlies each tensor operation clarifies immediately which operations remain valid over a restricted or unusual field, and which specifically break down, division-dependent operations first, whenever the field in use lacks one of these basic arithmetic capabilities.