Related papers: Unitization of a lattice ordered ring with a trunc…
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…
We show that every orthomodular lattice can be considered as a left residuated l-groupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures.…
A non-trivial element of a group is a generalized torsion element if some products of its conjugates is the identity. The minimum number of such conjugates is called a generalized torsion order. We provide several restrictions for…
Motivated by a question in origami, we consider sets of points in the complex plane constructed in the following way. Let $L_\alpha(p)$ be the line in the complex plane through $p$ with angle $\alpha$ (with respect to the real axis). Given…
We obtain the specialization of monomial symmetric functions on the alphabet (a-b)/(1-q). This gives a remarkable algebraic identity, and four new developments for the Macdonald polynomial associated with a row. The proofs are given in the…
In this note, we introduce a very crude but natural notion of measure on the class of left R-modules over a ring R. We use this notion to give short proofs of some classical theorems on (left) Artinian rings and modules, due to Akizuki,…
The paper deals with the interplay between boundedness, order and ring structures in function lattices on the line and related metric spaces. It is shown that the lattice of all Lipschitz functions on a normed space $E$ is isomorphic to its…
For any ring \(R\), some characterizations are obtained for unit regular elements in a corner ring \(eRe\) in terms of unit regular elements in \(R\). \noindent {\bf Key Words}: von Neumann regular rings, unit regular rings, corner rings,…
For an algebraic number $\alpha$ of degree $n$, let $\mathcal{M}_{\alpha}$ be the $\mathbb{Z}$-module generated by $1,\alpha ,\ldots ,\alpha^{n-1}$; then $\mathbb{Z}_{\alpha}:=\{\xi\in\mathbb{Q} (\alpha ):\,…
Let $i: A\to R$ be a ring morphism, and $\chi: R\to A$ a right $R$-linear map with $\chi(\chi(r)s)=\chi(rs)$ and $\chi(1_R)=1_A$. If $R$ is a Frobenius $A$-ring, then we can define a trace map $\tr: A\to A^R$. If there exists an element of…
The set of permutations on a finite set can be given a lattice structure (known as the weak Bruhat order). The lattice structure is generalized to the set of words on a fixed alphabet $\Sigma = \{ x, y, z, ... \}$, where each letter has a…
We study in this note the arithmetic of Taelman's unit module for the ring F_q[T]
A characterization is given of the subsets of a group that extend to the positive cone of a right order on the group and used to relate validity of equations in lattice-ordered groups (l-groups) to subsets of free groups that extend to…
We show that for an integer $\ell$, there exists an acute integer lattice triangle of lattice perimeter $\ell$ such that its orthocenter is an integer lattice point, if and only if $\ell=6 $ or $\ell\ge 8$. Analogous results are obtained…
A graph is an instrument which is extensively utilized to model various problems in different fields. Up to date, many graphs have been developed to represent algebraic structures, particularly rings in order to study their properties. In…
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that…
In [3], it is proved that the quotient of an abelian variety $A$ by a finite order automorphism $g$ is uniruled if and only if some power of $g$ satisfies a numerical condition $0<\age(g^k)<1$. In this paper, we show that $\age(g^k)=1$ is…
An abelian lattice-ordered group, or abelian $\ell$-group, is an abelian group equipped with a compatible lattice ordering. In this paper, we introduce two multi-sorted extensions of abelian lattice-ordered groups inspired by the zero-set…
Let R=S/I be a monomial ring whose minimal free resolution F is rooted. We describe an A-infinity algebra structure on F. Using this structure, we show that R is Golod if and only if the product on Tor^S(R,k) vanishes. Furthermore, we give…
Several authors have introduced various type of coherent-like rings and proved analogous results on these rings. It appears that all these relative coherent rings and all the used techniques can be unified. In [2], several coherent-like…