Hi everyone! I'm new. :) Anyway there's this textbook I found regarding the definition of orders (a type of subrings). I'm kinda having trouble with the notations and the phrasings used. If anyone knows about this your help would be greatly appreciated. :)(adsbygoogle = window.adsbygoogle || []).push({});

Anyway the definition goes like this:

Let [itex]A[/itex] be a [itex]\mathbb{Q}[/itex]-algebra. A subring [itex]R[/itex] of [itex]A[/itex] containing its unity is called a [itex]\mathbb{Z}[/itex]-order (or simply an order) in A if R is finitely generated as a [itex]\mathbb{Z}[/itex]-module and [itex]\mathbb{Q}R=A[/itex].

Some things I'm not quite sure of:

1. Does [itex]\mathbb{Q}[/itex]-algebra refer to any group algebra of [itex]\mathbb{Q}[/itex]? Ie, the group algebra of [itex]\mathbb{Q}[/itex] over any group?

2. [itex]R[/itex] is finitely generated as a [itex]\mathbb{Z}[/itex]-module = [itex]R[/itex] itself is a module over [itex]\mathbb{Z}[/itex] with a finite generating set? (Kinda confused here. @_@)

3. I'm quite unsure about the notation [itex]\mathbb{Q}R[/itex]. Is this equal to

[itex]\left\{q r | q \in \mathbb{Q}, r \in R\right\}[/itex]? Or a linear combination of elements from this set? The previous pages don't actually indicate anything about it. :( (Or maybe I've missed it.)

4. Also, now that I'm at it, if I'm correct in no. 2, it means that any element in [itex]R[/itex] can be expressed as a linear combination of elements in the generating set over [itex]\mathbb{Z}[/itex]... but does the other way also hold? I mean, is it that any linear combination in the generating set over [itex]\mathbb{Z}[/itex] is also an element in [itex]R[/itex]?

Thanks!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Regarding the definition of orders (as in subrings)

Loading...

Similar Threads - Regarding definition orders | Date |
---|---|

A Complex operators | Feb 15, 2018 |

I Regarding the linear dependence of eigenvectors | Mar 1, 2017 |

I Did Artin make a mistake regarding isomorphisms? | Feb 7, 2017 |

A Question regarding root of Bring quintic not expressible with radicals | Dec 2, 2016 |

I Coefficients of a vector regarded as a function of a vector | Mar 5, 2016 |

**Physics Forums - The Fusion of Science and Community**