Step 1
A ring R is a set with two binary operations, addition and multiplication, satisfying several properties: R is an Abelian group under addition, and the multiplication operation satisfies the associative law
and distributive laws
and
for every
The identity of the addition operation is denoted 0. If the multiplication operation has an identity, it is called a unity. If multiplication is commutative, we say that R is commutative.
A subring of a ring R is a subset
that is a ring under the operations of R.
Let A be a subring of a ring R. If, for every and
and
we say that A is an ideal of R.
The ring of Gaussian integers is defined as
under ordinary addition and multiplication of complex numbers.
Step 2
The Subring Test states that a nonempty subset S of a ring R is a subring if and only if it is closed under subtraction and multiplication; that is, if
then,
Let
Step 3
Since
both b and d are even. Hence is even, and
Step 4
Similarly,
Step 5
Since b and d are even, and , are even, and so is . It follows that
Step 6
However,
and
We conclude that S is not an ideal of
Comments