Abstract:Every one knows that an equation is equivalent to a multivariate function. Generally speaking, there are more than one unknown x in this multivariate function and it is not easy to reduce the number of unknown x to one. In this paper we achieve this by introducing function promotion which can converse a function of less variables to one of more variables and by introducing multivariate function composition developed from unary function composition. We introduced inverse multivariate functions extended from inverse unary functions then we can express the solution by an inverse multivariate function if this equivalent multivariate function is invertible. For an equivalent irreversible multivariate function we introduced relation and consider the equivalent multivariate function as a special multivariate relation then we can express the solution by an inverse multivariate relation which always exists. No one will belief that every one is familiar with multivariate function composition after their reading this paper and knowing the importance of multivariate function composition to express the solution of a general equation. Further more we discuss the possibility of expressing the solution, a multivariate function or multivariate relation, for a general equation by superposition of unary ones. This will involve Hilbert's 13th problem. The topic shown in this paper can be new directions for many mathematicians because the topic is so basic.

Additive Relation and Algebraic System of Equations

Composition and inverse of multivariate functions and algebraic system of equations

Algebraic Addition Theorems

Linear equations and multiplicative polynomial equations in infinitely many variables

Algebraic Reasoning over Relational Structures

Combined system of additive functional equations in Banach algebras

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

When are ∨-additive mappings multiplicative?

A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version)

Linear Equation over Non-Commutative Algebra

Diophantine equations with three monomials

An Additive Theorem and Restricted Sumsets

On when the union of two algebraic sets is algebraic

Towards a General Theory of Dependent Sums

Polymorphism-homogeneity and universal algebraic geometry

Archimedean classes in additive monoids

On additive complement with special structures

The algebra of essential relations on a finite set

Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions

Non Additive Geometry