Lineárna algebra a geometria | Homomorfizmy grúp a ich správanie sa vzhľadom na podgrupy | pred 07

Kanál
FMFI UK
Zdroj
ručne priradené
Pridané

Pozrieť na YouTube →

Preber si túto prednášku so svojou AI

Skopíruj pripravený podklad a vlož ho do ChatGPT, Claude alebo inej AI — bude ťa učiť alebo skúšať len z tejto prednášky.

Otvoriť AI: ChatGPT · Claude · Gemini

Zhrnutie prednášky

Prednáška z Lineárnej algebry a geometrie 1 zhŕňa poznatky o podgrupách (kritérium podgrupy, príklady mZ v Z, Q, R, C) a zavádza pojem homomorfizmu grúp ako zobrazenia zachovávajúceho grupovú operáciu. Prednášajúci uvádza formálnu definíciu f(x*y) = f(x)∘f(y) a na príkladoch ukazuje, že f(x)=2x je homomorfizmus z (R+,+) do (R+,+), zatiaľ čo g(x)=2+x homomorfizmom nie je.

  • Kritérium podgrupy: podmnožina U je podgrupou grupy G práve vtedy, keď pre všetky x,y z U platí x*y⁻¹ je v U
  • Príklady podgrúp: mZ je podgrupou Z, Q, R aj C vzhľadom na sčítanie; množina nepárnych čísel podgrupou Z nie je
  • Konečný príklad: 2Z mod 4 je podgrupa Z4={0,1,2,3}
  • Homomorfizmus grúp f: G→H je zobrazenie spĺňajúce f(x*y) = f(x)∘f(y) pre všetky x,y z G
  • Homomorfizmus je špeciálne (reštriktívne) zobrazenie kompatibilné s grupovými operáciami, nie každé zobrazenie ním je
  • Príklad homomorfizmu: f(x) = 2x z (R+,+) do (R+,+), overené pomocou distributívneho zákona
  • Protipríklad: g(x) = 2+x nie je homomorfizmus, lebo g(x+y) = 2+x+y ≠ g(x)+g(y) = 4+x+y
  • Grupy bijekcií fixujúce daný prvok tvoria podgrupu grupy Sm

Zhrnutie pripravené s pomocou AI z prepisu videa.