Related papers: Recursively free reflection arrangements

In the paper we present results to develop an irreducible theory of complex systems in terms of self-organization processes of prime integer relations. Based on the integers and controlled by arithmetic only the self-organization processes…

We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…

In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb{Z}$ is interpretable by positive existential formulas in…

The general form of safe recursion (or ramified recurrence) can be expressed by an infinite graph rewrite system including unfolding graph rewrite rules introduced by Dal Lago, Martini and Zorzi, in which the size of every normal form by…

Let $\mathfrak{o}$ be the ring of integers of a non-archimedean local field with the maximal ideal $\wp$ and the finite residue field of characteristic $p.$ Let $\mathbf{G}$ be the General Linear or Special Linear group with entries from…

In this note we study the logarithmic derivation module of a non-free arrangement. We prove a generalized addition theorem for all arrangements. This addition theorem allows us to find various relationships between non-free arrangements,…

Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…

This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving…

For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to $\Sigma^*$? And for which sets A does there exist such a…

An indecomposable decomposition of a torsion-free abelian group $G$ of rank $n$ is a decomposition $G=A_1\oplus\cdots\oplus A_t$ where $A_i$ is indecomposable of rank $r_i$ so that $\sum_i r_i=n$ is a partition of $n$. The group $G$ may…

We give an elementary classification and presentation of the finite quaternionic reflection groups of rank two, based on the notion of a``reflection system''. This simplifies the existing classification, which is shown to be incomplete,…

We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that…

Let A be a finite-dimensional algebra. If A is self-injective, then all modules are reflexive. Marczinzik recently has asked whether A has to be self-injective in case all the simple modules are reflexive. Here, we exhibit an 8-dimensional…

In this paper, we investigate the irreducible tensor product modules over the planar Galilean conformal algebra $\mathcal{G}$ named by Aizawa, which is the infinite-dimensional Galilean conformal algebra introduced by Bagchi-Gopakumar in…

In this expository note we provide a proof of Artin's theorem which states that the commutator subgroup of a free group on two generators is not finitely generated. The proof employs the infinite grid as in two other proofs in the…

Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free…

Let $W$ be a Coxeter group and $r\in W$ a reflection. If the group of order 2 generated by $r$ is the intersection of all the maximal finite subgroups of $W$ that contain it, then any isomorphism from $W$ to a Coxeter group $W'$ must take…

We find the irreducible decomposition of the Weil representation of the unitary group $\mathrm{U}_{2n}(A)$, where $A$ is a ramified quadratic extension of a finite, commutative, local, principal ideal ring $R$ and the nilpotency degree of…

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…

Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker…