@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix ns2:	<https://dbpedia.org/resource/> .
wikipedia-en:Prime_avoidance_lemma	foaf:primaryTopic	ns2:Prime_avoidance_lemma .
@prefix ns3:	<https://dbpedia.org/ontology/> .
ns2:Commutative_ring	ns3:wikiPageWikiLink	ns2:Prime_avoidance_lemma .
ns2:List_of_lemmas	ns3:wikiPageWikiLink	ns2:Prime_avoidance_lemma .
ns2:Prime_ideal	ns3:wikiPageWikiLink	ns2:Prime_avoidance_lemma .
ns2:Prime_avoidance	ns3:wikiPageWikiLink	ns2:Prime_avoidance_lemma ;
	ns3:wikiPageRedirects	ns2:Prime_avoidance_lemma .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
ns2:Prime_avoidance_lemma	owl:sameAs	wikidata:Q3229333 ,
		<http://fr.dbpedia.org/resource/Lemme_d\u0027\u00E9vitement_des_id\u00E9aux_premiers> .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
ns2:Prime_avoidance_lemma	owl:sameAs	yago-res:Prime_avoidance_lemma .
@prefix dbr:	<http://dbpedia.org/resource/> .
ns2:Prime_avoidance_lemma	owl:sameAs	dbr:Prime_avoidance_lemma ,
		<http://rdf.freebase.com/ns/m.011l9kfm> ,
		<http://es.dbpedia.org/resource/Lema_de_evitaci\u00F3n_de_ideales_primos> ,
		<http://uk.dbpedia.org/resource/\u041B\u0435\u043C\u0430_\u043F\u0440\u043E_\u0443\u043D\u0438\u043A\u043D\u0435\u043D\u043D\u044F_\u043F\u0440\u043E\u0441\u0442\u0438\u0445_\u0456\u0434\u0435\u0430\u043B\u0456\u0432> ,
		<https://global.dbpedia.org/id/2y5Tt> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Prime_avoidance_lemma	rdfs:label	"Lemme d'\u00E9vitement des id\u00E9aux premiers"@fr ,
		"Lema de evitaci\u00F3n de ideales primos"@es ,
		"Prime avoidance lemma"@en ,
		"\u041B\u0435\u043C\u0430 \u043F\u0440\u043E \u0443\u043D\u0438\u043A\u043D\u0435\u043D\u043D\u044F \u043F\u0440\u043E\u0441\u0442\u0438\u0445 \u0456\u0434\u0435\u0430\u043B\u0456\u0432"@uk .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix ns10:	<https://dbpedia.org/resource/Category:> .
ns2:Prime_avoidance_lemma	dct:subject	ns10:Abstract_algebra .
@prefix prov:	<http://www.w3.org/ns/prov#> .
ns2:Prime_avoidance_lemma	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Prime_avoidance_lemma?oldid=1300404495&ns=0> .
@prefix gold:	<http://purl.org/linguistics/gold/> .
ns2:Prime_avoidance_lemma	gold:hypernym	ns2:Variations ;
	foaf:isPrimaryTopicOf	wikipedia-en:Prime_avoidance_lemma ;
	ns3:wikiPageWikiLink	ns2:Mel_Hochster ,
		ns10:Algebra ,
		ns2:Regular_sequence ,
		<https://dbpedia.org/resource/Union_(set_theory)> ,
		ns2:Linear_algebra ,
		<https://dbpedia.org/resource/Field_(mathematics)> ,
		ns2:Algebra ,
		ns2:Vector_space ,
		ns2:Commutative_ring ,
		ns2:Prime_ideal ;
	ns3:description	"in commutative algebra, the lemma that if an ideal in a commutative ring is contained in a union of finitely many prime ideals, then it is contained in one of the prime ideals"@en .
@prefix ns13:	<https://dbpedia.org/property/> .
@prefix ns14:	<https://dbpedia.org/resource/Template:> .
ns2:Prime_avoidance_lemma	ns13:wikiPageUsesTemplate	ns14:Short_description ,
		ns14:Reflist ,
		ns14:Math_theorem ,
		ns14:Expand_French ,
		ns14:Cite_book ,
		ns14:Google_books ;
	ns3:wikiPageExternalLink	<http://www.math.lsa.umich.edu/~hochster/615W10/supDim.pdf> .