<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://groupprops.subwiki.org/wiki/Special:URIResolver/'>
	<!ENTITY category 'http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3A'>
	<!ENTITY property 'http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://groupprops.subwiki.org/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Dedekind_group">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-17T23:12:50+00:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group">
		<rdf:type rdf:resource="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3AGroup_properties"/>
		<rdf:type rdf:resource="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3ASemistandard_definitions_in_group_theory"/>
		<rdf:type rdf:resource="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3ASemistandard_terminology"/>
		<rdf:type rdf:resource="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3AGAP-2Dcodable_group_properties"/>
		<rdfs:label>Dedekind group</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Dedekind_group"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Defining_ingredient rdf:resource="&wiki;Normal_subgroup"/>
		<property:Defining_ingredient rdf:resource="&wiki;Inner_automorphism"/>
		<property:Defining_ingredient rdf:resource="&wiki;Cyclic_group"/>
		<property:Defining_ingredient rdf:resource="&wiki;Power_automorphism"/>
		<property:Defining_ingredient rdf:resource="&wiki;Normal_closure"/>
		<property:Defining_ingredient rdf:resource="&wiki;Levi_operator"/>
		<property:Defining_ingredient rdf:resource="&wiki;Hamiltonian_operator"/>
		<property:Obtained_by_applying rdf:resource="&wiki;Levi_operator"/>
		<property:Obtained_by_applying rdf:resource="&wiki;Hamiltonian_operator"/>
		<property:Page_class rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Term</property:Page_class>
		<property:Quick_phrase rdf:datatype="http://www.w3.org/2001/XMLSchema#string">every subgroup is normal</property:Quick_phrase>
		<property:Quick_phrase rdf:datatype="http://www.w3.org/2001/XMLSchema#string">every cyclic subgroup is normal</property:Quick_phrase>
		<property:Quick_phrase rdf:datatype="http://www.w3.org/2001/XMLSchema#string">normal closure of element is cyclic</property:Quick_phrase>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Subgroup-2Dclosed_group_property"/>
		<property:Satisfies_metaproperty rdf:resource="&wiki;Quotient-2Dclosed_group_property"/>
		<property:Stronger_than rdf:resource="&wiki;Group_of_nilpotency_class_two"/>
		<property:Stronger_than rdf:resource="&wiki;Nilpotent_group"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERYe3ad9f827ce1692e7c60318dbb522dd8"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY5d0b2248db19278aa4612340c8667d32"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY33d00460dd6a8585ffd6c6d87f614399"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY7d44d133e766d1ed825325a072511277"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY01e0b4766128118bb02e0266a41ffcca"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY9fdde36ba1a343db562816224572a4ca"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY49aa223d70f41aeff38409a2c50cf30f"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY226fa01198035259adf0c16d6fc3e381"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY1e8d638448ec8582a216463e75616a5d"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERYe64668882d143ba46fb906eea4ae39fe"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY0131db608f6ee5644e3d0fcaee9623df"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERYd005217465ca21073d0c12906e236c64"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERYea221ebbc0b20c03b0fc9f1dc0ecebf3"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY95f1d3dc0ecf7c0ca65411b022004134"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERYc6adc6ea2ecd70d34883fd98bb135306"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERYa4c922bf5a2012a1e32ab2cbee31dad0"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY42f447b09a5a68ecb07814b337b62bad"/>
		<property:Has_query rdf:resource="&wiki;Dedekind_group-23_QUERY50941ef1615d45a6e7e46fa78ea67b63"/>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-07-08T13:26:03Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2455751.0597569</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERYe3ad9f827ce1692e7c60318dbb522dd8">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">table</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Defining ingredient::Dedekind group]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERYe3ad9f827ce1692e7c60318dbb522dd8</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY5d0b2248db19278aa4612340c8667d32">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">table</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">5</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about:: &lt;q&gt;[[Page::Dedekind group]] [[Number::1]]&lt;/q&gt; ]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY5d0b2248db19278aa4612340c8667d32</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY33d00460dd6a8585ffd6c6d87f614399">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">table</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">3</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Dedekind group]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY33d00460dd6a8585ffd6c6d87f614399</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY7d44d133e766d1ed825325a072511277">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">table</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Survey article about::Dedekind group]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY7d44d133e766d1ed825325a072511277</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY01e0b4766128118bb02e0266a41ffcca">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">3</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Survey article about.Defining ingredient::Dedekind group]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY01e0b4766128118bb02e0266a41ffcca</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY9fdde36ba1a343db562816224572a4ca">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Analogue of::Dedekind group]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY9fdde36ba1a343db562816224572a4ca</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY49aa223d70f41aeff38409a2c50cf30f">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Variation of::Dedekind group]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY49aa223d70f41aeff38409a2c50cf30f</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY226fa01198035259adf0c16d6fc3e381">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Opposite of::Dedekind group]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY226fa01198035259adf0c16d6fc3e381</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY1e8d638448ec8582a216463e75616a5d">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Dedekind group]] [[Category:Group property implications]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY1e8d638448ec8582a216463e75616a5d</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERYe64668882d143ba46fb906eea4ae39fe">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Dedekind group]] [[Category:Group property non-implications]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERYe64668882d143ba46fb906eea4ae39fe</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY0131db608f6ee5644e3d0fcaee9623df">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Dedekind group]] [[Category:Group metaproperty satisfactions]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY0131db608f6ee5644e3d0fcaee9623df</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERYd005217465ca21073d0c12906e236c64">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Dedekind group]] [[Category:Group metaproperty dissatisfactions]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERYd005217465ca21073d0c12906e236c64</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERYea221ebbc0b20c03b0fc9f1dc0ecebf3">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Dedekind group]] [[Category:Group property satisfactions]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERYea221ebbc0b20c03b0fc9f1dc0ecebf3</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY95f1d3dc0ecf7c0ca65411b022004134">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">4</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Fact about.Page::Dedekind group]] [[Category:Group property dissatisfactions]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY95f1d3dc0ecf7c0ca65411b022004134</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERYc6adc6ea2ecd70d34883fd98bb135306">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Obtained by applying::Levi operator]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERYc6adc6ea2ecd70d34883fd98bb135306</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERYa4c922bf5a2012a1e32ab2cbee31dad0">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Obtained by applying::Hamiltonian operator]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERYa4c922bf5a2012a1e32ab2cbee31dad0</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY42f447b09a5a68ecb07814b337b62bad">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Satisfies metaproperty::Subgroup-closed group property]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY42f447b09a5a68ecb07814b337b62bad</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_group-23_QUERY50941ef1615d45a6e7e46fa78ea67b63">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<property:Query_depth rdf:datatype="http://www.w3.org/2001/XMLSchema#double">1</property:Query_depth>
		<property:Query_format rdf:datatype="http://www.w3.org/2001/XMLSchema#string">plainlist</property:Query_format>
		<property:Query_size rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2</property:Query_size>
		<property:Query_string rdf:datatype="http://www.w3.org/2001/XMLSchema#string">[[Satisfies metaproperty::Quotient-closed group property]]</property:Query_string>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind group# QUERY50941ef1615d45a6e7e46fa78ea67b63</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Quaternion_group">
		<rdfs:label>Quaternion group</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Quaternion_group"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Quaternion_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Satisfies_property rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Quaternion group</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_implies_class_two">
		<rdfs:label>Dedekind implies class two</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Dedekind_implies_class_two"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Dedekind_implies_class_two"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Uses_property_satisfaction_of rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind implies class two</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/2-2DEngel_group">
		<rdfs:label>2-Engel group</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/2-2DEngel_group"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/2-2DEngel_group"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<property:Weaker_than rdf:resource="&wiki;Dedekind_group"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2-Engel group</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_implies_class_two-23_40b967de5fb997d6d76910e37be123be">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_implies_class_two"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind implies class two#Dedekind group;2# 40b967de5fb997d6d76910e37be123be</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Dedekind_group"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Dedekind_not_implies_abelian-23_40b967de5fb997d6d76910e37be123be">
		<swivt:masterPage rdf:resource="&wiki;Dedekind_not_implies_abelian"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Dedekind not implies abelian#Dedekind group;2# 40b967de5fb997d6d76910e37be123be</swivt:wikiPageSortKey>
		<property:Page rdf:resource="&wiki;Dedekind_group"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3ASatisfies_property">
		<rdfs:label>Satisfies property</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Property-3ASatisfies_property"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Property-3ASatisfies_property"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Satisfies property</swivt:wikiPageSortKey>
		<swivt:type rdf:resource="http://semantic-mediawiki.org/swivt/1.0#_wpg"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AUses_property_satisfaction_of">
		<rdfs:label>Uses property satisfaction of</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Property-3AUses_property_satisfaction_of"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Property-3AUses_property_satisfaction_of"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Uses property satisfaction of</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AWeaker_than">
		<rdfs:label>Weaker than</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Property-3AWeaker_than"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Property-3AWeaker_than"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Weaker than</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3APage">
		<rdfs:label>Page</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://groupprops.subwiki.org/wiki/Special:ExportRDF/Property-3APage"/>
		<swivt:page rdf:resource="https://groupprops.subwiki.org/wiki/Property-3APage"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">132</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Page</swivt:wikiPageSortKey>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3AGroup_properties" />
	<owl:Class rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3ASemistandard_definitions_in_group_theory" />
	<owl:Class rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3ASemistandard_terminology" />
	<owl:Class rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Category-3AGAP-2Dcodable_group_properties" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3ADefining_ingredient" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AObtained_by_applying" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3APage_class" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuick_phrase" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3ASatisfies_metaproperty" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AStronger_than" />
	<owl:ObjectProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AHas_query" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_depth" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_format" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_size" />
	<owl:DatatypeProperty rdf:about="http://groupprops.subwiki.org/wiki/Special:URIResolver/Property-3AQuery_string" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#type" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>