Difference between revisions of "Main Page"
Tboudreaux (talk | contribs) |
Kfagerstrom (talk | contribs) (→Math) |
||
| Line 15: | Line 15: | ||
A lot of stuff in MediaWiki is like this, there's not a button for it but its actually quite easy. The docs are super helpful and well done. | A lot of stuff in MediaWiki is like this, there's not a button for it but its actually quite easy. The docs are super helpful and well done. | ||
| − | |||
| − | |||
| − | <math> \ | + | '''Definition:''' An <math>R</math>-module <math>M</math> is a '''free''' <math>R</math>-module if <math>M</math> has a basis. A subset <math>A</math> of an <math>R</math>-module <math>M</math> is a basis of <math>M</math> if <math>A</math> is linearly independent and generates <math>M</math>. |
| + | |||
| + | '''Examples:''' | ||
| + | # <math>R=R\{1_R\}</math> is a free <math>R</math>-module | ||
| + | # <math>R^2=R\oplus R</math> has basis <math>\{(1_R,0_R),(0_R,1_R)\}</math> | ||
| + | # <math>R[x]</math> is a free <math>R</math>-module with (infinite) basis <math>\{1,x,x^2,...,x^i,...\}</math> | ||
| + | # <math>R[x,y]</math> has basis <math>\{x^n,y^m\ |\ n,m\geq 0 \}</math> as free <math>R</math>-module | ||
| + | # <math>R[x,y]</math> has basis <math>\{1,y,y^2, ...,y^i,...\}</math> as free <math>R[x]</math>-module | ||
| + | |||
| + | |||
| + | All free <math>R</math>-modules <math>M </math> have some basis <math>B=\{b_1,...,b_n\} </math> so have rank <math>n </math>, and can be written as <math>R^n\cong M </math>. Additionally every element <math>m\in M </math> can be uniquely written <math> m=\sum_{i=1}^n r_ib_i</math>. | ||
Revision as of 16:44, 8 March 2023
Welcome to an Example MediaWiki Instance Hosted on Algebrist!
Consult the User's Guide for information on using the wiki software.
Getting started
- Configuration settings list
- MediaWiki FAQ
- MediaWiki release mailing list
- Localise MediaWiki for your language
- Learn how to combat spam on your wiki
Quick Start
MediaWiki takes the approach of not providing a real dashboard for editing. In the long run this makes things way easier but it can be a bit weird at the very start. For example if you look to a button to create a new page you wont find one. However, it is very easy to make new pages. Say you want to make a page called
FancyMathStuff
then you would, in the URL bar, enter
https://wiki.algebrist.ddns.net/index.php?title=FancyMathStuff
. On that page you will see the option to create it!
A lot of stuff in MediaWiki is like this, there's not a button for it but its actually quite easy. The docs are super helpful and well done.
Definition: An \(R\)-module \(M\) is a free \(R\)-module if \(M\) has a basis. A subset \(A\) of an \(R\)-module \(M\) is a basis of \(M\) if \(A\) is linearly independent and generates \(M\).
Examples:
- \(R=R\{1_R\}\) is a free \(R\)-module
- \(R^2=R\oplus R\) has basis \(\{(1_R,0_R),(0_R,1_R)\}\)
- \(R[x]\) is a free \(R\)-module with (infinite) basis \(\{1,x,x^2,...,x^i,...\}\)
- \(R[x,y]\) has basis \(\{x^n,y^m\ |\ n,m\geq 0 \}\) as free \(R\)-module
- \(R[x,y]\) has basis \(\{1,y,y^2, ...,y^i,...\}\) as free \(R[x]\)-module
All free \(R\)-modules \(M \) have some basis \(B=\{b_1,...,b_n\} \) so have rank \(n \), and can be written as \(R^n\cong M \). Additionally every element \(m\in M \) can be uniquely written \( m=\sum_{i=1}^n r_ib_i\).
