Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 84349

This tag is used if a reference is needed in a paper or textbook on a specific result.

3 votes

Intersection of commutative factorial domains: completely integrally closed and Krull domain

The two results you mentioned readily follow from well-known facts in multiplicative ideal theory. I provide references for those facts in the proofs below. Claim 1. Let $K$ be a field and let $\{D_t …
Luc Guyot's user avatar
  • 7,893
4 votes

Parallelotope fundamental domains of the n-torus

This is not an answer, but only an attempt to retrieve, and present, the early result mentioned by the OP when $n = 2$. Hopefully, this will trigger further input from MO readers. The following is i …
Luc Guyot's user avatar
  • 7,893
19 votes
Accepted

When is $A\otimes R$ a free $R$-module?

Here is a 7-line proof of your statement. Claim. Let $R$ be a commutative ring with identity $1_R$. Let $A \simeq \mathbb{Z}/d_1\mathbb{Z} \oplus \cdots \oplus \mathbb{Z}/d_k\mathbb{Z}$ be a …
Luc Guyot's user avatar
  • 7,893
2 votes

A property similar to arithmetical property

Let us not leave this question as unanswered: A ring $R$ has the $X$-property if and only if $R$ is arithmetical. The proof is straightforward.
Luc Guyot's user avatar
  • 7,893
8 votes
Accepted

Intersection of free/affine submodules, comparison with vector spaces

There is a natural generalization of the aforementioned dimension-based reasoning to modules $M$ over commutative domains or commutative Noetherian reduced rings. Let $M$ be a module over a commutati …
Luc Guyot's user avatar
  • 7,893
7 votes
Accepted

Given $P\in \mathbb{Z}[x]$ there is a nonzero $Q\in \mathbb{Z}[x]$ such that $H(PQ)\leq M(P)$

In Chapter 3 of Jonas Jankauskas's dissertation thesis, entitled "Heights of Polynomials", we learn that the inequality $$\min_{Q \in \mathbb{Z}[x] \setminus \{0\}} H(PQ) \le \lfloor M(P)\rfloor$$ whe …
Luc Guyot's user avatar
  • 7,893
7 votes
Accepted

Global to local principle for f.g. $\mathbb{Z}[x]$ modules

Your lemma easily follows from the Smith Normal Form Theorem, a result you already referred to. The short heuristic argument that you gave can indeed be turned into a short proof. Nothing in the sequ …
Luc Guyot's user avatar
  • 7,893
3 votes

Every non-zero submodule of $R_R$ has an indecomposable direct summand: True when $R$ is von...

No, a free Boolean algebra $R$ on an infinite cardinal $\kappa$ (e.g., if $\kappa = \aleph_0$, $R$ is the Cantor algebra), is a commutative von Neumann regular ring which is not well complemented as a …
Luc Guyot's user avatar
  • 7,893
13 votes
Accepted

What is known about ideal and divisibility lattices of GCD domains and their generalizations?

Given a ring $R$, let us denote by $L(R)$ the lattice of two-sided ideals of $R$ for which the infimum and supremum are given by $\inf(I, J) = I \cap J$ and $\sup(I, J) = I + J$. Such lattices are co …
Luc Guyot's user avatar
  • 7,893