Related papers: ASL structures of some quadrics
We investigate actions of cyclic groups on polynomial rings with two variables, and the minimal free resolution of the corresponding invariant ring. In particular, we fully classify several cases, including the case the defining ideal has…
We give a proper definition of the multiplicative structure of the following rings: the Cox ring of invertible sheaves on a general algebraic stack; and the Cox ring of rank one reflexive sheaves on a normal and excellent algebraic stack.…
Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the…
Let (X,\sigma) be a symplectic space admitting a complex structure and let R(X,\sigma) be the corresponding resolvent algebra, i.e. the C*-algebra generated by the resolvents of selfadjoint operators satisfying canonical commutation…
Let k be a regular F_p-algebra, let A = k[x,y]/(xy) be the coordinate ring of the coordinate axes in the affine k-plane, and let I = (x,y) be the ideal that defines the intersection point. We evaluate the relative K-groups K_q(A,I) in terms…
We construct a free resolution of $R/I^s$ over $R$ where $I\ideal R$ is generated by a (finite or infinite) regular sequence. This generalizes the Koszul complex for the case $s=1$. For $s>1$, we easily deduce that the algebra structure of…
Let I be an ideal of height two in R=k[x_0,x_1] generated by forms of the same degree, and let K be the ideal of defining equations of the Rees algebra of I. Suppose that the second largest column degree in the syzygy matrix of I is e. We…
We evidence a family $\mathcal{X}$ of square matrices over a field $\mathbb{K}$, whose elements will be called X-matrices. We show that this family is shape invariant under multiplication as well as transposition. We show that $\mathcal{X}$…
We give a thorough structural analysis of the principal one-sided ideals of arbitrary semigroups, and then apply this to full transformation semigroups and symmetric inverse monoids. One-sided ideals of these semigroups naturally occur as…
For any semiring, the concept of k-congruences is introduced, criteria for k-congruences are established, it is proved that there is an inclusion-preserving bijection between k-congruences and k-ideals, and an equivalent condition for the…
We study the questions of how to recognize when a simplicial set X is of the form X=map(Y,A) for a given space A, and how to recover Y from X, if so. A full answer is provided when A=K(R,n), for $R=\mathbb{F}_p$ or $\mathbb{Q}$, in terms of…
We construct a collection of matrices defined by quadratic residue symbols, termed "quadratic residue matrices", associated to the splitting behavior of prime ideals in a composite of quadratic extensions of $\mathbb{Q}$, and prove a simple…
We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…
Let K be a field and let A be the polynomial ring in n variables with coefficients in the field K We study the universal squarefree lexsegment ideals in A. We put our attention on their combinatorics computing some invariants. Moreover we…
Given an arbitrary spectral space $X$, we endow it with its specialization order $\leq$ and we study the interplay between suprema of subsets of $(X,\leq)$ and the constructible topology. More precisely, we investigate about when the…
The combined matrix is a very useful concept for many applications. Almost strictly sign regular (ASSR) matrices form an important structured class of matrices with two possible zero patterns, which are either type-I staircase or type-II…
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…
We study the so--called ring $(p,Q)$--mappings which are the natural generalization of quasiregular and quasi isometric mappings. It is proved that open discrete ring $(p,Q)$--mappings are differentiable a.e. and belong to the class $ACL$…
Let $R$ be a commutative ring with identity and ${\rm Nil}(R)$ be the set of nilpotent elements of $R$. The nil-graph of ideals of $R$ is defined as the graph $\mathbb{AG}_N(R)$ whose vertex set is $\{I:\ (0)\neq I\lhd R$ and there exists a…
Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional…