共查询到20条相似文献,搜索用时 31 毫秒
1.
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
. 相似文献
2.
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
. 相似文献
3.
If a regular graph of valence
and diameter
has
vertices, then
, which was proved by Moore (cf. [1]). Graphs for which this non-strict inequality turns into an equality are called Moore graphs. Such have an odd girth equal to
. The simplest example of a Moore graph is furnished by a
-triangle. Damerell proved that a Moore graph of valence
has diameter 2. In this case
, the graph is strongly regular with
and
, and the valence
is equal to 3 (Peterson's graph), to 7 (Hoffman–Singleton's graph), or to 57. The first two graphs are of rank 3. Whether a Moore graph of valence
exists is not known; yet, Aschbacher proved that the Moore graph with
will not be a rank 3 graph. We call the Moore graph with
the Aschbacher graph. Cameron showed that such cannot be vertex transitive. Here, we treat subgraphs of fixed points of Moore graph automorphisms and an automorphism group of the hypothetical Aschbacher graph for the case where that group contains an involution. 相似文献
4.
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
. 相似文献
5.
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. 相似文献
6.
D. M. Smirnov 《Algebra and Logic》2005,44(2):109-116
Let be the set of all primes,
the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as
, and
, where AD is a variety of -divisible Abelian groups with unique taking of the pth root p(x) for every p ,
is a variety of
-modules over a normal field
, contained in
, and Gn is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that
, and
are distributive lattices, with
and
where
ub and
ubf are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005. 相似文献
7.
8.
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. 相似文献
9.
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. 相似文献
10.
11.
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
. 相似文献
12.
13.
Vladimir I. Levenshtein 《Designs, Codes and Cryptography》1997,12(2):131-160
A system of (Boolean) functions in
variables is called randomized if the functions preserve the property of their variables to be independent and uniformly distributed random variables. Such a system is referred to as
-resilient if for any substitution of constants for any
variables, where 0 i t, the derived system of functions in
variables will be also randomized. We investigate the problem of finding the maximum number
of functions in
variables of which any
form a
-resilient system. This problem is reduced to the minimization of the size of certain combinatorial designs, which we call split orthogonal arrays. We extend some results of design and coding theory, in particular, a duality in bounding the optimal sizes of codes and designs, in order to obtain upper and lower bounds on
. In some cases, these bounds turn out to be very tight. In particular, for some infinite subsequences of integers
they allow us to prove that
,
,
,
,
. We also find a connection of the problem considered with the construction of unequal-error-protection codes and superimposed codes for multiple access in the Hamming channel. 相似文献
14.
Let
be a computable structure and let R be an additional relation on its domain. We establish a necessary and sufficient condition for the existence of an isomorphic copy
of
such that the image of R
is h-simple (h-immune) relative to
. 相似文献
15.
Factorizations of One-Generated Composition Formations 总被引:2,自引:0,他引:2
A non-empty formation
of finite groups is said to be solubly saturated, or we call it a composition formation, if every finite group G having a normal subgroup N such that
belongs to
. An intersection of all composition formations containing a given group G is denoted cformG. Conditions are described under which
has the form
, where
. 相似文献
16.
Izu Vaisman 《Annals of Global Analysis and Geometry》2001,19(3):209-234
The transversal twistor space of a foliation
of an even codimension is the bundle
of the complex structures of the fibers of the transversalbundle of
. On
there exists a foliation
by covering spaces of the leaves of
, and any Bottconnection of
produces an ordered pair
of transversal almost complex structures of
. The existence of a Bott connection which yields a structure
1 that is projectable to the space of leaves isequivalent to the fact that
is a transversallyprojective foliation. A Bott connection which yields a projectablestructure
2 exists iff
isa transversally projective foliation which satisfies a supplementarycohomological condition, and, in this case,
1is projectable as well.
2 is never integrable.The essential integrability condition of
1 isthe flatness of the transversal projective structure of
. 相似文献
17.
18.
Superlocals in Symmetric and Alternating Groups 总被引:1,自引:0,他引:1
D. O. Revin 《Algebra and Logic》2003,42(3):192-206
On Aschbacher's definition, a subgroup N of a finite group
is called a
-superlocal for a prime
if
. We describe the
-superlocals in symmetric and alternating groups, thereby resolving part way Problem 11.3 in the Kourovka Notebook [3]. 相似文献
19.
20.
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. 相似文献