Symmetric Hamilton cycle decompositions of complete graphs minus a 1‐factor

Let n≥2 be an integer. The complete graph K_n with a 1‐factor F removed has a decomposition into Hamilton cycles if and only if n is even. We show that K_n−F has a decomposition into Hamilton cycles which are symmetric with respect to the 1‐factor F if and only if n≡2, 4 mod 8. We also show that the complete bipartite graph K_{n, n} has a symmetric Hamilton cycle decomposition if and only if n is even, and that if F is a 1‐factor of K_{n, n}, then K_{n, n}−F has a symmetric Hamilton cycle decomposition if and only if n is odd. © 2010 Wiley Periodicals, Inc. J Combin Designs 19:1‐15, 2010     

Size ramsey numbers of stars versus 4‐chromatic graphs

We investigate the asymptotics of the size Ramsey number î(K_1,nF), where K_1,n is the n‐star and F is a fixed graph. The author 11 has recently proved that r?(K_1,n,F)=(1+o(1))n² for any F with chromatic number χ(F)=3. Here we show that r?(K_1,n,F)≤ n²+o(n²), if χ (F) ≥ 4 and conjecture that this is sharp. We prove the case χ(F)=4 of the conjecture, that is, that r?(K_1,n,F)=(4+o(1))n² for any 4‐chromatic graph F. Also, some general lower bounds are obtained. © 2003 Wiley Periodicals, Inc. J Graph Theory 42: 220–233, 2003     

Elements of Small Orders in K2F Ⅱ

In "Elements of small orders in K2(F)" (Algebraic K-Theory, Lecture Notes in Math., 966, 1982, 1-6.), the author investigates elements of the form {a, Φn(a)} in the Milnor group K2F of a field F, where Φn(x) is the n-th cyclotomic polynomial. In this paper, these elements are generalized. Applying the explicit formulas of Rosset and Tate for the transfer homomorphism for K2, the author proves some new results on elements of small orders in K2F.     

Some observations on the oberwolfach problem

Some results concerning decompositions of K_n, K_n - F(where F denotes a 1-factor) and complements of a family of special cubic graphs into 2-factors of the same type are given. In particular, if 2d is a divisor of n, it is shown that K_n - F can be decomposed into 2-factors each of whose components is a cycle of length 2d.     

On the torsion in K_2 of a field

For a field F,let Gn(F) = {{a,Φn(a)} ∈ K2(F) | a,Φn(a) ∈ F*},where Φn(x) is the n-th cyclotomic polynomial.At first,by using Faltings' theorem on Mordell conjecture it is proved that if F is a number field and if n = 4,8,12 is a positive integer having a square factor then Gn(F) is not a subgroup of K2(F),and then by using the results of Manin,Grauert,Samuel and Li on Mordell conjecture theorem for function fields,a similar result is established for function fields over an algebraically closed field.     

Four-Cycle Systems with Two-Regular Leaves

 In this paper we settle the existence problem for 4-cycle systems of K _n −E(F) and of 2K _n −E(F) for all 2-regular subgraphs F. Received: February 5, 1999?Final version received: October 25, 1999     

K-Theory of Algebraic Tori and Toric Varieties

It is proved that under certain conditions the group K _n (X) of a smooth projective variety X over a field F is a natural direct summand of K _n (A) for some separable F-algebra A. As an application we study the K-groups of toric models and toric varieties. A presentation in terms of generators and relations of the groupK ₀(T) for an algebraic torus T is given.     

Plain Bases for Classes of Primitive Recursive Functions

Abasisforaset C of functions on natural numbers is a set F of functions such that C is the closure with respect to substitution of the projection functions and the functions in F. This paper introduces three new bases, comprehending only common functions, for the Grzegorczyk classes ℰⁿ with n ≥ 3. Such results are then applied in order to show that ℰⁿ⁺¹ = K_n for n ≥ 2, where {K_n}_n∈ℕ is the Axt hierarchy.     

The characterization of zero-sum (mod 2) bipartite Ramsey numbers

Let G be a bipartite graph, with k|e(G). The zero-sum bipartite Ramsey number B(G, Z_k) is the smallest integer t such that in every Z_k-coloring of the edges of K_t,t, there is a zero-sum mod k copy of G in K_t,t. In this article we give the first proof that determines B(G, Z₂) for all possible bipartite graphs G. In fact, we prove a much more general result from which B(G, Z₂) can be deduced: Let G be a (not necessarily connected) bipartite graph, which can be embedded in K_n,n, and let F be a field. A function f : E(K_n,n) → F is called G-stable if every copy of G in K_n,n has the same weight (the weight of a copy is the sum of the values of f on its edges). The set of all G-stable functions, denoted by U(G, K_n,n, F) is a linear space, which is called the K_n,n uniformity space of G over F. We determine U(G, K_n,n, F) and its dimension, for all G, n and F. Utilizing this result in the case F = Z₂, we can compute B(G, Z₂), for all bipartite graphs G. © 1998 John Wiley & Sons, Inc. J. Graph Theory 29: 151–166, 1998     

Iterative Methods for Fixed Points of Asymptotically Weakly Contractive Maps

Suppose K is a closed convex nonexpansive retract of a real uniformly smooth Banach space E with P as the nonexpansive retraction. Suppose T : K → E is an asymptotically d-weakly contractive map with sequence {k_n }, k_n ≥ 1, lim k_n = 1 and with F(T) _n int (K) ≠ ø F(T):= {x ∈ K: Tx = x}. Suppose {x _n } is iteratively defined by x _n+1 = P((l ? k_nα_n )x _n +k _n α _n T(PT) ^n?l x_n ), n = 1,2,...,x ₁ ∈ K, where α_n∈ (0,l) satisfies lim α_n = 0 and Σα_n = ∞. It is proved that {x _n } converges strongly to some x ^* ∈ F(T)∩ int K. Furthermore, if K is a closed convex subset of an arbitrary real Banach space and T is, in addition uniformly continuous, with F(T) ≠ ø, it is proved that {x_n } converges strongly to some x ^* ∈ F(T).     

Free subgroups in maximal subgroups of GLn(D)

Let D be a noncommutative finite dimensional F-central division algebra and M a noncommutative maximal subgroup of GL_n(D). It is shown that either M contains a noncyclic free subgroup or M is absolutely irreducible and there exists a unique maximal subfield K of M_n(D) such that K*M, K∕F is Galois with Gal(K∕F)?M∕K* and Gal(K∕F) is a finite simple group.     

Milnor K-Groups and Finite Field Extensions

Let E/F be a finite separable field extension and let m denote the integral part of log₂ [E : F]. David Leep recently showed that if char(F) 2, then for n m the nth power of the fundamental ideal in the Witt ring of E satisfies the equality I ⁿ E = I ^n–m F · I ^m E. The aim of this note is to prove the analogous equality for the Milnor K-groups, that is K _n E = K _n–m F · K _m E for n m. In either of these equalities one may not replace m by m – 1, as examples of certain m-quadratic extensions indicate.     

Sugli zeri delle funzioni zeta di Dedekind

Riassunto Scopo di questo lavoro è dare una formula asintotica per il numero degli zeri di ReF _K(λ+it) e di ImF _K(λ+it), dove eζ _K(8) è la funzione zeta di Dedekind associata al campo numericoK, con 0<t<T e λ numero reale fissato tale che 1−1/n<λ<1 doven è il grado diK.

---

Summary The aim of this paper is to give an asymptotic formula for the number of zeros of ReF _K(λ+it) and ImF _K(λ+it), where andζ _K(8) is the Dedekind zeta function for a number fieldK, with 0<t<T and λ fixed real number such that 1−1/n<λ<1, wheren is the degree ofK.

     

On the Semigroup Algebra of Binary Relations

The semigroup of binary relations on {1,…, n} with the relative product is isomorphic to the semigroup B _n of n × n zero-one matrices with the Boolean matrix product. Over any field F, we prove that the semigroup algebra FB _n contains an ideal K _n of dimension (2 ⁿ  ? 1)², and we construct an explicit isomorphism of K _n with the matrix algebra M _{2 ⁿ ?1}(F).     

The size Ramsey number of trees with bounded degree

The size Ramsey number r?(G, H) of graphs G and H is the smallest integer r? such that there is a graph F with r? edges and if the edge set of F is red-blue colored, there exists either a red copy of G or a blue copy of H in F. This article shows that r?(T_nd, T_nd) ? c · d² · n and c · n³ ? r?(K_n, T_nd) ? c(d)·n³ log n for every tree T_nd on n vertices. and maximal degree at most d and a complete graph K_n on n vertices. A generalization will be given. Probabilistic method is used throught this paper. © 1993 John Wiley Sons, Inc.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

The Ramsey number for a cycle of length five vs. a complete graph of order six

It has been conjectured that r(C_m, K_n) = (m − 1)(n − 1) + 1 for all m ≥ n ≥ 4. This has been proved recently for n = 4 and n = 5. In this paper, we prove that r(C₅, K₆) = 21. This raises the possibility that r(C_m, K₆) = 5m − 4 for all m ≥ 5. © 2000 John Wiley & Sons, Inc. J Graph Theory 35: 99–108, 2000     

Ideals of Some Matrix Rings

For a commutative ring K the conception of a strongly maximal ideal J was introduced by Kuzucuoglu and Levchuk in 2000. Denote by R_n(K,J) the ring of all n×n-matrices over K with elements from J on and above the main diagonal. Recent results on ideals of the ring R_n(K,J) for this case, ideals of the associated Lie ring and normal subgroups of the adjoint group are considered in this paper. Also ideals of R_n(K,J) for the case of an arbitrary associative ring K with the identity are investigated.