Related papers: The Regular Element Property in Constructive Mathe…
This paper continues a research program on constructive investigations of non-commutative Ore localizations, initiated in our previous papers, and particularly touches the constructiveness of arithmetics within such localizations. Earlier…
Let $(R,\mathfrak{m})$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We study the relations of the index of reducibility and the irreducible multiplicity of an $\mathfrak{m}$-primary ideal of $R$ and these of…
We elaborate on the interpretation of some mixed finite element spaces in terms of differential forms. First we develop a framework in which we show how tools from algebraic topology can be applied to the study of their cohomological…
In commutative algebra, the theory of Gr\"obner bases enables one to compute in any finitely generated algebra over a given computable field. For non-finitely generated algebras however, other methods have to be pursued. For instance, it…
We construct a local Noetherian splinter (in fact, a weakly $F$-regular domain) in prime characteristic which is not catenary, which we view as an analogue of a theorem of Ogoma in equal characteristic zero. Moreover, we construct a weakly…
In recent study of partial differential equations (PDEs) with random initial data and singular stochastic PDEs with random forcing, it is essential to study the regularity property of various stochastic objects. These stochastic objects are…
Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…
The aim of this article is to derive discontinuous finite elements vector spaces which can be put in a discrete de-Rham complex for which an harmonic gap property may be proven. First, discontinuous finite element spaces inspired by…
The aim of this paper is to study Iseki spaces of distinguished classes of ideals of a semiring endowed with a topology. We show that every Is\'{e}ki space is quasi-compact whenever the semiring is Noetherian. We characterize Is\'{e}ki…
Let $R$ be a commutative Noetherian local ring and $M,N$ be finitely generated $R$-modules. We prove a number of results of the form: if $\mbox{Hom}_R(M,N)$ has some nice properties and $\mbox{Ext}^{1 \leq i \leq n}_R(M,N)=0$ for some $n$,…
The application of the Petrov-Galerkin projection method in Cosserat rod finite element formulations offers significant advantages in simplifying the expressions within the discrete virtual work functionals. Moreover, it enables a…
In this paper we prove the following theorem. Let R be a prime Noetherian ring with krull dimension |R| = n where n is a positive integer. Let Q be the Goldie quotient ring of R. For a fixed positive integer m < n, let xm be the set of all…
A general nonlinear regularity model for a set-valued mapping $F:X\times R_+\rightrightarrows Y$, where $X$ and $Y$ are metric spaces, is considered using special iteration procedures, going back to Banach, Schauder, Lusternik and Graves.…
Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.
We consider a circle of ideas involving differential algebra, local Noetherian rings, and their generic formal fibers. Connecting these ideas gives rise to what we term a "twisted" subring $R$ of a ring $S$. Each such subring $R$ arises as…
We present in this paper a routine which construct the ideal generated by a list of elements in a matrix Lie algebra at any particular characteristic. We have used this algorithm to analyze the problem of the simplicity of some Lie…
Special orthogonal matrices with rational elements form the group SO(n,Q), where Q is the field of rational numbers. A theorem describing the structure of an arbitrary matrix from this group is proved. This theorem yields an algorithm for…
In commutative ring theory, there is a theorem of Cohen which states that if in a commutative ring all prime ideals are finitely generated then every ideal is finitely generated. However, it is known that having only maximal ideals finitely…
The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for…
In this article, we develop a technique to "split" certain types of partially ordered sets into simpler ones and use that technique to give a partial answer to a conjecture by R. Wiegand and S. Wiegand on the structure of semi-local,…