1 Basic definition
Homogeneity is a structural property in algebra and related fields in which the parts of an expression, equation, or function share the same degree or scaling behavior. In its most familiar form, the idea applies to polynomials whose terms all have equal total degree. More generally, an object is called homogeneous when it transforms in a uniform way under rescaling of its variables.
The term is used in several closely related settings. An expression may be homogeneous if all of its terms have the same degree. An equation may be homogeneous if every term can be assigned the same degree or if it remains unchanged under a common scaling of variables. A function is homogeneous when multiplying its inputs by a factor produces a predictable power-law change in the output.
1.1 Homogeneous expressions
A homogeneous expression is an algebraic expression whose terms have the same degree with respect to the variables involved. For instance, each term in \(x^2y\), \(xy^2\), and \(z^3\) has total degree 3, so any sum of such terms is homogeneous of degree 3. By contrast, an expression like \(x^2 + y + 1\) is not homogeneous because its terms have different degrees.
This notion depends on the chosen variables and the degree convention being used. In practice, homogeneity often indicates that the expression has a balanced structure, making it suitable for scaling arguments and symmetry-based methods.
1.2 Homogeneous polynomials
A homogeneous polynomial is a polynomial whose nonzero terms all have the same total degree. If every monomial in the polynomial has degree \(d\), then the polynomial is said to be homogeneous of degree \(d\). Such polynomials form an important class in algebra because they behave predictably under multiplication by scalars.
Homogeneous polynomials are central in many branches of mathematics. They appear in algebraic geometry, where they define projective varieties, and in invariant theory, where they are used to describe quantities unchanged under transformations.
1.2.1 Degree of a polynomial
The degree of a polynomial is the largest total degree among its monomials. In a homogeneous polynomial, this maximum degree is the degree of every nonzero term. For example, in \(x^3 + 2x^2y + y^3\), each term has degree 3, so the polynomial has degree 3 and is homogeneous.
When a polynomial is not homogeneous, its degree is still determined by the highest-degree term, but the lower-degree terms may influence its behavior in other contexts. Homogeneity isolates the highest-degree structure into a uniform form.
1.2.2 Total degree of terms
The total degree of a term is the sum of the exponents of all variables in that term. Thus \(x^2y^3\) has total degree 5, while \(ab\) has total degree 2. This notion is the basis for determining whether a polynomial is homogeneous.
Total degree differs from other degree conventions that may weight variables differently. In the standard unweighted setting, a homogeneous polynomial is one in which every monomial has the same total degree.
1.3 Homogeneous equations
A homogeneous equation is an equation in which all terms have the same degree or, in some contexts, one that can be written so that the right-hand side is zero. In algebra, a polynomial equation is often called homogeneous when every term has the same degree. In linear algebra, the phrase more commonly refers to an equation of the form \(Ax = 0\), where the right-hand side vanishes.
Homogeneous equations are especially useful because the zero solution often has a distinguished role, and the set of solutions may inherit linear or scale-invariant structure.
2 Properties and characterization
Homogeneous objects are characterized by their uniform response to scaling. This behavior is often the easiest way to test homogeneity, and it also explains why homogeneous expressions are especially well suited to geometric and algebraic analysis.
2.1 Scaling behavior
A central feature of homogeneity is that scaling the variables by a common factor produces a predictable power of that factor in the output. If \(f\) is homogeneous of degree \(d\), then \(f(tx) = t^d f(x)\) for scalar \(t\), under appropriate interpretation of the variables.
This scaling law captures the essence of the concept. It shows that homogeneity is not merely a statement about the shape of an expression, but also about its transformation properties.
2.1.1 Degree under substitution
When variables are replaced by scaled variables, the degree determines how the whole expression changes. If every variable in a monomial is multiplied by \(t\), then a monomial of total degree \(d\) gains a factor of \(t^d\). Since all terms in a homogeneous polynomial have the same degree, the entire polynomial scales uniformly.
This rule is often used to verify homogeneity quickly. By substituting \(tx\), \(ty\), and similar scaled variables, one can check whether the expression factors into a single power of \(t\) times the original expression.
2.1.2 Proportional transformations
Homogeneous objects are naturally compatible with proportional changes in variables. If all inputs are multiplied by the same scalar, the output changes by a corresponding power. This proportionality is one reason homogeneous functions and polynomials play a major role in geometry and physics.
Such transformations preserve ratios among variables, which is why homogeneity often interacts well with projective methods. The object depends on direction or relative proportions more than on absolute size.
2.2 Additive structure
Homogeneous expressions often decompose into sums of pieces of different degrees. Such a decomposition reveals the internal structure of a polynomial or function and helps isolate the homogeneous part of highest degree.
2.2.1 Sums of homogeneous components
A general polynomial can be viewed as a sum of homogeneous components of various degrees. Each component collects all terms of one degree. This viewpoint organizes the polynomial into layers, with each layer reflecting a distinct scaling behavior.
For example, \(x^3 + x^2y + y\) contains a degree-3 part, a degree-3 mixed term, and a degree-1 term, so it is not homogeneous, but it can still be expressed as a sum of homogeneous pieces.
2.2.2 Decomposition into homogeneous parts
Decomposition into homogeneous parts is a standard technique in algebra. By separating terms according to degree, one can study each part independently. This is especially helpful when solving equations, analyzing identities, or comparing coefficients.
The decomposition is unique for polynomials over a field or ring where terms can be grouped by degree. It provides a natural grading that reflects the internal algebraic structure of the expression.
2.3 Zero and constant terms
Zero and constant terms have special significance in homogeneity. A constant term has degree 0, so it can only appear in a homogeneous expression of degree 0. Likewise, the zero polynomial is homogeneous of every degree by convention in some contexts, though it is often treated separately because it contains no nonzero terms.
The presence of a constant term usually breaks homogeneity in positive degree. For example, \(x^2 + 1\) is not homogeneous because its two terms have different degrees.
3 Homogeneous polynomials
Homogeneous polynomials are among the most important examples of homogeneous algebraic objects. Their uniform degree gives them a rigid but useful structure, which is reflected in factorization, geometry, and transformation theory.
3.1 Monomials and degree
A monomial is a single-term polynomial of the form \(c x_1^{a_1}\cdots x_n^{a_n}\). Its degree is the sum \(a_1 + \cdots + a_n\). A homogeneous polynomial is simply a sum of monomials all having the same degree.
Because monomials are the building blocks of polynomials, homogeneity can be checked monomial by monomial. If the degrees differ, the polynomial is not homogeneous.
3.2 Homogeneous forms
A homogeneous form is another name for a homogeneous polynomial, especially in classical algebra. The term emphasizes the polynomial as a structured algebraic form rather than merely as an expression.
Homogeneous forms are used in the study of algebraic equations and invariants. Their uniform degree makes them especially well behaved under linear changes of variables.
3.2.1 Binary forms
Binary forms are homogeneous polynomials in two variables. Examples include \(x^2 + xy + y^2\) and \(x^3 - 3xy^2\). They have a long history in classical algebra, where they were studied for their factorization and transformation properties.
Binary forms often serve as a convenient testing ground for more general ideas. Many results about invariants and symmetries were first formulated in the binary case before being extended to several variables.
3.2.2 Multivariate forms
Multivariate forms are homogeneous polynomials in three or more variables. They generalize binary forms and appear naturally in higher-dimensional algebra and geometry. Examples include \(x^2 + y^2 + z^2\) and \(x^3 + y^3 + z^3\).
These forms are often used to define algebraic varieties in projective space. Their homogeneity ensures that the associated geometric objects depend on ratios rather than absolute scale.
3.3 Examples
Common examples of homogeneous polynomials include:
- \(x^2 + xy + y^2\), homogeneous of degree 2
- \(x^3 - 2x^2y + y^3\), homogeneous of degree 3
- \(a^2b + ab^2\), homogeneous of degree 3
Nonexamples include:
- \(x^2 + y + 1\)
- \(x^3 + x\)
- \(u^2v + v\)
These examples show that homogeneity is determined by the degrees of the terms, not by the number of variables or the complexity of the coefficients.
4 Homogeneous systems
Homogeneous systems are collections of equations that share a uniform structure. In linear algebra, the term usually refers to systems with zero constant terms. In nonlinear algebraic settings, it may also refer to systems whose equations are homogeneous polynomials.
4.1 Homogeneous linear systems
A homogeneous linear system is a system of linear equations written in the form \(Ax = 0\). Because the right-hand side is zero, the trivial solution always exists. The set of all solutions forms a vector space, called the null space or kernel of the matrix.
Homogeneous linear systems are among the simplest and most important objects in linear algebra. They arise in the study of linear dependence, eigenvectors, and the structure of linear maps.
4.1.1 Matrix representation
A homogeneous linear system can be encoded by a coefficient matrix \(A\). The unknown vector \(x\) is then constrained by the matrix equation \(Ax = 0\). This form makes it possible to apply row reduction and other matrix methods.
The matrix representation highlights the fact that the system is determined by the linear map defined by \(A\). Its solutions are exactly the vectors sent to zero by that map.
4.1.2 Solution spaces
The solution set of a homogeneous linear system is always closed under addition and scalar multiplication. Therefore, it is a vector subspace of the ambient space. If the system has more unknowns than independent equations, nontrivial solutions may exist.
The dimension of the solution space is related to the rank of the coefficient matrix. This connection is a fundamental part of the rank-nullity principle.
4.2 Homogeneous nonlinear systems
Homogeneous nonlinear systems consist of nonlinear equations that are homogeneous in the sense of degree or scaling. Such systems often have solution sets with cone-like structure, because if a point is a solution, then every scalar multiple may also be a solution.
These systems appear in algebraic geometry and polynomial equations. Their uniform degree makes them amenable to projective methods and scaling arguments.
4.2.1 Common algebraic examples
A typical homogeneous nonlinear system may involve equations such as \(x^2 + y^2 - z^2 = 0\) or \(x^3 - y^3 = 0\). Each equation is homogeneous because all terms have the same degree. Systems of this type often describe geometric cones or related varieties.
Such examples illustrate how homogeneity imposes strong shape constraints on the solution set. The zero vector is always a solution when all equations have no constant term.
4.2.2 Symmetry under scaling
If a nonlinear system is homogeneous, scaling a solution by a nonzero scalar usually produces another solution. This symmetry reflects the underlying degree structure of the equations. It also explains why homogeneous systems are naturally studied in projective coordinates.
The scaling symmetry simplifies the analysis of solution sets by reducing some questions to the study of directions rather than lengths.
5 Homogeneous functions
Homogeneous functions extend the idea of homogeneity from polynomials to more general functions. They are defined by their response to scaling and are widely used in analysis, geometry, and optimization.
5.1 Definition by scaling
A function \(f\) is homogeneous of degree \(d\) if, for every scalar \(t\) and suitable input \(x\), it satisfies \[ f(tx) = t^d f(x). \] This definition captures the idea that the function changes in a predictable way when all inputs are scaled together.
Many familiar examples fit this pattern. For instance, \(f(x,y) = x^2 + y^2\) is homogeneous of degree 2, while \(f(x,y) = \sqrt{x^2 + y^2}\) is homogeneous of degree 1 on appropriate domains.
5.2 Euler’s homogeneous function theorem
Euler’s theorem gives a differential characterization of homogeneous differentiable functions. It states that, under suitable conditions, if \(f\) is homogeneous of degree \(d\), then the weighted sum of its partial derivatives satisfies a specific identity involving \(f\) itself.
This result connects algebraic scaling with calculus. It is a standard tool in the analysis of homogeneous functions and in applied mathematics.
5.2.1 Partial derivatives
For a differentiable homogeneous function \(f(x_1,\dots,x_n)\) of degree \(d\), Euler’s relation is \[ x_1\frac{\partial f}{\partial x_1} + \cdots + x_n\frac{\partial f}{\partial x_n} = d f. \] This identity expresses homogeneity through partial derivatives. It can be used to test whether a function is homogeneous and to derive further properties.
The formula also shows how the gradient of a homogeneous function interacts with its input variables. Each variable contributes in proportion to its coordinate.
5.2.2 Applications in algebra
Euler’s theorem is used in algebraic manipulation, especially when working with homogeneous polynomials and implicitly defined functions. It can help simplify expressions and verify degree relations. In geometry and optimization, it is often used to derive identities involving tangent spaces or constraint conditions.
Because the theorem links differentiation and scaling, it is especially valuable when a homogeneous function appears inside a broader analytic calculation.
5.3 Rational homogeneous functions
A rational homogeneous function is a ratio of homogeneous polynomials whose degrees differ by a fixed amount. More precisely, if the numerator and denominator are homogeneous polynomials and the quotient scales by a single power of \(t\), then the rational function is homogeneous on its domain of definition.
Such functions occur in projective settings and in rational parametrizations. Their scaling behavior remains coherent, provided the denominator does not vanish.
6 Homogeneous differential equations
In differential equations, homogeneity refers to forms that permit simplification by scaling or substitution. The term is used both for first-order equations with a special ratio structure and for linear equations with zero forcing terms.
6.1 First-order homogeneous equations
A first-order differential equation is called homogeneous in one common sense if it can be written in terms of a ratio such as \(dy/dx = F(y/x)\). Equations of this type are often solved by the substitution \(y = vx\), which reduces the equation to one in a single new variable.
This class of equations is distinguished by its dependence only on the quotient of the variables. That dependence reflects the same proportional symmetry seen in homogeneous algebraic expressions.
6.2 Homogeneous linear differential equations
A homogeneous linear differential equation is a linear differential equation with zero forcing term. For example, \[ y'' + ay' + by = 0 \] is homogeneous. Such equations contrast with nonhomogeneous equations, which include an external term on the right-hand side.
Homogeneous linear equations have solution spaces with linear structure. Their solutions can be combined by addition and scalar multiplication, which is one of the main reasons they are so important in analysis.
6.3 Reduction methods
Homogeneity often allows reduction of variables or order. In first-order equations, substitution based on ratios can transform the problem into a separable equation. In linear equations, recognizing the homogeneous part helps isolate the complementary and particular solutions.
These reduction methods rely on the fact that homogeneous forms contain fewer independent features than general expressions. The scaling symmetry provides a natural route to simplification.
7 Applications
Homogeneity has many applications because it converts complicated expressions into objects with clear symmetry. It is especially useful wherever scale, ratios, or degree-based structure are central.
7.1 Projective geometry
In projective geometry, homogeneous coordinates are used to represent points so that scaling a coordinate tuple does not change the represented point. This makes homogeneous polynomials and equations particularly natural in the projective setting.
Projective methods eliminate distinctions based on overall size and focus instead on direction and incidence. Homogeneous equations define projective varieties in a way that is stable under scaling of coordinates.
7.2 Invariant theory
Invariant theory studies quantities that remain unchanged under transformations. Homogeneous polynomials are a basic object in this field because their behavior under linear changes of variables is often well organized by degree.
The uniform degree of a homogeneous form makes it possible to classify and compare transformation rules. Many classical invariants are built from homogeneous expressions.
7.3 Algebraic geometry
In algebraic geometry, homogeneous polynomials define projective algebraic sets. Their zero loci in projective space are meaningful precisely because homogeneity ensures that the equation is insensitive to rescaling of coordinates.
This connection is fundamental in the study of curves, surfaces, and higher-dimensional varieties. Homogeneity allows affine information to be extended into a projective framework.
7.4 Computational algebra
Computational algebra uses homogeneity to organize algorithms for polynomial manipulation, Gröbner basis computations, and symbolic simplification. Homogeneous inputs often lead to more efficient procedures because degree structure can be tracked systematically.
When an expression is decomposed into homogeneous parts, computer algebra systems can process each degree layer separately. This improves both conceptual clarity and algorithmic control.
8 Related concepts
Several mathematical ideas are closely related to homogeneity. Some are formal generalizations, while others describe the ways homogeneity fails or is adapted for broader use.
8.1 Nonhomogeneous expressions
A nonhomogeneous expression contains terms of different degrees. Such expressions do not scale by a single power under uniform rescaling of variables. They are more general than homogeneous ones but usually less symmetric.
Nonhomogeneous expressions can often be analyzed by separating them into homogeneous components. This decomposition reveals the role of each degree in the overall expression.
8.2 Graded algebras
A graded algebra is an algebra decomposed into a direct sum of components indexed by degree. Homogeneous elements belong to one of these components. The grading framework generalizes the idea of homogeneous polynomials to more abstract algebraic systems.
This structure is useful because multiplication respects degree in a controlled way. Graded algebras provide a natural setting for many constructions in modern algebra and geometry.
8.3 Degree and valuation
Degree and valuation are both measures of size or order, but they apply in different ways. Degree usually tracks polynomial complexity, while valuation measures divisibility or order of vanishing. Homogeneity is expressed through degree, though related concepts of order sometimes play analogous roles.
Comparing degree with valuation helps clarify how algebraic size is measured in different branches of mathematics. Both are tools for organizing terms and understanding leading behavior.
8.4 Homogenization
Homogenization is the process of converting a nonhomogeneous polynomial into a homogeneous one by introducing an additional variable. By assigning suitable degree to the new variable, lower-degree terms can be lifted to the same total degree as the highest term.
This technique is widely used in projective geometry and computational algebra. It allows affine equations to be studied in a projective framework while preserving degree information.