在数学中，特别是在序理论中，伽罗瓦连接是在两个偏序集（"poset"）之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。 伽罗瓦连接要弱于在涉及到的两个偏序集之间的同构，但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。 假定(A, ≤)和(B...

伽罗瓦连接领域的研究奠定了基石。他是第一个使用「群」这一個数学术语来表示一组置换的人，與尼尔斯·阿贝尔並稱為現代群論的創始人。在路易·菲利普复辟的时期，他是一个激进的共和主义者，并因此被逮捕、坐牢。二十岁出狱后，他在一次幾近自殺的決鬥中逝世，引起種種揣測。 伽罗瓦出生在法国拉雷讷堡格朗大街20号（20...

数学中，特别是抽象代数理论中，得名于法國數學家埃瓦里斯特·伽罗瓦的伽罗瓦理论提供了域论和群论之间的联系，即伽罗瓦理论基本定理。这样可以将域论中的某些问题还原到群论，使其更简单、更易理解。 若方程的根可用只涉及有限次整数、方根与4种基本算术运算的式子表示，就称方程是根式可解的。伽罗瓦...

集合是序同构的时候，它们可以被认为是“本质上相同”的，在一个次序可以通过重命名元素而从另一个次序获得。有关于序同构的两个严格更弱的概念是序嵌入和伽罗瓦连接。 形式上说，给定两个偏序集合 (S, ≤S) 和 (T, ≤T)，从 (S, ≤S) 到 (T, ≤T) 的序同构是满射函数 h : S → T...

被唯一的确定自闭合元素的集合。 所有伽罗瓦连接都引发一个闭包算子(其条目中有解释)。事实上，所有闭包算子都以这种方式引发自伽罗瓦连接。伽罗瓦连接不唯一的确定自闭包算子。引发闭包算子 C 的伽罗瓦连接可以描述如下: 如果 A 是关于 C 的闭合元素的集合，则 C : P → A 是在 P 和 A 之间的伽罗瓦连接的下伴随，带有上伴随为把...

在序理论中，序嵌入是特殊种类的单调函数，它提供了一种方式来包括一个偏序集合到另一个中。类似伽罗瓦连接，序嵌入构造了一个严格弱于序同构的概念。 形式上说，给定两个偏序集合 (S, ≤) 和 (T, <=)，一个函数 f: S → T 是序嵌入的，如果 f 是序保持和序反射的，就是说对于所有 S 中的...

) = a ∧ x {\displaystyle f_{a}(x)=a\wedge x} ， 有界格H是海廷代数，当且仅当所有的映射fa都是单调伽罗瓦连接的下伴随(lower adjoint)。在这种情况下，其相對應的上伴随 g a {\displaystyle g_{a}} 是由 g a ( x...

的最小的闭合集合。这个最小闭合集合被称为 S 的（关于这个运算的）闭包。例如，若把自然数集看作实数集的子集，它在减法下的闭包就是整数集。一个重要的例子是拓扑闭包。闭包的概念推广为伽罗瓦连接，进一步为單子。 注意集合 S 必须是闭合集合的子集，這樣才能定义闭包算子。在前面的例子中，实数在减法下闭合是重要的，减法不总是在自然数的定义域中有定义的。...

≤）。则P是完全海廷代数，如果任何下列等价条件中的一个成立： P是海廷代数，就是说运算 ( x ∧ {\displaystyle \wedge } - )有一个右伴随（也叫做（单调）伽罗瓦连接的下伴随），对于每个P的元素x。 对于所有P的元素x和所有P的子集S，下列无限分配律成立： x ∧ ⋁ S = ⋁ { x ∧ s ∣ s ∈ S...

（页面存档备份，存于互联网档案馆） (2000) Enrico Franconi. 描述逻辑入门课程 （页面存档备份，存于互联网档案馆）。意大利博尔札诺自由大学计算机科学院。 计算机科学主题 语言主题 人工语言 形式语言 本体 本体工程 正規概念分析法 一阶逻辑 描述逻辑 知识表达 晶格 域理论 伽罗瓦连接...

持所有“现存”上确界（或下确界），所考虑的偏序集合不是完全格也可以如此。例如，（单调）伽罗瓦连接有这个性质。反过来说，通过序理论的伴随函子定理，保持所有上确界／下确界的映射只要满足额外的条件就可以被当作伽罗瓦连接的一部分。 格L是分配格，如果对于所有L中的x, y和z，满足 x ∧ ( y ∨ z...

1500年，国王派遣佩德罗·阿尔瓦雷斯·卡布拉尔前往印度（途中意外的發現了巴西），他發現達伽馬留在當地的葡萄牙籍聯絡人都已被謀殺，而且隨後他的船隊也遭受攻擊。 1502年2月12日，達伽馬率領20艘軍艦再度出發，準備用葡萄牙的軍事力量來鞏固這一條新開的海路，這是第四次葡萄牙印度艦隊。在東非海岸達伽...

在抽象代数中，剩余格是既为格又为幺半群的代数结构，使得幺半群乘法的每个自变量都是关于这个格次序的伽罗瓦连接的一极。它的一般概念是Ward和Dilworth在1939年介入的。某些例子先于一般概念而存在，包括布尔代数、Heyting代数、剩余布尔代数、关系代数和MV-代数。剩余半格省略了交运算∧，比如克莱尼代数和作用代数。...

这样，我们得到了一个在Kn 中的代数集与K[X1,X2,..., Xn]中根理想之间的反序一一映射。实际上，更一般地，我们有在空间的子集的集合与代数的子集的集合之间的伽罗瓦连接，其中“扎里斯基闭包”与“理想的根”充当闭包算子的角色。 作为例子，考虑一点 P = ( a 1 , … , a n ) ∈ K n {\displaystyle...

再聚。悉达多开展了一种低调的、卑微的生活。尽管维苏德瓦看似是一個平凡的人，不過他能夠听出这河有无数声音处於其中，并且给那些愿意倾听之人，解釋个中含义。 数年后，成为了乔达摩的弟子的伽摩拉，带着她年幼的儿子，去瞻仰乔达摩的圓寂。路上，他們到了悉达多所在的河旁。伽摩拉忽然被一条蛇咬伤。悉达多认出了是伽摩拉。在伽...

隻眼將作惡多端的金、銀、鐵三座惡魔城市和引誘他脫離苦行的愛神燒成灰燼。 此外，他還有一柄稱作「阿賈伽瓦」的三叉戟，是閃電的象徵，標誌著濕婆是風暴之神；有一口劍；一張稱作「比那卡」的弓和一根稱作「卡特萬伽」棍棒。此外，還有3條蛇纏在他身上，能飛快地衝向敵人：一條蛇纏在他束起的頭髮中，在他的頭上揚起頭兜...

洋航行来使欧洲和亚洲、大西洋和印度洋、西方和东方相连接的人。他最早于1524年9月11日抵达果阿，但在三个月后在科契去世。最终他的遗体被送回葡萄牙并在熱羅尼莫斯修道院进行埋葬。 这个城市有时也被称作为桑巴吉纳加尔。据政府历史记录记载，摩诃罗阇·希瓦吉的长子桑巴吉试图将这个城市的名字改为桑巴吉纳加尔...

卢卡·阿根特罗（Luca Argentero） 饰演 萨尔瓦托勒·伽丘罗（Salvatore Gargiulo） 雅拉和洛雷娜喜欢的对象。 马西米利亚诺·加洛 饰演 卡尔敏·伽丘罗（Carmine Gargiulo） 萨尔瓦托勒的兄弟之一，尽管已婚，但对玛丽卡印象深刻，并任由玛丽卡差遣。 卡尔敏·伯利诺（Carmine...

y′n，定义自 x′0=⊥ 并且 x′n+1=x′n ∇ y′n 的序列最终是固定的。我们接着选取 y′n=f(x′n)。 在某些情况，有可能使用伽罗瓦连接 (α, γ) 来定义抽象，这里的 α 是从 L 到 L′而 γ 是从 L′到 L 的单调函数。这假定了最好抽象的存在性，这不是必然的情况。例如，如果我们通过套入凸多面体抽象实数对...

卢塞恩由于其美丽的自然风光和独特的人文情怀成为重要的旅游城市。 城市卢塞恩位于琉森湖的西北岸，位于羅伊斯河的出水口。罗伊斯河将城市分为旧城区和新城区，河上的卡佩尔廊桥、六角形水塔及斯普洛耶桥将新旧城连接到一起。 此外，卢塞恩城还包含度假胜地皮拉图斯峰、瑞吉峰及部分布尔根施托克。 卢塞恩市区面积 29...

罗多中，现在的果阿地区被称为“果帕拉施特拉”、“果瓦拉施特拉”，含义是牧牛者的国度；在古代的梵语文献如《室犍陀往世书》、《诃利世系》中，此地亦称“果帕卡浦里”、“伽帕卡帕特那”；在《往世书》中用到的名字包括有 “果瓦”、“果瓦...

罗伦萨，加入安德烈亚·德尔·萨尔托 和他的学生罗索·菲奥伦蒂诺和蓬托莫的圈子，在那里他受到人文教育。他与米开朗基罗结为朋友，受到他绘画风格的影响。1529年，他访问罗马，学习拉斐尔和文艺复兴全盛期罗马其他艺术家的作品。他终身服务于美第奇家族。1574年6月27日，乔尔乔·瓦萨里卒于佛罗伦萨，享年62岁。...

\Gamma \,} 函数（伽瑪函數；Gamma函数），是階乘函數在實數與複數域上的擴展。如果 n {\displaystyle n} 為正整數，則： Γ ( n ) = ( n − 1 ) ! {\displaystyle \Gamma (n)=(n-1)!} 根据解析延拓原理，伽瑪函數可以定義在除去非正整數的整個複數域上：...

西馬馬六甲寺（僧伽羅語：සීමා මාලකය，羅馬化：Seema Malaka）也被稱為水中寺，是斯里蘭卡可倫坡的一座佛寺，主要用於禪定和休息，而不是用於敬拜。該廟位於貝拉湖（英语：Beira Lake）中央，最初建於19世紀末。由於原始結構在1970年代慢慢沉入水中。1976年由斯里蘭卡建築師傑佛瑞·巴瓦...

瓦王朝，定都曼德勒和邦芽附近的阿瓦（故至今華裔仍稱曼德勒爲瓦城），與勃固王朝形成了南北對峙的局勢，阿瓦城繼承邦芽（即彬牙）成為北方佛教中心。1429年，锡兰僧侣室利萨达磨楞伽罗（Siri saddhamma lankara，义爲正法）和信哈罗摩诃萨弥（Sihala mahasami，义爲僧伽罗...

伽国王和他的儿子為了一張红宝石椅子而爆發的战争。据说，在他最后一次访问时，他在聖足山（Siri Pada，“亞當峰”）上留下了他的足迹。 Tamirabharani是斯里兰卡第二长河的旧名称（在僧伽罗语中称为馬爾瓦杜河，在泰米尔语中称为阿魯維阿魯河）。这条河是连接...

思是“思考”，後綴“tra”說明它是一種工具，因此“曼怛羅”的字面意思即“思考的工具”。 它出現在公元前1000年以前。 佛教音樂 耶穌禱文 卡德加馬拉（英语：Khadgamala） 科爾坦 言靈 九字印（英语：Kuji-in） 普拉納瓦瑜伽（英语：Pranava yoga） 念珠 桑迪亞萬達南（英语：Sandhyavandanam）...

廣開土大王級驅逐艦，1998年 偉士比級護衛艦，2002年 阿爾瓦羅·巴贊級巡防艦，2002年 獵豹級巡防艦，2003年 忠武公李舜臣級驅逐艦，2003年 052B型驅逐艦，2004年 052C型驅逐艦，2005年 安德烈亞·多里亞級驅逐艦，2007年 佛賓級驅逐艦，2008年 什瓦利克級巡防艦，2010年 仁川級巡防艦，2013年...

伽往世书》指出，原初女神在所有宇宙中通过每个帕尔瓦蒂与湿婆神的结合，为每个宇宙带来生命的进化。《室犍陀往世书》与《摩根德耶往世书》记录帕尔瓦蒂是所有造物的神圣之母，也是原初沙克蒂女神的最真实的形态。 在《提毗之歌》中，沙克蒂女神在转世为帕尔瓦...

斯里兰卡内战是1983年至2009年在斯里兰卡发生的一场内战。从1983年7月23日开始，这是由泰米尔伊拉姆猛虎解放组织针对政府的间歇性叛乱。由于僧伽罗人主导的斯里兰卡政府对斯里兰卡泰米尔人的持续歧视和暴力迫害，猛虎组织为在该岛东北部建立一个名为泰米尔伊拉姆的独立泰米尔国家而斗争。...

vahishta，即「真理」）：阿胡拉·馬茲達的從神之一，代表了阿胡拉·馬茲達的至誠和聖潔，與代表謊言的惡魔德魯傑（Drūj）相對立。在《伽薩》中阿沙·瓦希什塔與聖火關係密切。後被奉為火神。 赫沙特拉·瓦伊里亞（Khshathra Vairya，即「權威」)：阿胡拉·馬茲達的從神之一，代表了阿胡拉·馬茲達的威嚴和仁政，負責救助窮苦百姓。後被奉為金屬神。...