Related papers: Formal Matrix Rings: Isomorphism Problem
Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…
We consider real non-symmetric matrices and their factorisation as a product of real symmetric matrices. The number of complex eigenvalues of the original matrix reveals restrictions on such factorisations as we shall prove.
We study the time and space complexity of matrix permanents over rings and semirings.
We solve a problem posed by Cardinali and Sastry [2] about factorization of $2$-covers of finite classical generalized quadrangles. To that end, we develop a general theory of cover factorization for generalized quadrangles, and in…
An isomorphism between the group ring of a finite group and a ring of certain block diagonal matrices is established. The group ring $RG$ of a finite group $G$ is isomorphic to the set of {\em group ring matrices} over $R$. It is shown that…
The twisted group ring isomorphism problem (TGRIP) is a variation of the classical group ring isomorphism problem. It asks whether the ring structure of the twisted group ring determines the group up to isomorphism. In this article, we…
We survey a variety of results about partially isometric matrices. We focus primarily on results that are distinctly finite-dimensional. For example, we cover a recent solution to the similarity problem for partial isometries. We also…
We explore the connection between ring homomorphisms and semigroup homomorphisms on matrix algebras over rings or $C^*$-algebras.
In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…
Let $A$ be a commutative arithmetical ring. The ring $A$ has Krull dimension if and only if every factor ring of $A$ is finite-dimensional and does not have idempotent proper essential ideals. The study is supported by Russian Science…
We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects.
In this paper, we tackle two important problems in low-rank learning, which are partial singular value decomposition and numerical rank estimation of huge matrices. By using the concepts of Krylov subspaces such as Golub-Kahan…
In this paper we use formal group rings to construct an algebraic model of the $T$-equivariant oriented cohomology of smooth toric varieties. Then we compare our model with known results of equivariant cohomology of toric varieties to…
We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to…
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our…
We discuss an interesting duality known to occur for certain complex reflection groups, namely the duality groups. Our main construction yields a concrete, representation theoretic realisation of this duality. This allows us to naturally…
We study factorizations of rational matrix functions with simple poles on the Riemann sphere. For the quadratic case (two poles) we show, using multiplicative representations of such matrix functions, that a good coordinate system on this…
We observe that the class of left and right artinian left and right morphic rings agrees with the class of artinian principal ideal rings. For $R$ an artinian principal ideal ring and $G$ a group, we characterize when $RG$ is a principal…