Abstract algebraWhat-does-it-mean.org相互•°å¦ã§ã¯ã€ç¬¬Xã®ç›¸äº’ã€ã‹å¢—åŠ ã™ã‚‹inverseã¯ã€ã¨ãxã«ã‚ˆã‚‹ä¹—法ã€1ã¤ã‚’ã‚‚ãŸã‚‰ã™ç•ªå·ã§ã‚る。 ゼãƒã«ç›¸äº’ãŒãªã„。 ゼãƒã«è¤‡ç´ æ•°ã§ã‚る相互ãŒã‚る以外ã‚ã‚‰ã‚†ã‚‹è¤‡ç´ æ•°ã€‚ ãれãŒå®Ÿæ•°ãã—ã¦å¾“ã£ã¦ç›¸äº’ãªã‚‰ã€ãã—ã¦ãã‚ŒãŒæœ‰ç†æ•°ãªã‚‰ã€ç›¸äº’ã¯ãã†ã‚る。 xã®ç›¸äº’ã¯1/xã‹x >1> xã®ç›¸äº’を表示ã•れã€ä¹—法ãŠã‚ˆã³æ¸›æ³•ã ã‘使用ã™ã‚‹è¿‘ã¥ã‘ã‚‹ã€1ã¤ã¯ç•ªå·yを推測ã§ã次ã«2yã¨ç¹°ã‚Šè¿”ã—yã‚’å–り替ãˆã‚‹-å½(è«–ç†)ãã®x 0ã§ã‚ã‚‹ã“ã¨yã®å¤‰æ›´ãŒ(ãŠã‚ˆã³æ»žåœ¨)å分ã«å°ã•ãã..
åŒæ›²ç·šquaternionŒæ›²ç·šquaternionã¯Chathamã®ã‚¢ãƒ¬ã‚サンダー MacFarlaneãŒã‚‚ãŸã‚‰ã™æ•°å¦æ¦‚念1900å¹´ã«ã‚ªãƒ³ã‚¿ãƒªã‚ªã§ã‚る。 考ãˆã¯ä¹—法ã®associativityã«åˆè‡´ã™ã‚‹éšœå®³ã®ãŸã‚ã«é€€åŽ»ã—ãŸãŒMinkowskiスペースã§ãã—ã¦åˆ†å‰²è¤‡é›‘ãªç•ªå·ã®æ‹¡å¼µã¨ã—ã¦éºç”£ãŒã‚る。 quaternionsã®ã‚ˆã†ãªã€ãã‚Œã¯æ¬¡å…ƒ4ã®å®Ÿæ•°ä¸Šã®ãƒ™ã‚¯ãƒˆãƒ«ç©ºé–“ã§ã‚る。 aã€bã€cãŠã‚ˆã³dãŒå®Ÿæ•°ã®ã€åŸºç¤Žã‚»ãƒƒãƒˆ{1ã€iã€jã€k}ã“れらã®ãƒ—ãƒãƒ€ã‚¯ãƒˆãŒã‚ã‚‹ã¨ã線形組åˆã›qã¯a + Bi + cj + dkåŒæ›²ç·šquaternionã§ã‚ã‚‹:.. æ£å¸¸åŸºç¤Ž•°å¦ã§ã¯ã€ãƒ•ィールドç†è«–(æ•°å¦)ã®æ£å¸¸ãªåŸºç¤Žã¯Galoisã®ã‚°ãƒ«ãƒ¼ãƒ—ã®ãŸã‚ã®å˜ä¸€è»Œé“(群論)ã®å½¢æˆã¨ã—ã¦ç‰¹å¾´ä»˜ã‘られる有é™ãªç¨‹åº¦ã®Galoisã®æ‹¡å¼µã®ãŸã‚ã®ç‰¹åˆ¥ã§è¦ªåˆ‡ãªåŸºç¤Ž(線形代数å¦)ã§ã‚る。 常態ã®åŸºç¤Žã®å®šç†ã¯ãƒ•ィールドã®Galoisã®ã©ã®æ‹¡å¼µã§ã‚‚æ£å¸¸ãªåŸºç¤ŽãŒã‚る示ã™ã€‚ ä»£æ•°æ•°è«–ã®æ£å¸¸ã§å¿…è¦ãªåŸºç¤Žã®å˜åœ¨ã®ã‚ˆã‚Šç²¾è£½ã•れãŸè³ªå•ã®èª¿æŸ»ã¯Galoisã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ç†è«–ã®éƒ¨åˆ†ã§ã‚る。 有é™ãªãƒ•ィールドã®å ´åˆã«ã¯ã€ã“れã¯pãŒãƒ•ィールドã®ç‰¹æ€§ã§ã‚ã‚‹ã¨ã“ã‚..
埋ã‚込むã“㨕°å¦ã§ã¯ã€åŸ‹ã‚込むã‹ã€(ã¾ãŸã¯åŸ‹ã‚込むã“ã¨)グループ(æ•°å¦)制é™ã™ã‚‹ç¯€ã®ã‚ˆã†ãªåˆ¥ã®ä¾‹ã®å†…ã§ã€å«ã¾ã‚Œã¦ã„ã‚‹æ•°å¦ç›®çš„ã®1ã¤ã®ä¾‹ã§ã‚ã‚‹å°ç¾¤ã§ã‚る。.. スカラー‚¹ã‚«ãƒ©ãƒ¼ã®æ¦‚å¿µã¯æ•°å¦ãŠã‚ˆã³ç‰©ç†å¦ã§ä½¿ç”¨ã•れる。 物ç†å¦ã§ä½¿ç”¨ã•ã‚Œã‚‹æ¦‚å¿µã¯æ•°å¦ã®ãã®åå‰ã«ã‚ˆã£ã¦è¡ŒãåŒã˜è€ƒãˆã®ã‚ˆã‚Šå…·ä½“çš„ãªãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§ã‚る。 æ•°å¦ã§ã¯ã€ã‚¹ã‚«ãƒ©ãƒ¼ã®æ„å‘³ã¯æ–‡è„ˆã«å·¦å³ã•れるã€å®Ÿæ•°ã‹è¤‡ç´ æ•°ã¾ãŸã¯æœ‰ç†æ•°ã€ã¾ãŸã¯ä»–ã®æŒ‡å®šãƒ•ィールド(æ•°å¦)ã®ãƒ¡ãƒ³ãƒãƒ¼ã‚’示ã™ã“ã¨ãŒã§ãる。 フィールドF上ã®ãƒ™ã‚¯ãƒˆãƒ«ç©ºé–“ãŒèª¿æŸ»ã•れるã¨ã一般ã«ã€ãã—ã¦Fã¯ã‚¹ã‚«ãƒ©ãƒ¼ã®ãƒ•ィールドã¨å‘¼å‡ºã•れる。 スカラー物ç†å¦ã§1æ¡ã«ã‚ˆã£ã¦è¨˜è¿°ã™ã‚‹ã“ã¨ã.. 派生物代数å¦(抽象的代数å¦)Š½è±¡çš„ãªä»£æ•°å¦ã§ã¯ã€æ´¾ç”Ÿçš„ãªä»£æ•°å¦ã¯>ブール代数ãŒã‚ã‚‹>DãŒ>å˜é …演算åã§ã‚ã‚‹>ç½²å>D>ã®ä»£æ•°æ§‹é€ >ã€è˜åˆ¥ã‚’満ãŸã—ã¦ã„る派生的ãªã‚ªãƒšãƒ¬ãƒ¼ã‚¿>ã§ã‚りã€>: 0D 0 xDD = x + xD (x + y) >Dã®>xD yDã®xDã¯x.ã®æ´¾ç”Ÿçš„ãªä»£æ•°å¦ã®æ´¾ç”Ÿç‰©ã¨æä¾›ã™ã‚‹ä½å±¤å¹¾ä½•å¦ã‚¹ãƒšãƒ¼ã‚¹ã®å¾—られãŸä¸€å®šã‚ªãƒšãƒ¬ãƒ¼ã‚¿ã®ä»£æ•°æŠ½è±¡çš„æ¦‚念を呼出ã•れる。 ã¾ãŸãれらブール代数ãŒé€šå¸¸ã®propositionalè«–ç†ã®ãŸã‚ã«ã™ã‚‹å½¢æ…‹ä¸Šè«–ç†wK4ã®ãŸã‚ã®Lindenbaum-Tarskiã®ä»£æ•°å¦ã€‚>..
変化(ユニãƒãƒ¼ã‚µãƒ«ä»£æ•°å¦)ƒ¦ãƒ‹ãƒãƒ¼ã‚µãƒ«ä»£æ•°å¦ã§ã¯ã€è‰²ã€…ãªä»£æ•°å¦ã¯ã‚る特定ã®ä¸€çµ„ã®æ•°å¦è˜åˆ¥ã‚’satifyingã‚る特定ã®ç½²å(ユニãƒãƒ¼ã‚µãƒ«ä»£æ•°å¦)ã®ã™ã¹ã¦ã®ä»£æ•°æ§‹é€ ã®ã‚¯ãƒ©ã‚¹(集åˆè«–)ã§ã‚る。 åŒç‰ã«ã€å¤‰åŒ–ã¯æº–åŒå½¢å†™åƒã®ç”»åƒã€subalgebrasãŠã‚ˆã³ç›´ç©æ¼”ç®—ã®å–å¾—ã®ä¸‹ã§é–‰ã˜ã‚‹åŒã˜ç½²åã®ä»£æ•°æ§‹é€ ã®ã‚¯ãƒ©ã‚¹ã§ã‚る。 色々ãªä»£æ•°å¦ã¯ä»£æ•°å¤‰åŒ–ã¨æ··åŒã™ã‚‹ã¹ãã§ãªã„。 直観的ã«ã€è‰²ã€…ãªä»£æ•°å¦ã¯ä»£æ•°å¤‰åŒ–ã¯å˜ä¸€ã®ä»£æ•°å¦ã‹ã‚‰ã®è¦ç´ ã®equationally定義ã•れãŸã‚³ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ã§ã‚ã‚‹ãŒã€ä»£æ•°å¦ã.. å˜é …ブール代数妊½è±¡çš„ãªä»£æ•°å¦ã§ã¯ã€å˜é …ブール代数㯠è˜åˆ¥ã‚’満ãŸã™å˜åœ¨çš„ãªæ•°é‡å½¢å®¹è©žã¨å‘¼å‡ºã•れるブール代数ãŒã‚りã€å˜é …演算åã® ç½²åã®ä»£æ•°æ§‹é€ ã§ã‚ã‚‹ : 0 0ã¯x = x (x + y) x + yã€X-Y (X-Y) x x.ã®ãƒ–ール代数ãŒé€šå¸¸ã®propositionalè«–ç†ã®ãŸã‚ã«ã™ã‚‹å®šé‡åŒ–ã®å˜é …è«–ç†ã®ãŸã‚ã®å˜é …ブール代数ã®Lindenbaum-Tarskiã®ä»£æ•°å¦ã®å˜åœ¨çš„ãªé–‰éŽ–ã¨å‘¼å‡ºã•れる。 å˜åœ¨çš„ãªæ•°é‡å½¢å®¹è©žã®äºŒå…ƒæ€§(é †åºç†è«–)ã¯x (x)ã«ã‚ˆã£ã¦å®šç¾©ã•れるユニãƒãƒ¼ã‚µãƒ«æ•°é‡å½¢å®¹è©žã§ã‚る。.. ゼãƒé™¤æ•°Š½è±¡çš„ãªä»£æ•°å¦ã§ã¯ã€ãã“ã«ã‚¼ãƒã§ã¯ãªã„bãã®ã‚ˆã†ãªç‰©ã“ã¨ab 0ã‚れã°ãƒªãƒ³ã‚°(代数å¦)ã®ã‚¼ãƒã§ã¯ãªã„è¦ç´ aã¯Rå·¦ã®ã‚¼ãƒé™¤æ•°ã§ã‚る。 権利ã®ã‚¼ãƒé™¤æ•°ã¯é¡žæŽ¨çš„ã«å®šç¾©ã•れる。 å·¦ã§ã‚ã‚‹ãŠã‚ˆã³å³ã®ã‚¼ãƒé™¤æ•°ã¯ã‚¼ãƒé™¤æ•°ã¨å˜ã«å‘¼å‡ºã•れるè¦ç´ 。 乗法ãŒå¯æ›æ€§ãªã‚‰ã€1ã¤ã¯å·¦å³ã®é–“ã§ã‚¼ãƒã®é™¤æ•°ã‚’区別ã™ã‚‹å¿…è¦ãŒãªã„。 残ã£ã¦ã„ãªã„å³ã®ã‚¼ãƒé™¤æ•°ã¯è¦å‰‡çš„呼出ã•れるゼãƒã§ã¯ãªã„è¦ç´ 。.. |
This article is also available in: Arabic, Chinese (Simple), Chinese (Traditional), Dutch, English, French, German, Italian, Japanese, Korean, Portuguese (Brasil), Portuguese (Euro), Russian, Spanish, Swedish. Related Links: - Pay Per Install Affiliate Program |