On diophantine monoids and their class groups

Scott T. Chapman, Ulrich Krause and Eberhard Oeljeklaus

Vol. 207 (2002), No. 1, 125–147

DOI: 10.2140/pjm.2002.207.125

Abstract

A Diophantine monoid S is a monoid which consists of the set of solutions in nonnegative integers to a system of linear Diophantine equations. Given a Diophantine monoid S, we explore its algebraic properties in terms of its defining integer matrix A. If d_r(S) and d_c(S) denote respectively the minimal number of rows and minimal number of columns of a defining matrix A for S, then we prove in Section 3 that d_r(S) = rankCl(S) and d_c(S) = rankCl(S) + rankQ(S) where Cl(S) represents the divisor class group of S and Q(S) the quotient group of S. The proof relies on the characteristic properties of the so-called essential states of S, which are developed in Section 2. We close in Section 4 by offering a characterization of factorial Diophantine monoids and an algorithm which determines if a Diophantine monoid is half-factorial.

Milestones

Received: 25 September 2000

Revised: 9 November 2001

Published: 1 November 2002