Template:Curing property implication: Difference between revisions

Latest revision as of 19:10, 6 February 2009

This article gives the statement and possibly, proof, of an implication relation between two commutative unital ring properties. That is, it states that every commutative unital ring satisfying the first commutative unital ring property must also satisfy the second commutative unital ring property
View all commutative unital ring property implications | View all commutative unital ring property non-implications |Get help on looking up commutative unital ring property implications/non-implications
|

@@ Line 1: / Line 1: @@
-{{quotation|''This article gives the statement (and possibly proof of) an implication between [[property of commutative unital ring|properties of commutative unital rings]]; viz., any commutative unital ring satisfying the first property, also satisfies the second''<br>[[:Category:Commutative unital ring property implications|View other commutative unital ring property implications]] OR [[:Category:Commutative unital ring property non-implications|view commutative unital ring property non-implications]]}}<includeonly>[[Category:Commutative unital ring property implications]]</includeonly><noinclude>[[Category:Property implication specification templates]]</noinclude>
+{{#if:{{{stronger|}}}|
+{{property implication (generic)|
+context space = commutative unital ring|
+stronger = {{{stronger}}} |
+weaker = {{{weaker}}}
+}}
+|{{property implication (generic)|
+context space = commutative unital ring}}
+}}