Bir ܴ halkasına, eğer iki dik toplananının arakesiti yine bir dik toplanan ise dik toplananların arakesit özelliğine (SIP) sahiptir denir. Bir ܯ-ܴ modülüne, eğer her ܯൌܣ⊕ܤ ayrışımı ve ܣ nın ܯ içindeki her ܥ tümleyeni ...