Related papers: Representation of ideals of relational structures

Let $V$ be a finite relational vocabulary in which no symbol has arity greater than 2. Let $M$ be countable $V$-structure which is homogeneous, simple and 1-based. The first main result says that if $M$ is, in addition, primitive, then it…

Let $\mathfrak g$ be a simple Lie algebra with a Borel subalgebra $\mathfrak b$. To any long positive root $\gamma$, one associates two ideals of $\mathfrak b$: the abelian ideal $I(\gamma)_{max}$ and not necessarily abelian ideal…

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…

For a fixed countably infinite structure \Gamma\ with finite relational signature \tau, we study the following computational problem: input are quantifier-free \tau-formulas \phi_0,\phi_1,...,\phi_n that define relations R_0,R_1,...,R_n…

We propose a general quantum Hamiltonian formalism of a renormalization group (RG) flow with an emphasis on generalized symmetry by interpreting the elementary relationship between homomorphism, quotient ring, and projection. In our…

Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $\P^n_K$ defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no…

For an ideal $I$ in a polynomial ring over a field, a monomial support of $I$ is the set of monomials that appear as terms in a set of minimal generators of $I$. Craig Huneke asked whether the size of a monomial support is a bound for the…

Let $(A,\frak m)$ be an excellent normal local ring with algebraically closed residue class field. Given integrally closed $\frak m$-primary ideals $I\supset J$, we show that there is a composition series between $I$ and $J$, by integrally…

The \emph{canonical structures of the plane} are those that result, up to isomorphism, from the rings that have the form $\mathds{R}[x]/(ax^2+bx+c)$ with $a\neq 0$.That ring is isomorphic to $\mathds{R}[\theta]$, where $\theta$ is the…

For an arbitrary group, the subgroups form a lattice with order determined by set inclusion. Not every lattice is isomorphic to the subgroup lattice for a group. However, Birkhoff and Frink proved that any compactly generated lattice is…

Let $R$ be a commutative ring with nonzero identity. A. Yassine et al. defined in the paper (Yassine, Nikmehr and Nikandish, 2020), the concept of $1$-absorbing prime ideals as follows: a proper ideal $I$ of $R$ is said to be a…

We identify an interesting special class of prime ideals in the finitary infinite symmetric group algebra. We show that the set of such ideals carries a semiring structure. Over the complex numbers, we establish a connection with spherical…

Let $R$ be a commutative ring with identity. An ideal $I$ of $R$ is said to be a big ideal (resp. an upper big ideal) if whenever $J\subsetneqq I$ (resp. $I\subsetneqq J$), $J^{n}\subsetneqq I^{n}$ (resp. $I^{n}\subsetneqq J^{n}$) for every…

We consider the intersection $\mathfrak{M}(A)$ of all maximal ideals of an evolution algebra $A$ and study the structure of the quotient $A/\M(A)$. In a previous work, maximal ideals have been related to hereditary subsets of a graph…

Given a partition $\lambda$ corresponding to a dominant integral weight of $\mathfrak{sl}_n$, we define the structure of crystal on the set of 5-vertex ice models satisfying certain boundary conditions associated to $\lambda$. We then show…

This paper is a contribution to the study of hereditary classes of finite graphs. We classify these classes according to the number of prime structures they contain. We consider such classes that are \emph{minimal prime}: classes that…

In this paper, we study arbitrary (not necessarily associative) 3-dimensional algebras. Such an algebra A is determined by a basis and the corresponding multiplication table, which is specified by 27 structure constants. We describe all…

A structure is called homogeneous if every isomorphism between finite substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Ne\v{s}et\v{r}il introduced a relaxed version of homogeneity:…

It was shown in \cite{sc12} that for a certain class of structures $\I$, $\I$-indexed indiscernible sets have the modeling property just in case the age of $\I$ is a Ramsey class. We expand this known class of structures from ordered…

An interchange ring,(R,+,*)is an abelian group with a second binary operation defined so that the interchange law (x+y)*(u+v)=(x*u)+(y*v)holds. An interchange near ring is the same structure based on a group which may not be abelian. It is…