mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

and

physics Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...

, the term generator or generating set may refer to any of a number of related concepts. The underlying concept in each case is that of a smaller

set Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electro ...

of objects, together with a set of operations that can be applied to it, that result in the creation of a larger collection of objects, called the generated set. The larger set is then said to be generated by the smaller set. It is commonly the case that the generating set has a simpler set of properties than the generated set, thus making it easier to discuss and examine. It is usually the case that properties of the generating set are in some way preserved by the act of generation; likewise, the properties of the generated set are often reflected in the generating set.

List of generators

A list of examples of generating sets follow. * Generating set or spanning set of a

vector space In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...

: a set that spans the vector space *

Generating set of a group In abstract algebra, a generating set of a group is a subset of the group set such that every element of the group (mathematics), group can be expressed as a combination (under the group operation) of finitely many elements of the subset and thei ...

: a subset of a group that is not contained in any

subgroup In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group (mathematics), group under a binary operation ...

of the group other than the entire group * Generating set of a ring: A subset ''S'' of a ring ''A'' generates ''A'' if the only

subring In mathematics, a subring of a ring is a subset of that is itself a ring when binary operations of addition and multiplication on ''R'' are restricted to the subset, and that shares the same multiplicative identity as .In general, not all s ...

of ''A'' containing ''S'' is ''A'' * Generating set of an ideal in a ring * Generating set of a module * A generator, in

category theory Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory ...

, is an

object Object may refer to: General meanings * Object (philosophy), a thing, being, or concept ** Object (abstract), an object which does not exist at any particular time or place ** Physical object, an identifiable collection of matter * Goal, an a ...

that can be used to distinguish

morphism In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Al ...

s * In

topology Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...

, a collection of sets that generate the topology is called a subbase * Generating set of a topological algebra: ''S'' is a generating set of a topological algebra ''A'' if the smallest closed

subalgebra In mathematics, a subalgebra is a subset of an algebra, closed under all its operations, and carrying the induced operations. "Algebra", when referring to a structure, often means a vector space or module equipped with an additional bilinear opera ...

of ''A'' containing ''S'' is ''A'' * Generating a

σ-algebra In mathematical analysis and in probability theory, a σ-algebra ("sigma algebra") is part of the formalism for defining sets that can be measured. In calculus and analysis, for example, σ-algebras are used to define the concept of sets with a ...

by a collection of subsets

Differential equations

In the study of differential equations, and commonly those occurring in

, one has the idea of a set of infinitesimal displacements that can be extended to obtain a

manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...

, or at least, a local part of it, by means of integration. The general concept is of using the exponential map to take the vectors in the

tangent space In mathematics, the tangent space of a manifold is a generalization of to curves in two-dimensional space and to surfaces in three-dimensional space in higher dimensions. In the context of physics the tangent space to a manifold at a point can be ...

and extend them, as

geodesic In geometry, a geodesic () is a curve representing in some sense the locally shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a conn ...

s, to an open set surrounding the tangent point. In this case, it is not unusual to call the elements of the tangent space the ''generators'' of the manifold. When the manifold possesses some sort of symmetry, there is also the related notion of a ''charge'' or ''current'', which is sometimes also called the generator, although, strictly speaking, charges are not elements of the tangent space. * Elements of the

Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...

to a

Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...

are sometimes referred to as "generators of the group," especially by physicists. The

can be thought of as the infinitesimal vectors generating the group, at least locally, by means of the exponential map, but the Lie algebra does not form a generating set in the strict sense. * In stochastic analysis, an Itō diffusion or more general Itō process has an infinitesimal generator. * The generator of any

continuous symmetry In mathematics, continuous symmetry is an intuitive idea corresponding to the concept of viewing some Symmetry in mathematics, symmetries as Motion (physics), motions, as opposed to discrete symmetry, e.g. reflection symmetry, which is invariant u ...

implied by

Noether's theorem Noether's theorem states that every continuous symmetry of the action of a physical system with conservative forces has a corresponding conservation law. This is the first of two theorems (see Noether's second theorem) published by the mat ...

, the generators of a

being a special case. In this case, a generator is sometimes called a charge or Noether charge, examples include: **

angular momentum Angular momentum (sometimes called moment of momentum or rotational momentum) is the rotational analog of Momentum, linear momentum. It is an important physical quantity because it is a Conservation law, conserved quantity – the total ang ...

as the generator of

rotation Rotation or rotational/rotary motion is the circular movement of an object around a central line, known as an ''axis of rotation''. A plane figure can rotate in either a clockwise or counterclockwise sense around a perpendicular axis intersect ...

s, ** linear momentum as the generator of

translation Translation is the communication of the semantics, meaning of a #Source and target languages, source-language text by means of an Dynamic and formal equivalence, equivalent #Source and target languages, target-language text. The English la ...

s, **

electric charge Electric charge (symbol ''q'', sometimes ''Q'') is a physical property of matter that causes it to experience a force when placed in an electromagnetic field. Electric charge can be ''positive'' or ''negative''. Like charges repel each other and ...

being the generator of the

U(1) In mathematics, the circle group, denoted by \mathbb T or , is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers \mathbb T = \. The circle g ...

symmetry group of

electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge via electromagnetic fields. The electromagnetic force is one of the four fundamental forces of nature. It is the dominant force in the interacti ...

, **the color charges of

quark A quark () is a type of elementary particle and a fundamental constituent of matter. Quarks combine to form composite particles called hadrons, the most stable of which are protons and neutrons, the components of atomic nucleus, atomic nuclei ...

s are the generators of the SU(3) color symmetry in

quantum chromodynamics In theoretical physics, quantum chromodynamics (QCD) is the study of the strong interaction between quarks mediated by gluons. Quarks are fundamental particles that make up composite hadrons such as the proton, neutron and pion. QCD is a type of ...

, *More precisely, "charge" should apply only to the

root system In mathematics, a root system is a configuration of vector space, vectors in a Euclidean space satisfying certain geometrical properties. The concept is fundamental in the theory of Lie groups and Lie algebras, especially the classification and ...

of a Lie group.

References

{{reflist

External links

Generating Sets, K. Conrad
Abstract algebra Universal algebra

List of generators

Differential equations

See also

References

External links