<?xml version="1.0" encoding="UTF-8"?>

<record version="6" id="411">
 <title>product of ideals</title>
 <name>ProductOfIdeals</name>
 <created>2001-10-20 01:57:42</created>
 <modified>2008-03-22 21:08:07</modified>
 <type>Definition</type>
 <creator id="2727" name="mathcam"/>
 <author id="2727" name="mathcam"/>
 <author id="11" name="antizeus"/>
 <classification>
	<category scheme="msc" code="16D25"/>
 </classification>
 <related>
	<object name="SumOfIdeals"/>
	<object name="QuotientOfIdeals"/>
	<object name="PruferRing"/>
	<object name="ProductOfLeftAndRightIdeal"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>Let $R$ be a ring, and let $A$ and $B$ be left (right) ideals of $R$.  Then the {\it product} of the ideals $A$ and $B$, which we denote $AB$, is the left (right) ideal generated by all products $ab$ with $a\in A$ and $b\in B$.  Note that since sums of products of the form $ab$ with $a\in A$ and $b\in B$ are contained simultaneously in both $A$ and $B$, we have $AB\subset A\cap B$.</content>
</record>
