共查询到20条相似文献,搜索用时 31 毫秒
1.
D. M. Smirnov 《Algebra and Logic》2003,42(2):136-146
We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form
. A criterion is given determining whether a cyclic variety
is interpretable in
. For a permutation
without fixed elements, it is stated that a set of primes
for which
is interpretable in
in the lattice
is finite. It is also proved that for distinct primes
, the Helly number of a type
in
coincides with dimension of the dual type
and equals
. 相似文献
2.
A. M. Protopopov 《Algebra and Logic》2003,42(4):279-286
We study into the question of whether a partial order can be induced from a partially right-ordered group
onto a space
of right cosets of
w.r.t. some subgroup
of
. Examples are constructed showing that the condition of being convex for
in
is insufficient for this. A necessary and sufficient condition (in terms of a subgroup
and a positive cone
of
) is specified under which an order of
can be induced onto
. Sufficient conditions are also given. We establish properties of the class of partially right-ordered groups
for which
is partially ordered for every convex subgroup
, and properties of the class of groups such that
is partially ordered for every partial right order
on
and every subgroup
that is convex under
. 相似文献
3.
We prove a theorem on possible test rank values for groups of the form
. It is shown that test rank of a free polynilpotent group
is equal to
or
, for any
and every collection
of classes. Moreover,
for
and
. 相似文献
4.
V. Yu. Popov 《Algebra and Logic》2001,40(1):55-66
It is proved that there exists an infinite sequence of finitely based semigroup varieties
such that, for all i, an equational theory for
and for the class
of all finite semigroups in
is undecidable while an equational theory for
and for the class
of all finite semigroups in
is decidable. An infinite sequence of finitely based semigroup varieties
is constructed so that, for all i, an equational theory for
and for the class
of all finite semigroups in
is decidable whicle an equational theory for
and for the class
of all finite semigroups in
is not. 相似文献
5.
D. I. Panyushev 《Functional Analysis and Its Applications》2004,38(1):38-44
Let
be a reductive Lie algebra over an algebraically closed field of characteristic zero and
an arbitrary
-grading. We consider the variety
, which is called the commuting variety associated with the
-grading. Earlier it was proved by the author that
is irreducible, if the
-grading is of maximal rank. Now we show that
is irreducible for
and (E6,F4). In the case of symmetric pairs of rank one, we show that the number of irreducible components of
is equal to that of nonzero non--regular nilpotent G
0-orbits in
. We also discuss a general problem of the irreducibility of commuting varieties. 相似文献
6.
An automorphism
of a group X is said to be quadratic if there exist integers
and
such that
for any
. If
is a Frobenius group then an element
is said to be quadratic if
induces, by conjugation in the core of
, a quadratic automorphism. By definition, a group H acts on a group F freely if
for
and
only with
or
. It is proved that a Frobenius group generated by two quadratic elements is finite and its core is commutative. In particular, any Frobenius group generated by two elements of order at most 4 is finite. Also we argue that a Frobenius group with finitely generated soluble core is finite. The results mentioned are used to show that a group
acting freely on an Abelian group is finite if it is generated by elements of order 3, and the order of a product of every two elements of order 3 in
is finite. 相似文献
7.
V. G. Safonov 《Algebra and Logic》2003,42(6):407-412
It is proved that all proper totally local subformations of a non one-generated totally local formation
of finite groups are one-generated iff
coincides with a formation
of all soluble -groups, where ||=2. 相似文献
8.
Judita Lihová 《Czechoslovak Mathematical Journal》1999,49(1):67-80
Let
be a partially ordered set, Int
the system of all (nonempty) intervals of
partially ordered by the set-theoretical inclusion
. We are interested in partially ordered sets
with Int
isomorphic to Int
. We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If
is a directed partially ordered set, the only
with Int
isomorphic to Int
are
corresponding to direct decompositions
of
(
denotes the dual of
. The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11]. 相似文献
9.
A. I. Budkin 《Algebra and Logic》2000,39(6):363-369
Let
be a class of all groups G for which the normal closure (x)
G
of every element x belongs to a class
.
is a Levi class generated by
. Let
and
0 be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that
and
, and so
and
. It is shown that quasivarieties
and
are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that
is closed under free products if so is
. 相似文献
10.
P. M. G. Manchón 《Czechoslovak Mathematical Journal》2002,52(1):1-9
In this paper we study the hypersurfaces
given as connected compact regular fibers of a differentiable map
, in the cases in which
has finitely many nondegenerate critical points in the unbounded component of
. 相似文献
11.
Florence Merlevède Magda Peligrad Sergey Utev 《Journal of Theoretical Probability》1997,10(3):681-693
In this paper we study the behavior of sums of a linear process
associated to a strictly stationary sequence
with values in a real separable Hilbert space and
are linear operators from H to H. One of the results is that
satisfies the CLT provided
are i.i.d. centered having finite second moments and
. We shall provide an example which shows that the condition on the operators is essentially sharp. Extensions of this result are given for sequences of weak dependent random variables
under minimal conditions. 相似文献
12.
V. F. Murzina 《Algebra and Logic》2003,42(3):181-191
A modal logic associated with the
-spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered
-frames, and the class of all strictly linearly ordered
-frames. 相似文献
13.
Let
be an entire function of finite type with respect to finite order
and let
be a subset of an open cone in a certain n-dimensional subspace
(the smaller
, the sparser
). We assume that this cone contains a ray
0} \right\}$$
" align="middle" border="0">
. It is shown that the radial indicator
of
at any point
may be evaluated in terms of function values at points of the discrete subset
. Moreover, if
tends to zero fast enough as
over
, then this function vanishes identically. To prove these results, a special approximation technique is developed. In the last part of the paper, it is proved that, under certain conditions on
and
, which are close to exact conditions, the function
bounded on
is bounded on the ray. 相似文献
14.
V. Yu. Popov 《Algebra and Logic》2005,44(1):46-54
There exist independently based semigroup varieties
and
,
, such that
has no cover in the interval [
;
].Translated from Algebra i Logika, Vol. 44, No. 1, pp. 81–96, January–February, 2005. 相似文献
15.
16.
Sjoerd E. Crans 《K-Theory》2003,28(1):39-105
Let
be n-dimensional teisi, i.e., higher-dimensional Gray-categorical structures. The following questions can be asked. Does a left q-transfor
, i.e., a functor 2
q
, induce a right q-transfor
, i.e., a functor
More generally, does a functor
induce a functor
For k-arrows c and
whose (k – 1)-sources and targets agree, does a q-transfor
induce a q-transfor
, for appropriate k-arrows
For k-arrows c and
whose (k – 1)-sources and targets agree, does a q-transfor
induce a (q + k + 1)-transfor
, for appropriate k-arrows
I give answers to these questions in the cases where n-dimensional teisi and their tensor product have been defined, i.e., for n 3, and for n up to 5 in some cases that do not need all data and axioms of n-dimensional teisi.I apply the above to compositions in teisi, in particular to braidings and syllepses. One of the results is that a braiding on a monoidal 2-category induces a pseudo-natural transformation
, where
is the reverse of ? –, which is almost, but not quite, equal to – ?. However, in higher dimensions need not be reversible, so a braiding on a higher-dimensional tas can not be seen as a transfor A B B A. 相似文献
17.
N. Yu. Galanova 《Algebra and Logic》2003,42(1):14-19
Let
be a field of formal power series with real coefficients, whose supports are well ordered subsets of an Abelian group
of cardinality strictly less than
. For
, we give criteria of a section being symmetric and of a symmetric section being Dedekind. It is proved that an
-saturated non-standard real line
is isomorphic to some field of the form
. For
, some consequences are inferred regarding symmetric sections, and the cofinality of banks of the sections. 相似文献
18.
19.
We prove the absolute continuity of the spectrum of the Schrödinger operator in
,
, with periodic (with a common period lattice
) scalar
and vector
potentials for which either
,
, or the Fourier series of the vector potential
converges absolutely,
, where
is an elementary cell of the lattice
,
for
, and
for
, and the value of
is sufficiently small, where
and
otherwise,
, and
. 相似文献
20.
We report results of investigations concerning the role of representations of
in the theory of genus-two hyperelliptic functions. We discuss the role of these representations in the classical theory as well as introduce a family of new, naturally covariant
functions. 相似文献