<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body>
<span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); text-transform: none;">We would like to invite you to the next talk of autumn in the Aalto AGC (Algebra, Geometry
 and Combinatorics) Seminar!</span>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The talk is on</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Mon 05.10. </b>at<b> 14:15-15:00</b></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
in</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>M3 (M234), Otakaari 1.</b></div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The speaker is</div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;">
<span style="font-size: 16px; color: rgb(0, 0, 0);"><b>Vanni </b></span><b>Nocerini</b><span style="font-size: 16px; color: rgb(0, 0, 0);"><b> (Aalto)</b></span></div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="text-transform: none;">giving the talk</span></div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="text-transform: none;"><b>Rosenbrock's Theorem characterizes Prüfer domains</b></span></div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b><br>
</b></div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Abstract:</b></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Under coprimality assumptions on certain submatrices, Rosenbrock's Theorem relates the invariant factors of a matrix P to those of its "transfer function" (an engineering term that denotes the Schur complement of a leading principal submatrix, assumed invertible)
 G. Motivated by applications in systems theory, Rosenbrock first proved this result in the 1960s for P \in \R[x]. In 1974, Coppel proved Rosenbrock's Theorem in much broader generality, assuming that the base ring is a PID.</div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I would like to discuss some recent results on this theorem:</div>
<div class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<ol start="1" data-editing-info="{"applyListStyleFromLevel":false,"orderedStyleType":7}" style="text-align: left; margin-top: 0px; margin-bottom: 0px;">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); margin-top: 0px; margin-bottom: 0px; list-style-type: "(a) ";">
<div class="elementToProof" role="presentation"><span style="text-transform: none;">Even Coppel's assumptions can be weakened further to show that Rosenbrock's Theorem holds over any elementary divisor domain (EDD). This is relevant for engineering applications
 over the ring of entire functions. Moreover, even when the assumptions of the theorem do not hold, it is possible to estimate the relation between the invariant factors of P and G.</span></div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); margin-top: 0px; margin-bottom: 0px; list-style-type: "(b) ";">
<div class="elementToProof" role="presentation"><span style="text-transform: none;">Because the Smith and Smith-McMIllan forms are only guaranteed to exist over an EDD (or its field of fractions), the result in part (a) means that Rosenbrock's Theorem holds
 for every integral domain over which its original statement makes sense. However, it possible to reopen the question by translating the statement in the language of fractional ideals. One can then prove that this "ideal-theoretic Rosenbrock's Theorem" holds
 if and only if the underlying ring is a Prüfer domain. For more general rings, several interesting partial results can also be stated, some of which are still motivated by applications to engineering. Some connections with the Quillen-Suslin theorem also arise.</span></div>
<div class="elementToProof" role="presentation" style="direction: ltr;"><span style="text-transform: none;"><br>
</span></div>
<div class="elementToProof" role="presentation" style="direction: ltr;"><span style="text-transform: none;"><br>
</span></div>
</li></ol>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="text-transform: none;">Part (a) is based on joint work with Dopico and Zaballa; part (b) is based on a single authored paper.</span></div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>