Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
112 views

Invariant factors and commuting matrices over a discrete valuation ring

$\DeclareMathOperator\Im{Im}\DeclareMathOperator\Ker{Ker}$Let $A$ be a discrete valuation ring with uniformizer $p$. Let $X, Y\in M_n(A)$ be square matrices such that $XY=YX$, and let $X^T$, $Y^T$ be ...
Sylvain Brochard's user avatar
4 votes
0 answers
211 views

Diagonalization over valuation rings

Let $\mathcal{R}$ be a valuation ring, and consider an $\mathcal{R}$-linear endomorphism $L:\mathcal{R}^{n}\rightarrow \mathcal{R}^{n}$. Is there any criterion for telling when $L$ can be diagonalized?...
FPV's user avatar
  • 541
4 votes
1 answer
728 views

matrix congruence and smith normal form

Fixed $n \geq 2$ and consider $A,B \in GL(n,\mathbb{Z}).$ We know that we have the Smith normal form. One can find $U, V \in SL(n,\mathbb{Z})$ such that $A=UDV.$ So as $B$. The Smith normal form is ...
en kuo's user avatar
  • 145
6 votes
1 answer
328 views

Algebra with a certain abelian group as the multiplicative group

Let $A$ be an abelian group. Are there an algebra $\mathfrak{X}(A)$ s.t. the multiplication group is isomorphic to A ? i.e. $$ \mathfrak{X}(A)^{\times} \simeq A. $$ For example, for $A=\mathbb{Z}/4\...
M masa's user avatar
  • 479
0 votes
0 answers
100 views

Solutions of the linear equation from K[[X_1,X_2,X_3]] to K[[X_1,X_2]]

Let $A_3 := K[[X_1,X_2,X_3]]$ be a three-variable formal power series ring over a field $K$. We consider a linear equation $(\sharp) \phantom{aa} a_1(X_1,X_2,X_3)Y_1 + \ldots + a_n(X_1,X_2,X_3)Y_n = ...
Pierre's user avatar
  • 563
1 vote
0 answers
169 views

Sum of two free o-submodules in a vector space over a local field

Let $V$ be a countably infinite dimensional $K$-vector space over a local field $K$ (nontrivially discretely valued with finite residue field). Let $o$ be the ring of integers of $K$. Given two free ...
Tiffy's user avatar
  • 107