Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:King
gptkb:algebra |
| gptkbp:alternativeName |
factor ring
|
| gptkbp:builtBy |
a ring
|
| gptkbp:category |
gptkb:mathematics
ring theory |
| gptkbp:constructed_using |
an ideal
|
| gptkbp:definedIn |
the set of cosets of an ideal in a ring
|
| gptkbp:example |
Z/nZ
polynomial ring modulo ideal |
| gptkbp:field |
abstract algebra
|
| gptkbp:first_formalized_by |
gptkb:Emmy_Noether
|
| https://www.w3.org/2000/01/rdf-schema#label |
Quotient ring
|
| gptkbp:notation |
gptkb:R/I
|
| gptkbp:operator |
addition of cosets
multiplication of cosets |
| gptkbp:property |
inherits ring structure from parent ring
|
| gptkbp:relatedTo |
quotient group
factor ring |
| gptkbp:used_in |
gptkb:algebraic_geometry
gptkb:commutative_algebra module theory homomorphism theorems |
| gptkbp:bfsParent |
gptkb:Ideal
|
| gptkbp:bfsLayer |
6
|