Algebra ogólna - Google

Algebra ogólna

Z Wikipedii

Skocz do: nawigacji, szukaj

Spis treści

Algebra ogólna – obiekt matematyczny będący przedmiotem badań algebry uniwersalnej. Czasami algebra uniwersalna nazywana jest algebrą ogólną, wówczas rozważane w niej obiekty nazywa się zwykle algebrami abstrakcyjnymi lub po prostu algebrami.

[edytuj] Definicja

Algebrą ogólną \mathcal A nazywamy strukturę matematyczną, opisaną krotką (A, \varphi_1, \ldots, \varphi_n), gdzie:

  • A oznacza dowolny zbiór nazwany noÅ›nikiem lub uniwersum oraz
  • \varphi_1, \ldots, \varphi_n bÄ™dÄ…ce dziaÅ‚aniami (operacjami) okreÅ›lonymi na powyższym zbiorze oraz n \in \mathbb N_1.

Powyższa definicja określa algebry o skończonej liczbie działań, często rozważa się także algebry o nieskończenie wielu działaniach (najczęściej wprowadzanych indukcyjnie).

[edytuj] Działania i typ

Zobacz więcej w osobnym artykule: działanie algebraiczne.

Przez działanie określone na zbiorze A rozumie się dowolną funkcję przekształcającą pewną potęgę kartezjańską (wieloczłonowy iloczyn) zbioru A w zbiór A:

\varphi_i: A^{\alpha_i} \to A, gdzie \alpha_i \in N_0 dla i=1, \ldots, n.

Liczby αi nazywa się argumentowością lub arnością działania \varphi_i. Samo działanie \varphi_i określa się wówczas jako αi–argumentowe lub αi–arne.

Najczęściej spotykanymi działaniami są działania dwuargumentowe, jednoargumentowe oraz zeroargumentowe, które nazywa się również elementami wyróżnionymi lub stałymi algebry \mathcal A.

CiÄ…g liczb (\alpha_1, \ldots, \alpha_n) nazywamy typem tej algebry.

[edytuj] Przykłady

Jako przykłady algebr ogólnych mogą służyć wszystkie podstawowe obiekty rozważań algebraicznych, wśród nich zaś między innymi: grupy, pierścienie, ciała i moduły.

Jedną z najczęściej rozważanych algebr ogólnych jest algebra \mathbb Z = (\mathrm Z, +, -, 0), gdzie:

  • Z oznacza zbiór liczb caÅ‚kowitych,
  • + jest zwykÅ‚ym dodawaniem liczb caÅ‚kowitych (a wiÄ™c dziaÅ‚aniem dwuargumentowym)
  • − oznacza jednoargumentowÄ… operacjÄ™ brania elementu przeciwnego,
  • 0 jest elementem wyróżnionym, czyli dziaÅ‚aniem zeroargumentowym.

Typem algebry \mathbb Z jest w tym przypadku ciąg (2,1,0). Algebra \mathbb Z jest jednym z podstawowych przykładów grupy abelowej.

[edytuj] Zobacz też


Polityka debiutuje w MTV
Muzyczna telewizja MTV widziała już w swojej historii wiele debiutów, jednak tym razem to coś zupełnie nowego. Temperatura kampanii prezydenckiej w USA spowodowała, że w popularnej telewizji po raz pierwszy pojawiła się polityczna reklama.
Znów strzelanina na amerykańskiej szkole
Mężczyzna o nieznanej dotąd tożsamości otworzył ogień w szkole w amerykańskim stanie Arizona. Kule dosięgły trzech osób, dwie z nich znajdują się w krytycznym stanie.
Rosja zapłaci za tortury
W czwartek w Europejskim Trybunale Praw Człowieka zakończył się proces wytoczony Federacji Rosyjskiej przez torturowanego w więzieniu mężczyznę. 35-latek ma otrzymać 20 tysięcy euro odszkodowania.
Demonstranci bronią Karadżicia
Drugi dzień z rzędu w stolicy Serbii ponownie demonstrowali serbscy nacjonaliści. W centrum Belgradu protestowali przeciwko aresztowaniu zbrodniarza wojennego i byłego przywódcy Serbów bośniackich Radovana Karadżicia. To już druga, po środowej, demonstracja na ulicach Belgradu w obronie Karadżicia.
Obama w Berlinie: nowe, globalne partnerstwo
Podczas swojego pobytu w Berlinie Barack Obama wygłosił przemówienie, w którym wezwał Europę do współpracy ze Stanami Zjednoczonymi. Demokratyczny kandydat do prezydenckiego fotela nawoływał do podjęcia wspólnych działań w celu pokonania terroryzmu.
Linki: Strona g³ówna