# entries on finitely generated ideals

## Primary tabs

\documentclass{article}
% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
\usepackage{amsthm}
% making logically defined graphics
%%%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here

\theoremstyle{definition}
\newtheorem*{thmplain}{Theorem}
\begin{document}
This entry lists PlanetMath entries concerning finitely generated ideals of commutative rings.

\begin{enumerate}
\item principal ideal
\item zero ideal
\item unit ideal
\item principal ideal ring
\item principal ideal domain
\item B\'ezout ring
\item divisibility by product
\end{enumerate}

\begin{enumerate}
\item two-generator property
\item multiplication rule gives inverse ideal
\item invertibility of regularly generated ideal
\item unique factorization and ideals in ring of integers
\end{enumerate}

\begin{enumerate}
\item invertible ideal is finitely generated
\item generators of inverse ideal
\item \PMlinkname{invertibility of regularly generated ideal}{InvertibilityOfRegularlyGeneratedIdeal}
\item ideal generators in Pr\"ufer ring
\item finitely generated modules over a principal ideal domain
\end{enumerate}

\textbf{Formulae}
\begin{enumerate}
\item well-definedness of product of finitely generated ideals
\item product of finitely generated ideals
\item cancellation ideal
\item ideal decomposition in Dedekind domain
\item ideal inverting in Pr\"ufer ring
\item least common multiple
\item quotient of ideals
\item generators of a quotient polynomial ring
\end{enumerate}
%%%%%
%%%%%
nd{document}