# Algebraic expression

In mathematics, an algebraic expression is an expression build up from constants (usually, algebraic numbers) variables, and the basic algebraic operations: addition (+), subtraction (-), multiplication (×), division (÷), whole number powers, and roots (fractional powers).. For example, ⁠$3x^{2}-2xy+c$⁠ is an algebraic expression. Since taking the square root is the same as raising to the power ⁠1/2⁠, the following is also an algebraic expression:
    ${\sqrt {\frac {1-x^{2}}{1+x^{2}}}}$
An algebraic equation is an equation involving polynomials, for which algebraic expressions may be solutions.
If you restrict your set of constants to be numbers, any algebraic expression can be called an arithmetic expression. However, algebraic expressions can be used on more abstract objects such as in Abstract algebra. If you restrict your constants to integers, the set of numbers that can be described with an algebraic expression are called Algebraic numbers.
By contrast, transcendental numbers like π and e are not algebraic, since they are not derived from integer constants and algebraic operations. Usually, π is constructed as a geometric relationship, and the definition of e requires an infinite number of algebraic operations. More generally, expressions which are algebraically independent from their constants and/or variables are called transcendental.

## Terminology

Algebra has its own terminology to describe parts of an expression:
1 – Exponent (power), 2 – coefficient, 3 – term, 4 – operator, 5 – constant, $x,y$ - variables

## Conventions
### Variables

By convention, letters at the beginning of the alphabet (e.g. $a,b,c$) are typically used to represent constants, and those toward the end of the alphabet (e.g. $x,y$ and $z$) are used to represent variables. They are usually written in italics.

### Exponents

By convention, terms with the highest power (exponent), are written on the left, for example, $x^{2}$ is written to the left of $x$. When a coefficient is one, it is usually omitted (e.g. $1x^{2}$ is written $x^{2}$). Likewise when the exponent (power) is one, (e.g. $3x^{1}$ is written $3x$), and, when the exponent is zero, the result is always 1 (e.g. $3x^{0}$ is written $3$, since $x^{0}$ is always $1$).

## In roots of polynomials

The roots of a polynomial expression of degree n, or equivalently the solutions of a polynomial equation, can always be written as algebraic expressions if n < 5 (see quadratic formula, cubic function, and quartic equation). Such a solution of an equation is called an algebraic solution. But the Abel–Ruffini theorem states that algebraic solutions do not exist for all such equations (just for some of them) if n $\geq$ 5.

## Rational expressions

Given two polynomials ⁠$P(x)$⁠ and ⁠$Q(x)$⁠ , their quotient is called a rational expression or simply rational fraction. A rational expression P(x)/Q(x) {\textstyle {\frac {P(x)}{Q(x)}}} is called proper if $\deg P(x)<\deg Q(x)$, and improper otherwise. For example, the fraction ${\tfrac {2x}{x^{2}-1}}$ is proper, and the fractions ${\tfrac {x^{3}+x^{2}+1}{x^{2}-5x+6}}$ and ${\tfrac {x^{2}-x+1}{5x^{2}+3}}$ are improper. Any improper rational fraction can be expressed as the sum of a polynomial (possibly constant) and a proper rational fraction. In the first example of an improper fraction one has
    ${\frac {x^{3}+x^{2}+1}{x^{2}-5x+6}}=(x+6)+{\frac {24x-35}{x^{2}-5x+6}},$
where the second term is a proper rational fraction. The sum of two proper rational fractions is a proper rational fraction as well. The reverse process of expressing a proper rational fraction as the sum of two or more fractions is called resolving it into partial fractions. For example,
    ${\frac {2x}{x^{2}-1}}={\frac {1}{x-1}}+{\frac {1}{x+1}}.$
Here, the two terms on the right are called partial fractions.

### Irrational fraction

An irrational fraction is one that contains the variable under a fractional exponent. An example of an irrational fraction is
    ${\frac {x^{1/2}-{\tfrac {1}{3}}a}{x^{1/3}-x^{1/2}}}.$
The process of transforming an irrational fraction to a rational fraction is known as rationalization. Every irrational fraction in which the radicals are monomials may be rationalized by finding the least common multiple of the indices of the roots, and substituting the variable for another variable with the least common multiple as exponent. In the example given, the least common multiple is 6, hence we can substitute $x=z^{6}$ to obtain
    ${\frac {z^{3}-{\tfrac {1}{3}}a}{z^{2}-z^{3}}}.$

## Algebraic and other mathematical expressions

The table below summarizes how algebraic expressions compare with several other types of mathematical expressions by the type of elements they may contain, according to common but not universal conventions.
| vte | Arithmetic expressions | Polynomial expressions | Algebraic expressions | Closed-form expressions | Analytic expressions | Mathematical expressions |
| Constant | Yes | Yes | Yes | Yes | Yes | Yes |
| Elementary arithmetic operation | Yes | Addition, subtraction, and multiplication only | Yes | Yes | Yes | Yes |
| Finite sum | Yes | Yes | Yes | Yes | Yes | Yes |
| Finite product | Yes | Yes | Yes | Yes | Yes | Yes |
| Finite continued fraction | Yes | No | Yes | Yes | Yes | Yes |
| Variable | No | Yes | Yes | Yes | Yes | Yes |
| Integer exponent | No | Yes | Yes | Yes | Yes | Yes |
| Integer nth root | No | No | Yes | Yes | Yes | Yes |
| Rational exponent | No | No | Yes | Yes | Yes | Yes |
| Integer factorial | No | No | Yes | Yes | Yes | Yes |
| Irrational exponent | No | No | No | Yes | Yes | Yes |
| Exponential function | No | No | No | Yes | Yes | Yes |
| Logarithm | No | No | No | Yes | Yes | Yes |
| Trigonometric function | No | No | No | Yes | Yes | Yes |
| Inverse trigonometric function | No | No | No | Yes | Yes | Yes |
| Hyperbolic function | No | No | No | Yes | Yes | Yes |
| Inverse hyperbolic function | No | No | No | Yes | Yes | Yes |
| Root of a polynomial that is not an algebraic solution | No | No | No | No | Yes | Yes |
| Gamma function and factorial of a non-integer | No | No | No | No | Yes | Yes |
| Bessel function | No | No | No | No | Yes | Yes |
| Special function | No | No | No | No | Yes | Yes |
| Infinite sum (series) (including power series) | No | No | No | No | Convergent only | Yes |
| Infinite product | No | No | No | No | Convergent only | Yes |
| Infinite continued fraction | No | No | No | No | Convergent only | Yes |
| Limit | No | No | No | No | No | Yes |
| Derivative | No | No | No | No | No | Yes |
| Integral | No | No | No | No | No | Yes |
A rational algebraic expression (or rational expression) is an algebraic expression that can be written as a quotient of polynomials, such as x$^2$ + 4x + 4. An irrational algebraic expression is one that is not rational, such as √x + 4.