|
7.3.22 quotient (plural)
Syntax:
quotient ( ideal_expression, ideal_expression )
quotient ( module_expression, module_expression )
Type:
- ideal
Syntax:
quotient ( module_expression, ideal_expression )
Type:
- module
Purpose:
- computes the ideal quotient, resp. module quotient. Let
R be the
basering, I,J ideals and M, N modules in
Then
-
quotient(I,J) =
-
quotient(M,J) =
Note:
- It can only be used for two-sided ideals (bimodules), otherwise the
result may have no meaning.
Example:
See
ideal (plural);
module (plural).
|