Finite degree: algebras in general and semigroups in particular

An algebra A has finite degree if its term functions are determined by some finite set of finitary relations on A. We study this concept for finite algebras in general and for finite semigroups in particular. For example, we show that every finite nilpotent semigroup has finite degree (more generally, every finite algebra with bounded p _n -sequence), and every finite commutative semigroup has finite degree. We give an example of a five-element unary semigroup that has infinite degree. We also give examples to show that finite degree is not preserved in general under taking subalgebras, homomorphic images, direct products or subdirect factors.     

A nearfield-free definition of regular Hughes planes and some embeddings of PG(3,q) in Hughes planes of order q 4

We give a nearfield-free definition of some finite and infinite incidence systems by means of half-points and half-lines and show that they are projective planes. We determine a planar ternary ring for these planes and use it to determine the full collineation group and to demonstrate some embeddings of these planes among themselves. We show that these planes include all finite regular Hughes planes and many infinite ones. We also show that PG(3, q) embeds in Hu(q ⁴) (and show infinite versions of this embedding). Dan Hughes 80th Birthday.     

Finite Presentability and the Homological Type FP m for a Class of Hopf Algebras

We define and study the property finite presentability in the category  of Hopf algebras that are smash product of universal enveloping algebra of a Lie algebra by a group algebra. We show that for such Hopf algebras finite presentability is equivalent with finite presentability as an associative k-algebra.     

Symplectic Automorphisms and the Picard Group of a K3 Surface

We consider the symplectic action of a finite group G on a K3 surface X. The Picard group of X has a primitive sublattice determined by G. We show how to compute the rank and discriminant of this sublattice. We then investigate the classification of symplectic actions by a fixed finite group, using moduli spaces of K3 surfaces with symplectic G-action.     

On Minimal Realization Over a Finite Chain Ring

Let R be a finite chain ring, e.g. a Galois ring. We give a compact recursive formula for a minimal realization of a finite R-sequence. In particular, we show how to obtain a monic minimal polynomial and a rational approximation of a finite R-sequence. We also show how to solve the classical key equation of Algebraic Coding Theory over R.     

SAGBI bases in rings of multiplicative invariants

Let k be a field and G be a finite subgroup of . We show that the ring of multiplicative invariants has a finite SAGBI basis if and only if G is generated by reflections. Received: March 5, 2002     

A new class of convex games on <Emphasis Type="Italic">σ</Emphasis>-algebras and the optimal partitioning of measurable spaces

We introduce μ-convexity, a new kind of game convexity defined on a σ-algebra of a nonatomic finite measure space. We show that μ-convex games are μ-average monotone. Moreover, we show that μ-average monotone games are totally balanced and their core contains a nonatomic finite signed measure. We apply the results to the problem of partitioning a measurable space among a finite number of individuals. For this problem, we extend some results known for the case of individuals’ preferences that are representable by nonatomic probability measures to the more general case of nonadditive representations.     

A posteriori error analysis for linearization of nonlinear elliptic problems and their discretizations

The paper is devoted to a posteriori quantitative analysis for errors caused by linearization of non-linear elliptic boundary value problems and their finite element realizations. We employ duality theory in convex analysis to derive computable bounds on the difference between the solution of a non-linear problem and the solution of the linearized problem, by using the solution of the linearized problem only. We also derive computable bounds on differences between finite element solutions of the nonlinear problem and finite element solutions of the linearized problem, by using finite element solutions of the linearized problem only. Numerical experiments show that our a posteriori error bounds are efficient.     

Foliations of polynomial growth are hyperfinite

We define a class of equivalence relations with polynomial growth and show that such relations always support finite invariant measures and are hyperfinite. In particular, foliations of polynomial growth define hyperfinite equivalence relations with respect to any family of finite invariant measures on transversals. We also extend a result of Dye for countable groups to show that if a locally compact second countable groupG acts freely on a Lebesgue spaceX with finite invariant measure, so that the orbit relation onX is hyperfinite, thenG is amenable.     

The Alexander polynomial and finite type 3-manifold invariants

Using elementary counting methods, we calculate a universal perturbative invariant (also known as the LMO invariant) of a 3-manifold M, satisfying , in terms of the Alexander polynomial of M. We show that +1 surgery on a knot in the 3-sphere induces an injective map from finite type invariants of integral homology 3-spheres to finite type invariants of knots. We also show that weight systems of degree 2m on knots, obtained by applying finite type 3m invariants of integral homology 3-spheres, lie in the algebra of Alexander-Conway weight systems, thus answering the questions raised in [Ga]. Received: 27 April 1998 / in final form: 8 August 1999     

The problem of membrane locking in finite element analysis of cylindrical shells

Summary We analyse the problem of membrane locking in (h, p) finite element models of a thin hemicylindrical shell roof loaded by a smoothly varying normal pressure distribution. We show that in the standard finite element method, locking occurs especially at low values ofp and when the finite element grid is not aligned with the axis of the cylinder. A general strategy of avoiding locking by using modified bilinear forms is introduced, and a special implementation of this strategy on aligned rectangular grids is considered.     

Regular CW-Complexes and Poset Resolutions of Monomial Ideals

Abstract

We study the generation of a finite group by its conjugacy classes, while generalizing basic concepts from linear algebra: basis and dimension. Besides the well known Burnside Basis Theorem for finite p-groups, there is no direct extension of these concepts to other families of finite groups. We show that by considering generating sets consisting of conjugacy classes, there is a possibility for such a generalization.     

On genus and embeddings of torsion-free nilpotent groups of class two

Summary We study embeddings between torsion-free nilpotent groups having isomorphic localizations. Firstly, we show that for finitely generated torsion-free nilpotent groups of nilpotency class 2, the property of having isomorphicP-localizations (whereP denotes any set of primes) is equivalent to the existence of mutual embeddings of finite index not divisible by any prime inP. We then focus on a certain family Γ of nilpotent groups whose Mislin genera can be identified with quotient sets of ideal class groups in quadratic fields. We show that the multiplication of equivalence classes of groups in Γ induced by the ideal class group structure can be described by means of certain pull-back diagrams reflecting the existence of enough embeddings between members of each Mislin genus. In this sense, the family Γ resembles the family N₀ of infinite, finitely generated nilpotent groups with finite commutator subgroup. We also show that, in further analogy with N₀, two groups in Γ with isomorphic localizations at every prime have isomorphic localizations at every finite set of primes. We supply counterexamples showing that this is not true in general, neither for finitely generated torsion-free nilpotent groups of class 2 nor for torsion-free abelian groups of finite rank. Supported by DGICYT grant PB94-0725 This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

Finite Codimension Subfields of a Field Complete with Respect to a Real Valuation

Let K be a field complete with respect to a real valuation v and not algebraically closed. We will show that every finite codimension subfield of K is closed in the v-adic topology if and only if the degree of imperfection of K is finite. It follows that there are incomplete finite codimension subfields of K when the degree of imperfection of K is infinite. These examples exhibit other interesting pathologies. We are able to give a necessary (and in the case of a discrete real valuation also sufficient) condition for a given finite codimension subfield to be complete. Finally, we give some applications to fields of Laurent series.

Communicated by A. Prestel.     

Minimum Distance to the Complement of a Convex Set: Duality Result

The subject of this paper is to study the problem of the minimum distance to the complement of a convex set. Nirenberg has stated a duality theorem treating the minimum norm problem for a convex set. We state a duality result which presents some analogy with the Nirenberg theorem, and we apply this result to polyhedral convex sets. First, we assume that the polyhedral set is expressed as the intersection of some finite collection of m given half-spaces. We show that a global solution is determined by solving m convex programs. If the polyhedral set is expressed as the convex hull of a given finite set of extreme points, we show that a global minimum for a polyhedral norm is obtained by solving a finite number of linear programs.     

Groups with super-exponential subgroup growth

We show that, if the subgroup growth of a finitely generated (abstract or profinite) groupG is super-exponential, then every finite group occurs as a quotient of a finite index subgroup ofG. The proof involves techniques from finite permutation groups, and depends on the Classification of Finite Simple Groups.The first author was partially supported by the Hungarian National Foundation for Scientific Research, Grant No. T7441. The second author was partially supported by the Israeli National Science Foundation.     

Maximal Subrings and Covering Numbers of Finite Semisimple Rings

We classify the maximal subrings of the ring of n×n matrices over a finite field, and show that these subrings may be divided into three types. We also describe all of the maximal subrings of a finite semisimple ring, and categorize them into two classes. As an application of these results, we calculate the covering number of a finite semisimple ring.     

Curve Complexes and Finite Index Subgroups of Mapping Class Groups

Let Mod(S) be the extended mapping class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of any inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism of Mod(S); this completes a program begun by Irmak. We also establish the co-Hopf property for finite index subgroups of Mod(S).Dan Margalit: Partially supported by an NSF postdoctoral fellowship     

Smooth Groups

A group is called smooth if it has a finite maximal chain of subgroups in which any two intervals of the same length are isomorphic (as lattices). We show that every finite smooth group G is a semidirect product of a p-group by a cyclic group; in particular, G is soluble. We determine the exact structure of G if G is not a p-group.     

An etale approach to the Novikov conjecture

We show that the rational Novikov conjecture for a group Γ of finite homological type follows from the mod 2 acyclicity of the Higson compactification of an EΓ. We then show that for groups of finite asymptotic dimension, the Higson compactification is mod p acyclic for all p and deduce the integral Novikov conjecture for these groups. © 2007 Wiley Periodicals, Inc.