{"entities":{"Q2601773":{"pageid":2612516,"ns":120,"title":"Item:Q2601773","lastrevid":44451315,"modified":"2025-11-23T01:05:12Z","type":"item","id":"Q2601773","labels":{"en":{"language":"en","value":"Some remarks on infinite groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2519939"}},"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":"Q2601773$3B366FA9-AA67-4959-BC48-1B2178174C83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"183e403bf3c50fc6f4cb135f2db0452c74084692","datavalue":{"value":{"text":"Some remarks on infinite groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2601773$14B9A81E-1BF1-4496-9550-A049519FB95C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac0893cfd8b1cf3cca0345ca02dae8d9b7e86c67","datavalue":{"value":"63.0064.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601773$2FA8E710-F40A-4482-A315-C92877AD3CC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e8e2f16e5044e38a454384839ea1083db5e26c0","datavalue":{"value":{"entity-type":"item","numeric-id":559407,"id":"Q559407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601773$BBF8B7E0-72A1-40B0-B093-5329E0D27FD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2601773$9405C61A-068C-48D4-BCD5-C7E0F74B944A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18312a24b41ebac974f2672111218af72851c6c4","datavalue":{"value":"L\u00e4\u00dft sich jede (echte) Untergruppe einer Gruppe \\(\\mathfrak G\\) in eine gr\u00f6\u00dfte Untergruppe einbetten, so ist bekanntlich die Gruppe \\(\\mathfrak E\\) aller in jedem Erzeugendensystem von \\(\\mathfrak G\\) entbehrlichen Elemente gleich dem Durchschnitt \\(\\mathfrak D\\) aller gr\u00f6\u00dften Untergruppen. Wie Verf. zeigt, ist die genannte Einbettbarkeit keine notwendige Vorausetzung f\u00fcr die Identit\u00e4t der Gruppen \\(\\mathfrak E\\) und \\(\\mathfrak D\\), sondern \\(\\mathfrak E = \\mathfrak D\\) gilt allgemein, sofern \\(\\mathfrak D\\) definiert ist. Dazu wird der Maximalsatz benutzt, da\u00df es zu jeder Untergruppe \\(\\mathfrak H\\) und jedem au\u00dferhalb \\(\\mathfrak H\\) gelegenen Element \\(g\\) unter den \\(\\mathfrak H\\), aber nicht \\(g\\) enthaltenden Untergruppen von \\(\\mathfrak G\\) eine maximale gibt. Aus ihm l\u00e4\u00dft sich noch folgern: F\u00fcr die G\u00fcltigkeit des Einbettungssatzes ist die Erzeugbarkeit aus endlich vielen Elementen hinreichend, aber nicht notwendig.  Die folgenden Untersuchungen besch\u00e4ftigen sich mit der Anzahl definierender Relationen von Gruppen endlich vieler Erzeugender. L\u00e4\u00dft sich eine solche Gruppe in einem festen Erzeugendensystem nur durch unendlich viele Relationen definieren, so reichen auch bei keinem anderen Erzeugendensystem endlich viele Relationen aus. In dem besonderen Falle zweier Erzeugender ist die Anzahl dieser Gruppen von der M\u00e4chtigkeit des Kontinuums, w\u00e4hrend es offenbar nur abz\u00e4hlbar viele mit endlich vielen definierenden Relationen gibt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2601773$C4211A1B-F5C7-4CD7-A71B-D190D40AF732","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91c203235d14449fd0d2beac9129263936c0e9de","datavalue":{"value":"2519939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601773$3F57554C-86FD-4490-BFD4-A85369142F25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"477d06c8df9685ded9948a7e96bdfcaf1696b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1353178,"id":"Q1353178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601773$97C24744-6A44-4322-B33F-F6C092C15EAC","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":"Q2601773$FC7CFE79-F401-4B35-995C-B3012948A1AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07d91718bb28458c8dfd907c4220680e370fec7a","datavalue":{"value":"https://doi.org/10.1112/jlms/s1-12.46.120","type":"string"},"datatype":"url"},"type":"statement","id":"Q2601773$197EDDA7-8DEC-40D9-9B33-EF856C497140","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97e7826888db47b4bfb712258ce23bb75b13c9a6","datavalue":{"value":"W2052918885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601773$1E70A1AC-CBA1-42C6-8027-3DA17DC6D865","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2d951d40ec3286a58dcd4237c3c3a05a1aacbb2","datavalue":{"value":"10.1112/JLMS/S1-12.46.120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601773$F9B16790-1642-4DC2-975E-0FB526108CA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2601773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2601773"}}}}}