The highly excited vibrational states of asymmetric linear tetratomic molecules are studied in the framework of Lie algebra.
By using symmetric groupU1(4)U2(4)⊗U3(4), we construct the Hamiltonian that includes not only Casimir operators but also Majorana operators M12, M13 and M23, which are useful for getting potential energy surface and force constants in Lie algebra method. By Lie algebra treatment,
we obtain the eigenvalues of the Hamiltonian, and make the concrete calculation for molecule C2HF. 相似文献
Clifford algebraic geometry corresponds to Minkowski space. Using the discrete structure of Minkowski space, we can abstract
a class n-dimensional hyperbolic Hilbert phase space. To discussing the causality of physical event in Minkowski space, we
can obtain the geometrical interpretation of uncertainty relation. 相似文献
Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form x:(Tx)v(Tx)w provides semantics for algebraic operations on the computational -calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. In particular, we define the notion of generic effect and show that to give a generic effect is equivalent to giving an algebraic operation. We further show how the usual monadic semantics of the computational -calculus extends uniformly to incorporate generic effects. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with effects. 相似文献
Let be an algebraically closed field of arbitrary characteristic, and let be a surjective morphism of connected pro-affine algebraic groups over . We show that if is bijective and separable, then is an isomorphism of pro-affine algebraic groups. Moreover, is separable if and only if (its differential) is surjective. Furthermore, if is separable, then .
The concept of deductive system on a Hilbert algebra was introduced by A. Diego. We show that the set Ded A of all deductive systems on a Hilbert algebra A forms an algebraic lattice which is distributive.AMS Classification (2000): 06F35, 03G25, 08A30 相似文献
We introduce a new operation for the difference of two sets A and C of Rn depending on a parameter . This new operation may yield as special cases the classical difference and the Minkowski difference, if the sets A and C are closed, convex sets, if int(C) is nonempty, and if A or C bounded. Continuity properties with respect to both the operands and the parameter of this operation are studied. Lipschitz properties of the Minkowski difference between two sets of a normed vector space are proved in the bounded case as well as in the unbounded case without condition on the dimension of the space. 相似文献
For a given field F of characteristic 0 we consider a normal extension E/F of finite degree d and finite Abelian subgroups GGLn(E) of a given exponent t. We assume that G is stable under the natural action of the Galois group of E/F and consider the fields E=F(G) that are obtained via adjoining all matrix coefficients of all matrices gG to F. It is proved that under some reasonable restrictions for n, any E can be realized as F(G), while if all coefficients of matrices in G are algebraic integers, there are only finitely many fields E=F(G) for prescribed integers n and t or prescribed n and d. 相似文献
1. IntroductionLet f: Re -- R be a differelltiable fUnction. f reaChes its extremes on the setJ = {x E R"lfx(x) = 0}, (1.1)where,x(X) = (V,..., V)". (1.2)If jx can be observed exactly at any x e R", then there are various numerical methods toconstruct {xh}, xk E Re such that the distance d(xk, J) between uk and J tends to zero ask -- co. However, in many application problems jx can only be observed with noise, i.e.,the observation at time k 1 isYk 1 = fi(~k) (k 1, (1'3)where xk is … 相似文献
We give concrete versions of the characterizations of locally -presentable (resp. -generated) categories as categories of models of (resp. weakly) -ary limit-theories and of (resp. weakly) -ary essentially algebraic theories. By concrete we mean that starting with a category of -structures, the theories obtained are extensions of the original ones, and the equivalences of categories are concrete isomorphisms. -presentable and -generated objects are also investigated from this viewpoint. 相似文献
Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .
Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.
The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.