共查询到20条相似文献,搜索用时 31 毫秒
1.
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
. 相似文献
2.
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
. 相似文献
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.
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. 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
. 相似文献
6.
David A. Richter 《Acta Appl Math》2001,66(1):41-65
Starting from the commutation relations in a complex semisimple Lie algebra
, one may obtain a space
of vector fields on Euclidean space such that
and
are isomorphic when
is equipped with the usual Lie bracket between vector fields and the isotropy subalgebra of
is a Borel subalgebra
. Furthermore, one may adjoin to the vector fields in
multiplication operators to obtain an
-parameter family of distinct presentations of
as spaces of differential operators, where
is the dual of a Cartan subalgebra. Some of these presentations will preserve a space of polynomials on Euclidean space, and, in fact, all the finite-dimensional representations of
can be presented in this way. All of this is carried out explicitly for arbitrary
. In doing so, one discovers there is a Lie group of diffeomorphisms of the unipotent subgroup N complementary to B which acts on these presentations and preserves a certain notion of weight. 相似文献
7.
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
. 相似文献
8.
Dražen Adamović 《Algebras and Representation Theory》2004,7(4):457-469
Let
be the affine Lie algebra associated to the simple finite-dimensional Lie algebra
. We consider the tensor product of the loop
-module
associated to the irreducible finite-dimensional
-module V() and the irreducible highest weight
-module L
k,. Then L
k, can be viewed as an irreducible module for the vertex operator algebra M
k,0. Let A(L
k,) be the corresponding
-bimodule. We prove that if the
-module
is zero, then the
-module
is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras. 相似文献
9.
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. 相似文献
10.
A. A. Dosiev 《Functional Analysis and Its Applications》2003,37(1):61-64
This note deals with homological characteristics of algebras of holomorphic functions of noncommuting variables generated by a finite-dimensional nilpotent Lie algebra
. It is proved that the embedding
of the universal enveloping algebra
of
into its Arens–Michael hull
is an absolute localization in the sense of Taylor provided that
相似文献
11.
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. 相似文献
12.
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. 相似文献
13.
We obtain the decomposition of the tensor space
as a module for
, find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra
=
(
) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of
is given by the number of derangements of a set of 2k elements. 相似文献
14.
15.
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. 相似文献
16.
A. I. Budkin 《Algebra and Logic》2005,44(4):213-218
Let qG be a quasivariety generated by a group G and
be a non-Abelian quasivariety of groups with a finite lattice of subquasivarieties. Suppose
is contained in a quasivariety generated by the following two groups: a free 2-nilpotent group F2(
2) of rank 2 and a free metabelian (i.e., with an Abelian commutant) group F2(
2) of rank 2. It is proved that either
= qF2(
2) or
= qF2(
2) in this instance.__________Translated from Algebra i Logika, Vol. 44, No. 4, pp. 389–398, July–August, 2005. 相似文献
17.
Let
be a Kac–Moody algebra, U(x,y) be a function defined in
, and a be a constant element of
. We prove that the equation U
xy = [[U,a],U
x] has two symmetry hierarchies connected by a gauge transformation. In particular, the well-known Konno equation appears in the case of the algebra
. The corresponding symmetry hierarchies contain the nonlinear Schrödinger and the Heisenberg magnet equations. 相似文献
18.
For semigroups (e
tA
)
t0 of operators on a Hilbert space, we give conditions guaranteeing trace estimates of the polynomial type
0$$
" align="middle" border="0">
, where
denotes the trace class. As an application we present higher order analogues of results due to E.B. Davies, B. Simon and M. van den Berg of the type
0$$
" align="middle" border="0">
, for certain unbounded domains
, e.g. spiny urchin domains. 相似文献
19.
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. 相似文献
20.
We investigate two-parameter quantum groups corresponding to the general linear and special linear Lie algebras
and
. We show that these quantum groups can be realized as Drinfel'd doubles of certain Hopf subalgebras with respect to Hopf pairings. Using the Hopf pairing, we construct a corresponding R-matrix and a quantum Casimir element. We discuss isomorphisms among these quantum groups and connections with multiparameter quantum groups. 相似文献