Namespaces
Variants
Actions

Fractional congruence

From Encyclopedia of Mathematics
Revision as of 19:39, 5 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


The congruence $ \eta / \theta $ of a quotient system $ \mathbf A / \theta $ defined by the formula

$$ [ x ] _ \theta ( \eta / \theta ) [ y ] _ \theta \iff x \eta y , $$

where $ \eta $ is some congruence of the algebraic system $ \mathbf A $ containing the given congruence $ \theta $ and $ [ a] _ \theta = \{ {x \in \mathbf A } : {x \theta a } \} $. The quotient system $ ( \mathbf A / \theta ) / ( \eta / \theta ) $ is isomorphic to the system $ \mathbf A / \eta $.

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