共查询到20条相似文献,搜索用时 41 毫秒
1.
We show that for a variety
of Heyting algebras the following conditions are equivalent: (1)
is locally finite; (2) the
-coproduct of any two finite
-algebras is finite; (3) either
coincides with the variety of Boolean algebras or finite
-copowers of the three element chain
are finite. We also show that a variety
of Heyting algebras is generated by its finite members if, and only if,
is generated by a locally finite
-algebra. Finally, to the two existing criteria for varieties of Heyting algebras to be finitely generated we add the following
one:
is finitely generated if, and only if,
is residually finite.
Received November 11, 2001; accepted in final form July 25, 2005. 相似文献
2.
Let
be a continuous semimartingale and let
be a continuous function of bounded variation. Setting
and
suppose that a continuous function
is given such that F is C1,2 on
and F is
on
. Then the following change-of-variable formula holds:
where
is the local time of X at the curve b given by
and
refers to the integration with respect to
. A version of the same formula derived for an Itô diffusion X under weaker conditions on F has found applications in free-boundary problems of optimal stopping. 相似文献
3.
Antonio G. García Miguel A. Hernández-Medina 《Mediterranean Journal of Mathematics》2005,2(3):345-356
Let
be a symmetric operator with compact resolvent defined in a Hilbert space
For any fixed
we consider an entire
function Ka which involves the resolvent of
Associated with Ka we obtain, by duality in
a Hilbert space
of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of
regardless of the anti-linear mapping which has
as its range space. There exists also a sampling formula allowing to recover any function in
from its samples at the sequence of eigenvalues of
This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología. 相似文献
4.
For an arbitrary set E and a given closure operator
, we want to construct a symmetric closure operator
via some – possibly infinite – iteration process. If E is finite, the corresponding symmetric closure operator .
defines a matroid. If
and
is the convex closure operator,
turns out to be the affine closure operator. Moreover, we apply the symmetrization process to closure operators induced by
visibility.
Received March 9, 2005 相似文献
5.
Let
be a family of unit balls in
with the property that the mutual distances of the centers are at least
. If any n2 members of
have a common line transversal, then
has a line transversal too.
Received: 27 January 2005; revised: 17 October 2005 相似文献
6.
Lutz Strüngmann 《Archiv der Mathematik》2006,86(3):193-204
Let R be a unital associative ring and
two classes of left R-modules. In this paper we introduce the notion of a
In analogy to classical cotorsion pairs as defined by Salce [10], a pair
of subclasses
and
is called a
if it is maximal with respect to the classes
and the condition
for all
and
Basic properties of
are stated and several examples in the category of abelian groups are studied.
Received: 17 March 2005 相似文献
7.
Hans-Peter Schröcker 《Journal of Geometry》2005,82(1-2):172-187
We study the projective space
of univariate rational parameterized equations of degree d or less in real projective space
The parameterized equations of degree less than d form a special algebraic variety
We investigate the subspaces on
and their relation to rational curves in
give a geometric characterization of the automorphism group of
and outline applications of the theory to projective kinematics. 相似文献
8.
We consider logarithmic connections, on rank n and degree d vector bundles over a compact Riemann surface X, singular over a fixed point x0 ∈ X with residue in the center of
the integers n and d are assumed to be mutually coprime. A necessary and sufficient condition is given for a vector bundle to admit such a logarithmic
connection. We also compute the Picard group of the moduli space of all such logarithmic connections. Let
denote the moduli space of all such logarithmic connections, with the underlying vector bundle being of fixed determinant
L, and inducing a fixed logarithmic connection on the determinant line L. Let
be the Zariski open dense subset parametrizing all connections such that the underlying vector bundle is stable. The space
of all global sections of certain line bundles on
are computed. In particular, there are no nonconstant algebraic functions on
Therefore, there are no nonconstant algebraic functions on
although
is biholomorphic to a representation space which admits nonconstant algebraic functions. The moduli space
admits a natural compactification by a smooth divisor. We investigate numerically effectiveness of this divisor at infinity.
It turns out that the divisor is not numerically effective in general.
Received: March 2004 Revision: May 2004 Accepted: May 2004 相似文献
9.
Christian Richter 《Journal of Geometry》2006,84(1-2):117-132
Let
be a group of affine transformations of the Euclidean plane
. Two topological discs D,
are called congruent by dissection with respect to
if D can be dissected into a finite number of subdiscs that can be rearranged by maps from
to a dissection of E.
Our main result says in particular that
admits congruence by dissection of any circular disc C with any square S if and only if
contains a contractive map and all orbits
,
, are dense in
. In this case any two discs D and E are congruent by dissection with respect to
and every disc D is congruent by dissection with n copies of D for every n ≥ 2.
Moreover, we give estimates on minimal numbers of pieces that are needed to realize congruences by dissection.
Dedicated to Irmtraud Stephani on the occasion of her 70th birthday 相似文献
10.
This paper deals with a class
of pseudorandom bit generators – modified alternating
–generators. This class is constructed similarly to the class
of alternating step generators. Three subclasses of
are distinguished, namely linear, mixed and nonlinear generators. The main attention is devoted to the subclass
of linear and mixed generators generating periodic sequences with maximal period lengths. A necessary and sufficient condition for all sequences generated by the linear generators of
to be with maximal period lengths is formulated. Such sequences have good statistical properties, such as distribution of zeroes and ones, and large linear complexity. Two methods of cryptanalysis of the proposed generators are given. Finally, three new classes of modified alternating
–generators, designed especially to be more secure, are presented. 相似文献
11.
Congruence properties in congruence permutable and in ideal determined varieties, with applications.
C. J. van. Alten 《Algebra Universalis》2005,53(4):433-449
We define a weak version of EDPC (equationally definable principal congruences), called EDPC*, that is shown to be preserved under varietal closure in congruence permutable varieties. We show that if
is a congruence permutable variety generated by a class
then
has EDPC iff
has EDPC* iff
has EDPC*. An equational condition is given which, if satisfied by
implies that
has the CEP (congruence extension property). Similar results are proved for ideal determined varieties. These results are applied to the variety of residuated lattices, with examples.Received January 15, 2004; accepted in final form October 8, 2004. 相似文献
12.
Bhagwati Prashad Duggal Slavisa V. Djordjević 《Mediterranean Journal of Mathematics》2005,2(4):395-406
It is known that if
and
are Banach space operators with the single-valued extension property, SVEP, then the matrix operator
has SVEP for every operator
and hence obeys Browder’s theorem. This paper considers conditions on operators A, B, and M0 ensuring Weyls theorem for operators MC. 相似文献
13.
The main result in Cossidente and Siciliano (J. Number Theory, Vol. 99 (2003) pp. 373–382) states that if a Singer subgroup of PGL(3,q) is an automorphism group of a projective, geometric
irreducible, non-singular plane algebraic curve
then either
or
. In the former case
is projectively equivalent to the curve
with equation Xq+1Y+Yq+1+X=0 studied by Pellikaan. Furthermore, the curve
has a very nice property from Finite Geometry point of view: apart from the three distinguished points fixed by the Singer
subgroup, the set of its
-rational points can be partitioned into finite projective planes
. In this paper, the full automorphism group of such curves is determined. It turns out that
is the normalizer of a Singer group in
. 相似文献
14.
Alina Iacob 《Archiv der Mathematik》2005,85(4):335-344
We consider two pairs of complete hereditary cotorsion theories
on the category of left R-modules, such that
We prove that for any left R-modules M, N and for any n ≧ 1, the generalized Tate cohomology modules
can be computed either using a left
of M and a left
of M or using a right
a right
of N.
Received: 17 December 2004 相似文献
15.
16.
Takao Watanabe 《Archiv der Mathematik》2006,87(4):320-329
Let V be a vector space over a global field k, g an element of the adele group
and Hg the twisted height defined on the k-subspaces of V . We show that the square root of the generalized Hermite-Rankin constant for k gives the best upper bound of the function
, where
runs over all m-dimensional k-subspaces of V and
runs over all n-dimensional k-subspaces of
.
Received: 17 June 2005 相似文献
17.
Humio Ichimura 《Archiv der Mathematik》2006,87(6):539-545
Let p be an odd prime number and
. Let
be the classical Stickelberger ideal of the group ring
. Iwasawa [6] proved that the index
equals the relative class number
of
. In [2], [4] we defined for each subgroup H of G a Stickelberger ideal
of
, and studied some of its properties. In this note, we prove that when
mod 4 and [G : H] = 2, the index
equals the quotient
.
Received: 13 January 2006 相似文献
18.
M. A. Bastos C. A. Fernandes Yu. I. Karlovich 《Integral Equations and Operator Theory》2006,55(1):19-67
We establish a symbol calculus for the C*-subalgebra
of
generated by the operators of multiplication by slowly oscillating and piecewise continuous functions and the operators
where
is the Cauchy singular integral operator and
The C*-algebra
is invariant under the transformations
where Uz is the rotation operator
Using the localtrajectory method, which is a natural generalization of the Allan-Douglas local principle to nonlocal type
operators, we construct symbol calculi and establish Fredholm criteria for the C*-algebra
generated by the operators
and
for the C*-algebra
generated by the operators
and
and for the C*-algebra
generated by the algebras
and
The C*-algebra
can be considered as an algebra of convolution type operators with piecewise slowly oscillating coefficients and shifts acting
freely. 相似文献
19.
Christoph Scheven 《Calculus of Variations and Partial Differential Equations》2006,25(4):409-429
Let
and
be Riemannian manifolds,
compact without boundary. We develop a definition of a variationally harmonic map
with respect to a general boundary condition of the kind u(x)∊Γ(x) for a.e.
, where
are given submanifolds depending smoothly on x. The given definition of variationally harmonic maps is slightly more restrictive, but also more natural than the usual definition
of stationary harmonic maps. After deducing an energy monotonicity formula, it is possible to derive a regularity theory for
variationally harmonic maps with general boundary data. The results include full boundary regularity in the Dirichlet boundary
case Γ(x) = {g(x)} for
if
does not carry a nonconstant harmonic 2-sphere. 相似文献
20.
Simon M. Goberstein 《Algebra Universalis》2005,53(4):407-432
A partial automorphism of a semigroup S is any isomorphism between its subsemigroups, and the set all partial automorphisms of S with respect to composition is an inverse monoid called the partial automorphism monoid of S. Two semigroups are said to be
if their partial automorphism monoids are isomorphic. A class
of semigroups is called
if it contains every semigroup
to some semigroup from
Although the class of all inverse semigroups is not
we prove that the class of inverse semigroups, in which no maximal isolated subgroup is a direct product of an involution-free periodic group and the two-element cyclic group, is
It follows that the class of all combinatorial inverse semigroups (those with no nontrivial subgroups) is
A semigroup is called
if it is isomorphic or antiisomorphic to any semigroup that is
to it. We show that combinatorial inverse semigroups which are either shortly connected [5] or quasi-archimedean [10] are
To Ralph McKenzieReceived April 15, 2004; accepted in final form October 7, 2004. 相似文献