Item:Q6184: Difference between revisions

Revision as of 20:16, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 145,565 edits ‎Created claim: subclass of (P1): Noetherian module (Q6185) ← Older edit	Revision as of 20:17, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 145,565 edits ‎Created claim: defining formula (P333): I_1\subseteq\cdots \subseteq I_{k-1}\subseteq I_{k}\subseteq I_{k+1}\subseteq\cdots Newer edit →
	Property / defining formula
		$I_{1}\subseteq \cdots \subseteq I_{k-1}\subseteq I_{k}\subseteq I_{k+1}\subseteq \cdots$ `I_1\subseteq\cdots \subseteq I_{k-1}\subseteq I_{k}\subseteq I_{k+1}\subseteq\cdots`
	Property / defining formula: $I_{1}\subseteq \cdots \subseteq I_{k-1}\subseteq I_{k}\subseteq I_{k+1}\subseteq \cdots$ / rank
		Normal rank