Abstract algebraWhat-does-it-mean.orgμ곑μ quaternion곑μ quaternionλ Chathamμ μλ μ°λ MacFarlaneκ° μκ°ν μν κ°λ , 1900λ μ μ¨λ€λ¦¬μ€μ΄λ€. μμ΄λμ΄λ κ³±μ μ associativityμ λ°λ₯΄λ κ·Έκ²μ μ€ν¨λ₯Ό μν΄ μΌμΆλμλ€, κ·Έλ¬λ Minkowski 곡κ°μ μλ κ·Έλ¦¬κ³ λλ볡μ‘ν μμ μ°μ₯μΌλ‘ μ μ°μ΄ μλ€. quaternions κ°μ΄, μ°¨μ 4μ μ€μμ λ²‘ν° κ³΅κ°μ΄λ€...
μΌλ°κΈ°μ΄νμμλ, μ₯μ μ΄λ‘ (μν) μ μλ μΌλ°μ μΈ κΈ°μ΄λ Galois λ¨μ μν λ¨ νλ κΆ€λ (λ¨ μ΄λ‘ ) λ₯Ό νμ±νκΈ°λ‘ μ±κ²©μ λνλΈ μ ν μ λμ Galois μ°μ₯μ μν νΉλ³ν μΉμ ν κΈ°μ΄ (μ ν λμ) μ΄λ€. μ μ κΈ°μ΄ λ²μΉμ μΌμ μ Galois μ΄λ€ μ°μ₯λ μ§ μΌλ°μ μΈ κΈ°μ΄κ° λ€λ κ²μ μ£Όμ₯νλ€... λΌμλ£κΈ°νμμλ, λΌμλ£κ±°λ (λΌμλ£κΈ°) λ¨ (μν) μ ννλ νλͺ©κ³Ό κ°μ λ€λ₯Έ κ²½μ° μμμ ν¬ν¨λ μ½κ° μν κ°μ²΄μ 1κ°μ κ²½μ°μ΄λ€ μμ§λ¨μ΄λ€...
λ¨κ³κ° μλ€μΉΌλΌμ κ°λ μ μνκ³Ό 물리νμμ μ¬μ©λλ€. 물리νμμ μ¬μ©λ κ°λ μ μνμ μλ μ μ΄λ¦μ κ±°μ³ κ°λ λμΌ μμ΄λμ΄μ ꡬ체μ μΈ λ²μ μ΄λ€. μνμμλ, μ€μΉΌλΌμ μλ―Έλ λ¬Έλ§₯μ λ¬λ € μλ€, λ€λ₯Έ μ΄λ€ μ§μ λ μΌμ (μν) μ μΌμμκ² μ€μ λλ 볡μμ λλ μ 리μλ₯Ό, λλ μΈκΈν μ μλ€... μ λλ¬Όλμ (μΆμλμ)Άμμ μΈ λμμμλ, νμμ μΈ λμλ Dκ°> λ¨μΌμ²΄ ν΅μ μμΈμ§ λΆμΈ λ Όλ¦¬ μ°μ° λμκ° μλ> μλͺ >D>μ λμν ꡬ쑰물>, μ μμ λ§μ‘±μμΌ νμμ μΈ ν΅μ μ> μ΄κ³ >: 0D 0 xDD = x + xD (x + y) >D> xD yD xDλ x. νμμ μΈ λμμ μ λλ¬Όμ΄λΌκ³ μ 곡νλ€ μμ 곡κ°μ μλ νμλ κ³ μ λλ ν΅μ μμ λμν μΆμμ μΉνλ€. λν κ·Έλ€ λΆμΈ λ Όλ¦¬ μ°μ° λμκ° μ κ· propositional λ Όλ¦¬λ₯Ό μν΄ νλ λͺ¨μ λ Όλ¦¬ wK4λ₯Ό μν Lindenbaum-Tarski λμ.>.. λ€μμ± (보νΈλμ)³΄νΈμ μΈ λμμμλ, λ€μν λμλ μν μ μμ μ£Όμ΄μ§ μΈνΈλ₯Ό satifying μ£Όμ΄μ§ μλͺ (보νΈμ μΈ λμ) μ λͺ¨λ λμν ꡬ쑰물μ μ’ λ₯ (μ§ν©λ‘ ) μ΄λ€. λλ±νκ², λ€μμ±μ μ΄μ²΄ λν μ¬μ, subalgebras λ° λ°μΉ΄λ₯΄νΈ μ² ν μ νμ μ·¨νκΈ°μ λ°μ λ«νλ λμΌ μλͺ μ λμν ꡬ쑰물μ μ’ λ₯μ΄λ€...
λ¨ν λΆμΈ λ Όλ¦¬ μ°μ°λμΆμμ μΈ λμμμλ, λ¨ν λΆμΈ λ Όλ¦¬ μ°μ° λμλ μ μμ λ§μ‘±μν€λ μ€μ‘΄ μ λμμ΄λΌκ³ μΉν λΆμΈ λ Όλ¦¬ μ°μ° λμκ° μκ³ λ¨μΌμ²΄ ν΅μ μμΈ μλͺ μ λμν ꡬ쑰물 μ΄λ€ : 0 0κ°λ x = x (x + y) x + y, xy (xy) x x. λΆμΈ λ Όλ¦¬ μ°μ° λμκ° μ κ· propositional λ Όλ¦¬λ₯Ό μν΄ νλ μ λνμ λ¨ν λ Όλ¦¬λ₯Ό μν λ¨ν λΆμΈ λ Όλ¦¬ μ°μ° λμ Lindenbaum-Tarski λμμ μ€μ‘΄ λ§κ°μ΄λΌκ³ μΉνλ€. μ€μ‘΄ μ λμμ μ΄μμ± (λͺ λ Ή μ΄λ‘ ) λ x (x)μ μν΄ μ μλ 보νΈμ μΈ μ λμμ΄λ€... 0μ μΆμμ μΈ λμμμλ, λ§μ½μ κ±°κΈ° λΉμ λ‘ b κ°μ ab 0 μ‘΄μ¬νλ©΄ λ°μ§ (λμ) μ λΉμ λ‘ μ±λΆ aλ R μ’ μ μ μμ΄λ€. κΆλ¦¬ μ μ μλ μ μ¬νκ² μ μλλ€. μ’κΈ°λ νκ³ μΈ μ±λΆ μ λΉν μ μ μλ κ°λ¨νκ² μ μ μμ΄λΌκ³ μΉνλ€. λ§μ½μ κ³±μ μ΄ κ΅νμ μ΄λ©΄, μ¬λμ μ’μ° μ¬μ΄μμ 0μ μ μλ₯Ό ꡬλ³ν νμμλ€. λ¨κ²¨λμ§ μλ μλ λΉμ λ‘ μ±λΆ λ μλλ€ μ λΉν μ μ μλ μ κ·μ΄λΌκ³ μΉνλ€... κΈ°λ³Έ λ²μΉ μλμμ§κΈ λ§μ μνμμ μν΄ μλͺ»λ μ΄λ¦μ 무μΈκ°μ΄λΌκ³ μ¬κ²¨μ§λ) λμμ κΈ°λ³Έμ μΈ λ²μΉμ μ λ nμ κ° λ³΅μ‘ν λ€νμμλ λ€μμ±μ μΈμ΄μ§ n 0κ° μ ννκ² λ€λ κ²μ μ£Όμ₯νλ€. νμμ μΌλ‘, λ§μ½μ >p (z) z^n+a- {n-1} z^ {n-1} + cdots+a-0> (κ³μ a0κ°, an-1 μ€μ λλ 볡μμ μμΌ μ μλμ§ κ³³μ), κ·Έ νμ κ±°κΈ° 볡μμ z1, zn (λͺ λ£ν λ€νμμ μ€κ·Ό νμνκ²) κ°μ p >(z) (z-z-1) (z-z-2 μ‘΄μ¬νλ€) cdots (z-z-n).> μ΄κ²μ μ€μμ μΌμ κ³Όλ.. Nonassociativeλ°μ§Άμμ μΈ λμμμλ, nonassociative λ°μ§λ λ°μ§ (μν) μ κ°λ μ μΌλ°νμ΄λ€. nonassociative λ°μ§λ 2κ°μ μμ , μΆκ° λ° κ³±μ μ μΈνΈ R, κ°μμ΄λ€: Rλ μΆκ°μ λ°μ abelian λ¨μ΄λ€: >aκ° + ( - (a μ‘΄μ¬νλ€) a+ b b> +a (a+b) +c a+ ( >b+c) λ κ±°κΈ° 0 Rμμ κ°μ> μ‘΄μ¬νλ€ - a) + κ³±μ 0κ° λ³νκΈ° μ¬μ΄ κ°κ°μμ μ ν μ΄λ€ >0κ°κ° + a + Rμ μλ κ° aλ₯Ό μν΄ 0 0, > κ±°κΈ° μ±λΆ - κ°μ: >(a+b) c ac + B.C. >(μ’ λΆλ°° λ²λ₯ ) >a (b+c) ab + λ°μ§.. |
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 |