Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
60 views

Bounding the length in a module of evaluated skew polynomials

Let $R$ be a finite principal ideal ring, $S$ a Galois extension of $R$ of degree $m$ (so in particular $S$ is a free $R$-module of rank $m$, and we have an $R$-module isomorphism $S^n \cong \...
JBuck's user avatar
  • 223
0 votes
0 answers
111 views

Totally isotropic space for bilinear pairing over ring

A duplicate of this: Consider the following well-known inequality: Let $b$ be a non-degenerate symmetric bilinear pairing over a (finite-dimensional) $\mathbb F$-vector space $V$ and $W$ a totally ...
JBuck's user avatar
  • 223
5 votes
0 answers
138 views

Rings over which free modules of a certain rank are reflexive (satisfy Specker's theorem)

Following this question about the case of $\mathbb{Z}_{(p)}$, I've got to ask what is known more generally about rings and dimensions for which Specker's theorem holds. Let me make the following ...
Gro-Tsen's user avatar
  • 32.5k
3 votes
0 answers
71 views

Automorphisms of matrix algebras and Picard group

This is a repost of https://math.stackexchange.com/questions/4692364/automorphisms-of-matrix-algebras-and-picard-group (asked on MSE). Notation. In what follows, $R$ is a commutative ring with $1$, $n\...
GreginGre's user avatar
  • 1,766
1 vote
0 answers
45 views

Lifting module homomorphisms imposing conditions on characteristic polynomials

Suppose that we are in the setting described in the first two paragraphs of this MSE post. My question wants to deal with an instance of the study of the amount of freedom that the choice of the ...
Hvjurthuk's user avatar
  • 573
1 vote
0 answers
41 views

A bi-variate polynomial interpolation question

Let $R$ be a commutative unital ring, and $R^{m\times k}$ denote the set of $m\times k$ matrices with entries from $R$. A matrix $U\in R^{m\times m}$ is elementary if $U$ is obtained from the identity ...
TimeaV's user avatar
  • 11
1 vote
0 answers
45 views

A "spectral theorem" to SVD reduction for every commutative *-ring

Given any commutative $*$-ring $R$ of uneven characteristic, is it true that for every square matrix $M$ and unitary matrix $W$, if $W^* \begin{bmatrix} 0 & M \\ M^* & 0 \end{bmatrix} W$ is ...
wlad's user avatar
  • 4,943
1 vote
0 answers
108 views

When do the kernels of module homomorphisms between rings whose kernels contain a given fixed ideal contain every prime ideal over it?

$\DeclareMathOperator{\Hom}{Hom}$All our rings are commutative with unity and, if necessary, we can suppose that they are actually polynomial rings over a field in finitely many variables where the ...
Hvjurthuk's user avatar
  • 573
1 vote
0 answers
33 views

Making a generating set of a section of a graded polynomial $R$-module coming from a quotient into a basis of a quotient by higher degree polynomial

Denote the graded rings $R:=\mathbb{R}[x_{1},\dots x_{n}]$ and $S:=R[x_{0}]$ adding the homogenizing variable $x_{0}.$ Consider $h\in S$ a homogenous polynomial of degree $d$ with leading coefficient $...
Hvjurthuk's user avatar
  • 573
-2 votes
1 answer
329 views

Module such that every finitely generated submodule is semisimple [closed]

Is there an example of a module $M$ (over a commutative ring) that is not free, and such that each of its finitely generated submodule is semisimple (i.e. such that any submodule of any finitely ...
Jon-S's user avatar
  • 549
3 votes
0 answers
288 views

When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...
user avatar
2 votes
1 answer
507 views

Classification of pairs of commuting endomorphisms

Let $K$ be an algebraically closed field. I'm interested in isomorphism classes of triples $(V,f,g)$ where $V$ is a finite dimensional $K$-vector space and $f,g$ are commuting endomorphisms of $V$. ...
js21's user avatar
  • 7,249
4 votes
2 answers
818 views

Double orthogonal complement of a finite module

Crossposted from math.stackexchange since I'm not getting any answer. Let $W$ be the finite $\mathbb{Z}$-module obtained from $\mathbb{Z}_q^n$ with addition componentwise where $\mathbb{Z}_q$ is the ...
Carl's user avatar
  • 141
3 votes
1 answer
321 views

spurious torsion under compositions of linear maps

Say we have a PID $R$, integers $1 \leq a \leq b$, and $R$-homomorphisms $R^a \stackrel f\to R^b \stackrel g\to R^a$ with $g \circ f$ of full rank. For $h = f, g, g \circ f$, let $c(h)$ be the ...
Jay's user avatar
  • 735