Tilings of the square with similar rectangels

LetR(u) denote the rectangle of sidesu and 1. We prove that the square can be decomposed into finitely many rectangles similar toR(u) if and only ifu is algebraic and each of its conjugates lies in the open half-plane Re(z)>0.     

Cayley graphs having nice enumerations

LetW be the Cayley graph of an infinite finitely generated group andM be a finite cover ofW. It is proved in the paper thatTh(M) is finitely axiomatizable overW ifW has a nice enumeration (in the sense of G. Ahlbrandt and M. Ziegler). A finitely generated free abelian group provides such an example. It is shown that in the non-abelian case the corresponding examples are rather rate. In particular, in the soluble case they must be virtually abelian. We discuss the finite model property for finite covers of Cayley graphs of virtually abelian groups and the existence of nice enumerations for strongly minimal structures in general.     

On Codimension Growth of Finitely Generated Associative Algebras

LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionsc_n(A) ofA. We show that ifAis finitely generated overFthenInv(A)=lim_n→∞ always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.     

Pro-P galois groups of function fields over local fields

For non-archimedean local field K and a prime number p we compute the finitely generated pro-p (closed) subgroups of the absolute Galois group of K(t). In addition, we characterize the finitely generated pro-p groups which occur as the maximal pro-p Galois group of algebraic extensions of K(t) containing a primitive pth root of unity.     

On the Howson Property of HNN-Extensions with Nilpotent Base Group and Amalgamated Free Products of Nilpotent Groups

We give necessary and sufficient conditions under which an amalgamated free product of finitely generated nilpotent groups is a Howson group (that is the intersection of any two finitely generated subgroups is finitely generated). Also we prove that if G = ? t, K | t ^?1 At = B ?, where K is a finitely generated and infinite nilpotent group and A, B non-trivial infinite proper subgroups of K, then G is not a Howson group. The problem of deciding when an ascending HNN-extension of a finitely generated nilpotent group is a Howson group is still open.     

Polaroid operators,SVEP and perturbed Browder,Weyl theorems

A Banach space operatorT ɛB(X) is polaroid,T ɛP, if the isolated points of the spectrum ofT are poles of the resolvent ofT. LetPS denote the class of operators inP which have have SVEP, the single-valued extension property. It is proved that ifT is polynomiallyPS andA ɛB(X) is an algebraic operator which commutes withT, thenf(T+A) satisfies Weyl’s theorem andf(T ^*+A ^*) satisfiesa-Weyl’s theorem for everyf which is holomorphic on a neighbourhood of σ(T+A).     

New classes of parameterized differential Galois groups

This paper is on the inverse parameterized differential Galois problem. We show that surprisingly many groups do not occur as parameterized differential Galois groups over K(x) even when K is algebraically closed. We then combine the method of patching over fields with a suitable version of Galois descent to prove that certain groups do occur as parameterized differential Galois groups over k((t))(x). This class includes linear differential algebraic groups that are generated by finitely many unipotent elements and also semisimple connected linear algebraic groups.

     

On equivalence of number fields

LetK be a field,G a finite group.G is calledK-admissible iff there exists a finite dimensionalK-central division algebraD which is a crossed product forG. Now letK andL be two finite extensions of the rationalsQ such that for every finite groupG, G isK-admissible if and only ifG isL-admissible. ThenK andL have the same degree and the same normal closure overQ. An erratum to this article is available at .     

On the chromaticity of complete multipartite graphs with certain edges added

Let P(G,λ) be the chromatic polynomial of a graph G. A graph G is chromatically unique if for any graph H, P(H,λ)=P(G,λ) implies H is isomorphic to G. For integers k≥0, t≥2, denote by K((t−1)×p,p+k) the complete t-partite graph that has t−1 partite sets of size p and one partite set of size p+k. Let K(s,t,p,k) be the set of graphs obtained from K((t−1)×p,p+k) by adding a set S of s edges to the partite set of size p+k such that 〈S〉 is bipartite. If s=1, denote the only graph in K(s,t,p,k) by K⁺((t−1)×p,p+k). In this paper, we shall prove that for k=0,1 and p+k≥s+2, each graph G∈K(s,t,p,k) is chromatically unique if and only if 〈S〉 is a chromatically unique graph that has no cut-vertex. As a direct consequence, the graph K⁺((t−1)×p,p+k) is chromatically unique for k=0,1 and p+k≥3.     

Ideals of identities of representations of nilpotent lie algebras

Let L be a Lie algebra, nilpotent of class 2, over an infinite field K, and suppose that the centre C of L is one dimensional; such Lie algebras are called Heisenberg algebras. Let ρ:L→hom _KV be a finite dimensional representation of the Heisenberg algebra L such that ρ(C) contains non-singular linear transformations of V, and denote l(ρ) the ideal of identities for the representation ρ. We prove that the ideals of identities of representations containing I(ρ) and generated by multilinear polynomials satisfy the ACC. Let sl ₂(L) be the Lie algebra of the traceless 2×2 matrices over K, and suppose the characteristic of K equals 2. As a corollary we obtain that the ideals of identities of representations of Lie algebras containing that of the regular representation of sl ₂(K) and generated by multilinear polynomials, are finitely based. In addition we show that one cannot simply dispense with the condition of multilinearity. Namely, we show that the ACC is violated for the ideals of representations of Lie algebras (over an infinite field of characteristic 2) that contain the identities of the regular representation of sl ₂(K).     

An extremal set theoretical characterization of some steiner systems

Letn, k, t be integers,n>k>t≧0, and letm(n, k, t) denote the maximum number of sets, in a family ofk-subsets of ann-set, no two of which intersect in exactlyt elements. The problem of determiningm(n, k, t) was raised by Erdős in 1975. In the present paper we prove that ifk≦2t+1 andk−t is a prime, thenm(n, k, t)≦( _t ⁿ )( _k ^2k-t-1 )/( _t ^2k-t-1 ). Moreover, equality holds if and only if an (n, 2k−t−1,t)-Steiner system exists. The proof uses a linear algebraic approach.     

Taylor series and divisibility

LetA be an augmentedK-algebra; defineT:A →A ?k _kA byT(a)=1?a ?a?1,a ∈A. We prove, under some conditions, thatg is in the subalgebraK[f] ofA generated byf if and only ifT(g) is in the principal ideal generated byT(f) inA?k _kA. WhenA=K[[X]],T(f) is a multiple ofT(X) if and only iff belongs to the ringL obtained by localizingK[X] at (X).     

On the codimension of the image of a derivation in a communicative field

Let δ be a derivation in a field K of characteristic 0, with fixed field k. We show that, if K/k is finitely generated, then the codimension, as k-vector space, of K δ + k in K is infinite, while in the infinitely generated case, the said codimension can be any finite non-negative integer.     

Decomposability and embeddability of discretely Henselian division algebras

LetF be a discretely Henselian field of rank one, with residue fieldk a number field, and letD/F be anF-division algebra. We conduct an exhaustive study of the decomposability of an arbitraryD. Specifically, we prove the following:D has a semiramified (SR)F-division subalgebra if and only ifD has a totally ramified (TR) subfield. However, there may be TR subfields not contained in any SR subalgebra. IfD has prime-power index, thenD is decomposable if and only ifD properly contains a SR division subalgebra. Equivalently,D has a decomposable Sylow factor if and only if ii(D ^⊗n )≠1/n i(D) for somen dividing the period ofD, that is, if and only if the index fails to mimic the behavior of the period ofD. There exists indecomposableD with prime-power periodp ² and indexp ³. Every proper division subalgebra ofD is indecomposable. Conversely, every indecomposableF-division algebra ofp-power index embeds properly in someD ofp-power index if and only ifk does not have a certain strengthened form of class field theory’s Special Case. Semiramified division algebras and division algebras of odd index always properly embed. Finally, these results apply to an extent overk(t), and we prove that there exist indecomposablek(t)-division algebras of periodp ² and indexp ³, solving an open problem of Saltman. Dedicated to the memory of Amitsur Research supported in part by NSF Grant DMS-9100148.     

Existentially complete nilpotent groups

Letn be a positive integer, letK _n denote the theory of groups nilpotent of class at mostn, and letK _n ⁺ denote the theory of torsion-free groups nilpotent of class at mostn. We show that ifn≧2 then neitherK _n norK _n ⁺ has a model companion. ForK _n we obtain the stronger result that the class of finitely generic models is disjoint from the class of infinitely generic models. We also give some other results about existentially complete nilpotent groups. Dedicated to the Memory of Abraham Robinson.     

Extreme operator-valued continuous maps

Let ℒ(H) denote the space of operators on a Hilbert spaceH. We show that the extreme points of the unit ball of the space of continuous functionsC(K, ℒ(H)) (K-compact Hausdorff) are precisely the functions with extremal values. We show also that these extreme points are (a) strongly exposed if and only if dimH<∞ and cardK<∞, (b) exposed if and only ifH is separable andK carries a strictly positive measure.     

Extended Centres of Finitely Generated Prime Algebras

Let K be a field and let A be a finitely generated prime K-algebra. We generalize a result of Smith and Zhang, showing that if A is not PI and does not have a locally nilpotent ideal, then the extended centre of A has transcendence degree at most GKdim(A) ?2 over K. As a consequence, we are able to show that if A is a prime K-algebra of quadratic growth, then either the extended centre is algebraic over K or A is PI. Finally, we give an example of a finitely generated non-PI prime K-algebra of GK dimension 2 with a locally nilpotent ideal such that the extended centre has infinite transcendence degree over K.     

Bounds of eigenvalues of a graph

LetG be a simple graph withn vertices. We denote by _i(G) thei-th largest eigenvalue ofG. In this paper, several results are presented concerning bounds on the eigenvalues ofG. In particular, it is shown that –1₂(G)(n–2)/2, and the left hand equality holds if and only ifG is a complete graph with at least two vertices; the right hand equality holds if and only ifn is even andG2K _n/2.     

Gorenstein differential graded algebras

We propose a definition of Gorenstein Differential Graded Algebra. In order to give examples, we introduce the technical notion of Gorenstein morphism. This enables us to prove the following: Theorem:Let A be a noetherian local commutative ring, let L be a bounded complex of finitely generated projective A-modules which is not homotopy equivalent to zero, and let ɛ=Hom _A (L, L)be the endomorphism Differential Graded Algebra of L. Then ɛ is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring with a sequence of elements a=(a ₁,…,a _n )in the maximal ideal, and let K(a)be the Koszul complex of a.Then K(a)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring containing a field k, and let X be a simply connected topological space with dim _k H*(X;k)<∞,which has poincaré duality over k. Let C*(X;A)be the singular cochain Differential Graded Algebra of X with coefficients in A. Then C*(X; A)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. The second of these theorems is a generalization of a result by Avramov and Golod from [4].     

Curves with infinitely many points of fixed degree

Thed-th symmetric productC ^(d) of a curveC defined over a fieldK is closely related to the set of points ofC of degree ≤d. IfK is a number field, then a conjecture of Lang [Hi] proved by Faltings [Fa2] implies ifC ^(d) (K) is an infinite set, then there is aK-rational covering ofC → ℙ _|K ¹ of degree ≤2d. As an application one gets that for fixed fieldK and fixedd there are only finitely many primes ι such that the set of all elliptic curves defined over some extensionsL ofK with [L∶K]≤d and withL-rational isogeny of degree ι is infinite.