半格
- 如何求出不規(guī)則圖形的面積
：不滿一格的均按半格算，有18 個(gè)不滿一格的格子，即為9 cm2，加上滿格的18cm2，葉片的面積大約為27 cm2。（3）舍小法：不滿半格的有7 格，舍去；滿半格或超過(guò)半格的按一格算。葉片的面積大約為29 cm2。（4）湊整法：超過(guò)半格和不滿半格的可合并為一格，剩余接近半格的合一格，葉片的面積大約為28 cm2。【方法二】運(yùn)用化曲為直，用圖形計(jì)算公式計(jì)算面積1.想象轉(zhuǎn)化教師提問(wèn)：“觀察葉片，它最像我們學(xué)過(guò)的哪個(gè)圖形？”2.公式計(jì)算根據(jù)平行四邊形面積公式計(jì)
教學(xué)月刊(小學(xué)版) 2023年32期2023-12-04
- 冪等元集為正規(guī)帶的r-寬大半群
E(S)是 一個(gè)半格；稱r-寬大半群S為擬弱適當(dāng)半群，如果它的冪等元集E(S)構(gòu) 成子半群，即E(S)是 一個(gè)帶.稱帶B為正規(guī)帶[10]，如果帶B滿足恒等式e fgh=egfh.對(duì)于弱適當(dāng)半群S，因?yàn)镋(S)為 半格，所以S的每一 L?，～-類和每一 R?，～-類有且僅有一個(gè)冪等元.含元素a的 半群S的 L?，～-類和 R?，～-類分別記作La?，～和Ra?，～.此外，元素a?和a+分別表示La?，～和Ra?，～中的冪等元.顯然a=aa?=a+a.稱半群同
- 相對(duì)交連續(xù)半格及其等價(jià)刻畫(huà)
in理論中交連續(xù)半格這一經(jīng)典概念的自然推廣，本文首先引入相對(duì)輔助關(guān)系的概念，研究其在給定的集合T中的一些性質(zhì)；然后利用相對(duì)輔助關(guān)系定義相對(duì)逼近輔助關(guān)系的概念.此外給出相對(duì)交連續(xù)半格的概念，并得到其若干內(nèi)部刻畫(huà).最后探討相對(duì)連續(xù)Domain及其若干拓?fù)湫再|(zhì)，并研究相對(duì)連續(xù)半格與相對(duì)交連續(xù)半格之間的關(guān)系.1 預(yù)備知識(shí)設(shè)P為偏序集，記↓X={y∈P:?x∈X,y≤x}，↑X={y∈P:?x∈X,x≤y}，↓x=↓{x}，↑x=↑{x}.X?P，稱X為下集當(dāng)且僅當(dāng)
- m-半格中的濾子及其相關(guān)拓?fù)湫再|(zhì)
10119)m-半格是一個(gè)重要的代數(shù)結(jié)構(gòu), 其將并半格的結(jié)構(gòu)和半群的乘法運(yùn)算相結(jié)合, 從而剩余格、 Frame,Quantale和格序半群等都是特殊的m-半格. Rosenthal[1]指出每個(gè)凝聚式Quantale都同構(gòu)于某個(gè)含最大元的m-半格的理想之集構(gòu)成的Quantale; 文獻(xiàn)[2]在m-半格上定義了(素)模糊理想, 討論了(素)模糊理想和(素)理想之間的關(guān)系, 并研究了模糊理想之集的性質(zhì)； 文獻(xiàn)[3]給出了m-半格矩陣M-P廣義逆的定義, 得到了
吉林大學(xué)學(xué)報(bào)（理學(xué)版） 2022年3期2022-07-07
- 右C-qrpp半群的性質(zhì)與結(jié)構(gòu)
R可消幺半群的強(qiáng)半格。定義1.4[11]稱半群B為帶若B內(nèi)每個(gè)元都是冪等元；稱帶B為右正則帶若?b1,b2∈B，b1b2b1=b2b1。注意到，一個(gè)右正則帶B的每個(gè)L類僅有一個(gè)元[11]。引理1.2[10]設(shè)S是一個(gè)強(qiáng)qrpp半群，以下命題等價(jià)：(1)S是右C-qrpp半群；(2)D(+)是S上的半格同余，且D(+)|Reg(S)=R|Reg(S)；(3)S=∪α∈Y(Mα×Λα),其中Y為半格，且Mα是左R可消幺半群,Λα是右零帶。設(shè)S=∪α∈Y(Mα×
南昌大學(xué)學(xué)報(bào)（理科版） 2022年1期2022-07-05
- 弱外交換超半群
是a-連接半群的半格分解[2].1934 年，F(xiàn). Marty 在第八屆Scandinavian 數(shù)學(xué)家大會(huì)上首次提出了超代數(shù)系統(tǒng)理論，作為經(jīng)典代數(shù)結(jié)構(gòu)的泛化，在超結(jié)構(gòu)中兩個(gè)元素的運(yùn)算是一個(gè)集合. 印度數(shù)學(xué)家M. K. Sen 真正地將半群代數(shù)理論和超結(jié)構(gòu)完美結(jié)合，他研究了模糊超半群的相關(guān)理論[9]. 從1999 年起，各國(guó)學(xué)者們?cè)诔肴旱幕纠碚摰幕A(chǔ)上，在如超半群上的正則二元關(guān)系、超半群的超理想[9]、超半群上的同余[11-15]等方面做了一些基礎(chǔ)工作
- 弱左型B半群的半格分解
S是冪單幺半群的半格，記S=(Y,Sα)。定義1.7[19]假設(shè)冪單幺半群Sα，其中α∈Y，Y是指標(biāo)集且為半格，并且對(duì)任意α,β∈Y，若α≥β，則存在同態(tài)Sα→Sβ使得(1)(?α∈Y)χα,α=1Sα；(2)對(duì)任意α,β,γ∈Y，若α≥β≥γ，則S=∪α∈γSαχα,βχβ,γ=χα,γ在S上可以定義乘法如下：對(duì)任意x∈Sα，y∈Sβ，有xy=(xχα,αβ)(yχβ,αβ)易證，若x∈Sα，y∈Sβ，z∈Sγ，則(xy)z=(xχα,αβγ)(yχβ,
南昌大學(xué)學(xué)報(bào)（理科版） 2022年6期2022-02-04
- 美國(guó)MERCURY（水星牌）Ⅰ型、Ⅱ型135半格相機(jī)和BUCCANEER（海盜牌）135全畫(huà)幅相機(jī)
5相機(jī)派生出來(lái)的半格相機(jī)，也曾經(jīng)風(fēng)行了二十多年，有過(guò)大量的生產(chǎn)，品牌眾多。其中，許多有特色的精品半格相機(jī)，也已成為相機(jī)收藏愛(ài)好者搜尋的對(duì)象。135半格相機(jī)也稱為半幅相機(jī)，使用135標(biāo)準(zhǔn)膠卷可拍攝18mm×24mm的畫(huà)面72張。雖然這種半格相機(jī)早在1927年就有生產(chǎn)，但是限于當(dāng)時(shí)的條件，并沒(méi)有得到市場(chǎng)的認(rèn)可和支持。因此，也難以得到廣泛的普及。而135半格相機(jī)的真正普及和流行，是在三十多年后的1959年開(kāi)始的。日本的奧林巴斯公司在1959年首次向市場(chǎng)推出了體積
照相機(jī) 2021年9期2021-11-14
- 具有逆斷面的正則半群上與格林關(guān)系有關(guān)的同余
則半群S上的最小半格同余;PASTIJN和PETRICH[10]確定了格林關(guān)系、、所生成的同余*、*、*和格林關(guān)系、、在冪等元集E上的限制所生成的同余 (|E)*、(|E)*、(|E)*所對(duì)應(yīng)的半群類, 從而刻畫(huà)了由它們所生成的同余子格.在一般的正則半群上,PASTIJN和PETRICH[10]給出了由格林關(guān)系所生成的同余和由格林關(guān)系在冪等元集E上的限制所生成的同余的一般描述;在特殊的正則半群上,馮瑩瑩和汪立民[11]更精細(xì)地刻畫(huà)了由格林關(guān)系所生成的同余和
- 數(shù)方格的策略研究
“不滿一格的都按半格計(jì)算”合理嗎？數(shù)方格對(duì)于學(xué)生來(lái)說(shuō)不是第一次遇到，但此次數(shù)方格與學(xué)習(xí)長(zhǎng)方形面積時(shí)數(shù)方格不同，這次出現(xiàn)了不完整格。在困難面前，學(xué)生要解決的問(wèn)題是怎樣才好數(shù)？教材提示，“不滿一格的都按半格計(jì)算”。這樣編寫(xiě)的目的也許是為了幫助學(xué)生解決新問(wèn)題，提供策略指導(dǎo)。但是“不滿一格的都按半格計(jì)算”這樣的規(guī)定合理嗎？如果都按“不滿一格的都按半格計(jì)算”的規(guī)定去數(shù)平行四邊形面積會(huì)有怎樣的結(jié)果出現(xiàn)呢？通過(guò)以上面積相同形狀不同的平行四邊形的對(duì)比，我們會(huì)發(fā)現(xiàn)“不滿一格
小作家報(bào)·教研博覽 2021年34期2021-10-16
- 關(guān)于一致半格的注記
稱(S,·) 為半格. 設(shè)(S,·)為半格, 在S上定義偏序如下:由偏序的定義, 對(duì)任意a,b ∈S, 易知,ab是a與b的最大下界. 若存在c ∈S,有a ≤c ≤b ?c=a或c=b, 則稱b覆蓋a或a被b覆蓋, 記為a ?b[2]. 設(shè)X是偏序集(S,≤) 的非空子集, 若存在a ∈X, 使得對(duì)任意x ∈X, 有x ≤a ?x=a,則稱a為X的極小元. 若存在b ∈X, 使得對(duì)任意y ∈X, 有b ≤y ?b=y, 則稱b為X的極大元. 設(shè)(S,·)
- 廣義限制的P-限制半群
，若PS是S的子半格，則稱P-限制半群(S，·，+，*)為限制半群，類似于廣義逆*-半群，若對(duì)任意e，f，g，h∈PS，有efgh=egfh(1)則稱P-限制半群(S，·，+，*)為廣義限制的P-限制半群.顯然，限制半群一定是廣義限制的P-限制半群.但反之不然(見(jiàn)文獻(xiàn)[15]中的例2.9).據(jù)文獻(xiàn)[11]，若P-限制半群(S，·，+，*)的投射元集PS生成的子半群CS=〈PS〉是S的子帶，即S的任意有限個(gè)投射元的乘積均為冪等元，則稱其為純正P-限制半群.設(shè)
- 不規(guī)則圖形的面積
們把最上面的兩個(gè)半格（三角形）移到下面一行，分別與左右兩邊的兩個(gè)半格拼成一個(gè)整格，這樣原來(lái)的圖形就變成了一個(gè)長(zhǎng)方形。每行4格，共3行，所以這個(gè)圖形的面積是4×3=12（平方厘米）。如下圖：還可以把原來(lái)的圖形豎著從中間一分為二，其中的一半旋轉(zhuǎn)后移到另一半的上面，這樣就拼成一個(gè)長(zhǎng)方形，長(zhǎng)6格，寬2格，面積是6×2=12（平方厘米）。如下圖：按照這樣的方法，計(jì)算右邊圖形的面積我們可以這樣做：數(shù)一數(shù)，面積是10平方厘米。例2：比一比，下面的三個(gè)圖形，誰(shuí)的面積最大？
- c-空間范疇的一個(gè)Cartesian閉滿子范疇
-空間，稱之為并半格c-空間，該結(jié)構(gòu)是對(duì)domain理論中連續(xù)格的推廣.特別地，本文借助文獻(xiàn)［12］中定向空間的概念，運(yùn)用c-空間的逼近式刻畫(huà)，證明由所有并半格c-空間及連續(xù)映射構(gòu)成的范疇是c-空間范疇的Cartesian閉滿子范疇.先介紹需要用到的基本知識(shí)［7，13-14］.設(shè)P是一個(gè)非空集合，≤是P上的關(guān)系.稱≤是P上的偏序，若≤滿足自反、傳遞和反對(duì)稱性.此時(shí)，稱（P，≤）是一個(gè)偏序集，在關(guān)系≤明確的時(shí)候，簡(jiǎn)記為P.設(shè)A是偏序集（P，≤）的一個(gè)非空子集
- 完全正則半群和幺半群上的Rees 矩陣半群
( A)}的強(qiáng)半格,由文[3]知Se= M [ Ge; I , Λ; P]是含幺Clifford 半群上的Rees 矩陣半群S = M [ A; I , Λ; P]的子完全單半群,且S 是它的子完全單半群{Se}的強(qiáng)半格.根據(jù)文[3]的結(jié)論可知含幺Clifford 半群上的Rees 矩陣半群是完全單半群。文[3]研究了含幺Clifford 半群上的Rees 矩陣半群S 的性質(zhì),給出了S 的正規(guī)加密群結(jié)構(gòu),指出正規(guī)加密群是含幺Clifford 半群上的Re
科學(xué)技術(shù)創(chuàng)新 2020年29期2020-09-29
- 逆半群同余的對(duì)偶刻畫(huà)
是其冪等元構(gòu)成的半格.那么1）對(duì)任意 a,b∈S，(ab)-1=b-1a-1；2）對(duì)任意a∈S，e∈E (S)，aea-1和 a-1ea都是冪等元.設(shè)ρ 是逆半群S 上的一個(gè)同余關(guān)系，E (S)是S 的冪等元構(gòu)成的半格.ρ 限制在 E (S)上是 E (S)的一個(gè)同余關(guān)系，我們稱為ρ 的跡，寫(xiě)作 τ=tr ρ.每一個(gè) τ類e τ等于 eρ ∩E (S).同余關(guān)系 τ稱作正規(guī)的，如果 e τf ?(? a∈S)a-1ea τa-1fa.我們知道，設(shè)ρ 是逆半
- 讀書(shū)
術(shù)語(yǔ)“樹(shù)形”和“半格”。樹(shù)形和半格都是思考許多小系統(tǒng)的大合集如何構(gòu)成一個(gè)大的和復(fù)雜的系統(tǒng)的方法。樹(shù)形定理：“同屬一個(gè)合集的任何兩個(gè)集合，當(dāng)且僅當(dāng)要么一個(gè)完全包含另一個(gè)，要么兩者彼此完全沒(méi)有交集時(shí)，這些集合的合集形成樹(shù)形?！?span id="j5i0abt0b" class="hl">半格定理：“當(dāng)且僅當(dāng)兩個(gè)互相交疊的集合屬于一個(gè)合集，且二者的交集也屬于此合集時(shí)，這些集合的合集形成半格。”尤其讓我感興趣的，是亞歷山大這篇論文的后半部分描述——人類認(rèn)知的偏頗和扭曲，以及人類大腦以特定方式去組織事物的傾向——這些是微妙的，
世界建筑 2020年5期2020-06-13
- 偏序集上的way-up關(guān)系
在偏序集、并連續(xù)半格及余dcpo不同背景下的性質(zhì)；然后，在余dcpo 上給出了逼近輔關(guān)系的定義并研究其相關(guān)性質(zhì)；最后，從范疇論[2-3]的角度考慮，給出了局部余定向完備范疇的概念，并將偏序集上的way-up 關(guān)系轉(zhuǎn)移到局部余定向完備范疇上，討論了局部余定向完備范疇上way-up 關(guān)系的相關(guān)性質(zhì)。1 預(yù)備知識(shí)定義 1[1]設(shè)（L，≤）是偏序集，S?L。 若 S≠?，并且 S 中的任意二個(gè)元在 S 中都有下界，即?a，b∈S，有c∈S，使得 c≤a，c≤b，則
- 思則有備 有備無(wú)患
，不滿一格的都按半格計(jì)算）生：老師，為什么不滿一格的都按半格計(jì)算？師：不滿一格的，有的比半格大，有的比半格小，就可以都按半格算。生：老師，如果不滿一格的有奇數(shù)個(gè)，最后的一個(gè)不滿一格的可能比半格大，也可能比半格小，都按半格計(jì)算，結(jié)果能準(zhǔn)確嗎？師：我們這個(gè)圖形不滿一格的有偶數(shù)個(gè)。生：用這種方法算，長(zhǎng)方形的面積是準(zhǔn)確的，平行四邊形的面積是估算的，它們的面積能比較嗎？師：我們先借助估算的方法，大概比較一下，一會(huì)兒我們?cè)傺芯烤_的方法?！驹\斷分析】案例中的任務(wù)是參照
河北教育（教學(xué)版） 2019年9期2019-03-26
- 不可約內(nèi)部算子和不可約閉包算子
.3[6]設(shè)L是半格，F(xiàn):L→L是映射，對(duì)任意的a∈L，設(shè)a≠1，如果對(duì)一切的x,y∈L，當(dāng)F(x∧y)≤a時(shí)，有F(x)≤a或F(y)≤a，則稱F為L(zhǎng)上的素內(nèi)部算子.定義1.4[6]設(shè)L是并半格，F(xiàn):L→L是映射，對(duì)任意的a∈L，設(shè)a≠0，如果對(duì)一切的x,y∈L，當(dāng)F(x∨y)≥a時(shí)，有F(x)≥a或F(y)≥a，則稱F為L(zhǎng)上的素閉包算子.2 不可約內(nèi)部算子與不可約閉包算子定義2.1 設(shè)L是半格，F(xiàn):L→L是保序映射，對(duì)任意的a∈L，設(shè)a≠1，如果對(duì)任意
長(zhǎng)春師范大學(xué)學(xué)報(bào) 2019年2期2019-03-22
- 模型論方法在格中的應(yīng)用①
意交的(完備∧-半格)。1 準(zhǔn)備工作定義1[3]設(shè)P是集,是P上的二元關(guān)系?？紤]以下性質(zhì):(1)自反性:?a∈P,aa;(2)反對(duì)稱性:?a,b∈P,ab,ba?a=b;(3)傳遞性:?a,b,c∈P,ab,bc?ac。定義2[2]設(shè)(L,)是偏序集,若L關(guān)于有限并與有限交都封閉,則稱(L,)偏序集為格。定義3[3]設(shè)(L,)是格,S?L。若S對(duì)于L中的有限并與有限交都封閉,則稱S是L的子格。定義4[4](緊致性定理)L中理論T有模型的充分必要條件是T的每
- 強(qiáng)U--富足半群上的同余
明的U均指冪等元半格。2 強(qiáng)U--富足半群上的同余及性質(zhì)(2)(ab)*=(a*b)*，特別地,b=u∈U,(au)*=a*u;(3)(ab)+=(ab+)+，特別地,a=u∈U,(ub)+=ub+。(3)同(2)的證明。引理2.2 若S為強(qiáng)U-右-富足半群,則={(a,b)∈S×S|?u∈U,(ua)*=(ub)*}根據(jù)對(duì)偶性得引理2.3 若S為強(qiáng)U-左-富足半群,則={(a,b)∈S×S|?u∈U,(au)+=(bu)+}由引理2.2和2.3得：={(
山東科學(xué) 2019年1期2019-02-23
- m-半格矩陣的M-P廣義逆
應(yīng)用[1]．m-半格把∨-半格的結(jié)構(gòu)與半群的乘法運(yùn)算結(jié)合起來(lái),從而剩余格,Frame,Quantale,格序半群等都是特殊的m-半格[2]．關(guān)于一些非交換代數(shù)如體、環(huán)、坡、Quantale等代數(shù)結(jié)構(gòu)上矩陣的廣義逆已有一些研究[3-10],本文受此啟發(fā),給出了m-半格矩陣M-P廣義逆的定義,得到了m-半格矩陣存在M-P廣義逆的一些等價(jià)刻畫(huà)和顯示表達(dá)式．1 預(yù)備知識(shí)定義1 設(shè)(Q,∨)是一個(gè)半格,*是Q上的二元運(yùn)算．若Q滿足:(i)?a,b,c∈Q,有(a*b
- 男女搭配，干活很累
”職場(chǎng)上，職位高半格，并不代表說(shuō)話的語(yǔ)氣要提半格。命令下屬做事不是本事，能哄得下屬高高興興為你效力才是本事。男上司和女下屬之間更是如此，一個(gè)行事玲瓏、討人喜歡的男上司，總能讓女下屬心甘情愿為之效力；一個(gè)簡(jiǎn)單粗暴、不懂斡旋的男上司，經(jīng)常會(huì)遇上一群狡猾難纏的女下屬。個(gè)中道理很簡(jiǎn)單——男女搭配干活到底累不累，關(guān)鍵取決于女人想不想好好干；而女人如果不想好好干，問(wèn)題多半出在男人身上。
愛(ài)你 2018年22期2018-11-14
- 集合Λ上的簡(jiǎn)單半格Γ確定的二元關(guān)系半群PΓ(Λ×Λ)的冪等元和極大子群
0-14]中利用半格的性質(zhì)構(gòu)造了集合上的半格確定的二元關(guān)系半群，并且對(duì)這類半群的Green-關(guān)系、一些特殊元(冪等元、不可分解元)進(jìn)行了深入的研究.作者將在文獻(xiàn)[10-14]的基礎(chǔ)之上，對(duì)集合上的一類特殊半格確定的二元關(guān)系半群進(jìn)行了系統(tǒng)的研究，獲得了冪等元的結(jié)構(gòu)和極大子群.下面給出需要使用的重要符號(hào)和概念，主要來(lái)源于文獻(xiàn)[12].設(shè)Λ是一個(gè)非空集合，令P(Λ)＝{U:U?Λ}，P*(Λ)＝{U:Φ?U?Λ}.集合P(Λ)關(guān)于集合的并運(yùn)算構(gòu)成一個(gè)半格.若Γ是
- 普拉蒂卡半格單反照相機(jī)
文｜老忻普拉蒂卡半格單反照相機(jī)圖文｜老忻35mm半格照相機(jī)在歷史上各個(gè)品牌的廠家多有生產(chǎn)，產(chǎn)品也不少，但始終處于非主流的地位，當(dāng)年的風(fēng)頭與普及率一直都無(wú)法與35mm全畫(huà)幅的照相機(jī)相提并論。其實(shí)對(duì)于中國(guó)愛(ài)好攝影的人來(lái)說(shuō)，德國(guó)制造的照相機(jī)可不陌生，在中華民國(guó)期間德國(guó)就為盤(pán)踞于東北三省一帶的偽滿州國(guó)生產(chǎn)過(guò)定制的祿來(lái)柯得（Rolleicord）中畫(huà)幅雙鏡頭反光照相機(jī)（圖1），其調(diào)焦手輪上刻有繁體中文。在中華人民共和國(guó)建國(guó)后，我國(guó)從德意志民主共和國(guó)少量的進(jìn)口過(guò)康太克
照相機(jī) 2017年7期2017-09-07
- 一類超冪幺半群的結(jié)構(gòu)
;完全單半群;強(qiáng)半格1 引言和準(zhǔn)備假設(shè)S是一個(gè)半群,E(S)是半群S的冪等元集.U是E(S)的非空子集.在半群S上定義Green關(guān)系如下:2 定義和引理定義 2.1設(shè)S為半群,稱S為帶,如果S中每個(gè)元素均為冪等元,即對(duì)于任意a∈S,有a2=a,那么稱S為帶.定義 2.2設(shè) Y為半格,{Sα:α∈Y}為用 Y加標(biāo)的互不相交的半群族.對(duì)于任意 α,β ∈Y 使得 α>β,存在同態(tài) ?α,β:Sα→Sβ,使得(i)(?α ∈ Y)?α,α=1Sα.(ii)任取
- 因“圍”精彩
——《釘子板上圍圖形》教學(xué)片斷實(shí)錄與點(diǎn)評(píng)
是怎么數(shù)的？生：半格加半格就是1格，1格和1格合起來(lái)就是2格?！军c(diǎn)評(píng)：在這一小段教學(xué)中，“多邊形”“一格的一半是半格”“面積的可加性（半格+1格+半格=2格）”“面積的等積變換（把這半格放在這兒，就是1格）”等內(nèi)容都在師生對(duì)話與交流中自然而然的滲透出來(lái)?！俊酒瑪鄬?shí)錄2】師：這個(gè)平行四邊形占2格，在釘子板上還能圍出占2格的圖形嗎？想想看，你能圍出幾種？師：把你想到的在練習(xí)紙上畫(huà)一畫(huà)。畫(huà)好以后再在釘子板上圍一圍，如果圍出了你沒(méi)想到的圖形，也把它畫(huà)下來(lái)。（學(xué)生獨(dú)
- 一類對(duì)合冪等元半環(huán)的刻畫(huà)
半環(huán)；簇；單演雙半格一、引言與預(yù)備知識(shí)在半環(huán)代數(shù)理論的研究中，對(duì)冪等元半環(huán)的研究是十分活躍的領(lǐng)域.近年來(lái)，許多專家學(xué)者對(duì)其進(jìn)行了深入細(xì)致的研究.Sen M.K等研究了滿足恒等式x+xy+x≈x+yx+x≈x的冪等元半環(huán)簇的一個(gè)子簇R + ○ D.對(duì)合半環(huán)在代數(shù)學(xué)的不同領(lǐng)域和計(jì)算機(jī)科學(xué)中占有重要地位.例如，在形式語(yǔ)言和自動(dòng)機(jī)理論中語(yǔ)言對(duì)合半環(huán)豐富了Kleene循環(huán)運(yùn)算理論.近年來(lái)，Dolinca I對(duì)對(duì)合半群和對(duì)合半環(huán)做了大量的研究.本文給出了滿足恒等式x+
數(shù)學(xué)學(xué)習(xí)與研究 2017年5期2017-03-29
- 上鄰及弱上鄰
上鄰及弱上鄰在交半格、完備格及余dcpo不同背景下的性質(zhì).way-up；弱完全交既約元；余dcpo；弱上鄰；插入關(guān)系既約元是格論中的一種特殊元素，具有一些很好的性質(zhì)，在格論中占有重要的地位.Crawley等首先提出了完備格中完全并既約元的概念[1].文獻(xiàn)[2]定義了一種新的并既約元：連續(xù)并既約元，并討論了它的一些基本性質(zhì).文獻(xiàn)[3]在完全并既約元和連續(xù)并既約元的基礎(chǔ)上引入了弱完全并既約元的概念，討論了各種既約元、素元和緊元的關(guān)系.文獻(xiàn)[4]詳細(xì)地給出了wa
- 型A半群的Vagner－Preston表示
由于冪等元集構(gòu)成半格，且具有類似于正則半群中冪等元的連通性，使其成為推廣逆半群研究中豐碩成果的最好對(duì)象［7－10］．本文中一般定義及記號(hào)均參見(jiàn)文獻(xiàn)［11－14］．設(shè)S為半群．下述二元關(guān)系稱為S上的Green*－關(guān)系:在正則半群中，有K*=K，(K=L，R，H，D)．若半群S的每個(gè)L*－和R*－類都含有冪等元，則稱S為富足半群．若富足半群S的冪等元集E(S)是半格(交換冪等元子半群)，則稱S是恰當(dāng)半群．恰當(dāng)半群S中每個(gè)L*－、R*－類恰含一個(gè)冪等元，約定把元
- A型擴(kuò)張仿射李代數(shù)的極大子代數(shù)
式空間n上的最小半格,由Jordan代數(shù)J(S)通過(guò)TKK構(gòu)造可得到一個(gè)稱之為T(mén)KK代數(shù)的李代數(shù)T(J(S)).進(jìn)一步,可由TKK李代數(shù)T(J(S))得到一個(gè)A1型、零度為v,且?guī)в袛U(kuò)張仿射根系R(A1,S)的擴(kuò)張仿射李代數(shù).研究了擴(kuò)張仿射李代數(shù)的極大子代數(shù),并得到了它的四類極大子代數(shù).關(guān)鍵詞：擴(kuò)張仿射李代數(shù);TKK代數(shù);半格;極大子代數(shù)擴(kuò)張仿射李代數(shù),也稱之為不可約擬單李代數(shù),最初是由文獻(xiàn)[1-2]的作者提出的,它是有限維單李代數(shù),仿射Kac-Moody
- 方格巧數(shù) 見(jiàn)微知著
——中國(guó)大陸、中國(guó)臺(tái)灣、美國(guó)紐約州教材方格點(diǎn)數(shù)策略比較
點(diǎn)數(shù)方法的滲透和半格累加的教學(xué)中國(guó)大陸現(xiàn)行的六套教材中，各套教材都在平行四邊形面積教學(xué)之前對(duì)方格點(diǎn)數(shù)法進(jìn)行了鋪墊，不同程度地讓學(xué)生接觸過(guò)方格紙和點(diǎn)數(shù)方法，其中北師版和蘇教版分別安排2課時(shí)和1課時(shí)的時(shí)間專門(mén)教學(xué)方格點(diǎn)數(shù)知識(shí)；西師版和青島版利用對(duì)稱、平移、旋轉(zhuǎn)的教學(xué)讓學(xué)生接觸了方格紙。人教版則在平行四邊形面積教學(xué)之后，單獨(dú)安排了利用方格點(diǎn)數(shù)法求不規(guī)則圖形面積的內(nèi)容。教學(xué)中，主要滲透“單位面積個(gè)數(shù)累加就等于面積之和”的點(diǎn)數(shù)基本方法，如4個(gè)1平方厘米的小正方形所拼
教學(xué)月刊(小學(xué)版) 2016年29期2016-02-15
- 超富足半群及其子類
Sα（α∈Y）的半格，即S=（Y；Sα）.為了便于對(duì)超富足半群S及其子類進(jìn)行刻畫(huà)，羅列下面的公理?xiàng)l件：下面先給出關(guān)于半群S的一個(gè)基本引理.引理2.1令S為一半群.則下述各款成立：（i）S∈M?B，當(dāng)且僅當(dāng)S滿足公理?xiàng)l件（C1），（C2）及（C5）；（ii）S∈M?SL，當(dāng)且僅當(dāng)S滿足公理?xiàng)l件（C1），（C2），（C5）及（C8）；（iii）S∈M?ReB，當(dāng)且僅當(dāng)S滿足公理?xiàng)l件（C1），（C2），（C5）及（C7）.下述定理給出了超富足半群的一個(gè)刻畫(huà).定理
- m-半格的粗糙模糊理想
0062)?m-半格的粗糙模糊理想周 欣,趙 彬(陜西師范大學(xué) 數(shù)學(xué)與信息科學(xué)學(xué)院,西安 710062)應(yīng)用粗糙集理論給出m-半格上由模糊(素)理想誘導(dǎo)的同余及關(guān)于這種同余上(下)粗糙模糊近似算子的性質(zhì).通過(guò)引入m-半格粗糙模糊(素)理想的概念,討論了m-半格上粗糙模糊(素)理想與模糊(素)理想的關(guān)系及粗糙模糊(素)理想與(素)理想的關(guān)系.m-半格;上(下)粗糙模糊近似算子;(模糊)理想;粗糙模糊(素)理想粗糙集理論[1]在人工智能、數(shù)據(jù)分析和認(rèn)知科學(xué)中應(yīng)
吉林大學(xué)學(xué)報(bào)（理學(xué)版） 2015年3期2015-08-16
- 弱完全交既約元及其性質(zhì)①
2［5］設(shè)L為交半格，對(duì)于任意x，y，a∈L，當(dāng)a=x∧y蘊(yùn)含x=a或y=a，則稱a為L(zhǎng)的交既約元.記M（L）=｛a∈L|a為交既約元｝。定義3［6］設(shè)L為完備格，a∈L，如果對(duì)于任意S?L由a=∧S可推出a∈S，則稱a為L(zhǎng)的完全交既約元.記Q（L）=｛a∈L|a為完全交既約元｝.定義4設(shè)L為定向完備偏序集，（以下均記為dcpo），a∈L，如果對(duì)于任意F∈Fil（L），由a=∧F可推出a∈F，則稱a為L(zhǎng)的弱完全交既約元.記RQ（L）=｛a∈L|a為弱完全交
- m-半格的模糊理想
·數(shù)理科學(xué)·m-半格的模糊理想周 欣，趙 彬(陜西師范大學(xué) 數(shù)學(xué)與信息科學(xué)學(xué)院， 陜西 西安 710062)通過(guò)模糊集理論的方法,給出了m-半格的(素)模糊理想的概念,討論了(素)模糊理想和(素)理想之間的關(guān)系,研究了模糊理想之集的性質(zhì)。給出了(素)模糊理想和(素)理想的等價(jià)刻畫(huà),證明了含最小元的正序m-半格的像集中含1的模糊理想之集是分配l-半群。提出的方法能較好地闡述出模糊集理論與m-半格的聯(lián)系。m-半格;(素)理想;(素)模糊理想m-半格把∨-半格的
- 有強(qiáng)帶C－根的半群
直積S1×S2為半格織積，記為S1×sspS2，若S1，S2有共同的半格同態(tài)像.文獻(xiàn)［1－6］證明了以下引理.引理1 a.在充足左（右）正則半群S 中，對(duì)?a∈S，?｜冪等元，記為a＋（a＊），使得b.左（右）逆半群S 為充足右（左）正則半群；c.左C－半群S 為完全正則左群帶的半格，反之不必；d.左（右）群帶的半格S 是右（左）逆半群，且S同構(gòu)于左正則帶I（ ）∧ 與C－半群T 的半格織積，記為S?I×sspT（Λ×sspT）；e.半群S 是C－半群當(dāng)且
上海理工大學(xué)學(xué)報(bào) 2014年1期2014-11-22
- FI代數(shù)的模糊素MP濾子與模糊超MP濾子
(X，≤)構(gòu)成并半格，即?x，y∈X，x∨y都存在，則稱 X為并半格FI代數(shù)。如果并半格FI代數(shù)X滿足：則稱X為滿足條件(S)的并半格FI代數(shù)。引理2[4]設(shè) X為并半格FI代數(shù)，則對(duì)任意的 x，y∈X，(x∨y)→y=x→y。定義3[7]設(shè)?≠F?X，如果（1）1∈F 且（2）?x，y∈X，x，x→y∈F?y∈F，則稱 F是 X的 MP濾子。X 的全體MP濾子之集記為FMP(X)。定義4[7]設(shè)X為一個(gè)并半格FI代數(shù)，X≠P∈FMP(X)，如果 ?x，y
計(jì)算機(jī)工程與應(yīng)用 2014年23期2014-08-03
- 一類后綴碼的代數(shù)性質(zhì)
成一個(gè)加法導(dǎo)出是半格的半環(huán),并且滿足吸收律.從而提供了一個(gè)滿足吸收律的半格序半群的例子.后綴碼;半格序;半環(huán)1 引言與預(yù)備知識(shí)設(shè)X為非空字符集,稱為字母表.稱X中有限多個(gè)字符形成的字符串為X上的字.特別的,稱不含任何字符的字為空字,記為ε.設(shè)w為字,記lg(w)為字w中包含字母的個(gè)數(shù)(同一字母出現(xiàn)多次,按重?cái)?shù)計(jì)算).若x∈X,則lg(xx)=2.顯然lg(ε)=0.稱由若干字形成的集合(有限或無(wú)限)為形式語(yǔ)言(或語(yǔ)言).進(jìn)一步,記X?為X上字的全體.對(duì)任意
- E-稠密半群上的最小群同余
群S中E(S)是半格。在文獻(xiàn)[7]中已經(jīng)研究了E-稠密半群的局部化，證明了E-稠密半群的局部化同構(gòu)于其最大群同態(tài)象，本文主要利用E-稠密半群局部化的結(jié)論，給出了E-稠密半群上的最小群同余的一個(gè)表示及若干等價(jià)刻畫(huà)，從而極大地豐富了E-稠密半群上的最小群同余的刻畫(huà)，在對(duì)強(qiáng)π-逆半群[8]和逆半群[9]上一些結(jié)果進(jìn)行推廣的同時(shí)，也獲得了強(qiáng)π-逆半群和逆半群上最小群同余的一些新的結(jié)論。文中未加以定義的概念和記號(hào)，見(jiàn)文獻(xiàn)[9-10]。設(shè)S是半群，對(duì)任意a∈S，若存在
商洛學(xué)院學(xué)報(bào) 2013年4期2013-11-19
- 右-ewlpp半群
群和左正規(guī)帶關(guān)于半格Y的織積．(iii)S是一個(gè)L右可消半群Mα×Eα的強(qiáng)半格．證明 (i)?(ii)假設(shè)S是一個(gè)右-e wlpp半群．則S/ρ是一個(gè)C-wlpp半群，意味著S/ρ的冪等元在中心．據(jù)文獻(xiàn)［3］，S/ρ可表示為L(zhǎng)-右可消幺半群Mα(αY)的強(qiáng)半格，記為:［Y;Mα;Φα，β］，其中Mα是 S/ρ 的R＊＊-類，Y=(S/ρ)/R＊＊．易得=JE(S)．因?yàn)镋(S)是一個(gè)左正規(guī)帶，所以E(S)=［Y;Eα;Φα，β］．其中，Y=E(S)E(S)
- 弱適當(dāng)半群的研究
，即冪等元集形成半格。顯然，所有的逆半群都是適當(dāng)?shù)?，?duì)于逆半群及適當(dāng)半群，其性質(zhì)和重要結(jié)論已得到廣泛論證［1-2］。在文獻(xiàn)［2］中，Howie定義了逆半群S上包含在H中的最大冪等分離同余μ，如下:μ ={(a，b)∈S × S:(?e∈E(S))a－1ea=b－1eb}，同時(shí)指出S/μ?E的充要條件。1977年，F(xiàn)ountain對(duì)此結(jié)果進(jìn)行了推廣，定義了適當(dāng)半群S上包含其中的最大同余μ，并給出S/μ?E的若干等價(jià)刻畫(huà)。文中將利用廣義格林關(guān)系(*，～)，定義
服裝學(xué)報(bào) 2013年1期2013-07-07
- 半群的Cwrpp Rees根的擴(kuò)張結(jié)構(gòu)
＝C＊∪｛0｝有半格分解表示性質(zhì)4［3］設(shè)S是有強(qiáng)Cwrpp Rees根的 wrpp半群.若E（S）是帶，則存在半格Y使得E（N（S））包含子帶證明 由題設(shè)條件和引理2得，S／N（S）?S＼N（S）∪｛0｝是Cwrpp半群，由性質(zhì)3，設(shè)S＼N（S）∪＼是左R－可消么半群的半格，這里Y是半格，1α是（α∈Y）的恒等元.因?yàn)镋（S）＝E（N（S））∪｛1α｝α∈Y是帶，N（S）是S的理想，故對(duì)e∈E（N（S）），1α∈C＊，e1α，1αe∈E（N（S）），于是
上海理工大學(xué)學(xué)報(bào) 2012年6期2012-10-10
- 有強(qiáng)Cwrpp Rees根的本原wrpp半群
wrpp半群C有半格分解表示其中，（α∈Y）是左R－可消幺半群.b.［1］在有零元的左Cwrpp半群S上，L＊＊＝J＊＊是S上半格同余.引理7 設(shè)S為有強(qiáng)Cwrpp Rees根的wrpp半群，則a.N（S）是wrpp半群；b.N（S）＝∩α∈ω｛Iα｜對(duì)于?α∈w，Iα是S的wrpp子半群，Cwrpp理想｝；c.設(shè)a∈S，則有冪等元且J＊＊（a）是S的wrpp理想＊＊－左理想.證明 因S為有強(qiáng)Cwrpp Rees根的wrpp半群，所以a.設(shè)a∈N（S）?S
上海理工大學(xué)學(xué)報(bào) 2012年6期2012-10-10
- 滿足置換恒等式的強(qiáng)wrpp半群的結(jié)構(gòu)
且是可消半群的強(qiáng)半格[2]，并且將可置換性與rpp半群二者聯(lián)系起來(lái)，引入了PI-強(qiáng)rpp半群(滿足置換恒等式的強(qiáng)rpp半群)，同時(shí)證明了PI-強(qiáng)rpp半群是正規(guī)帶與交換可消幺半群的織積[3]；唐向東引入了廣義格林關(guān)系——A**-關(guān)系[4]，利用這一新格林關(guān)系給出了一類更廣義的C-rpp半群的刻劃，即C-wrpp半群類，并給出了C-wrpp半群的結(jié)構(gòu)定理，即S是C-wrpp半群當(dāng)且僅當(dāng)S是一族P-左可消幺半群的強(qiáng)半格。C-wrpp半群是對(duì)Clifford半群
大慶師范學(xué)院學(xué)報(bào) 2012年3期2012-09-25
- 正則密碼富足半群的結(jié)構(gòu)
214122）半格分解；同余；同態(tài)1 引言與主要結(jié)果陳述2 引理與主要定理的證明2.1 定理1的證明2.2 定理2的證明[1] CLIFFORD A H, PRESTON G B. The algebraic theory of semigroups[M]. New York: American Mathematical Society, 1967: 98-120.[2] HOWIE J M. Fundamental of semigroup theor
- 弱擬充足半群
元集E（S）形成半格，則稱S是充足的，這時(shí)對(duì)有且∈E（S），使得若富足半群S的每個(gè)H＊－類有且僅有一個(gè)冪等元，則稱S是超富足的，這里H＊＝L＊∧R＊；若富足半群S的冪等元集形成子帶，則稱S是擬充足的.設(shè)S是富足半群，它的冪等元集為E（S），T是S的富足子半群.若對(duì)T中所有的a，?e∈T∩E（S），使得aL＊e（aR＊e），則稱T為S的左（右）＊－子半群.如果T既是左＊－子半群，又是右＊－子半群，那么，稱T為S的＊－子半群.富足半群S的充足＊－子半群S0稱為
上海理工大學(xué)學(xué)報(bào) 2012年3期2012-03-26
- 關(guān)于完備格等價(jià)定義的學(xué)習(xí)研究
集（P，≤）為上半格；若P關(guān)于有限交封閉，即P的任意有限子集均有下確界，則稱偏序集（P，≤）為下半格。定義2.6 設(shè)（P，≤）是偏序集，若P關(guān)于有限并與有限交均封閉，則稱偏序集（P，≤）為格。下面介紹一下對(duì)偶原理。給定一個(gè)偏序集（P，≤），我們可以通過(guò)定義x≤y（在P中）?y ≤x（在P?中）生成一個(gè)新的偏序集（P?，≤）。給定一個(gè)關(guān)于偏序集（P，≤）的命題Φ，我們可以通過(guò)改變偏序的方向，得到對(duì)偶命題Φ?。定理2.7（ 對(duì)偶原理）給定一個(gè)命題Φ，如果關(guān)于所
科技傳播 2011年15期2011-08-15
- 正規(guī)密碼H#-富足半群的結(jié)構(gòu)
J#-單半群的強(qiáng)半格.該結(jié)果也是正規(guī)密碼超富足半群和正規(guī)密碼群并半群分別在超富足半群和完全正則半群上的相應(yīng)結(jié)構(gòu)定理的推廣.#-格林關(guān)系;正規(guī)密碼H#-富足半群;完全J#-單半群;強(qiáng)半格1 引言文[1-2]中,作者引入了格林?-關(guān)系.它的等價(jià)表述如下[3]:設(shè)S是半群其中,J?(a)和J?(b)分別是由a和b生成的主?-理想.文[3]中,作者研究了富足半群,這類半群的每個(gè)L?-類和每個(gè)R?-類都包含了至少一個(gè)冪等元.此外,作者還給出了超富足半群的概念,即每個(gè)