Related papers: Formal Rings
This paper consists of three parts: (I) To develop general theory of a (large) class of central simple finite dimensional algebras and answering some natural questions about them (that in general situation it is not even clear how to…
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…
We present new self-gravitating solutions in five dimensions that describe circular strings, i.e., rings, electrically coupled to a two-form potential (as e.g., fundamental strings do), or to a dual magnetic one-form. The rings are…
We study Lie rings definable in a finite-dimensional theory, extending the results for the finite Morley rank case. In particular, we prove a classification of Lie rings of dimension up to four in the NIP or connected case. In…
Which groups can occur as the group of units in a ring? Such groups are called realizable. Though the realizable members of several classes of groups have been determined (e.g., cyclic, odd order, alternating, symmetric, finite simple,…
In \cite[Problem 72]{Fuchs60} Fuchs posed the problem of characterizing the groups which are the groups of units of commutative rings. In the following years, some partial answers have been given to this question in particular cases. In a…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
Let $RG$ be the gruop ring of the group $G$ over ring $R$ and $\mathscr{U}(RG)$ be its unit group. Finding the structure of the unit group of a finite group ring is an old topic in ring theory. In, G. Tang et al: Unit Groups of Group…
In this paper we study the ring of global sections of an open subset U=D(I) in Spec A, where A is a two-dimensional noetherian ring. The main concern is to give a geometric criterion when these rings are finitely generated, in order to…
An overview is given of the construction of a differential polynomial ring of functions on the moduli space of Calabi-Yau threefolds. These rings coincide with the rings of quasi modular forms for geometries with duality groups for which…
A ring is *unit-additive* if a sum of units is always either a unit or nilpotent. For example, $k[X]$ and $k[X]/(X^2)$ are unit-additive, but $\mathbb Z$ is not. We prove a wide-ranging theorem about unit-additivity in semigroup rings,…
Let $A$ be a finite dimensional algebra over an algebraically closed field. We present a relationship between simple-minded systems and coherent rings.
We give a criterion of integrality of an one-dimensional formal group law in terms of congruences satisfied by the coefficients of the canonical invariant differential. For an integral formal group law a p-adic analytic formula for the…
The set of idempotents of a regular semigroup is given an abstract characterization as a regular biordered set in [2], and in [4] it is shown how a biordered set can be associated with a complemented modular lattice. Von Neumann has shown…
We introduce the basic elements of SO(n)-local theory of Regge Calculus. A first order formalism, in the sense of Palatini, is defined on the metric-dual Voronoi complex of a simplicial complex. The Quantum Measure exhibits an expansion, in…
Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…
A power structure over a ring is a method to give sense to expressions of the form $(1+a_1t+a_2t^2+\ldots)^m$, where $a_i$, $i=1, 2,\ldots$, and $m$ are elements of the ring. The (natural) power structure over the Grothendieck ring of…
We study the algebraic structure of the groups of solutions of the third Acz{\'e}l-Jabotinsky differential equation $(H\circ \Phi)(x)=\frac{d\Phi}{d x}\cdot H(x)$ in the rings of formal power series and truncated formal power series…
The semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as directed graphs and regarded up to isomorphism), the sum of…
L\'{a}szl\'{o} Fuchs posed the following question: which abelian groups arise as the group of units in a ring? In this paper, we investigate a related question: for such realizable groups $G$, when is there a ring $R$ with unit group $G$…