Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

On the representation type of one point extensions of tame concealed algebras

Letk be an algebraically closed field and a finite dimensionalk-algebra. Letq be the quadratic Tits form associated with . If is tame we show thatq is weakly semipositive. Let be a one-point extension of a tame concealed algebra, then is tame iffq is weakly semipositive.     

Folgenräume als universelle Generatoren für Klassen lokalkonvexer Räume

Motivated by the known characterizations of equicontinuity in the dual of a Schwartz space, a nuclear space, or a strongly nuclear space,we introduce the concepts of a -sequence and of a ()-sequence in the dual of an arbitrary lcs [E,], and we investigate the corresponding topologies and ₍₎ on E of uniform convergence on these sequences. Here is a normal sequence space such that . Under favorable enough conditions on , including the nuclearity of its normal topology , [,] acts as a universal generator for those lcs [E,] which satisfy =. Under somewhat weaker assumptions on , [,₍₎] is a universal generator for the lcs [E,] with =₍₎. These results cover e.g. the cases of -nuclear spaces and of nuclear spaces known from the recent literature. As an application we show that every non-trivial ultrabornological lcs is representable as an inductive limit of isomorphic copies of [, ( , )], where is any nuclear power series space of infinite type with stable exponent sequence.     

Isolation theorem for forms corresponding to purely real algebraic fields

Let M be the complete module of a purely real algebraic field of degree n 3, let be a lattice in this module, and let F(X) be its form. We use to denote any lattice for which we have = , where is a nondiagonal matrix for which – I . With each lattice we can associate a factorizable formF (X) in a natural manner. We denote the complete set of forms corresponding to the set {} by {F (X)}. It is proved that for any > 0 there exists an > 0 such that for eachF (X) {F } we have |F (X₀₎| for some integer vector X₀ 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 185, pp. 5–12, 1990.In conclusion, the author would like to express his deep gratitude to B. F. Skubenko for stating the problem and for his constant attention.     

Isomorphism of one-place functors Ext

Let be an associative ring with identity. One considers the category of left (unitary) -modules m and also the contravariant and the covariant functors Ext ¹ ( ,A) and Ext ¹ (A, ): M_z M. One proves the following results: (1) If the homomorphism of -modules A B induces an isomorphism Ext ¹ ( ,A)Ext ¹ ( ,B), then there exist injective -modules J₁ and J₂ such that AJ₁BJ₂. (2) Every functorial morphism Ext ¹ ( ,A)Ext ¹ ( ,B) induces a certain homomorphism of -modules AB. One also obtains a dual result.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 71–74, 1981.     

Large indecomposables over representation-infinite orders and algebras

Let R be a complete discrete valuation domain with quotient field K, and let be an R-order in a semisimple K-algebra. Butler, Campbell, and Kovács have shown that R-free -modules decompose into -lattices when is representation-finite. Using the theory of ladder functors, we prove the converse by constructing indecomposable R-free -modules of infinite rank if is not representation-finite.Received: 23 March 2004     

Stabilization theorem for the Milnor K2-functor

Let be an associative ring. For every natural number n there is a canonical homomorphism _n: K_2,n()K₂(), where K₂ is the Milnor functor and K_2,n() the associated unstable K-group. Dennis and Vasershtein have proved that if n is larger than the stable rank of , _n is an epimorphism. It is proved in the article that if n – 1 is greater than the stable rank of , the homomorphism _n is an isomorphism.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 64, pp. 131–152, 1976.     

The Green relations approach to congruences on completely regular semigroups

On the congruence lattice (2(5) of a completely regular semigroup S the following mappings are considered _p: P and _p: VP, whereP is any of the Green relationsH, L, R orD. The equivalence relationsP andP ^V induced by these maps represent the main object of study in the paper. The former is a complete -congruence whereas the latter is a complete congruence onC(S). In particularH ,H ^V,L ^V,R ^V coincide with the kernel, trace, left trace and right trace relations onC(S), respectively. All essential properties known for the latter relations carry over to the new relationsP andP ^V. In addition, some interesting interplays of these provide for more richness in the theory of congruences on completely regular than is the case for the kernel-trace approach to congruences on regular semigroups.     

A family of noetherian rings with their finite length modules under control

We investigate the category mod of finite length modules over the ring =A _k , where is a V-ring, i.e. a ring for which every simple module is injective, k a subfield of its centre and A an elementary k-algebra. Each simple module E _j gives rise to a quasiprogenerator P _j = A E _j . By a result of K. Fuller, P _j induces a category equivalence from which we deduce that mod _j mod EndP _j . As a consequence we can(1) construct for each elementary k-algebra A over a finite field k a nonartinian noetherian ring such that modA mod(2) find twisted versions of algebras of wild representation type such that itself is of finite or tame representation type (in mod)(3) describe for certain rings the minimal almost split morphisms in mod and observe that almost all of these maps are not almost split in Mod.     

Special Fibres and Critical Locus for a Pencil of Plane Curve Singularities

We will analyze the relationships between the special fibres of a pencil of plane curve singularities and the Jacobian curve J of (defined by the zero locus of the Jacobian determinant for any fixed basis ). From the results, we find decompositions of J (and of any special fibre of the pencil) in terms of the minimal resolution of . Using these decompositions and the topological type of any generic pair of curves of , we obtain some topological information about J. More precise decompositions for J can be deduced from the minimal embedded resolution of any pair of fibres (not necessarily generic) or from the minimal embedded resolution of all the special fibres.     

Λ0-Nuclear Operators and Λ0-Nuclear Spaces in p-adic Analysis

For a Köthe sequence space, the classes of ₀-nuclear spaces and spaces with the ₀-property are introduced and studied and the relation between them is investigated. Also, we show that, for ₀c ₀, these classes of spaces are in general different from the corresponding ones for ₀=c ₀, which have been extensively studied in the non-archimedean literature (see, for example, [1]–[6]).     

Differentiation for Orders and Artinian Rings

The method of differentiation for the category -lat of lattices over an order will be extended to integral almost Abelian categories A instead of -lat. In particular, this yields a differentiation for finitely generated left modules over left Artinian rings.     

Small potential corrections for the discrete eigenvalues of the Sturm-Liouville problem

Summary The inverse Sturm-Liouville problem is the problem of finding a good approximation of a potential functionq such that the eigenvalue problem (^*)–y +qy=y holds on (0, ) fory(0)=y()=0 and a set of given eigenvalues . Since this problem has to be solved numerically by discretization and since the higher discrete eigenvalues strongly deviate from the corresponding Sturm-Liouville eigenvalues , asymptotic corrections for the 's serve to get better estimates forq. Let _k (1kn) be the first eigenvalues of (^*), let _k be the corresponding discrete eigenvalues obtained by the finite element method for (^*) and let _{k k} for the special caseq=0. Then, starting from an asymptotic correction technique proposed by Paine, de Hoog and Anderssen, new estimates for the errors of the corrected discrete eigenvalues are obtained and confirm and improve the knownO(kh ²)(h:=/(n+1)) behaviour. The estimates are based on new Sobolev inequalities and on Fourier analysis and it is shown that for 4+c ₂ k(n+1)/2, wherec ₁ andc ₂ are constants depending onq which tend to 0 for vanishingq.     

Symmetric balanced ternary designs with ϱ1 = 1 or 2

Summary We prove the following two non-existence theorems for symmetric balanced ternary designs. If ₁ = 1 and 0 (mod 4) then eitherV = + 1 or 4₂ – + 1 is a square and (4₂ – + 1) divides ² – 1. If ₁ = 2 thenV = ((m + 1)/2) ² + 2,K = (m ² + 7)/4 and = ((m – 1)/2)² + 1 wherem 3 (mod 4). An example belonging to the latter series withV = 18 is constructed.     

Waterman classes and triangular sums of double Fourier series

Let ^a ={nln^a (n+1)}, where a R. The following results are established: For every &fnof ^a BV ((- ]²), the triangular partial sums of its Fourier series are uniformly bounded if a = -1, and converge everywhere if a < -1.For every a>0, there exists &fnof ^a BV ((- ]²) such that the triangular partial sums of its Fourier series are unbounded at the point (0;0).     

Perversité et variation

Let S be the spectrum of a strictly henselian discrete valuation ring with residue characteristic p and =/, where is a prime number p and is an integer 1. For a scheme X of finite type over S and smooth over S along the special fiber X _s outside a closed point x, we study the vanishing cycles complex R() and the tame variation , for in the tame inertia group I _t . In particular, we show that if X is regular, flat over S of relative dimension n1, and is a topological generator of I _t , then R ^q () _x =0 for qn and is an isomorphism. Mathematics Subject Classification (2000):14F20, 14D05, 14D06     

Multipliers on the Set of Rademacher Series in Symmetric Spaces

Let E be a symmetric space on [0,1]. Let (,E) be the space of measurable functions f such that fg E for every almost everywhere convergent series g=b _n r _n E, where (r _n) are the Rademacher functions. It was shown that, for a broad class of spaces E, the space (,E) is not order isomorphic to a symmetric space, and we study the conditions under which such an isomorphism exists. We give conditions on E for (,E) to be order isomorphic to L . This includes some classes of Lorentz and Marcinkiewicz spaces. We also study the conditions under which (,E) is order isomorphic to a symmetric space that differs from L . The answer is positive for the Orlicz spaces E=L _q with _q(t)=exp|t|^q-1 and 0相似文献   

Triangular extension identities

It is shown that if the - -bimodule M generates a category of - -bimodules, then the ideal of identities of the triangular extension of the direct sum of algebras and by means of the bimodule M is equal to the product of ideals of identities of the algebras and .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 132, pp. 5–11, 1983.     

Subgroups of the full linear group over a semilocal ring

Let be a semilocal ring (a factor ring with respect to the Jacobson-Artin radical) for which the residue field C/m of its center C with respect to each maximal idealmC contains no fewer than seven elements. The structure of subgroups H in the full linear group GL(n, ) containing the group of diagonal matrices is considered. The main theorem: for any subgroup H there is a uniquely determined D-net of ideals such that G()HN(), whereN() is the normalizer of the D-net subgroup . A transparent classification of subgroups GL(n, ) normalizable by diagonal matrices is thus obtained. Further, the factor groupN()/G() is studied.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 75, pp. 32–34, 1978.     

Subnormalizer of net subgroups in the general linear group over a ring

Let be a commutative ring in which the elements of the form ²–1, * generate the unit ideal and assume that a is any D-net of ideals of of order n. It is shown that the normalizerN() of the net subgroup G() (RZhMat, 1977, 2A280) coincides with its subnormalizer in GL(n, ). For noncommutative the corresponding result is obtained under the assumptions: 1) in the elements of the form — 1, where runs through all invertible elements of the center of , generate the unit ideal, and 2) the subgroup G() contains the group of block diagonal matrices with blocks of order 2.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 14–19, 1982.