1) presupposition projection
预设投射
1.
This paper introduces and compares the studies on presupposition projection,hoping to find a better interpretation model to the problem.
预设投射问题涉及复合句中主句和分句的预设关系。
2.
This paper gives a summary of the research situation and the main contents of presupposition,mainly introducing the study on the nature of presupposition,the types of presupposition triggers,and the theories about the presupposition projection,which comprise Karttunen\'s"Filtering Condition",Gazdar\'s"Cancelling Device",and Van der Sandt\'s theory.
本文在梳理前人所作研究的基础上,对预设的主要研究内容、研究状况作一概述,主要介绍预设的性质、常见的预设触发语的类型和关于预设投射分析的理论,包括Karttunen的"过滤条件"理论、Gazdar的"删除机制"理论以及Van der Sandt对预设和预设投射的分析等。
2) The Projection Problem of Presupposition
预设的语义投射
3) Inflections on the Presupposition Projection Problem
预设投射问题摭谈
4) preprojective module
预投射模
5) preprojective component
预投射分支
1.
We describe the essential difference of two kinds of preprojective components and give a counter example to illustrate that the two kinds of preprojective components are not the same.
刻划了两种预投射分支的本质差异 ,并给出了一个反例 ,说明这两种分支是不同
6) preprojective partition
预投射划分
1.
We make a determination of a module being in oriented cycles and describe this kind of modules, and give some properties of preprojective partition.
对一个模属于有向循环给出判断和深刻的刻划 ,且讨论了预投射划分的某些性质 。
补充资料:投射模
投射模
projective module
投射模[脚扣愈e med.此;uPo~朋。面MO八”‘] 模p满足下列等价条件中的任一个:l)对任一模的满态射(ePnnorphism)献B~c及任一同态户尸~C,存在一同态下:尸~B,使得口=“汽2)模尸是自由模(n代m祖』e)的直和;3)函子(丘川c-tor) Hom(p,一)是正合的(见正合函子(exact丘me-tor));4)任一模的满态射是分裂的.Kaphns卿定理(Kaplansky theo~)([21)断言:任一投射模是具有可数多生成元的投射模的直和,由此导致可数情形下投射模结构的研究.具有限多生成元的投射模是代数K论(司罗braicK一theory)的研究内容.投射模最简单的例子是自由模.从在环上分解为直和来看投射模与自由模总是有差别的.已经证明的自由模类和投射模类重合的情形有局部环(见{2〕),域上几个变元的多项式环(见【3],【4]).【补注】有如下定理,域上几个变元的多项式环F【X,,,二,戈}上的每个有限生成投射模一定是自由模,这是著名的Q诬llen一qc月叫定理(Q说挽n一S仍lint】1。〕renl).这个问题是J.P.Serre在1955年提出来的“A2」),这也就是所谓的S眼猜想(女n℃conjec-ture).完全和详尽的讨论见【A3]. 在fAS]中,Qujllen一Cycjl”H定理被叙述为:设M是有限生成投射R〔Xl模,f〔 RIXI是首项系数为1的多项式,使得Mf是自由RIX〕f模,则M是一自由R tX〕模. Quill即证明Q山l】en一Cyc删定理时用了H心n戈‘k定理(HonDck th“〕rem工设R是一交换环,p是R[t〕上有限生成投射模.若R(t)⑧:川尸是自由R(t)模,则p是自由R〔t]模.另一个证明要素是Qu几kn插人定理(Q正11enP盖山无Ing thi”n沈n).设R是个环.M是(从R)扩充的R〔x,,…,XnJ模,如果存在一个R模M。,使得M全R「X,,…,Xnl因:M。,则插人定理断言,若R是交换环且M是有限表现R〔X,,一,戈]模,则M是从R扩充的,当且仅当对R的每个极大理想m,局部化M。,是由R:。扩充的.用这些术语可以得到广义Qul挽n一仁界J硼定理(罗nerd】i刘Q回len一Suslint执沟~):若k是交换正则环,其Knlll维数为2,则每个k[X,,…,戈〕上有限生成投射模是由k扩充的. Mul劝y一Hon℃(k定理(MUx’thy一Hont(kti】eoreln)提出,如果R是交换正则局部环,且K泊团维数为2,则R「t]上的有限生成模是自由模. 在讨论k[X,,…,戈l上的消去定理时,q。瑚首一多项式定理(Suslin mohic polyllomialthoorem)起了主要作用.(消去定理(以力优加石。nU篮幻~)是这样一种类型的定理:如果M④Q二N①Q,则M泛N.例如,B溉s消去定理提出,如果R是K川U维数d<犯的交换Nother环,Q,Q‘是有限生成投射模,它们是稳定同构的(stably isolnorp阮),即对某个,有Q④R‘=Q‘①彩·且Q的秩>d,则Q之Q’.)首l多项式定理提出,如果R是交换Nocther环,KnzU维数d<的,a是A二R【X、,…,X。】中高度>d的理想,则在A中存在新变量Y、,…,Y。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条