This paper investigates the arithmetic of fractional ideals and the infrastructure of the principal ideal class of a purely cubic function eld of unit rank one. We rst describe how irreducible polynomials split into prime ideals in purely cubic function elds of nonzero unit rank. This decomposition behavior is used to compute so-called canonical bases of fractional ideals; such bases are very s...

In this paper, I present a new decision procedure for the ideal membership problem for polynomial rings over principal domains using discrete valuation domains. As a particular case, I solve a fundamental algorithmic question in the theory of multivariate polynomials over the integers called “Kronecker’s problem”, that is the problem of finding a decision procedure for the ideal membership prob...

In a recent paper [1] a number of numerical schemes were presented for the Euler equations governing compressible flows of an ideal gas in a duct of variable cross section, the principal one of which is based on a conservative linearisation approach. This scheme was subsequently extended to encompass compressible duct flows of real gases where the equation of state allows for non-ideal gases [2...

Introduction. L. Fuchs [2 ] has given for Noetherian rings a theory of the representation of an ideal as an intersection of primal ideals, the theory being in many ways analogous to the classical Noether theory. An ideal Q is primal if the elements not prime to Q form an ideal, necessarily prime, called the adjoint of Q. Primary ideals are necessarily primal, but not conversely. Analogous resul...

We study the relation of the ideal class group of a Dedekind domain A to that of As, where S is a multiplicatively closed subset of A. We construct examples of (a) a Dedekind domain with no principal prime ideal and (b) a Dedekind domain which is not the integral closure of a principal ideal domain. We also obtain some qualitative information on the number of non-principal prime ideals in an ar...

We show that a ring is a Krull ring if and only if every nonzero regular prime ideal contains a t-invertible prime ideal if and only if every proper regular principal ideal is quasi-equal to a product of prime ideals.

For a frame $L$, consider the $f$-ring $ mathcal{F}_{mathcal P}L=Frm(mathcal{P}(mathbb R), L)$. In this paper, first we show that each minimal ideal of $ mathcal{F}_{mathcal P}L$ is a principal ideal generated by $f_a$, where $a$ is an atom of $L$. Then we show that if $L$ is an $mathcal{F}_{mathcal P}$-completely regular frame, then the socle of $ mathcal{F}_{mathcal P}L$ consists of those $f$...

Several recent cryptographic constructions – including a public key encryption scheme, a fully homomorphic encryption scheme, and a candidate multilinear map construction – rely on the hardness of the short generator principal ideal problem (SG-PIP): given a Z-basis of some principal (fractional) ideal in an algebraic number field that is guaranteed to have an exceptionally short generator with...

All rings are commutative with identity and all modules are unital. Let R be a ring, M an R-module and R (M), the idealization of M . Homogeneous ideals of R (M) have the form I (+)N where I is an ideal of R, N a submodule of M and IM ⊆ N . The purpose of this paper is to investigate how properties of a homogeneous ideal I (+)N of R (M) are related to those of I and N . We show that if M is a m...