Carbon-dioxide laserThe carbon-dioxide laser (CO2 laser) was one of the earliest gas lasers to be developed. It was invented by Kumar Patel of Bell Labs in 1964 and is still one of the most useful types of laser. Carbon-dioxide lasers are the highest-power continuous-wave lasers that are currently available. They are also quite efficient: the ratio of output power to pump power can be as large as 20%. The CO2 laser produces a beam of infrared light with the principal wavelength bands centering on 9.6 and 10.6 micrometers (μm).
Module (mathematics)In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication.
Helium–neon laserA helium–neon laser or He-Ne laser is a type of gas laser whose high energetic medium gain medium consists of a mixture of ratio(between 5:1 and 20:1) of helium and neon at a total pressure of about 1 torr inside of a small electrical discharge. The best-known and most widely used He-Ne laser operates at a wavelength of 632.8 nm, in the red part of the visible spectrum. The first He-Ne lasers emitted infrared at 1150 nm, and were the first gas lasers and the first lasers with continuous wave output.
Free moduleIn mathematics, a free module is a module that has a basis, that is, a generating set consisting of linearly independent elements. Every vector space is a free module, but, if the ring of the coefficients is not a division ring (not a field in the commutative case), then there exist non-free modules. Given any set S and ring R, there is a free R-module with basis S, which is called the free module on S or module of formal R-linear combinations of the elements of S. A free abelian group is precisely a free module over the ring Z of integers.
Finitely generated moduleIn mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.
PerovskitePerovskite (pronunciation: pə'rɒvskaɪt) is a calcium titanium oxide mineral composed of calcium titanate (chemical formula ). Its name is also applied to the class of compounds which have the same type of crystal structure as (XIIA2+VIB4+X2−3), known as the perovskite structure. Many different cations can be embedded in this structure, allowing the development of diverse engineered materials. The mineral was discovered in the Ural Mountains of Russia by Gustav Rose in 1839 and is named after Russian mineralogist Lev Perovski (1792–1856).
Category of modulesIn algebra, given a ring R, the category of left modules over R is the whose are all left modules over R and whose morphisms are all module homomorphisms between left R-modules. For example, when R is the ring of integers Z, it is the same thing as the . The category of right modules is defined in a similar way. One can also define the category of bimodules over a ring R but that category is equivalent to the category of left (or right) modules over the enveloping algebra of R (or over the opposite of that).
Sheaf of modulesIn mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U). The standard case is when X is a scheme and O its structure sheaf. If O is the constant sheaf , then a sheaf of O-modules is the same as a sheaf of abelian groups (i.
D-moduleIn mathematics, a D-module is a module over a ring D of differential operators. The major interest of such D-modules is as an approach to the theory of linear partial differential equations. Since around 1970, D-module theory has been built up, mainly as a response to the ideas of Mikio Sato on algebraic analysis, and expanding on the work of Sato and Joseph Bernstein on the Bernstein–Sato polynomial. Early major results were the Kashiwara constructibility theorem and Kashiwara index theorem of Masaki Kashiwara.
Constraint programmingConstraint programming (CP) is a paradigm for solving combinatorial problems that draws on a wide range of techniques from artificial intelligence, computer science, and operations research. In constraint programming, users declaratively state the constraints on the feasible solutions for a set of decision variables. Constraints differ from the common primitives of imperative programming languages in that they do not specify a step or sequence of steps to execute, but rather the properties of a solution to be found.
