Canonical formIn mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression. Often, it is one which provides the simplest representation of an object and allows it to be identified in a unique way. The distinction between "canonical" and "normal" forms varies from subfield to subfield. In most fields, a canonical form specifies a unique representation for every object, while a normal form simply specifies its form, without the requirement of uniqueness.
FeedbackFeedback occurs when outputs of a system are routed back as inputs as part of a chain of cause-and-effect that forms a circuit or loop. The system can then be said to feed back into itself. The notion of cause-and-effect has to be handled carefully when applied to feedback systems: Simple causal reasoning about a feedback system is difficult because the first system influences the second and second system influences the first, leading to a circular argument.
Lie's third theoremIn the mathematics of Lie theory, Lie's third theorem states that every finite-dimensional Lie algebra over the real numbers is associated to a Lie group . The theorem is part of the Lie group–Lie algebra correspondence. Historically, the third theorem referred to a different but related result. The two preceding theorems of Sophus Lie, restated in modern language, relate to the infinitesimal transformations of a group action on a smooth manifold. The third theorem on the list stated the Jacobi identity for the infinitesimal transformations of a local Lie group.
Semidirect productIn mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product: an inner semidirect product is a particular way in which a group can be made up of two subgroups, one of which is a normal subgroup. an outer semidirect product is a way to construct a new group from two given groups by using the Cartesian product as a set and a particular multiplication operation.
