Related papers: Resolutions for unit groups of orders
A resolution $P$ of the counit of the Hopf $\ast$-algebra $\mathcal{O}(U_n^+)$ of representative functions on van Daele and Wang's free unitary quantum group $U_n^+$ in terms of free $\mathcal{O}(U_n^+)$-modules is computed for arbitrary…
The purpose of this paper is to give presentations for projective $S$-unit groups of the Hurwitz order in Hamilton's quaternions over the rational field $\mathbb{Q}$. To our knowledge, this provides the first explicit presentations of an…
One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal…
We describe three algorithms to determine the stable, semistable, and torus-polystable loci of the GIT quotient of a projective variety by a reductive group. The algorithms are efficient when the group is semisimple. By using an…
By means of a generalization of the Maurer-Cartan expansion method we construct a procedure to obtain expanded higher-order Lie algebras. The expanded higher order Maurer-Cartan equations for the case $\mathcal{G}=V_{0}\oplus V_{1}$ are…
We give a modification of I. Klep and M. Schweighofer algebraic reformulation of Connes' embedding problem by considering *-algebra of the countably generated free group. This allows to consider only quadratic polynomials in unitary…
We analyze the algebraic structures of G--Frobenius algebras which are the algebras associated to global group quotient objects. Here G is any finite group. These algebras turn out to be modules over the Drinfeld double of the group ring…
We present a new method for constructing $D$-dimensional minimally superintegrable systems based on block coordinate separation of variables. We give two new families of superintegrable systems with $N$ ($N\leq D$) singular terms of the…
Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used to solve a wide collection of decision problems for free groups and their subgroups. It turns out that Stallings'…
Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This is based on a new proof of the result (in more general form…
In this paper we solve moment problems for Poisson transforms and, more generally, for completely positive linear maps on unital C*-algebras generated by ''universal'' row contractions associated with the free semigroup with n generators.
This text consists of five relatively systematic notes on Gr\"obner bases and free resolutions of modules over solvable polynomial algebras.
A set of Maple V R.3/4 computer algebra routines for the analytical solving of 1st. order ODEs, using Lie group symmetry methods, is presented. The set of commands includes a 1st. order ODE-solver and routines for, among other things: the…
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes…
One of the central tools in the classification of simple algebraic groups is the distinction between semisimple subgroups and unipotent subgroups. It is not a priori clear how to make this distinction for torsion-free subgroups of a group…
We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…
Let k be a local field and G the set of k-points of a connected semisimple algebraic k-group of rank one. We describe all torsion-free discrete subgroups of G\times G acting properly discontinuously on G by left and right multiplication. To…
We let S denote the ring of polynomial functions on the space of m x n matrices, and consider the action of the group GL = GL_m x GL_n via row and column operations on the matrix entries. For a GL-invariant ideal I in S we show that the…
In this paper we propose an algorithm for exact partitioning of high-order models. We define a general class of $m$-degree Homogeneous Polynomial Models, which subsumes several examples motivated from prior literature. Exact partitioning…
In this paper we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by means of simplicial sets and using techniques of Algebraic…