• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Homomorfizm grup



    Podstrony: 1 [2] [3] [4]
    Przeczytaj także...
    Monomorfizm – w teorii kategorii morfizm f : X → Y {displaystyle fcolon X o Y} mający lewostronną własność skracania w tym sensie, że dla wszystkich morfizmów g 1 , g 2 : Z → X {displaystyle g_{1},g_{2}colon Z o X} zachodziWartość bezwzględna a. moduł – dla danej liczby rzeczywistej wartość liczbowa nieuwzględniająca znaku liczby. Przykładowo Parser nie mógł rozpoznać (Nie można zapisać obrazu z wzorem w systemie plików.): 5

    Homomorfizm grupfunkcja odwzorowująca grupę w grupę, czyli przekształcenie zachowujące strukturę tych algebr.

    Automorfizm – izomorfizm struktury matematycznej na siebie, czyli jej wzajemnie jednoznaczny endomorfizm. W pewnym sensie jest to symetria obiektu – sposób odwzorowania obiektu na siebie przy zachowaniu całej jego struktury.Grupa permutacji – grupa wszystkich bijekcji pewnego zbioru w siebie (czyli permutacji) z działaniem składania pełniącego rolę działania grupowego i identycznością jako elementem neutralnym. Elementem odwrotnym do danego jest funkcja (permutacja) odwrotna do danej, która zawsze istnieje z definicji bijekcji.

    Zapoznanie się ze strukturą wewnętrzną grupy możliwe jest przede wszystkim poprzez obserwację sposobu, w jaki oddziałuje ona z innymi grupami albo sama z sobą; oddziaływanie to odbywa się właśnie za pomocą homomorfizmów, dlatego aby zrozumieć budowę danej grupę należy zgłębić związane z nią homomorfizmy. Przykładem mogą być homomorfizmy danej grupy w grupę jej wzajemnie jednoznacznych homomorfizmów (automorfizmów), w grupę jej bijekcji (grupę symetryczną), czy ogólniej: w grupę bijekcji ustalonego zbioru – są to odpowiednio działanie grupy na zbiorze swoich elementów poprzez automorfizmy bądź bijekcje oraz działanie grupy na dowolnym zbiorze. Ważnym wynikiem jest twierdzenie Cayleya mówiące, że elementy dowolnej grupy można utożsamiać z pewną podgrupą bijekcji danej grupy (grupy symetrycznej; wszystkie grupy można więc traktować jako grupy przekształceń). Przedstawienie grupy w postaci (wewnętrznego) iloczynu prostego dwóch jej podgrup można scharakteryzować za pomocą pary homomorfizmów wspomnianej grupy w siebie (mianowicie endomorfizmów ortogonalnych); homomorfizmy grupy w grupę wzajemnie jednoznacznych homomorfizmów (automorfizmów) innej grupy pojawiają się m.in. w definicji zewnętrznego iloczynu półprostego (zob. iloczyny grup).

    Zero (zapisywane jako 0) – element neutralny dodawania; najmniejsza nieujemna liczba. To, czy zero jest uznawane za liczbę naturalną, jest kwestią umowy – czasem włącza się, a czasem wyklucza się je z tego zbioru. Zero nie jest ani liczbą pierwszą, ani liczbą złożoną.Przestrzeń topologiczna – podstawowe pojęcie topologii; zbiór wyposażony w strukturę (tzw. topologię) wyróżniającą pewną rodzinę jego podzbiorów (tzw. zbiory otwarte), co umożliwia określenie czy dany punkt leży „blisko”, czy „daleko” od danego podzbioru (w jego domknięciu lub poza nim) mimo braku pojęcia odległości (metryki).


    Podstrony: 1 [2] [3] [4]



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Arytmetyka modularna, arytmetyka reszt – w matematyce system liczb całkowitych, w którym liczby „zawijają się” po osiągnięciu pewnej wartości nazywanej modułem, często określanej terminem modulo (skracane mod). Pierwszy pełny wykład arytmetyki reszt przedstawił Carl Friedrich Gauss w Disquisitiones Arithmeticae („Badania arytmetyczne”, 1801).
    Okrąg jednostkowy – okrąg o promieniu jednostkowym, tzn. równym 1. Często, szczególnie w trygonometrii, „okrąg jednostkowy” oznacza okrąg o promieniu 1 i środku w początku, tzn. punkcie ( 0 , 0 ) {displaystyle (0,0),} , układu współrzędnych kartezjańskich płaszczyzny euklidesowej. Często oznacza się go symbolem S 1 {displaystyle mathrm {S} ^{1}} ; jego uogólnieniem na wyższe wymiary jest sfera jednostkowa.
    R {displaystyle R} jest pierścieniem z dzieleniem (algebrą łączną z dzieleniem) wtedy i tylko wtedy, gdy R ∗ = R ∖ { 0 } {displaystyle R^{*}=Rsetminus {0}} ; w przeciwnym razie zbiór R ∗ {displaystyle R^{*}} jest mniejszy, np. Z ∗ = { 1 , − 1 } {displaystyle mathbb {Z} ^{*}={1,-1}} ;
    Warstwa – w teorii grup podzbiór danej grupy będący jednym z równolicznych elementów jej podziału wyznaczonego przez ustaloną podgrupę, czyli klasa równoważności pewnej relacji równoważności związanej ze wspomnianą podgrupą; jako klasy ustalonej równoważności są one rozłączne, niepuste, a ich zbiór sumuje się do całej grupy.
    Liczba przeciwna do danej liczby a , {displaystyle a,;} to taka liczba − a , {displaystyle -a,;} że zachodzi:
    Kategoria – pojęcie wyodrębniające szereg algebraicznych własności rodzin morfizmów między obiektami matematycznymi tego samego typu (zbiorów, przestrzeni topologicznych, przestrzeni liniowych, grup itp.) pod warunkiem, że te rodziny zawierają odwzorowanie tożsamościowe i są zamknięte względem kolejnego wykonywania superpozycji (lub iloczynu) odwzorowań. Pojęcie kategorii zostało wprowadzone w pracy Eilenberga i Mac Lane.
    Łączność – jedna z własności działań dwuargumentowych, czyli np. operatorów arytmetycznych. Pojęcie to występuje w dwóch znaczeniach.

    Reklama

    Czas generowania strony: 0.051 sek.