1. Introduction. When studying ideal theory in semirings, it is natural to consider the quotient structure of a semiring modulo an ideal. If 7 is an ideal in a semiring R, the collection {x+l}xeit oí sets x + I={x+i\iEl} need not be a partition of R. Faced with this problem, [2] used equivalence relations to determine cosets relative to an ideal. La Torre successfully established analogues of s...

Let

In this paper, we analyze the security of cryptosystems using short generators over ideal lattices such as candidate multilinear maps by Garg, Gentry and Halevi and fully homomorphic encryption by Smart and Vercauteren. Our approach is based on a recent work by Cramer, Ducas, Peikert and Regev on analysis of recovering a short generator of an ideal in the q-th cyclotomic field for a prime power...

This paper studies the representations of a non-negative polynomial f on a non-compact semi-algebraic set K modulo its critical ideal. Under the assumption that the semi-algebraic set K is regular and f satisfies the boundary Hessian conditions (BHC) at each zero of f in K. We show that f can be represented as a sum of squares (SOS) of real polynomials modulo its critical ideal if f ≥ 0 on K. P...

A standard method for finding a rational number from its values modulo a collection of primes is to determine its value modulo the product of the primes via Chinese remaindering, and then use Farey sequences for rational reconstruction. Successively enlarging the set of primes if needed, this method is guaranteed to work if we restrict ourselves to “good” primes. Depending on the particular app...

We consider the multiplicative complexity of the inversion and division of bivariate power series modulo the \triangular" ideal generated by all monomials of total degree n + 1. For inversion, we obtain a lower bound of 7 8 n 2 ? O(n) opposed to an upper bound of 7 3 n 2 + O(n). The former bound holds for all elds with characteristic distinct from two while the latter is valid over elds of char...

It is well-known that two modular forms on the same congruence subgroup and of the same weight, with coefficients in the integer ring of a number field, are congruent modulo a prime ideal in this integer ring, if the first B coefficients of the forms are congruent modulo this prime ideal, where B is an effective bound depending only on the congruence subgroup and the weight of the forms. In thi...

The related inequality (1.1) was obtained by Maher [3, Theorem 3.2] who showed that, if A is normal and AT = TA, where T ∈ Cp , then ‖T − (AX −XA)‖p ≥ ‖T‖p for all X ∈ ( ), where Cp is the von Neumann-Schatten class, 1≤ p <∞, and ‖·‖p its norm. Here we show that Maher’s result is also true in the case where Cp is replaced by ( ), the ideal of all compact operators with ‖·‖∞ its norm.Which allow...

in this paper among many other things we prove that the topological left amenability and left amenability of a weighted hypergroup (k, ?) are equivalent. for a normal subgroup h of k, we define a weight function ?? on kih and obtain connection between left amenability of (k, ?) and (k|h, ??). let h be a compact subhypergroup of k. we define the weight function on k||h and obtain connection betw...