Related papers: Unital Grobner Bases over Arbitrary Ground Rings

We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the…

Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite rank) if TorR(A) is artinian and A/TorR(A) has finite R-rank. The authors study ZG-modules A such that A/CA(H) is artinian-by-(finite rank) (as a Z-module) for…

In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…

The classical work of Feferman Vaught gives a powerful, constructive analysis of definability in (generalized) product structures, and certain associated enriched Boolean structures. %structures in terms of definability in the component…

Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring and $M$ a graded $R$-module. In this paper, we introduce the concept of graded primary-like submodules as a new generalization of graded primary ideals and give…

We study admissibility of inference rules and unification with parameters in transitive modal logics (extensions of K4), in particular we generalize various results on parameter-free admissibility and unification to the setting with…

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…

As the first main result of this article, we prove that if $e$ and $e'$ are idempotents of a commutative ring $A$, then there is a canonical isomorphism of $A$-modules: $$Ae\oplus Ae'\simeq Ae/Ae(1-e')\oplus Ae'/Ae'(1-e)\oplus…

Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p$, with $r$-th Frobenius kernel $G_r$. Let $M$ be a $G_r$-module and $V$ a rational $G$-module. We put a variety structure on…

Let $F$ be a non-Archimedean locally compact field, let $G$ be a split connected reductive group over $F$. For a parabolic subgroup $Q\subset G$ and a ring $L$ we consider the $G$-representation on the $L$-module$$(*)\quad\quad\quad\quad…

In this note we show that there exist a $2^\mathfrak{c}$-generated free algebra $\mathcal{S} \subset \mathbb{R}^\mathbb{R}$ of Riemann integrable functions and a free algebra $\mathcal{C} \subset \mathbb{R}^{[0,1]}$ of continuous functions,…

Let $R$ be a commutative ring. One may ask when a general $R$-module $P$ that satisfies $P \oplus R \cong R^n$ has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel…

We call an operator algebra A {\em reversible} if A with reversed multiplication is also an abstract operator algebra (in the modern operator space sense). This class of operator algebras is intimately related to the {\em symmetric operator…

Let $R$ be a commutative ring with identity. A unit $u$ of $R$ is called exceptional if $1-u$ is also a unit. When $R$ is a finite commutative ring, we determine the additive and multiplicative structures of its exceptional units; and then…

We give an introduction to the theory of determinantal ideals and rings, their Groebner bases, initial ideals and algebras, respectively. The approach is based on the straightening law and the Knuth-Robinson-Schensted correspondence. The…

In this paper we study standard bases for submodules of a mixed power series and polynomial ring $R[[t_1,\ldots,t_m]][x_1,\ldots,x_n]^s$ respectively of their localization with respect to a $t$-local monomial ordering for a certain class of…

For any differential graded (DG for short) Poisson algebra $A$ given by generators and relations, we give a "formula" for computing the universal enveloping algebra $A^e$ of $A$. Moreover, we prove that $A^e$ has a Poincar\'e-Birkhoff-Witt…

An exchange ring $R$ is separative provided that for all finitely generated projective right $R$-modules $A$ and $B$, $A\oplus A\cong A\oplus B\cong B\oplus B\Longrightarrow A\cong B$. Let $R$ be a separative exchange ring in which $2$ is…

We prove that every non-finitely generated projective module over the integral group ring of a polycyclic-by-finite group G is free if and only if G is polycyclic.

The free Baker-Akhiezer modules on rational varieties obtained from ${\mathbb C}P^{1}\times{\mathbb C}P^{n-1}$ by identification of two hypersurfaces are constructed. The corollary of this construction is the existence of embedding of…