In the mathematical fields of category theory and abstract algebra, a subquotient is a quotient object of a subobject. Subquotients are particularly important in abelian categories, and in group theory, where they are also known as sections, though this conflicts with a different meaning in category theory.
For example, of the 26 sporadic groups, the 20 subquotients of the monster group are referred to as the "Happy Family", whereas the remaining 6 as "pariah groups".
A quotient of a subrepresentation of a representation (of, say, a group) might be called a subquotient representation; e.g., Harish-Chandra's subquotient theorem.[1]
In constructive set theory, where the law of excluded middle does not necessarily hold, one can consider the relation 'subquotient of' as replacing the usual order relation(s) on cardinals. When one has the law of the excluded middle, then a subquotient X of Y is either the empty set or there is an onto function \( Y\to X \). This order relation is traditionally denoted \( {\displaystyle \leq ^{\ast }} \). If additionally the axiom of choice holds, then X has a one-to-one function to Y and this order relation is the usual ≤ {\displaystyle \leq } \leq on corresponding cardinals.
Transitive relation
The relation »is subquotient of« is transitive.
Proof for groups
Let \( {\displaystyle H'/H''} \) be subquotient of H furthermore \( {\displaystyle H:=G'/G''} \) be subquotient of G and \( {\displaystyle \varphi \colon G'\to H} \) be the canonical homomorphism. Then there is
\( {\displaystyle {\begin{array}{ccccccccc}G\quad &\geq &\quad \;G'\quad &\geq &\varphi ^{-1}(H')&\geq &\varphi ^{-1}(H'')\;\;&\vartriangleright \quad &G''\\&\varphi \!:&{\Big \downarrow }&&{\Big \downarrow }&&{\Big \downarrow }&&{\Big \downarrow }\\&&H&\geq &H'&\vartriangleright &H''&\vartriangleright \quad &\{1\}\\\end{array}}} \)
and all vertical ( \( \downarrow \) ) maps \( {\displaystyle \varphi \!:X\to Y,g\mapsto g\,G''} \) with suitable \( {\displaystyle g\in G'} \) are surjective for the respective pairs \( {\displaystyle (X,Y)\in {\bigl \{}{\bigl (}G',H{\bigr )},{\bigl (}\varphi ^{-1}(H'),H'{\bigr )},{\bigl (}\varphi ^{-1}(H''),H''{\bigr )},{\bigl (}G'',\{1\}{\bigr )}{\bigr \}}}. \)
The preimages \( {\displaystyle \varphi ^{-1}(H')} \) and \( {\displaystyle \varphi ^{-1}(H'')} \) are both subgroups of G' containing G'' and it is \( {\displaystyle \varphi (\varphi ^{-1}(H'))=H'} \) and \( {\displaystyle \varphi (\varphi ^{-1}(H''))=H''} \), because all \( h\in H \) have a preimage \( {\displaystyle g\in G'} \) with \( {\displaystyle \varphi (g)=h} \). Moreover, the subgroup \( {\displaystyle \varphi ^{-1}(H'')\vartriangleleft \varphi ^{-1}(H')} \) is a normal one.
As a consequence, the subquotient \( {\displaystyle H'/H''} \) of H is a subquotient of G in the form \( {\displaystyle H'/H''\cong \varphi ^{-1}(H')/\varphi ^{-1}(H'')}. \)
See also
Homological algebra
References
Dixmier, Jacques (1996) [1974], Enveloping algebras, Graduate Studies in Mathematics, 11, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0560-2, MR 0498740 p. 310
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
