ring over monoid?
|Dec27-09, 10:49 AM||#1|
ring over monoid?
I have following question. I will explain it with abstract notation although in fact I am working with some peculiar matrices.
I have finitely presented noncommutative monoid with identity element [latex] I [/latex]. Presentation of this let say would be [latex] M = <S,T;S^2> [/latex] which means that if [latex] S,T [/latex] are generators of free monoid [latex] F=<S,T> [/latex] then [latex] S^2 =I [/latex] where [latex] I [/latex] is identity of monoid [latex] SI=TI=IT=IS[/latex]. Then [latex] M [/latex] is quotient of free monoid [latex] F [/latex] by the given relation [latex] M= F / [S^2-1] [/latex].
Now I have to construct ring [latex] R[M] [/latex] over rationals ( complex, whatever) with structure I will build by canonical method, as a sum of elements of monoid [latex] M [/latex] "multiplied" by weights from field R (or even C, or whatever). Here I found that general element [latex] Z [/latex] of ring [latex] R[M] [/latex] will be defined by expression:
[latex] Z = aI + bS +cT +dL [/latex]
where [latex]a,b,c,d[/latex]* are in the field [latex]R[/latex] where [latex] L [/latex] is certain element which is not an element of monoid [latex]M [/latex] but it is properly constructed element of [latex]R[M][/latex]! Namely [latex]L = [S,T] = ST - TS [/latex]. I point that monoid [latex]M[/latex] is multiplicative and noncommutative so [latex]L[/latex] is not present in monoid.
This is strange for me, and surprised me. I did not thought that it may happened: additional generator for a ring is required.
So I have situation, that monoid is generated by two generators [latex]<S,T>[/latex], while its ring over rationals [latex]R[M][/latex] by three [latex] <S,T,L>[/latex] ! In fact it is even finitely presented Lie algebra for which I have structure constants computed. Presently I am looking for its matrix representations different from starting one.
This is where my knowledge ends. I am looking for some bibliography in above matter. The only things I have found was about group rings and so, then I cannot qualify if different numbers of generators is something normal or strange? Typical or interesting? Did You ever see some books or papers with other but concrete examples of such objects ( monoid rings,algebras, modules over a field )? Maybe there are even some theorems in the wild and some of You knows where may I found them?
* - in above term [latex]aI[/latex] is not needed in fact, as I have relation [latex]S^2=I[/latex], but it has nice shape as it is, so in this post it does not matter.
|Dec27-09, 12:50 PM||#2|
Why do you need L? Given Z = aI + bS + cT, if you take a = 0, b = 1 and c = 0, you get S; for a = 0, b = 0, c = 1, you get T, so ST and TS are ring elements; therefore L = ST - TS will also be a ring element. It's not necessary to include it explicitly in Z.
PS: a general element of such a ring will not have your form Z; don't forget that monoid elements of the form, for example, (T^n)(S^k) will be identified with T^n, if k is even, or (T^n)S, if k is odd.
|Dec27-09, 05:03 PM||#3|
[latex] Z = aI + bS +cT +dL [/latex]*
I mean: every one! Every one element of my general ring R[M] is linear combination of this four ( in fact three) elements. This is very special property, so I assume it is important for structure I am trying to "algebraifying";-) That is why Im looking for help. It is not exactly canonical situation....
This also means that my finitely presented algebra over rationals for monoid R[M] has structure of vector space - this is the meaning of * equation...
Thanks for Your reply: even that one was inspiration for me in some way...
|Dec29-09, 04:25 AM||#4|
ring over monoid?
So maybe I ask once more, with better defined question: Do You know any database of finite presented structures, like algebras, groups, monoids etc. when I may look for my structure in order to check if someone else use it in other than my situation?
There are some databases in the wild: huge Cremona database of elliptic curves, Sloane database of integer sequences etc. Do You know any similar database for finitely presented algebras or groups?
|group ring, monoid|
|Similar discussions for: ring over monoid?|
|Thompson's Jumping Ring with the ring in the centre of the solenoid||Introductory Physics Homework||0|
|For a monoid, if uv = 1, do we know vu = 1?||General Math||2|
|Finding the B-field at a point outside ring of current IN Plane of ring||Introductory Physics Homework||1|
|Prove that a set is a monoid, but not a ring.||Linear & Abstract Algebra||5|
|prove that inv(G) is a group. G is a monoid...||Linear & Abstract Algebra||6|