Intereting Posts

Noetherian integral domain such that $m/m^2$ is a one-dimensional vector space over $A/m$
Minimal cut edges number in connected Eulerian graph.
For integers $a\ge b\ge 2$, is $f(a,b) = a^b + b^a$ injective?
Can permutating the digits of an irrational/transcendental number give any other such number?
Alternating and special orthogonal groups which are simple
Combining rotation quaternions
In classical logic, why is $(p\Rightarrow q)$ True if $p$ is False and $q$ is True?
How to find the value of $\int_0^1 \frac{x-1}{\log x}\,dx$?
Subsequence convergence in $L^p$
Lipschitz continuity of atomless measures
What is an example of a second order differential equation for which it is known that there are no smooth solutions?
If $f$ is integrable then $|f|$ is also integrable
Infinite coproduct of rings
Find a formula relating $\operatorname{arcsin}(x)$ and $\operatorname{arccos}(x)$
My text says$ \left\{\begin{pmatrix}a&a\\a&a\end{pmatrix}:a\ne0,a\in\mathbb R\right\}$ forms a group under matrix multiplication.

I was wondering if a field is an algebra over itself (http://en.wikipedia.org/wiki/Algebra_over_a_field)?

Also is a ring an algebra over itself (http://en.wikipedia.org/wiki/Algebra_(ring_theory)? If not, does the ring require to be commutative?

Thanks and regards!

- Result due to Cohn, unique division ring whose unit group is a given group?
- Finding all homomorphisms between two groups - couple of questions
- Prove that $(0)$ is a radical ideal in $\mathbb{Z}/n\mathbb{Z}$ iff $n$ is square free
- Is Lagrange's theorem the most basic result in finite group theory?
- Find all subgroups of $\mathbb{Z}\times\mathbb{Z}$.
- Given a torsion $R$-module $A$ where $R$ is an integral domain, $\mathrm{Tor}_n^R(A,B)$ is also torsion.

- Ring of Polynomials is a Principal Ideal Ring implies Coefficient Ring is a Field?
- Prove that the group isomorphism $\mathbb{Z}^m \cong \mathbb{Z}^n$ implies that $m = n$
- Prove that $\{(1 2),(1 2 … n)\}$ can generate $S_n$
- On Conjugacy Classes of Alternating Group $A_n$
- Why is the ring of matrices over a field simple?
- Description of $\mathrm{Ext}^1(R/I,R/J)$
- Prove GCD of polynomials is same when coefficients are in a different field
- Maximal ideals of polynomial rings in infinitely many variables
- If the localization of a ring $R$ at every prime ideal is an integral domain, must $R$ be an integral domain?
- What do we call collections of subsets of a monoid that satisfy these axioms?

A field K is an algebra over a field (the field being K). A commutative ring R is an algebra over a ring (the ring being R).

[This should be a comment, I guess]

This is the kind of question you can answer yourself by simply checking the conditions in the definition are satisfied. You *really* should do it, independently of what anyone answers here or elsewhere!

You should know, though, that a field can be an algebra over itself in many different ways, as soon as you have a field $K$ such that there are at least two ring homomorphisms $K\to K$ (there is always one such ring homomorphism, the identity map, so to get something interesting, we need two).

It is easy to give examples of fields which do have such non-identity homomorphisms. For example, every Galois extension of $\mathbb Q$, or the field of rational functions $\mathbb C(x)$ (there is a non-identity homomorphism $\mathbb C(x)\to \mathbb C(x)$ which maps $x$ to $x^2$, and in fact many similar other ones), &c.

The answer is clear if you know the universal view of $\rm\:R\:$-algebras, namely they are simply those rings $\rm\:A\:$ into which one can always evaluate $\rm R[x]$ for every $\rm\:a \in A\:$. More directly, an $\rm\:R$-algebra is just a ring $\rm A\:$ containing a central subring $\rm R’$ that’s a ring image of $\:\rm R\:,\:$ i.e. $\rm\: R’\:$ is either an embedding of $\rm\:R\:$ or $\rm\:R/I\:$ for some ideal $\rm\;I\in R\:.\;$ Being central is precisely the condition needed for elts in $\rm\:R’\:$ to serve as “coefficients” in the sense that this makes polynomial rings $\rm\: R[x]\:$ be a **universal** $\rm\:R\:$-algebras. Namely, the fact that the coefficients commute with all elts of $\rm\:A\:$ is precisely what is required to make the evaluation map be a ring homomorphism $\rm\: R[x]\to A\:,\:$

viz $\rm\;\; r\; x = x\: r\;$ in $\rm\:R[x]\;\Rightarrow\; r\: a = a\:r\;\;$ by evaluation $\rm\: x\to a\in A,\:$ i.e. by definition polynomial multiplication assumes that the coefficients commute with the indeterminates, so this property must remain true at values of indeterminates if evaluation is to be a ring homomorphism.

- Ravi substitution in inequalities
- Significance of Sobolev spaces for numerical analysis & PDEs?
- Show that a space is separable.
- Boy Born on a Tuesday – is it just a language trick?
- Formula for trace of compact operators on $L^2(\mathbb{R})$ given by integral kernels?
- Equivalent definition of exactness of functor?
- How to find the sine of an angle
- Decomposite a vector field into two parts
- Differentiable Manifold Hausdorff, second countable
- How to find shortest distance between two skew lines in 3D?
- Gradient vs Conservative vector field: What's the difference?
- good book to study Differential Equations throgh geometric ideas.
- Can a group of order $55$ have exactly $20$ elements of order $11$?
- Good book on integral calculus (improper integrals, integrals with parameters, special functions)
- Why does the tensor product of an irreducible representation with the sign representation yield another irreducible representation?