Layered hidden Markov model: Difference between revisions
Jump to navigation
Jump to search
en>ChrisGualtieri |
en>Edward m link overfitting using Find link |
||
| Line 1: | Line 1: | ||
The '''invariant factors''' of a [[module (mathematics)|module]] over a [[principal ideal domain]] (PID) occur in one form of the [[structure theorem for finitely generated modules over a principal ideal domain]]. | |||
If <math>R</math> is a [[Principal ideal domain|PID]] and <math>M</math> a [[Finitely-generated module|finitely generated]] <math>R</math>-module, then | |||
:<math>M\cong R^r\oplus R/(a_1)\oplus R/(a_2)\oplus\cdots\oplus R/(a_m)</math> | |||
for some integer <math>r\geq0</math> and a (possibly empty) list of nonzero elements <math>a_1,\ldots,a_m\in R</math> for which <math>a_1 \mid a_2 \mid \cdots \mid a_m</math>. The nonnegative integer <math>r</math> is called the ''free rank'' or ''Betti number'' of the module <math>M</math>, while <math>a_1,\ldots,a_m</math> are the ''invariant factors'' of <math>M</math> and are unique up to [[associatedness]]. | |||
The invariant factors of a [[Matrix (mathematics)|matrix]] over a PID occur in the [[Smith normal form]] and provide a means of computing the structure of a module from a set of generators and relations. | |||
==See also== | |||
* [[Elementary divisors]] | |||
==References== | |||
* {{cite book | author=B. Hartley | authorlink=Brian Hartley | coauthors=T.O. Hawkes | title=Rings, modules and linear algebra | publisher=Chapman and Hall | year=1970 | isbn=0-412-09810-5 }} Chap.8, p.128. | |||
* Chapter III.7, p.153 of {{Lang Algebra|edition=3}} | |||
[[Category:Module theory]] | |||
{{Abstract-algebra-stub}} | |||
Revision as of 10:01, 7 December 2012
The invariant factors of a module over a principal ideal domain (PID) occur in one form of the structure theorem for finitely generated modules over a principal ideal domain.
If is a PID and a finitely generated -module, then
for some integer and a (possibly empty) list of nonzero elements for which . The nonnegative integer is called the free rank or Betti number of the module , while are the invariant factors of and are unique up to associatedness.
The invariant factors of a matrix over a PID occur in the Smith normal form and provide a means of computing the structure of a module from a set of generators and relations.
See also
References
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Chap.8, p.128. - Chapter III.7, p.153 of Template:Lang Algebra