Search Results
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 |
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 …
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 …
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 …
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.
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 …
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 …
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 …
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 …
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 …