Namespaces
Variants
Actions

Kernel congruence

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 08A30 [MSN][ZBL]

of a homomorphism $\phi : A \rightarrow A'$ of algebraic systems

The congruence (cf. Congruence (in algebra)) $\theta$ on an algebraic system $A$ consisting of all pairs $(a,b) \in A \times A$ for which $\phi(a) = \phi(b)$, cf. Kernel of a function. For any congruence $\theta$ on an algebraic system there is a homomorphism $\phi$ of this system for which $\theta$ is the kernel congruence. If $\theta$ is the kernel congruence of a strong homomorphism $\phi$ of an algebraic system $A$ onto a system $A'$, then the canonical mapping $a/\theta \mapsto \phi(a)$, where $a/\theta = \{ b \in A : (b,a) \in \theta \}$, is an isomorphism of the quotient system $A/\theta$ onto $A'$.

For references see Homomorphism.

How to Cite This Entry:
Kernel congruence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Kernel_congruence&oldid=39729
This article was adapted from an original article by D.M. Smirnov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article