Affine Reductive Spaces of Small Dimension and Left A-Loops

In this paper we determine the at least 4-dimensional affine reductive homogeneous manifolds for an at most 9-dimensional simple Lie group or an at most 6-dimensional semi-simple Lie group. Those reductive spaces among them which admit a sharply transitive differentiable section yield local almost differentiable left A-loops. Using this we classify all global almost differentiable left A-loops L having either a 6-dimensional semi-simple Lie group or the group as the group topologically generated by their left translations. Moreover, we determine all at most 5-dimensional left A-loops L with as the group topologically generated by their left translations.     

The holomorphic automorphism group of the complex disk

The group of all holomorphic automorphisms of the complex unit disk consists of Möbius transformations involving translation-like holomorphic automorphisms and rotations. The former are calledgyrotranslations. As opposed to translations of the complex Plane, which are associative-commutative operations forming a group, gyrotranslations of the complex unit disk fail to form a group. Rather, left gyrotranslations are gyroassociative-gyrocommutative operations forming agyrogroup.     

The existence of Room squares

The authors give a condensed proof of the existence of Room squares for positive odd sides except 3 and 5. Some areas of current research on Room squares are also discussed.Aequationes Mathematicae launches a systematic program of expository papers. We will endeavour to publish at least one in every volume.     

For which reproducing kernel Hilbert spaces is Pick's theorem true?

Pick's theorem tells us that there exists a function inH , which is bounded by 1 and takes given values at given points, if and only if a certain matrix is positive.H is the space of multipliers ofH ², and this theorem has a natural generalisation whenH is replaced by the space of multipliers of a general reproducing kernel Hilbert spaceH(K) (whereK is the reproducing kernel). J. Agler has shown that this generalised theorem is true whenH(K) is a certain Sobolev space or the Dirichlet space, so it is natural to ask for which reproducing kernel Hilbert spaces this generalised theorem is true. This paper widens Agler's approach to cover reproducing kernel Hilbert spaces in general, replacing Agler's use of the deep theory of co-analytic models by a relatively elementary, and more general, matrix argument. The resulting theorem gives sufficient (and usable) conditions on the kernelK, for the generalised Pick's theorem to be true forH(K), and these are then used to prove Pick's theorem for certain weighted Hardy and Sobolev spaces and for a functional Hilbert space introduced by Saitoh.     

Parallel permit grammars and some graph representations of Petri nets

The graph of a set grammar is introduced in such a way that each set rule of the grammar is represented by a cartesian subgraph of it. The correspondence between cartesian subgraphs and transitions of Petri nets (which satisfy the axiom of extensionality) is established. The set grammars with input (initial) and output (terminal) elements are studied in an analogy to Chomsky's string grammars and their strong equivalence. Permit rules and parallel permit rules are introduced in such a way that parallel permit grammars are more general tools than Petri nets themselves, because the equivalence between homogeneous parallel permit grammars and set grammars (and Petri nets) is proved.     

Loops on spheres having a compact-free inner mapping group

We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable 1-dimensional compact loops explicitly using the theory of Fourier series. Authors’ addresses: ágota Figula, Mathematisches Institut der Universit?t Erlangen-Nürnberg, Bismarckstr. 1 1/2, 91054 Erlangen, Germany and Institute of Mathematics, University of Debrecen, P.O.B. 12, H-4010 Debrecen, Hungary; Karl Strambach, Mathematisches Institut der Universit?t Erlangen-Nürnberg, Bismarckstr. 1 1/2, 91054 Erlangen, Germany     

An algebraic structure for Faber polynomials

Let Σ be the set of functions, convergent for all |z|>1, with a Laurent series of the form f(z)=z+∑_n?0a_nz^-n. In this paper, we prove that the set of Faber polynomial sequences over Σ and the set of their normalized kth derivative sequences form groups which are isomorphic to the hitting time subgroup and the Bell^(k) subgroup of the Riordan group, respectively. Further, a relationship between such Faber polynomial sequences and Lucas and Sheffer polynomial sequences is derived.     

A note on Cartan matrices for symmetric groups

Using generating functions, a very simple explicit formula for the determinants of the p-Cartan matrices of symmetric groups is given. Our method works also when p is a composite number.Received: 5 September 2001     

The construction of orthogonalk-skeins and latink-cubes

Aequationes mathematicae -     

Homology Groups of Conormal Varieties

Let G be a real Lie group acting on real analytic manifold with finitely many orbits. We prove that the characteristic cycle map is a surjective homomorphism from the K-group of G-equivariant sheaves on X to the top homology group of the conormal variety of the G-action on X. We also show that the top homology group of the G-action on X is a free -module of rank equal to the number of G-orbits. This work was completed with the support of the Ministry of Science, Education and Sport of Croatia, and Infodesign d.o.o., Varaždin.     

Semidirect Product of Loops and Fibrations

Starting from two loops (H, +) and (K, ·), a new loop L can be defined by means of a suitable map Θ : K → Sym H (cf. [3]). Such a loop is called semidirect product of H and K with respect to Θ and denoted by H ×_Θ K =: L. Here we consider the class of those semidirect products in which Θ : K → Aut(H, +) is a homomorphism, this situation being quite akin to the group case. Some relevant algebraic properties of the loop L (Bol condition, Moufang etc.) can be inherited from H and K. In the case that K is a group we investigate the possibility of describing L by a partition (or fibration). In this way we propose a generalization of [8] for the non associative case. Received: September 20, 2007. Revised: November 8, 2007.     

A note on Bol loops of order 2 n k

It is shown that, for eachn 2 and k 3, there exist at least 2 ⁿ -3 non-isomorphic loops of order 2 ⁿ k which are Bol but not Moufang. In most cases this bound can be improved.     

Algebraic structure in a family of Nim-like arrays

We study aspects of the algebraic structure shared by a certain family of recursively generated arrays related to the operation of Nim-addition. We first observe that each individual array represents a countably infinite, commutative loop (in the sense of quasigroups). We then prove that each loop in the family is monogenic (generated by a single element in a non-associative fashion), and use this to determine all loop homomorphisms between members of the family.     

Sur la distribution conjointe des deux fonctions “nombre de facteurs premiers”

Sans résumé

---

     

On a problem of Chern-Akivis-Shelekhov on hexagonal three-webs

Summary In the following we discuss the infinitesimal theory of analytic multidimensional hexagonal three-webs. It is known that the structure of any such three-web in a neighborhood of an arbitrary point is uniquely determined by four tensor values at the given point. We prove that three of them are sufficient and we analyze the corresponding integrability conditions.