{"entities":{"Q2579744":{"pageid":2590487,"ns":120,"title":"Item:Q2579744","lastrevid":44401605,"modified":"2025-11-22T16:55:01Z","type":"item","id":"Q2579744","labels":{"en":{"language":"en","value":"Der Schreiersche Satz und das Zassenhaussche Verfahren in Verb\u00e4nden."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502262"}},"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":"Q2579744$C5552EE0-01CC-4942-990F-0F5FDBAF2F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"962b3740beb4471524a90d3abc8ed15dfebdc95d","datavalue":{"value":{"text":"Der Schreiersche Satz und das Zassenhaussche Verfahren in Verb\u00e4nden.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579744$36FD902B-9E96-4BBD-AB2C-F4893AE75981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ef154b56ea55521f65a10129ab3319e9f2f3d1c","datavalue":{"value":"67.0086.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579744$E8EEB4DC-9C8C-4A75-BD07-45BAD4A19E4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a919b51110ace2db81c8e3007600d2bb9fdee170","datavalue":{"value":{"entity-type":"item","numeric-id":568323,"id":"Q568323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579744$9675C742-E443-4AAC-A051-C119734B9E97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579744$3A79D685-3EDC-4BA2-8473-E6B24C71AB9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"833d58a4a9bac6d2706be3079ab75f1e71df54cc","datavalue":{"value":"Es werden die Resultate einer Arbeit von \\textit{A. J. Uzkov} (Rec. math., Moscou, (2) 4 (1938), 31-43; F.~d.~M. 64\\(_{\\text{II}}\\), 961) versch\u00e4rft und erg\u00e4nzt. In einem Verband \\(\\mathfrak{S}\\) mit der Vereinigung \\((ab)\\) und dem Durchschnitt \\([ab]\\) hei\u00dft eine Folge \\(a_0 \\supset a_1 \\supset \\cdots \\supset a_r\\) eine Kette. F\u00fcr je zwei Elemente aus \\(\\mathfrak{S}\\) sei definiert, ob \\(aNb\\) gilt, d. h. \\(b\\) normal in \\(a\\) ist. Diese Relation erf\u00fclle die beiden Bedingungen: Aus \\(aNb\\) folgt stets \\(a \\supset b\\); zu zwei Elementen \\(a\\), \\(b\\) existiert in \\(\\mathfrak{S}\\) mindestens ein Element \\(v\\) mit der Eigenschaft \\(aNv\\), \\(b \\supset v\\). Gilt \\(aNb\\), oder gibt es eine Normalkette \\(aNa_1Na_2N \\ldots Na_nNb\\), so schreibt man \\(aMb\\). Es seien zwei Normalketten  \\[  a_0 N a_1 N \\ldots N a_r, \\qquad (2) \\quad b_0 N b_1 N \\ldots N b_s \\tag{1}  \\]  gegeben. Zu jedem \\(i\\, (i = 1,\\ldots \\!, r)\\) wird die Zassenhaussche Kette von (1) bez\u00fcglich (2)  \\[  (a_i [a_{i-1} b_0]) \\supset (a_i [a_{i-1} b_1]) \\supset \\cdots \\supset (a_i [a_{i-1} b_s]) \\tag{3}  \\]  gebildet. Ist \\(a_0=b_0\\), \\(a_r=b_s\\), so gilt (4) \\((a_i [a_{i-1} b_1])=a_i=(a_{i+1}[a_i b_0])\\), und die \\(r\\) Ketten schlie\u00dfen sich zu einer einzigen Kette, der Zassenhaussehen Verfeinerung von (1) in bezug auf (2) zusammen. Der Quotient \\(a/b\\) ist die Menge aller \\(x\\) mit \\(a \\supset x \\supset b\\). Zwei Quotienten \\(a/b\\), \\(c/d\\) hei\u00dfen unmittelbar \u00e4hnlich, wenn entweder \\(a = (bc)\\), \\(d = [bc]\\) oder \\(c = (da)\\), \\(b = [da]\\) gilt. Zwei unmittelbar \u00e4hnliche Quotienten k\u00f6nnen in der Form \\((ab)/a\\), \\(b/[ab]\\) geschrieben werden. Die Zuordnung \\(x \\rightarrow [bx]\\), \\(x\\) aus \\((ab)/a\\), hei\u00dft die regul\u00e4re Abbildung von \\((ab)/a\\) in \\(b/[ab]\\), die Zuordnung \\(y \\rightarrow (ay)\\), \\(y\\) aus \\(b/[ab]\\), die regul\u00e4re Abbildung von \\(b/[ab]\\) in \\((ab)/a\\). Zwei Quotienten \\(a/b\\), \\(c/d\\) hei\u00dfen von unten einfach \u00e4hnlich mit dem Zwischenglied \\(u/v\\), wenn \\(a = (bu)\\), \\(c = (du)\\), \\(v = [bu]\\), \\(v = [du]\\). Dann sind \\(a/b\\) und \\(u/v\\), \\(u/v\\) und \\(c/d\\) unmittelbar \u00e4hnlich. Die aus den beiden obigen Abbildungen zusammengesetzten Abbildungen hei\u00dfen wieder regul\u00e4r. Neben den Ketten (3) mit \\(a_{ij}=(a_i [a_{i-1} b_j])\\) werden noch die Ketten (5) \\(b_{j0} \\supset b_{j1} \\supset \\cdots \\supset b_{js}\\), mit \\(b_{ji}=(b_j [b_{j-1} a_i])\\) betrachtet.  Es gelten folgende S\u00e4tze: 1) Die Zassenhausschen Ketten (3) und (5) von zwei beliebigen Normalketten (1) und (2) sind selbst Normalketten dann und nur dann, wenn \\(N\\) die Eigenschaften besitzt: I. F\u00fcr vier beliebige Elemente \\(c_1\\), \\(c_2\\), \\(d_1\\), \\(d_2\\) aus \\(\\mathfrak{S}\\) mit den Beziehungen \\(c_1Nc_2\\), \\(c_1 \\supset d_1Nd_2\\) gilt \\((c_2d_1)N(c_2d_2)\\); II. F\u00fcr vier beliebige Elemente \\(c_1\\), \\(c_2\\), \\(d_1\\), \\(d_2\\) aus \\(\\mathfrak{S}\\) mit \\(c_1Nc_2\\), \\(d_1Nd_2 \\supset c_2\\) gilt \\([c_1d_1]N[c_1d_2]\\).  2) (1) und (2) seien gegeben. Die Quotienten \\(a_{ij-1}/a_{ij}\\) und \\(b_{j,i-1}/b_{ji}\\) der Zassenhaussehen Ketten sind von unten einfach \u00e4hnlich und  \\[  [a_{i-1}b_{j-1}]/([a_{i-1}b_j][a_ib_{j-1}])  \\]  ist dabei das Zwischenglied dann und nur dann, wenn \\(N\\) die Eigenschaft hat: III. Gilt \\(c_1Nc_2\\), \\(d_1Nd_2\\) so ist \\(c_2\\) \\(\\alpha\\)-modular bez\u00fcglich \\([c_1, d_1]\\), \\([c_1, d_2]\\) (\\(a\\) hei\u00dft \\(\\alpha\\)-, \\(\\beta\\)-, \\(\\gamma\\)-modular bez\u00fcglich \\(b\\), \\(c\\) wenn \\(b \\supset c\\) und \\([b(ac)]=(c[ab])\\) bzw. \\(b \\supset a\\) und \\([b(ac)] = (a[bc]\\)) bzw. \\(a \\supset b\\) und \\([a(bc)] = (b[ac])\\) ist).  3) Fordert man au\u00dfer den in 2) verlangten Tatsachen hoch, da\u00df die regul\u00e4re Abbildung ein Verbandsisomorphismus ist, so gilt dies dann und nur dann, wenn \\(N\\) die Eigenschaften hat: IV. Ist \\(c_1Nc_2\\), \\(d_1Nd_2\\), so ist jedes \\(x\\) mit  \\[  (c_2[c_1d_1]) \\supset x \\supset (c_2[c_1d_2])  \\]  \\(\\gamma\\)-modular bez\u00fcglich \\(c_2\\), \\([c_1d_1]\\); V. Ist \\(c_1Nc_2\\), \\(d_1Nd_2\\), so ist jedes \\(y\\) mit  \\[  [c_1d_1] \\supset y \\supset ([c_1d_2][c_2d_1])  \\]  \\(\\beta\\)-modular bez\u00fcglich \\([c_1d_1]\\), \\(c_2\\).  4) (1) und (2) seien gegeben. Die betreffenden Zassenhausschen Ketten sind normal, die dazugeh\u00f6rigen Paare von Quotienten sind von unten einfach \u00e4hnlich mit dem Zwischenglied von Satz 2), und die regul\u00e4re Abbildung zwischen den Quotienten ist ein Verbandsisomorphismus dann und nur dann, wenn \\(N\\) die Eigenschaften I und II und folgende Eigenschaften VII und VIII hat: VII. Ist \\(c_1Nc_2\\), \\(d_1Nd_2\\), \\(c_1=(c_2d_1)\\), \\(d_2=[c_2d_1]\\), so ist jedes \\(x\\) mit \\(c_1 \\supset x \\supset c_2\\) \\(\\gamma\\)-modular bez\u00fcglich \\(c_2\\), \\(d_1\\); VIII. Unter den Voraussetzungen von VII ist jedes \\(y\\) mit \\(d_1 \\supset y \\supset d_2\\) \\(\\beta\\)-modular bez\u00fcglich \\(d_1\\), \\(c_2\\).  6) \\(\\mathfrak{M}(a,b)\\) sei die Menge aller \\(x\\) mit \\(aMxMb\\). Ersetzt man in 4) den Verbandsisomorphismus durch die Bedingung, da\u00df die regul\u00e4re Abbildung \\(\\mathfrak{M}(a_{i,j-1},a_{ij})\\) auf \\(\\mathfrak{M}(b_{j,i-1},b_{ji})\\) eineindeutig abbildet, so ist daf\u00fcr notwendig und hinreichend, da\u00df \\(N\\) neben I und II die Eigenschaft hat: Ist \\(c_1Nc_2\\), \\(d_1Nd_2\\), \\(c_1=(c_2d_1)\\), \\(d_2=[c_2d_1]\\), so ist jedes \\(x\\) mit \\(c_1NxNc_2\\) \\(\\gamma\\)-modular bez\u00fcglich \\(c_2\\), \\(d_1\\) und jedes \\(y\\) mit \\(d_1NyNd_2\\) \\(\\beta\\)-modular bez\u00fcglich \\(d_1\\), \\(c_2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579744$95CEDA5B-D223-41BD-AEB0-0B95BDC50213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45bb69b9f0fb9c52437a52fd577dd9c8c1436d92","datavalue":{"value":"2502262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579744$41E6DFBE-3936-4FDA-937D-F7ED0B19D36B","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":"Q2579744$42E13401-5C07-44CD-98DE-82513264FDB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579744"}}}}}