The normalized matching property from the generalized Macaulay theorem

IfA is a family ofk-element subsets of a finite setM having elements of several different types (i.e., amultiset) and A is the set of all (k–1)-element subsets ofM obtainable by removing a single element ofM from a single member ofA, then, according to the well known normalized matching condition, the density ofA among thek-element subsets ofM never exceeds the density of A among the (k–1)-element subsets ofM. We show that this useful fact can be regarded as yet another corollary of the generalized Macaulay theorem.     

Action on flag varieties: 2-Dimensional case

LetA be a finite dimensional commutative semisimple algebra over a fieldk and letV be a finitely generatedA-module. We examine the action of the general linear group GL _A (V) on the set of flags ofk-subspaces ofV. Also, let (V, B) be a finitely generated symplectic module overA. We also investigate the action of the symplectic group Sp _A (V, B) on the set of flags ofB-isotropick-subspaces ofV, whereB=°B is thek-symplectic form induced by a nonzerok-linear map :A k. In both cases, the orbits are completely classified in terms of certain integer invariants provided that dim _{k A}=2.This work is partially supported by a KOSEF research grant.     

On k-Subspaces of L-vector-spaces

Let k ? L be division rings, with [L: k]_right <∞ and let B_k ? A_L be right vector spaces. Conditions are established in terms of the k-codimension of B in A, respectively the k-dimension of B, for there to exist a nonzero element a∈A such that aL∪B={0}, respectively an L-linear functional f on A such that f(B). Some consequences and related open questions are discussed.     

Inverse closedness ofC *-algebras in Banach algebras

LetA denote a unital Banach algebra, and letB denote aC ^*-algebra which is contained as a unital subalgebra inA. We prove thatB is inverse closed inA if the norms ofA andB coincide. This generalizes well known result about inverse closedness ofC ^*-subalgebras inC ^*-algebras.     

Cycles in bipartite graphs

For k an integer, let G(a, b, k) denote a simple bipartite graph with bipartition (A, B) where |A| = a ≥ 2, |B| = b ≥ k ≥ 2, and each vertex of A has degree at least k. We prove two results concerning the existence of cycles in G(a, b, k).     

Trace polynomials and invariant theory

LetA be a finite-dimensional simple (non-associative) algebra over an algebraically closed fieldF of characteristic 0. LetG be the group of its automorphisms which acts onkA, the direct sum ofk copies ofA. SupposeA is generated byk elements. In this paper, generators of the field of rational invariantF(kA) ^G are described in terms of operations of the algebraA.     

Extending ideals

In this paper the following two questions are studied: (1) When does an idealI have the property that wheneverA is a family ofk sets there is aσ-ideal which extendsI and measures each element ofA? (2) When does an idealI have the property that whenA is a family ofk sets there is aσ-ideal which extendsI and measures at leastλ elements ofA?     

On free quadratic extensions of rings

The quaternion algebraB[j] over a commutative ringB with 1 defined byS. Parimala andR. Sridharan is generalized in two directions: (1) the ringB may be non-commutative with 1, and (2)j ² may be any invertible element (not necessarily –1). LetG={} be an automorphism group ofB of order 2, andA={b inB| (b)=b}. LetB[j] be a generalized quaternion algebra such thataj (a) for eacha inB. It will be shown thatB is Galois (for non-commutative ring extensions) overA which is contained in the center ofB if and only ifB[j] is Azumaya overA. Also,A[j] is a splitting ring forB[j] such thatA[j] is Galois overA. Moreover, we shall determine which automorphism group ofA[j] is a Galois group.     

An algorithm recursively computing the exact fourier coefficients ofB-splines with nonequidistant knots

An algorithm has been developed for the numerical computation of the Fourier coefficients ofB-splinesM of arbitrary order and possibly nonequidistant and coincident knots. Ifk is the order ofM, then there is a matrixA, depending only onM such that each Fourier coefficient ofM can be obtained fromA by 0(k ²) operations. The computation ofA itself needs a number of operations of the order ofk ⁴. A program of the algorithm is given in an informal language and some numerical results are presented.

---

Zusammenfassung Es wird ein Algorithmus beschrieben, der es gestattet, die Fourierkoeffizienten vonB-SplinefunktionenM von beliebiger Ordnung und mit möglicherweise nichtäquidistanten und zusammenfallenden Knoten numerisch exakt zu berechnen. Istk die Ordnung vonM, so gibt es eine nur vonM abhängige Matrix derart, dass jeder Fourierkoeffizient vonM ausA mit 0(k ²) Operationen erhalten werden kann. Die Berechnung vonA selbst benötigt eine Anzahl Operationen von der Ordnungk ⁴. Ein Rechenprogramm für den Algorithmus wird mit Hilfe einer informellen Programmiersprache (INFL) gegeben. Schliesslich werden die mit dem Programm berechneten Resultate von sechs verschiedenen Beispielen dargestellt.

     

NON-EMPTY CROSS-2-INTERSECTING FAMILIES OF SUBSETS

Let Cdenote the set of all k-subests of an n-set.Assume Alohtain in Ca,and A lohtain in (A,B) is called a cross-2-intersecting family if |A B≥2 for and A∈A,B∈B.In this paper,the best upper bounds of the cardinalities for non-empty cross-2-intersecting familles of a-and b-subsets are obtained for some a and b,A new proof for a Frankl-Tokushige theorem[6] is also given.     

Estimates related to sumfree subsets of sets of integers

A subsetA of the positive integers ?₊ is called sumfree provided (A+A)∩A=ø. It is shown that any finite subsetB of ?₊ contains a sumfree subsetA such that |A|≥1/3(|B|+2), which is a slight improvement of earlier results of P. Erdös [Erd] and N. Alon-D. Kleitman [A-K]. The method used is harmonic analysis, refining the original approach of Erdös. In general, defines _k (B) as the maximum size of ak-sumfree subsetA ofB, i.e. (A) _k = $\underbrace {A + ... + A}_{k times}$ % MathType!End!2!1! is disjoint fromA. Elaborating the techniques permits one to prove that, for instance, $s_3 \left( B \right) > \frac{{\left| B \right|}}{4} + c\frac{{\log \left| B \right|}}{{\log \log \left| B \right|}}$ % MathType!End!2!1!as an improvement of the estimate $s_k \left( B \right) > \frac{{\left| B \right|}}{4}$ % MathType!End!2!1! resulting from Erdös’ argument. It is also shown that in an inequalitys _k (B)>δ _k |B|, valid for any finite subsetB of ?₊, necessarilyδ _k → 0 fork → ∞ (which seemed to be an unclear issue). The most interesting part of the paper are the methods we believe and the resulting harmonic analysis questions. They may be worthwhile to pursue.     

Actions of Boolean rings on sets

LetB be a Boolean ring (with 1),S a sheaf of sets on the Stone space Spec(B), andS the set of global sections of S. For everya B ands, t S, leta(s, t) denote the element ofS which agrees withs on the support ofa, and witht elsewhere.We set down identities satisfied by this ternary operationB×S×SS (involving also the Boolean operations ofB). For a fixed Boolean ringB, we call a setS given with a ternary operation satisfying these identities aBset. The above construction is shown to give a functorial equivalence between sheaves of setsS on Spec(B) with nonempty sets of global sections, and nonemptyB-setsS. For any setA, the bounded Boolean powerA[B]^* is the freeB-set onA. The varieties ofB-sets, asB ranges over all Boolean rings, constitute (together with one trivial variety) the least nontrivial hypervariety of algebras, in the sense of W. Taylor.This work was done while the author was partly supported by NSF contract DMS 85-02330.Presented by R. S. Pierce.     

On Brauer’s problem 21

For ap-blockB of a finite groupG, we give a bound of the order of its defect groupD in terms ofk(B), the number of the irreducible ordinary characters inB.     

The Erdős-Heilbronn problem in Abelian groups

Solving a problem of Erdős and Heilbronn, in 1994 Dias da Silva and Hamidoune proved that ifA is a set ofk residues modulo a primep,p≥2k−3, then the number of different elements of ℤ/pℤ that can be written in the forma+a′ wherea, a′ ∈A,a∈a′, is at least 2k−3. Here we extend this result to arbitrary Abelian groups in which the order of any nonzero element is at least 2k−3. Visiting the Rényi Institute of the Hungarian Academy of Sciences. Research partially supported by Hungarian Scientific Research Grants OTKA T043623 and T043631 and the CRM, University of Montreal.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

On B(5, 18) Groups

A group G is said to be a B(n, k) group if for any n-element subset A of G, |A²| ≤k. In this paper, a characterization of B(5, 18) groups is given. It is shown that G is a B(5, 18) group if and only if one of the following statements holds: (1) G is abelian; (2) |G| ≤18; (3) G ? ? a, b | a⁵ = b⁴ = 1, a^b = a^?1 ?.     

The interior operation in a ψ -density topology

We prove that for an arbitrary setA ⊂ ℝ its interior in aψ-density topology equalsA ∩ φ^β(B), whereB is a measurable kernel ofA andβ is some countable ordinal. Moreover, eachβ, 1≤β<Ω, realizes the interior ofA for someA εS.     

Optimal embeddings in quaternion algebras

Let A be a quaternion algebra over a number field k and assume that A satisfies the Eichler condition so that some infinite place of k is unramified in A. Let L be a quadratic extension of k which embeds in A. Let R_k denote the ring of integers of k and let B be an R_k-order in L. Suppose that is an Eichler order of A of square-free level S. In this paper, we determine when there exists an embedding σ:L→A over k which gives an optimal embedding of B into in the sense that . This generalises previous work of Eichler [M. Eichler, Zur Zahlentheorie der Quaternionenalgebren, J. Reine Angew. Math. 195 (1955) 127–155] and Chinburg and Friedman [T. Chinburg, E. Friedman, An embedding theorem for quaternion algebras, J. London Math. Soc. 60 (1999) 33–44].     

Simple minimum coverings ofK n with copies ofK 4 −e

Summary AK ₄–e design of ordern is a pair (S, B), whereB is an edge-disjoint decomposition ofK _n (the complete undirected graph onn vertices) with vertex setS, into copies ofK ₄–e, the graph on four vertices with five edges. It is well-known [1] thatK ₄–e designs of ordern exist for alln 0 or 1 (mod 5),n 6, and that if (S, B) is aK ₄–e design of ordern then |B| =n(n – 1)/10.Asimple covering ofK _n with copies ofK ₄–e is a pair (S, C) whereS is the vertex set ofK _n andC is a collection of edge-disjoint copies ofK ₄–e which partitionE(K_n)P, for some . Asimple minimum covering ofK _n (SMCK _n) with copies ofK ₄–e is a simple covering whereP consists of as few edges as possible. The collection of edgesP is called thepadding. Thus aK ₄–e design of ordern isSMCK _n with empty padding.We show that forn 3 or 8 (mod 10),n 8, the padding ofSMCK _n consists of two edges and that forn 2, 4, 7 or 9 (mod 10),n 9, the padding consists of four edges. In each case, the padding may be any of the simple graphs with two or four edges respectively. The smaller cases need separate treatment:SMCK ₅ has four possible paddings of five edges each,SMCK ₄ has two possible paddings of four edges each andSMCK ₇ has eight possible paddings of four edges each.The recursive arguments depend on two essential ingredients. One is aK ₄–e design of ordern with ahole of sizek. This is a triple (S, H, B) whereB is an edge-disjoint collection of copies ofK ₄–e which partition the edge set ofK _n\K_k, whereS is the vertex set ofK _n, and is the vertex set ofK _k. The other essential is acommutative quasigroup with holes. Here we letX be a set of size 2n 6, and letX = {x ₁, x₂, ..., x_n} be a partition ofX into 2-element subsets, calledholes of size two. Then a commutative quasigroup with holesX is a commutative quasigroup (X, ) such that for each holex _i X, (x_i, ) is a subquasigroup. Such quasigroups exist for every even order 2n 6 [4].     

Additive Latin transversals and group rings

LetA={a ₁, …,a _k} and {b ₁, …,b _k} be two subsets of an abelian groupG, k≤|G|. Snevily conjectured that, when |G| is odd, there is a numbering of the elements ofB such thata _i+b _i,1≤i≤k are pairwise distinct. By using a polynomial method, Alon affirmed this conjecture for |G| prime, even whenA is a sequence ofk<|G| elements. With a new application of the polynomial method, Dasgupta, Károlyi, Serra and Szegedy extended Alon’s result to the groupsZ _p ^r andZ _p ^rin the casek<p and verified Snevily’s conjecture for every cyclic group. In this paper, by employing group rings as a tool, we prove that Alon’s result is true for any finite abelianp-group withk<√2p, and verify Snevily’s conjecture for every abelian group of odd order in the casek<√p, wherep is the smallest prime divisor of |G|. This work has been supported partly by NSFC grant number 19971058 and 10271080.