{"entities":{"Q2590424":{"pageid":2601167,"ns":120,"title":"Item:Q2590424","lastrevid":44417445,"modified":"2025-11-22T19:22:29Z","type":"item","id":"Q2590424","labels":{"en":{"language":"en","value":"Th\u00e9orie alg\u00e9brique des relations d'\u00e9quivalence."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2509866"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590424$15386668-79BF-48AA-BEA9-FF745A743840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615208d97f9cf2e881a402e1f60e40c0c5e7c982","datavalue":{"value":{"text":"Th\u00e9orie alg\u00e9brique des relations d'\u00e9quivalence.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590424$108AEE07-381C-4132-B705-17769458CFE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c05beb680ec484e5d562847f93317ad88d354a95","datavalue":{"value":"65.0080.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590424$BC89A4D8-A811-4575-A1E3-944DF11C6F75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"076ff94d104a7536baa30b0c7b074f0dedca6bd4","datavalue":{"value":{"entity-type":"item","numeric-id":177628,"id":"Q177628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590424$74DD095B-A1B6-4D3C-AD96-AE4D2E7A63EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2590424$E2E2B2FC-495D-484E-B870-E4D020E64866","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcfb3b8eb94d59a3c041aa3b80ead8359acb38a8","datavalue":{"value":"In dieser Arbeit wird in sehr klarer Weise eine Theorie der reflexiven, symmetrischen und transitiven \u00c4quivalenzrelationen zwischen den Elementen einer beliebigen Menge \\(E\\) dargestellt.  Jede Einteilung der Elemente von \\(E\\) in paarweise elementefremde Klassen definiert eine derartige Relation R durch die Festsetzung, da\u00df genau dann \\(a \\equiv b \\,(R)\\) gelten soll, wenn \\(a\\) und \\(b\\) der gleichen Klasse angeh\u00f6ren. Umgekehrt entspricht jeder \u00c4quivalenzrelation der betrachteten Art eine Klasseneinteilung. Die Relation \\(R_i\\) hei\u00dft Folgerelation der Relation \\(R_k\\) (\\(R_i\\supset R_k\\)), wenn aus \\(a\\equiv b\\, (R_k)\\) stets \\(a \\equiv b\\, (R_i)\\) folgt, wenn also jede zu \\(R_k\\) geh\u00f6rende Klasse ganz in einer zu \\(R_i\\) geh\u00f6renden enthalten ist. Ferner werden Durchschnitt und Produkt zweier (und mehrerer) Relationen definiert: F\u00fcr den Durchschnitt \\(D = R_i \\cap R_k\\) gilt genau dann \\(a \\equiv b\\, (D)\\), wenn \\(a \\equiv b\\, (R_i)\\) und \\(a \\equiv b\\, (R_k)\\). Das Produkt \\(P = R_i \\times R_k\\) ist der Durchschnitt aller Folgerelationen von \\(R_i\\) und \\(R_k\\). Die Relationen bilden also eine Struktur im Sinne von \\textit{Ore} (Ann. Math., Princeton, (2) 36 (1935), 406-437; F. d. M. \\(61_{\\text{I}}\\), 111).  Ein weiterer wichtiger Begriff ist der der Verkn\u00fcpfbarkeit. \\(R_i\\) und \\(R_k\\) hei\u00dfen verkn\u00fcpfbar, wenn es zu je drei Elementen \\(a\\), \\(b\\), \\(c\\), f\u00fcr welche  \\[  a\\equiv c(R_i),\\quad c\\equiv b(R_k)  \\]  gilt, stets ein Element \\(d\\) gibt mit  \\[  a\\equiv d(R_k),\\quad d\\equiv b(R_i).  \\]  Betrachtet man in einer Gruppe die durch Nebengruppenbildung nach zwei Untergruppen \\(\\mathfrak g_1\\) und \\(\\mathfrak g_2\\) definierten \u00c4quivalenzrelationen, so sind sie genau dann verkn\u00fcpfbar, wenn \\(\\mathfrak g_1\\) und \\(\\mathfrak g_2\\) im Sinne der Komplexmultiplikation miteinander vertauschbar sind.  Die Struktur aller Relationen \\(R\\) mit \\(R_i \\times R_k \\supset R \\supset R_i\\) und die der Relationen \\(R^*\\) mit \\(R_k\\supset R^* \\supset R_i\\cap R_k\\), die mit \\(R_i\\) verkn\u00fcpfbar sind, sind isomorph.  Schlie\u00dflich wird eine Quotientenbildung f\u00fcr Relationen eingef\u00fchrt, und mit ihrer Hilfe werden formale Analoga zu einigen gruppentheoretischen Isomorphieund Eindeutigkeitss\u00e4tzen bewiesen. F\u00fcr vier Relationen \\(R_s\\), \\(R_t\\), \\(R_u\\), \\(R_v\\) mit \\(R_s \\supset R_t\\), \\(R_u \\supset R_v\\) werde  \\[  \\frac{R_s}{R_t}\\simeq \\frac{R_u}{R_v}  \\]  geschrieben, wenn sich f\u00fcr je zwei Klassen \\(S\\) nach \\(R_s\\) und \\(U\\) nach \\(R_u\\), die mindestens ein gemeinsames Element haben, die in \\(S\\) enthaltenen Klassen nach \\(R_t\\) und die in \\(U\\) enthaltenen nach \\(R_v\\) eineindeutig einander zuordnen lassen. F\u00fcr zwei verkn\u00fcpfbare Relationen \\(R_i\\) und \\(R_k\\) erh\u00e4lt man  \\[  \\frac{R_i\\times R_k}{R_i} \\simeq \\frac{R_k}{R_i\\cap R_k}.  \\]   F\u00fcr zwei Folgen \\(R_1\\supset R_2 \\supset\\cdots\\supset R_s\\) und \\(P_1\\supset P_2 \\supset\\cdots\\supset P_t\\) mit \\(R_1 = P_1\\), \\(R_s = P_t\\), in denen \\(R_i\\) verkn\u00fcpfbar ist mit \\(R_{i-1} \\cap P_k\\) und \\(P_k\\) mit \\(P_{k-1}\\cap R_i\\) (\\(i=2,\\,\\ldots,\\,s\\); \\(k=2,\\,\\ldots,\\, t\\)), gilt eine dem Verfeinerungssatz der Gruppentheorie entsprechende Aussage mit der Beziehung \\(\\simeq\\) an Stelle der Isomorphie bei dem gruppentheoretischen Satz.  Die Ergebnisse dieser Arbeit ber\u00fchren sich zum Teil mit der allgemeinen Theorie der Strukturen von Ore und Birkhoff. Dadurch aber, da\u00df die Verf. in dieser Arbeit stets die Relationen als konkretes Bild im Auge behalten, wird, wie es scheint, ein Gewinn an Anschaulichkeit erzielt, insbesondere auch, was die Voraussetzungen (Verkn\u00fcpfbarkeit) anbetrifft.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590424$C9E050EE-1DA1-4878-8B7F-9CF685E25B3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"594cf5ca10f04b82d40db32608d588a5e20ade11","datavalue":{"value":"2509866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590424$9C6CC1BB-28D9-41C3-873B-FA98C33F3588","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf210a315f3b80e68e2e3d801e3cdd6093b2ecd8","datavalue":{"value":{"entity-type":"item","numeric-id":771494,"id":"Q771494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590424$6365D45B-4E73-4E22-9D7D-335F4FF3618F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"811b5a6f66691b5f47def5ee8afd93577321542b","datavalue":{"value":{"entity-type":"item","numeric-id":569984,"id":"Q569984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590424$59699697-D8EF-4B5A-B17D-C739AE362C8D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590424$B77B298B-EA89-4694-B250-F5E55E7A37CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590424"}}}}}