Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:King
gptkb:algebra |
| gptkbp:addition_operation |
symmetric difference
|
| gptkbp:characteristic |
2
|
| gptkbp:commutative |
true
|
| gptkbp:distributive |
true
|
| gptkbp:every_Boolean_ring_is |
gptkb:von_Neumann_regular_ring
commutative ring semisimple ring reduced ring zero-dimensional ring |
| gptkbp:every_element_is_its_own_inverse |
true
|
| gptkbp:example |
power set of a set with symmetric difference and intersection
|
| gptkbp:finite_Boolean_ring_is |
direct product of copies of Z/2Z
|
| gptkbp:has_idempotent_elements |
all elements
|
| https://www.w3.org/2000/01/rdf-schema#label |
Boolean ring
|
| gptkbp:multiplication_operation |
gptkb:intersection
|
| gptkbp:namedAfter |
gptkb:George_Boole
|
| gptkbp:used_in |
gptkb:logic
gptkb:mathematics computer science |
| gptkbp:bfsParent |
gptkb:King
|
| gptkbp:bfsLayer |
4
|