Home » Abstract algebra » Index

Related Categories: Linear algebra | Differential geometry | Ring theory


Abstract algebra


What-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 + λ°˜μ§€..

First | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | Last