The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

Optimization on directionally convex sets

Directional convexity generalizes the concept of classical convexity. We investigate OC-convexity generated by the intersections of C-semispaces that efficiently approximates directional convexity. We consider the following optimization problem in case of the direction set of OC-convexity being infinite. Given a compact OC-convex set A, maximize a linear form L subject to A. We prove that there exists an OC-extreme solution of the problem. We introduce the notion of OC-quasiconvex function. Ii is shown that if O is finite then the constrained maximum of an OC-quasiconvex function on the set A is attained at an OC-extreme point of A. We show that the OC-convex hull of a finite point set represents the union of a finite set of polytopes in case of the direction set being finite.     

On closed sets of relational constraints and classes of functions closed under variable substitutions

Pippenger’s Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set A and taking values in a possibly different set B, where any or both of A and B may be finite or infinite. Received April 30, 2004; accepted in final form February 8, 2005.     

Finiteness of the strong global dimension of radical square zero algebras

The strong global dimension of a finite dimensional algebra A is the maximum of the width of indecomposable bounded differential complexes of finite dimensional projective A-modules. We prove that the strong global dimension of a finite dimensional radical square zero algebra A over an algebraically closed field is finite if and only if A is piecewise hereditary. Moreover, we discuss results concerning the finiteness of the strong global dimension of algebras and the related problem on the density of the push-down functors associated to the canonical Galois coverings of the trivial extensions of algebras by their repetitive algebras.     

Regular Cayley maps for finite abelian groups

A regular Cayley map for a finite group A is an orientable map whose orientation-preserving automorphism group G acts regularly on the directed edge set and has a subgroup isomorphic to A that acts regularly on the vertex set. This paper considers the problem of determining which abelian groups have regular Cayley maps. The analysis is purely algebraic, involving the structure of the canonical form for A. The case when A is normal in G involves the relationship between the rank of A and the exponent of the automorphism group of A, and the general case uses Ito's theorem to analyze the factorization G = AY, where Y is the (cyclic) stabilizer of a vertex. Supported in part by the N.Z. Marsden Fund (grant no. UOA0124).     

Subgroups of Free Groups: a Contribution to the Hanna Neumann Conjecture

We prove that the strengthened Hanna Neumann conjecture, on the rank of the inter-section of finitely generated subgroups of a free group, holds for a large class of groups characterized by geometric properties. One particular case of our result implies that the conjecture holds for all positively finitely generated subgroups of the free group F(A) (over the basis A), that is, for subgroups which admit a finite set of generators taken in the free monoid over A.     

Lattice generation of small equivalences of a countable set

Given a countable set A, let Equ(A) denote the lattice of equivalences of A. We prove the existence of a four-generated sublattice Q of Equ(A) such that Q contains all atoms of Equ(A). Moreover, Q can be generated by four equivalences such that two of them are comparable. Our result is a reasonable generalization of Strietz [5, 6] from the finite case to the countable one; and in spite of its essentially simpler proof it asserts more for the countable case than [2, 3].Dedicated to George Grätzer on his 60th birthdayThis research was supported by the NFSR of Hungary (OTKA), grant no. T7442.     

Algebraic independence of the values ofE-functions at singular points and Siegel’s conjecture

We prove a generalization of Shidlovskii’s theorem on the algebraic independence of the values ofE-functions satisfying a system of linear differential equations that is well known in the theory of transcendental numbers. We consider the case in which the values ofE-functions are taken at singular points of these systems. Using the obtained results, we prove Siegel’s conjecture that, for the case of first-order differential equations, anyE-function satisfying a linear differential equation is representable as a polynomial in hypergeometricE-functions. Translated fromMatematicheskie Zametki, Vol. 67, No. 2, pp. 174–190, February, 2000.     

Nondegenerate cohomology pairing for transitive Lie algebroids,characterization

The Evens-Lu-Weinstein representation (Q _A , D) for a Lie algebroid A on a manifold M is studied in the transitive case. To consider at the same time non-oriented manifolds as well, this representation is slightly modified to (Q _A ^or , D^or) by tensoring by orientation flat line bundle, Q _A ^or =Q_A⊗or (M) and D ^or=D⊗∂ _A ^or . It is shown that the induced cohomology pairing is nondegenerate and that the representation (Q _A ^or , D^or) is the unique (up to isomorphy) line representation for which the top group of compactly supported cohomology is nontrivial. In the case of trivial Lie algebroid A=TM the theorem reduce to the following: the orientation flat bundle (or (M), ∂ _A ^or ) is the unique (up to isomorphy) flat line bundle (ξ, ∇) for which the twisted de Rham complex of compactly supported differential forms on M with values in ξ possesses the nontrivial cohomology group in the top dimension. Finally it is obtained the characterization of transitive Lie algebroids for which the Lie algebroid cohomology with trivial coefficients (or with coefficients in the orientation flat line bundle) gives Poincaré duality. In proofs of these theorems for Lie algebroids it is used the Hochschild-Serre spectral sequence and it is shown the general fact concerning pairings between graded filtered differential ℝ-vector spaces: assuming that the second terms live in the finite rectangular, nondegeneration of the pairing for the second terms (which can be infinite dimensional) implies the same for cohomology spaces.     

The representation dimension of domestic weakly symmetric algebras

Auslander’s representation dimension measures how far a finite dimensional algebra is away from being of finite representation type. In [1], M. Auslander proved that a finite dimensional algebra A is of finite representation type if and only if the representation dimension of A is at most 2. Recently, R. Rouquier proved that there are finite dimensional algebras of an arbitrarily large finite representation dimension. One of the exciting open problems is to show that all finite dimensional algebras of tame representation type have representation dimension at most 3. We prove that this is true for all domestic weakly symmetric algebras over algebraically closed fields having simply connected Galois coverings.     

Finiteness of Higher K -Groups of Orders and Group Rings

In this paper, we prove that if R is the ring of integers in a number field F, A any R-order in a semisimple F-algebra, then K_2n(A), G_2n(A) are finite groups for all positive integers n. Hence, even dimensional higher K- and G-groups of integral grouprings of finite groups are finite. We also show that in odd dimensions, SK_n of integral and p-adic integral grouprings of finite p-groups are also finite p-groups (Received: August 2005)     

On Smash Products of Transitive Module Algebras

Let H be a semisimple Hopf algebra over a field of characteristic 0, and A a finite-dimensional transitive H-module algebra with a l-dimensional ideal. It is proved that the smash product A#H is isomorphic to a full matrix algebra over some right coideal subalgebra N of H. The correspondence between A and such N, and the special case A = k（X） of function algebra on a finite set X are considered.     

Homomorphisms between A-Projective Abelian Groups and Left Kasch-Rings

Glaz and Wickless introduced the class G of mixed abelian groups A which have finite torsion-free rank and satisfy the following three properties: i) A _p is finite for all primes p, ii) A is isomorphic to a pure subgroup of _P A _P and iii) Hom(A, tA) is torsion. A ring R is a left Kasch ring if every proper right ideal of R has a non-zero left annihilator. We characterize the elements A of G such that E(A)/tE(A) is a left Kasch ring, and discuss related results.     

On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes

Let G be a finite group andA be a normal subgroup ofG. We denote by ncc(A) the number ofG-conjugacy classes ofA andA is calledn-decomposable, if ncc(A)= n. SetK _G = {ncc(A)|A ⊲ G}. LetX be a non-empty subset of positive integers. A groupG is calledX-decomposable, ifK _G =X. Ashrafi and his co-authors [1-5] have characterized theX-decomposable non-perfect finite groups forX = {1, n} andn ≤ 10. In this paper, we continue this problem and investigate the structure ofX-decomposable non-perfect finite groups, forX = {1, 2, 3}. We prove that such a group is isomorphic to Z₆, D₈, Q₈, S₄, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup(m, n) denotes the mth group of ordern in the small group library of GAP [11].     

On automorphisms of finite Abelian <Emphasis Type="Italic">p</Emphasis>-groups

Let A be a finitely generated abelian group. We describe the automorphism group Aut(A) using the rank of A and its torsion part p-part A _p . For a finite abelian p-group A of type (k ₁, ..., k _n ), simple necessary and sufficient conditions for an n × n-matrix over integers to be associated with an automorphism of A are presented. Then, the automorphism group Aut(A) for a finite p-group A of type (k ₁, k ₂) is analyzed. This work has begin during the visit of the second author to the Faculty of Mathematics and Computer Science, Nicolaus Copernicus University during the period July 31–August 13, 2005. This visit was supported by the Nicolaus Copernicus University and a grant from Cnpq.     

Maximal partial clones with no finite basis

Let A be a nonsingleton finite set. We give a criterion for recognizing not finitely generated strong partial clones and show that none of the |A| strong maximal partial clones of Słupecki type over A has a finite basis. Received November 14, 1997; accepted in final form August 18, 1998.     

On maximal abelian subgroups in finite 2-groups

We determine here up to isomorphism the structure of any finite nonabelian 2-group G in which every two distinct maximal abelian subgroups have cyclic intersection. We obtain five infinite classes of such 2-groups (Theorem 1.1). This solves for p = 2 the problem Nr. 521 stated by Berkovich (in preparation). The more general problem Nr. 258 stated by Berkovich (in preparation) about the structure of finite nonabelian p-groups G such that A ∩ B = Z(G) for every two distinct maximal abelian subgroups A and B is treated in Theorems 3.1 and 3.2. In Corollary 3.3 we get a new result for an arbitrary finite 2-group. As an application of Theorems 3.1 and 3.2, we solve for p = 2 a problem of Heineken-Mann (Problem Nr. 169 stated in Berkovich, in preparation), classifying finite 2-groups G such that A/Z(G) is cyclic for each maximal abelian subgroup A (Theorem 4.1).      

Generating primitive positive clones

Suppose is a set of operations on a finite set A. Define PPC() to be the smallest primitive positive clone on A containing . For any finite algebra A, let PPC#(A) be the smallest number n for which PPC(CloA) = PPC(Clo _n A). S. Burris and R. Willard [2] conjectured that PPC#(A) ≤|A| when CloA is a primitive positive clone and |A| > 2. In this paper, we look at how large PPC#(A) can be when special conditions are placed on the finite algebra A. We show that PPC#(A) ≤|A| holds when the variety generated by A is congruence distributive, Abelian, or decidable. We also show that PPC#(A) ≤|A| + 2 if A generates a congruence permutable variety and every subalgebra of A is the product of a congruence neutral algebra and an Abelian algebra. Furthermore, we give an example in which PPC#(A) ≥|A| - 1)² so that these results are not vacuous. Received August 30, 1999; accepted in final form April 4, 2000.     

Each Invertible Sharply d-Transitive Finite Permutation Set with d ≥ 4 is a Group

All known finite sharply 4-transitive permutation sets containing the identity are groups, namely S ₄, S ₅, A ₆ and the Mathieu group of degree 11. We prove that a sharply 4-transitive permutation set on 11 elements containing the identity must necessarily be the Mathieu group of degree 11. The proof uses direct counting arguments. It is based on a combinatorial property of the involutions in the Mathieu group of degree 11 (which is established here) and on the uniqueness of the Minkowski planes of order 9 (which had been established before): the validity of both facts relies on computer calculations. A permutation set is said to be invertible if it contains the identity and if whenever it contains a permutation it also contains its inverse. In the geometric structure arising from an invertible permutation set at least one block-symmetry is an automorphism. The above result has the following consequences. i) A sharply 5-transitive permutation set on 12 elements containing the identity is necessarily the Mathieu group of degree 12. ii) There exists no sharply 6-transitive permutation set on 13 elements. For d 6 there exists no invertible sharply d-transitive permutation set on a finite set with at least d + 3 elements. iii) A finite invertible sharply d-transitive permutation set with d 4 is necessarily a group, that is either a symmetric group, an alternating group, the Mathieu group of degree 11 or the Mathieu group of degree 12.     

On Finite Groups with a Given Number of Centralizers

For a finite group G, let Cent(G) denote the set of centralizers of single elements of G and #Cent(G) = |Cent(G)|. G is called an n-centralizer group if #Cent(G) = n, and a primitive n-centralizer group if #Cent(G) = #Cent(G/Z(G)) = n. In this paper, we compute #Cent(G) for some finite groups G and prove that, for any positive integer n 2, 3, there exists a finite group G with #Cent(G) = n, which is a question raised by Belcastro and Sherman [2]. We investigate the structure of finite groups G with #Cent(G) = 6 and prove that, if G is a primitive 6-centralizer group, then G/Z(G) A₄, the alternating group on four letters. Also, we prove that, if G/Z(G) A₄, then #Cent(G) = 6 or 8, and construct a group G with G/Z(G) A₄ and #Cent(G) = 8.This research was in part supported by a grant from IPM.2000 Mathematics Subject Classification: 20D99, 20E07