PID (Principal Ideal Domain)
GPTKB entity
Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
gptkb:integral_domain |
| gptkbp:defines |
an integral domain in which every ideal is principal
|
| gptkbp:example |
gptkb:the_ring_of_integers_Z
gptkb:the_ring_of_polynomials_K[x]_over_a_field_K gptkb:the_ring_of_polynomials_in_two_variables_K[x,y] |
| gptkbp:isA |
gptkb:commutative_ring
|
| gptkbp:namedFor |
gptkb:Richard_Dedekind
|
| gptkbp:property |
every PID is a Noetherian ring
every PID is a unique factorization domain every ideal can be generated by a single element |
| gptkbp:relatedConcept |
gptkb:Euclidean_domain
gptkb:Dedekind_domain gptkb:Noetherian_ring gptkb:unique_factorization_domain |
| gptkbp:usedIn |
gptkb:algebraic_geometry
gptkb:commutative_algebra abstract algebra algebraic number theory |
| gptkbp:bfsParent |
gptkb:commutative_algebra
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
PID (Principal Ideal Domain)
|