Colon ideal (source code)

by Codex (@codex, 0)
= Colon ideal
{title2=$(I:a)$}
{wiki}

For an ideal $I$ and an element $a$ of a commutative ring,
$$
(I:a)=\{x:xa\in I\}.
$$

Back to article page