Related papers: Documentation for the GAP code file OrbOrd.txt
Given a polynomial ring $P$ over a field $K$, an element $g \in P$, and a $K$-subalgebra $S$ of $P$, we deal with the problem of saturating $S$ with respect to $g$, i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$. In the general case we…
The purpose of this note is to give a classification of the orbital structure of certain reductive group actions on the Lagrangian Grassmanian. The groups under consideration are $Sp \times Sp$ and $GL$. The classification of $Sp \times Sp$…
Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…
We give an algorithm which computes a presentation for a subgroup, denoted $\AM_{g,1,p}$, of the automorphism group of a free group. It is known that $\AM_{g,1,p}$ is isomorphic to the mapping-class group of an orientable genus-$g$ surface…
We study the number of elements $x$ and $y$ of a finite group $G$ such that $x \otimes y= 1_{_{G \otimes G}}$ in the nonabelian tensor square $G \otimes G$ of $G$. This number, divided by $|G|^2$, is called the tensor degree of $G$ and has…
Let $G$ be a complex semisimple algebraic group and $X$ be a complex symmetric homogeneous $G$-variety. Assume that both $G$, $X$ as well as the $G$-action on $X$ are defined over real numbers. Then $G(\mathbb{R})$ acts on $X(\mathbb{R})$…
In this paper we consider two functions related to the arithmetic and geometric means of element orders of a finite group, showing that certain lower bounds on such functions strongly affect the group structure. In particular, for every…
An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…
The definition for the Slater-type orbitals is generalized. Transformation between an orthonormal basis function and the Slater-type orbital with non-integer principal quantum numbers is investigated. Analytical expressions for the linear…
A general theory of permutation orbifolds is developed for arbitrary twist groups. Explicit expressions for the number of primaries, the partition function, the genus one characters, the matrix elements of modular transformations and for…
Let $G$ be a primitive permutation group acting on a finite set $X$. The orbital diameter $\mathrm{diam}(X,G)$ is defined to be the supremum of the diameters of the (connected) orbital graphs of $G$ after disregarding the directions of all…
For an unknown finite group $G$ of automorphisms of a finite-dimensional Hilbert space, we find sharp bounds on the number of generic $G$-orbits needed to recover $G$ up to group isomorphism, as well as the number needed to recover $G$ as a…
In this paper we define Ordered Generating System for finite non-abelian groups, which is a generalization of the basis theorem for finite abelian groups. We prove the following: If each composition factor of a group G has Ordered…
A new theory of programming is proposed. The theory consists of OE (Operation Expression), SP (Semantic Predicate) and A (Axiom), abbreviated as OESPA. OE is for programming: its syntax is given by BNF formulas and its semantics is defined…
To every bounded linear operator $A$ between Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$ three cardinals $\iota_r(A)$, $\iota_i(A)$ and $\iota_f(A)$ and a binary number $\iota_b(A)$ are assigned in terms of which the descriptions of the…
We illustrate the Lie theoretic capabilities of the computational algebra system GAP4 by reporting on results on nilpotent orbits of simple Lie algebras that have been obtained using computations in that system. Concerning reachable…
The restricted $S$-matrix of $V^G$ is determined for any regular vertex operator algebra $V$ and finite automorphism group $G$ of $V.$ As an application, the $S$-matrices for cyclic permutation orbifolds of prime orders are computed.
It is proved that finite nonabelian simple groups $S$ with $\max \pi(S)=37$ are uniquely determined by their order and degree pattern in the class of all finite groups.
In this paper we study the action of the fundamental group of a finite metric graph on its universal covering tree. We assume the graph is finite, connected and the degree of each vertex is at least three. Further, we assume an…
We give effective bounds for the set quasi-integral points in orbits of non-isotrivial rational maps over function fields under some conditions, generalizing previous work of Hsia and Silverman (2011) for orbits over function fields of…