Matrizenring

Der Matrizenring, Matrixring oder Ring der Matrizen ist in der Mathematik der Ring der quadratischen Matrizen fester Größe mit Einträgen aus einem weiteren, zugrunde liegenden Ring. Die additive und die multiplikative Verknüpfung im Matrizenring sind die Matrizenaddition und die Matrizenmultiplikation. Das neutrale Element im Matrizenring ist die Nullmatrix und das Einselement die Einheitsmatrix. Der Matrizenring ist Morita-äquivalent zu seinem zugrunde liegenden Ring und erbt daher viele seiner Eigenschaften. Allerdings ist der Matrizenring im Allgemeinen nicht kommutativ, selbst wenn der zugrunde liegende Ring kommutativ sein sollte.

Der Matrizenring besitzt in der Ringtheorie eine besondere Bedeutung, da jeder Endomorphismenring eines freien Moduls mit endlicher Basis isomorph zu einem Matrizenring ist. Viele Ringe lassen sich somit als Unterring eines Matrizenrings realisieren. Dieses Vorgehen nennt man in Analogie zur Permutationsdarstellung einer Gruppe Matrixdarstellung des Rings.

Definition

Ist ein unitärer Ring, dann bildet die Menge der quadratischen Matrizen mit Einträgen aus diesem Ring

zusammen mit der Matrizenaddition und der Matrizenmultiplikation als zweistelligen Verknüpfungen wiederum einen unitären Ring

,

der Ring der Matrizen über oder kurz Matrizenring genannt wird. Die Addition und die Multiplikation im Matrizenring und im zugrunde liegenden Ring werden dabei üblicherweise durch die gleichen Symbole dargestellt. Der Matrizenring wird auch als , oder notiert.[1]

Beispiel

Ein einfaches Beispiel für einen Matrizenring ist die Menge der -Matrizen mit der Matrizenaddition

und der Matrizenmultiplikation

.

Als Ergebnis erhält man jeweils wieder eine -Matrix.

Eigenschaften

Ringaxiome

Die Menge der quadratischen Matrizen erfüllt mit der Matrizenaddition und der Matrizenmultiplikation die Ringaxiome:

,
wobei das neutrale Element von ist.
,
wobei das Einselement von ist. Um Trivialfälle auszuschließen, wird im Weiteren angenommen.

Nullteiler

Die Nullmatrix ist im Matrizenring ein absorbierendes Element, das heißt für alle Matrizen gilt

.

Der Matrizenring ist für nicht nullteilerfrei, denn aus folgt nicht notwendigerweise oder . So gilt beispielsweise

.

Der Matrizenring ist demnach für kein Integritätsring. Entsprechend darf bei Matrixgleichungen auch nicht gekürzt werden, denn aus folgt nicht notwendigerweise .

Nichtkommutativität

Der Matrizenring ist für nicht kommutativ, selbst wenn kommutativ sein sollte, denn es gilt beispielsweise

.

Der Matrizenring ist genau dann kommutativ, wenn ist und kommutativ ist.[1]

Das Zentrum des Matrizenrings, also die Menge der Elemente, die mit allen anderen kommutieren, ist

,

wobei das Zentrum von ist.[1]

Isomorphien

Der Matrizenring ist isomorph zum Ring der Endomorphismen (Selbstabbildungen) des freien Moduls , also

.

Die komponentenweise Addition von Abbildungen entspricht dabei der Matrizenaddition und die Hintereinanderausführung von Abbildungen der Matrizenmultiplikation. Der Nullmatrix entspricht die Nullabbildung und der Einsmatrix die identische Abbildung.

Ein unitärer Ring ist genau dann isomorph zum Matrizenring , wenn es eine Menge von Elementen , , gibt, sodass

sowie

gelten und wenn der Zentralisator dieser Elemente in isomorph zu ist.[1]

Kenngrößen

Determinante

Ist kommutativ, dann wird die Determinante einer Matrix als normierte alternierende Multilinearform definiert. Die Determinante einer Matrix kann dann über die Leibniz-Formel

ermittelt werden, wobei die Summe über alle Permutationen der symmetrischen Gruppe vom Grad läuft und das Vorzeichen einer Permutation bezeichnet. Für die Determinante des Produkts zweier Matrizen gilt der Determinantenproduktsatz

.

Rang

Der Spaltenrang einer Matrix wird als die maximale Zahl linear unabhängiger Spaltenvektoren in dem freien Modul definiert. Entsprechend ist der Zeilenrang einer Matrix die maximale Zahl linear unabhängiger Zeilenvektoren. Ist kommutativ, dann stimmen Spaltenrang und Zeilenrang überein und man spricht von dem Rang der Matrix, wobei

gilt. Für den Rang des Produkts zweier Matrizen gilt dann[2]

.

Unterstrukturen

Unterringe

Die quadratischen Matrizen mit Einträgen aus einem Untering von bilden ebenfalls einen Unterring im Matrizenring . Matrizenringe weisen jedoch weitere Unterringe auf. Beispielsweise werden strukturelle Unterringe gebildet durch:

  • die Menge der Diagonalmatrizen; dieser Unterring ist kommutativ, falls kommutativ ist
  • die Menge der (strikt) oberen oder (strikt) unteren Dreiecksmatrizen
  • die Menge der Blockdiagonalmatrizen oder Blockdreiecksmatrizen
  • die Menge der Matrizen, bei denen bestimmte Spalten oder Zeilen nur Nulleinträge besitzen

Viele Ringe lassen sich als Unterring eines Matrizenrings realisieren. Dieses Vorgehen nennt man in Analogie zur Permutationsdarstellung einer Gruppe Matrixdarstellung des Rings. Diese Unterringe werden gelegentlich auch als Matrizenringe bezeichnet und der Matrizenring dann zur besseren Unterscheidung voller Matrizenring genannt.

Einheiten

Die Einheitengruppe im Matrizenring ist die allgemeine lineare Gruppe bestehend aus den regulären Matrizen. Für die Inverse des Produkts zweier regulärer Matrizen gilt

.

Eine Matrix ist genau dann invertierbar, wenn ihre Spalten eine Basis des freien Moduls bilden. Ist kommutativ, dann existiert zu jeder Matrix eine Adjunkte , sodass

gilt. In diesem Fall ist die Invertierbarkeit einer Matrix äquivalent zur Invertierbarkeit ihrer Determinante in .[1]

Ideale

Die Ideale im Matrizenring sind gerade durch gegeben, wobei ein Ideal von ist. Die Faktorringe des Matrizenrings werden damit durch

charakterisiert.

Matrizenalgebra

Ist speziell ein Körper oder Schiefkörper, dann ist der Matrizenring einfach, das heißt, er besitzt nur den Nullring und den ganzen Ring als triviale Ideale. Nach dem Satz von Artin-Wedderburn ist jeder halbeinfache Ring isomorph zu einem endlichen direkten Produkt von Matrizenringen über Schiefkörpern. Mit der komponentenweisen Skalarmultiplikation bildet der Matrizenring eine assoziative Algebra.

Siehe auch

Literatur

Einzelnachweise

  1. a b c d e D.A. Suprunenko: Matrix ring. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).
  2. O.A. Ivanova: Rank. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).

Read other articles:

Çandarlı HalilPashaWazir Agung Kesultanan Utsmaniyah ke-11Masa jabatan1439 – 1 Juni 1453Penguasa monarkiMurad IIMehmed IIPendahuluKoca Mehmed Nizamüddin PashaPenggantiZaganos Pasha Informasi pribadiMeninggal10 Juli 1453Konstantinopel, Kesultanan UtsmaniyahKebangsaan TurkiDihukum mati Mehmed IISunting kotak info • L • B Çandarlı Halil Pasha (meninggal 10 Juli 1453), yang dikenal dengan julukan Yang Muda, adalah Wazir Agung Kesultanan Utsmaniyah yang sangat berpeng...

Девід Овіно Особисті дані Повне ім'я Девід Овіно Одіамбо Народження 5 квітня 1988(1988-04-05)[1] (35 років)   Накуру, Кенія Громадянство  Кенія Позиція захисник Інформація про клуб Поточний клуб «ЗЕСКО Юнайтед» Професіональні клуби* Роки Клуб І (г) —2008 «Накуру»  ?...

AucasBerkas:Aucas.pngNama lengkapSociedad Deportiva AucasJulukanOrientales, El idolo del pueblo (Idola Masyarakat)BerdiriFebruary 6, 1945StadionEstadio Sociedad Deportiva AucasQuito, Ekuador(Kapasitas: 22,000)KetuaRamiro GordonManajerJulio AsadLigaSerie B2012Segunda Categoría, 1st Juara Kostum kandang Kostum tandang Superclásico di Quito, 2005 Sociedad Deportiva Aucas adalah tim sepak bola profesional asal Ekuador yang bermukim di Quito dan kini berkompetisi di kasta kedua di Ekuador. Tim i...

Muerte de Diana de Gales Flores a las puertas del Palacio de Kensington en homenaje a Diana de Gales (1 de septiembre de 1997).LocalizaciónPaís FranciaLugar túnel del AlmaCoordenadas 48°51′52″N 2°18′07″E / 48.86436111, 2.30188889Datos generalesTipo accidente automovilísticoSede ParísHistóricoFecha 31 de agosto de 1997DesenlaceMuertos 3Heridos 1[editar datos en Wikidata] La muerte de Diana de Gales fue un acontecimiento que tuvo lugar en las primeras h...

Historic site in Pinilla de Jadraque, SpainChurch of Nuestra Señora de la AsunciónNative name Spanish: Iglesia de Nuestra Señora de la AsunciónLocationPinilla de Jadraque, SpainCoordinates41°01′13″N 2°56′31″W / 41.020407°N 2.94189°W / 41.020407; -2.94189 Spanish Cultural HeritageOfficial nameIglesia de Nuestra Señora de la AsunciónTypeNon-movableCriteriaMonumentDesignated1965Reference no.RI-51-0001645 Location of Church of Nuestra Señora de la A...

Video game franchise Video game seriesJurassic ParkGenre(s) Various ActionAdventureConstruction and management simulationFirst-person shooterPlatform Developer(s) Various Ocean SoftwareBlueSky SoftwareSega of AmericaUniversal InteractiveSega AM3DreamWorks InteractiveAppaloosa InteractiveAspect Co.Tiger ElectronicsTorus GamesBlack Ops EntertainmentKnowledge AdventureMobile21KonamiBlue Tongue EntertainmentBrighter Minds Media, Inc.GameloftTelltale GamesLudiaRaw ThrillsTT FusionFrontier Developm...

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Gay naturism – news · newspapers · books · scholar · JSTOR (October 2019) (Learn how and when to remove thi...

Clitterhouse Recreation Ground Clitterhouse Stream Clitterhouse Recreation Ground or Clitterhouse Playing Fields is a park and Site of Local Importance for Nature Conservation[1] in Brent Cross in the London Borough of Barnet.[2] It is a large area of mown grass with a children's playground, bordered by thick hedges. Clitterhouse Stream (or Clitterhouse Brook), a tributary of the River Brent, runs along its eastern border. The £4.5 billion Brent Cross Cricklewood development ...

Katedra św. Wojciecha w Ełku 567 z dnia 25.02.1987 r.[1] katedra Katedra św. Wojciecha Państwo  Polska Województwo  warmińsko-mazurskie Miejscowość Ełk Wyznanie katolickie Kościół rzymskokatolicki Parafia katedralna św. Wojciecha w Ełku Wezwanie św. Wojciecha Historia Data zakończenia budowy 1893 Data poświęcenia październik 1903 Aktualne przeznaczenie diecezja ełcka Dane świątyni Styl neogotyk Świątynia• materiał bud. • cegła Wieża kościelna• liczb...

Norwegian Joint HeadquartersForsvarets operative hovedkvarterFounded2009; 14 years ago (2009)CountryNorwayAllegianceKing Harald VBranchNorwegian Armed ForcesLocationReitanWebsiteOfficial websiteCommandersChief of DefenceGeneral Eirik KristoffersenNJHQ CommanderLieutenant General Yngve OdloMilitary unit Deputy Secretary of Defense of the USA, Robert O. Work, gets a tour of The NJHQ by Air Marshal Morten Haga Lunde and Secretary of State Øystein Bø in 2015 The Norwegian Join...

2023 British film by Nathaniel Martello-White For the 2023 American comedy film, see Strays (2023 film). The StraysRelease posterDirected byNathaniel Martello-WhiteScreenplay byNathaniel Martello-WhiteProduced by Valentina Brazzini Tristan Goligher Rob Watson Starring Ashley Madekwe Bukky Bakray Jorden Myrie Samuel Small Maria Almeida Justin Salinger CinematographyAdam ScarthEdited byMark TownsMusic byEmilie Levienaise-FarrouchProductioncompanies Air Street Films The Bureau Distributed byNetf...

1976 Indian filmPayanamDirected byVietnam Veedu SundaramWritten byVietnam Veedu SundaramProduced byBombay K. S. RamakrishnanStarringVijayakumar Jayachitra Srikanth Fatafat JayalaxmiCinematographyG. OR. NathanEdited byR. DevarajanMusic byM. S. ViswanathanProductioncompanyMajestic StudiosDistributed byChitralekhaRelease date 15 January 1976 (1976-01-15) Running time125 minutesCountryIndiaLanguageTamil Payanam (transl. Journey) is a 1976 Indian Tamil-language road film, writ...

Attorney general for the U.S. state of Massachusetts Attorney General of the Commonwealth of MassachusettsSeal of MassachusettsIncumbentAndrea Campbellsince January 18, 2023Government of MassachusettsStyleThe HonorableTypeChief legal officerConstitutional officerResidenceNone officialSeatOne Ashburton Place, Boston, MassachusettsNominatorNominating petition,Political partiesAppointerPopular voteTerm length4 years, no limitConstituting instrumentConstitution of MassachusettsFormation1702&...

Central Asian meat and noodle dish This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Naryn dish – news · newspapers · books · scholar · JSTOR (May 2021) (Learn how and when to remove this template message) NarynNaryn soup with horse-meat qazı and noodles at a restaurant in Nur-SultanCourseMeatPlace of or...

Place in Salzburg, AustriaAnifAnif Palace FlagCoat of armsAnifLocation within AustriaCoordinates: 47°45′00″N 13°04′00″E / 47.75000°N 13.06667°E / 47.75000; 13.06667CountryAustriaStateSalzburgDistrictSalzburg-UmgebungGovernment • MayorGabriella Gehmacher-Leitner (LHK)Area[1] • Total7.61 km2 (2.94 sq mi)Elevation434 m (1,424 ft)Population (2018-01-01)[2] • Total4,195 •...

Road in Perth, Western Australia This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Hepburn Avenue – news · newspapers · books · scholar · JSTOR (January 2007) (Learn how and when to remove this template message) Hepburn AvenueWestern AustraliaSingle carriageway section near Lyrebird Square, BallajuraGeneral in...

Muaythai competition Men's 81 kg at the 2023 European GamesVenueMyślenice ArenaDate25–28 JuneCompetitors8 from 8 nationsMedalists  Artiom Livadari   Moldova Yehor Skurikhin   Ukraine Enis Yunusoğlu   Turkey Ondrej Malina   Czech Republic Main article: Muaythai at the 2023 European Games Muaythai at the2023 European GamesMenWomen60 kg51 kg67 kg54 kg71 kg57 kg81 kg60 kg91 kg63.5 kgvte Men's 81 kg competitio...

Paghimo ni bot Lsjbot. Atrasana vittata Siyentipikinhong Pagklasipikar Kaginharian: Animalia Ka-ulo: Arthropoda Kasipak-ulo: Hexapoda Kahutong: Insecta Kahanay: Lepidoptera Kapunoang-banay: Noctuoidea Kabanay: Notodontidae Kahenera: Atrasana Espesye: Atrasana vittata Siyentipikinhong Ngalan Atrasana vittataKiriakoff, 1969 Kaliwatan sa alibangbang ang Atrasana vittata.[1] Una ning gihulagway ni Sergius G. Kiriakoff ni adtong 1969. Ang Atrasana vittata sakop sa kahenera nga Atrasana, ug...

ERA Тип автопроизводитель[вд] и команда Формулы-1[вд] Основание 1933 Основатели Раймонд Мейс[вд] Расположение Борн[d], Bourne[вд], Южный Кестевен, Линкольншир[d], Линкольншир Отрасль Автомобилестроение Продукция Гоночные автомобили  Медиафайлы на Викискладе ERA (English Racin...

Map all coordinates using OSMMap up to 200 coordinates using Bing Export all coordinates as KML Export all coordinates as GeoRSS Export all coordinates as GPX Map all microformatted coordinates Place data as RDF Ang Foumbadou ngalan niining mga mosunod: Guinea 1 Mga dapit nga gitawag Foumbadou sa Guinea. Foumbadou Sub-Prefecture, subprepektura, Nzerekore Region, Beyla Prefecture, 8°15′N 8°24′W / 8.25°N 8.4°W / 8.25; -8.4 (Foumbadou Sub-Prefecture) Nige...