Difference between revisions of "Kernel congruence"
(link) |
m (link) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | {{TEX|done}}{{MSC|08A30}} | ||
| + | |||
''of a homomorphism $\phi : A \rightarrow A'$ of algebraic systems'' | ''of a homomorphism $\phi : A \rightarrow A'$ of algebraic systems'' | ||
| − | The congruence (cf. [[Congruence (in algebra)]]) $\theta$ on $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'$. | + | 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]]. | For references see [[Homomorphism]]. | ||
| − | |||
| − | |||
Latest revision as of 07:39, 13 November 2016
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.
Kernel congruence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Kernel_congruence&oldid=39725