Not a few mathematicians have dealt with the problem of setting up criteria by means of which the irreducibility of certain expressions in certain domains may be seen at a glance from the character of the expressions. Gauss, Kronecker, Schoenemann, Eisenstein, Dedekind, Floquet, Koenigsberger, Netto, Perron, M. Bauer, and Dumas have written on the subject.t A simple example of such criteria is ...

We call a theory a Dedekind theory if every complete quantifier-free type with one free variable either has a trivial positive part or it is isolated by a positive quantifier-free formula. The theory of vector spaces and the theory fields are examples. We prove that in a Dedekind theory all positive quantifier-free types are principal so, in a sense, Dedekind theories are Noetherian. We show th...

The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational poly-topes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer...

Given a direct sum G of cyclic groups, we find a sharp bound for the minimal number of proper subgroups whose union is G. This problem generalizes to sums of cyclic modules over more general rings, such as local and Artinian rings or Dedekind domains and reduces to covering vector spaces by proper subspaces. As a consequence, we are also able to solve the analogous problem for monoids.

Bhargava defined p-orderings of subsets of Dedekind domains and with them studied polynomials which take integer values on those subsets. In analogy with this construction for subsets of Z(p) and p-local integer-valued polynomials in one variable, we define projective p-orderings of subsets of Z(p). With such a projective p-ordering for Z(p) we construct a basis for the module of homogeneous, p...

An i?-module Mis a generator (of the category of modules) provided every module is a homomorphic image of a suitable direct sum of copies of M. Equivalently, some M has R as a summand. Except in the last section, all rings are assumed to be commutative, Noetherian domains, and modules are usually finitely generated. In this context generators are exactly those modules that have non-zero free su...

A Dedekind algebra is an ordered pair (B, h) where B is a nonempty set and h is a "similarity transformation" on B. Among the Dedekind algebras is the sequence of positive integers. Each Dedekind algebra can be decomposed into a family of disjointed, countable subalgebras which are called the configurations of the algebra. There are many isomorphic types of configurations. Each Dedekind algebra...