查询词典 theorem

From the view of the number of composition series and table subset of order or elementary abelian table algebra is depicted by making use of fundamental theorem on homomorphism of table algebra.

分别从合成列及表基的p阶、阶表子集的数目角度刻画了初等abelian表代数。

Arad and Blau proved that an abelian table algebra can be viewed as a group algebra of some abelian group G. Chapter 3 of this paper gives the structural theorem of abelian table algebras by defining a group structure in table basis. Furthermore, the structure of elementary abelian table algebras is discussed using the number of composition series of table algebras.

Arad和Blau证明了abel表代数等价于某个有限生成abel群G的群代数，受此启发本文第3节通过定义表基的一个群结构给出了abel表代数的结构定理，并从合成列数目的角度对初等abel表代数进行了细致刻画。

In chapter 4, a family of two-parameter operators on Abelian group is introduced and its interpolation theorem for approximation is established.

所得的结果包含了R.DeVore定理作为特款，还包含了算子逼近的插补定理，是非线性逼近方面的一项基础性工作。

When G is a finite abelian group, the abelian group K_1, iscalculated completely mainly using the Bass-Milnor-Serre theorem, then the structure of K_1{ZG,|G|г is clear.

K_1。 3。利用Bass-Milnor-Serre定理，我们首先计算出了G是一个有限交换群时的K_1，也就计算出了(来源：e2ABC论文网www.abclunwen.com)K_1；当G是2阶和3阶循环群时，我们计算出了K_2=1，这个结果有待于继续推广，对于计算一些环的K_2群会有所帮助。

When proving the differential mid-value theorem,"Higher Mathematics" does know to make the auxiliary function ф in order to apply Rolle Theorem.

在证明微分中值定理时，《高等数学》作辅助函数ф的目的是为了应用罗尔定理。

Equidistance point and difference theory in theory of function approximation are studied. Meanwhile, the relation among difference, difference quotient and derivate is revealed. By drawing Lagrange's and Cauchy's theorem of mean on difference and Taylor's formula into difference function, four theorems, such as Lagrange's theorem of mean on difference, are concluded in simple way. On the basis of these conclusions, the asymptotic property of middle point is studied, a series of new conclusions are drawn and the discussions on the asymptotic property of middle point in differential mid-value are summarized.

对函数逼近论中等距节点和差分理论进行了研究，揭示了差分、差商与导数之间的联系；将Lagrange中值定理、Cauchy中值定理、Taylor公式引入到差分函数中，简明地推导出Lagrange差分中值定理等4个定理，并在此基础上对&中间点&的渐近性进行了研究，得出了一系列&中间点&的渐近性的结果，概括了有关文献对微分中值公式的&中间点&的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

In chapter II,an extended strongly equivalent theorem forgerms with parameters is proved.The theorem is useful to constructthe factoring map between any unfoldings and universal unfolding.

在第二章中，对带有参数的核证明了一个推广的强等价性定理，这个定理在构造任意开折和普适开折因式相通的变换中有一定的应用。

Chapter 4 is devoted to the existence and multiplicity of homoclinic for self-adjoint nonlinear second order difference equations by using "Mountain Pass " theorem and "Symmetry Mountain Pass "theorem in critical point theory.

第四章应用临界点理论中的山路引理与对称山路引理研究了一类自共轭非线性二阶差分方程的同宿轨的存在性与多重性。

Based on the tree martingale decomposition theorem and the con-vergence of locally finite tree martingales,a tree martingale convergence theorem isverified.

再基于树鞅分解定理和局部有限树鞅收敛定理，证明了一个树鞅收敛定理。

In this paper, a fixed value theorem for direct areas of height triangle s in circular inscribed polygons is obtained, and some results, including the famous height theorem in a triangle, are deduced.

给出圆内接 2n +1边形中高线三角形有向面积的定值定理及其推论，其中包括著名的三角形的高线定

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。