Related papers: Cuts and small extensions of abelian ordered group…

The strong isomorphism classes of extensions of finite groups are parametrized by orbits of a prescribed action on the second cohomology group. We study these orbits in the case of extensions of a finite abelian $p$-group by a cyclic factor…

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a…

A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…

Building on previous work by Lambert, Plagne and the third author, we study various aspects of the behavior of additive bases in infinite abelian groups and semigroups. We show that, for every infinite abelian group $T$, the number of…

For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…

We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem…

In computer algebra there are different ways of approaching the mathematical concept of functions, one of which is by defining them as solutions of differential equations. We compare different such approaches and discuss the occurring…

The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…

We will calculate completely the Grothendieck rings, in the sense of first order logic, of o-minimal expansions of ordered abelian groups by introducing the notion of the bounded Euler characteristic.

In the present paper we study abelian extensions of connected Lie groups $G$ modeled on locally convex spaces by smooth $G$-modules $A$. We parametrize the extension classes by a suitable cohomology group $H^2_s(G,A)$ defined by locally…

We show finiteness results on torsion points of commutative algebraic groups over a $p$-adic field $K$ with values in various algebraic extensions $L/K$ of infinite degree. We mainly study the following cases: (1) $L$ is an abelian…

We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

We compute the {\Omega}^1(G) invariant when 1 {\to} H {\to} G {\to} K {\to} 1 is a split short exact sequence. We use this result to compute the invariant for pure and full braid groups on compact surfaces. Applications to twisted conjugacy…

If X is a CW complex, one can assign to each point of X an ordered abelian group of finite rank whose subset of positive elements depends continuously on the points of X. A locally trivial bundle which arises in this way we denote by E(X).…

This paper studies absolute retracts in congruence modular varieties of universal algebras. It is shown that every absolute retract with finite dimensional congruence lattice is a product of subdirectly irreducible algebras. Further, every…

We study the arithmetic of division fields of semistable abelian varieties A over the rationals. The Galois group of the 2-division field of A is analyzed when the conductor is odd and squarefree. The irreducible semistable mod 2…

$\newcommand{\R}{\mathbb R} \newcommand{\rweyl}{\mathcal{A}_1(\R)}$ The first Weyl algebra $\mathcal{A}_1(k)$ over a field $k$ is the $k$-algebra with two generators $x, y$ subject to $[y, x] = 1$ and was first introduced during the…

We provide explicit and unified formulas for the cocycles of all degrees on the normalized bar resolutions of finite abelian groups. This is achieved by constructing a chain map from the normalized bar resolution to a Koszul-like resolution…

For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log…