当且仅当和环论

快捷方式: 差异，相似，杰卡德相似系数，参考。

当且仅当和环论之间的区别

当且仅当 vs. 环论

当且仅当（If and only if）（中国大陆又称作当且--仅当，臺灣又称作若且--唯若），在--邏輯中，逻辑算符反互斥或閘（exclusive or）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”之意，在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”；“A是B的充分必要条件（充要條件）”。 一般而言，當我們看到“A当且仅当B”，我們可以知道“如果A成立時，則B一定成立；如果B成立時，則A也一定成立”；“如果A不成立時，則B一定不成立；如果B不成立時，則A也一定不成立”。. 抽象代数中，环论（Ring Theory）是針對一種稱為环的代数结构之研究，环類似可交換群，有定義運算「+」，此外又定義另一種運算「·」（此處的「+」和「·」不一定是一般的加法及乘法，但和在整數中定義的加法及乘法有類似性質）。环论研究環的結構、環的（或稱為）、特殊的環（例如群環、除环、泛包絡代數等），也包括一些和环论有關的定理以及其應用，例如同調代數、及。 交换环是指其中運算「·」符合交換律的环，本身比較容易理解。代数几何及代數數論中有許多交换环的例子，也帶動了交换环理論的發展，這部份後來稱為交換代數，是現代數學中的主要領域之一。代数几何、代數數論及交換代數在本質上連結的非常緊密，因此有時很難去區分某特定數學原理屬於哪個領域。例如希尔伯特零点定理是代数几何的基本定理，但是陳述及證明時都是以交換代數的方式進行。而费马大定理問題的形式是以基本的算术方式（屬於交換代數的一部份）呈現，但其證明用到很深的代数几何及代数數論。 是指其中運算「·」不符合交換律的环，會有一些和交换环不同的的特殊特性。非交換環此一數學概念本身也在進展，而近來的也有一些研究將特定的非交換環以幾何的方式表示，例如在（不存在的）非交換空間下的函数環。這種趨勢自1980年代開始發展，也和量子群的出現同時。目前對非交換環已有多一些的認識，尤其是非交換的諾特環。 在「环 (代数)」條目中，有環的定義以及其基本的概念及性質。.