|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
congruence on a partial algebra
|
(Definition)
|
|
"congruence on a partial algebra" is owned by CWoo.
|
|
(view preamble | get metadata)
| Other names: |
congruence, strong congruence, quotient algebra |
| Also defines: |
congruence relation, strong congruence relation, quotient partial algebra |
This object's parent.
|
|
Cross-references: full homomorphism, surjective, easy to see, well-defined, classes, conversely, subalgebra, relative subalgebra, Reflexive, iff, restriction, operation, subset, binary relation, direct power, strong homomorphism, function symbol, strong, induced, homomorphism, equivalence relation, partial algebra, congruences, types
There are 9 references to this entry.
This is version 11 of congruence on a partial algebra, born on 2009-01-10, modified 2009-01-14.
Object id is 11483, canonical name is CongruenceOnAPartialAlgebra.
Accessed 1110 times total.
Classification:
| AMS MSC: | 08A62 (General algebraic systems :: Algebraic structures :: Finitary algebras) | | | 03E99 (Mathematical logic and foundations :: Set theory :: Miscellaneous) | | | 08A55 (General algebraic systems :: Algebraic structures :: Partial algebras) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
