Let A and B be two finite subsets of a field F. In this paper we provide a nontrivial lower bound for |{a + b: a ∈ A, b ∈ B, and P (a, b) 6= 0}| where P (x, y) ∈ F[x, y].

1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ?) where G is a nonempty set and ? is a binary operation on G satisfying: (G1) a ? (b ? c) = (a ? b) ? c, ∀a, b, c ∈ G. A semigroup G is a monoid if it also satisfies: (G2) G has an element e (sometimes denoted by 1G, called the identity of G), such that e ? a = a ? e = a, ∀a ∈ G. A monoid is a group if (G3) below is satisfied...

DOI: 10.1007/s11424-015-2240-3 Received: 8 November 2012 / Revised: 1 July 2014 c ©The Editorial Office of JSSC & Springer-Verlag Berlin Heidelberg 2015 Abstract Let k be a positive integer. For any positive integer x = ∑∞ i=0 xi2 , where xi = 0, 1, we define the weight w(x) of x by w(x) := ∑∞ i=0 xi. For any integer t with 0 < t < 2 k − 1, let St := {(a, b) ∈ Z2|a+ b ≡ t (mod 2 − 1), w(a)+w(b)...

A directed BIBD with parameters (v,b,r,k,λ*) is a BIBD with parameters (v, b, r, k, 2λ*) in which each ordered pair of varieties occurs together in exactly λ* blocks. It is shown that λ*v(v 1) = 0 (mod 3) is a necessary and sufficient condition for the existence of a directed (v, b, r, k, λ*) BIBD with k = 3. Disciplines Physical Sciences and Mathematics Publication Details Seberry, J and Skill...

Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...

the starting point of this paper is given by priestley’s papers, where a theory of representation of distributive lattices is presented. the purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. in this way, some results of priestley’s papers are extended. in the main theorem, we show that the category of finite fuzzy priestley space...

Problem of the type −∆pu = f(u) + h(x) in (a, b) with u = 0 on {a, b} is solved under nonresonance conditions stated with respect to the first eigenvalue and the first curve in the Fučik spectrum of (−∆p,W 1,p 0 (a, b)), only on a primitive of f .

We prove that an Alexander quandle of prime order is generated by any pair of distinct elements. Furthermore, we prove for such a quandle that any ordered pair of distinct elements can be sent to any other such pair by an automorphism of the quandle.

Let G be a nite group and let i (G) denote the proportion of ordered pairs of G that generate a subgroup of nilpotency class i. Various properties of the i 's are established. In particular it is shown that i = k i jGj=jGj 2 for some non-negative integers k i and that P 1 i=1 i is either 1 or at most 1/2 for solvable groups.