共查询到20条相似文献,搜索用时 421 毫秒
1.
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
. 相似文献
2.
N. Ya. Medvedev 《Algebra and Logic》2005,44(3):197-204
A sufficient condition is given under which factors of a system of normal convex subgroups of a linearly ordered (l.o.) group are Abelian. Also, a sufficient condition is specified subject to which factors of a system of normal convex subgroups of an l.o. group are contained in a group variety
. In particular, for every soluble l.o. group G of solubility index n, n ⩾ 2, factors of a system of normal convex subgroups are soluble l.o. groups of solubility index at most n − 1. It is proved that the variety
of all lattice-ordered groups, approximable by linearly ordered groups, does not coincide with a variety generated by all soluble l.o. groups. It is shown that if
is any o-approximable variety of l-groups, and if every identity in the group signature is not identically true in
, then
contains free l.o. groups.Supported by FP “Universities of Russia” grant UR. 04. 01. 001.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 355–367, May–June, 2005. 相似文献
3.
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. 相似文献
4.
A. I. Budkin 《Algebra and Logic》2003,42(2):92-104
Assume that a quasivariety
of groups contains a non-Abelian free metabelian group and a non-Abelian free nilpotent group of class 2. It is proved that the lattice of quasivarieties contained in
is infinite and non-modular. 相似文献
5.
The 3-local geometry
of the sporadic simple group Co1 has been known to have a cover
with a flag-transitive automorphism group which is a nonsplit extension of an elementary Abelian 2-group of rank 24 (the Leech lattice modulo 2) by Co1. It was conjectured that
was simply connected. We disprove this conjecture by constructing a double cover
of
. The automorphism group of
is of the shape
. However, it is not isomorphic to the involution centralizer of the Monster sporadic simple group. 相似文献
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.
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. 相似文献
8.
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
. 相似文献
9.
A. G. Pinus 《Algebra and Logic》2005,44(4):264-269
In issues bearing on the structure of universal algebras
, derived structures, such as automorphism groups Aut
, subalgebra lattices Sub
, congruence lattices Con
, etc., play an important part. On the other hand, in studying universal algebras by the means of model theory, of crucial importance is the question asking which elements of the derived structures under examination are expressible by one or other formulas in the elementary language. Problems concerning the interrelationship of algebras and their derived structures are treated for subalgebras of universal algebras.Supported by RFBR grant No. 02-01-00258.__________Translated from Algebra i Logika, Vol. 44, No. 4, pp. 474–482, July–August, 2005. 相似文献
10.
Graeme West 《Integral Equations and Operator Theory》1995,22(3):352-359
Suppose
is a von Neumann algebra on a Hilbert space
and
is any ideal in
. We determine a topology
on
, for which the members of
that are
to norm continuous are exactly those in
; and a bornology
on
such that the elements of
which map the unit ball to an element of
, equivalently those members of
that are norm to
bounded, are exactly those in
. This is achieved via analogues of the notions of injectivity and surjectivity in the theory of operator ideals on Banach spaces. 相似文献
11.
We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let
denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let
and
denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of
with respect to p. By a hyper-duality of
, we mean an automorphism of
such that
for all
; and
is a duality of
.
is said to be hyper-self-dual whenever there exists a hyper-duality of
. We say that
is strongly hyper-self-dual whenever there exists a hyper-duality of
which can be expressed as conjugation by an invertible element of
. We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra. 相似文献
12.
Takuya Hara 《Integral Equations and Operator Theory》1992,15(4):551-567
Let
be a Hilbert space. A continuous positive operatorT on
uniquely determines a Hilbert space
which is continuously imbedded in
and for which
with the canonical imbedding
. A Kreîn space version of this result, however, is not valid in general. This paper provides a necessary and sufficient condition for that a continuous selfadjoint operatorT uniquely determines a Kreîn space (
) which is continuously imbedded in
and for which
with the canonical imbedding
. 相似文献
13.
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
. 相似文献
14.
Avishay Vaknin 《K-Theory》2001,24(1):57-68
For a small triangulated category
, Bass's K
1 group
is described, and the theorem of the heart is proved. We define the determinant map from
to Neeman's
, and we compute this map when
is the derived category of an Abelian category
. 相似文献
15.
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. 相似文献
16.
17.
We show that every computable relation on a computable Boolean algebra
is either definable by a quantifier-free formula with constants from
(in which case it is obviously intrinsically computable) or has infinite degree spectrum. 相似文献
18.
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
. 相似文献
19.
Let
be a hereditary torsion theory for the category
-mod of unital left
-modules over an associative ring
with an identity element. The purpose of this note is to prove that if the associated Gabriel filter
consists of finitely presented left ideals, then every module has a
-injective cover and if
contains a cofinal subset of finitely presented left ideals, then every module has a
-torsionfree
-injective cover. The methods used working with pure submodules contained in ``large" submodules also allow to unify the proofs of some previously known results. 相似文献
20.
Alexander A. Ivanov 《Journal of Algebraic Combinatorics》1992,1(1):45-69
The sporadic simple group F
2 known as Fischer's Baby Monster acts flag-transitively on a rank 5 P-geometry
. P-geometries are geometries with string diagrams, all of whose nonempty edges except one are projective planes of order 2 and one terminal edge is the geometry of the Petersen graph. Let
be a flag-transitive P-geometry of rank 5. Suppose that each proper residue of
is isomorphic to the corresponding residue in
. We show that in this case
is isomorphic to
. This result realizes a step in classification of the flag-transitive P-geometries and also plays an important role in the characterization of the Fischer–Griess Monster in terms of its 2-local parabolic geometry. 相似文献