Search found 9 matches

by Alkesk
Thu Jun 09, 2016 12:10 pm
Forum: Algebraic Structures
Topic: Invertible elements of a ring
Replies: 2
Views: 2835

Invertible elements of a ring

Let \(\displaystyle{R}\) an associative ring ,where \(\displaystyle{1}\) is the unit. Prove that if \(\displaystyle{1-xy}\) has a multiplicative inverse then \(\displaystyle{1-yx}\) has a multiplicative inverse, where \(\displaystyle{x,y\in R}\).
by Alkesk
Thu Jun 09, 2016 11:57 am
Forum: Algebraic Structures
Topic: Subring Of The Ring Of Endomorphisms Of A Vector Space
Replies: 2
Views: 2684

Re: Subring Of The Ring Of Endomorphisms Of A Vector Space

We see that for each \(\displaystyle{g,h \in D}\) and \(\displaystyle{f\in S}\) , \(\displaystyle{\left (g-h \right )\circ f=g\circ f-h\circ f=f\circ g-f\circ h=f\circ \left ( g-h \right )}\) \(\displaystyle{\left ( g\circ h \right )\circ f=g\circ \left ( h\circ f \right )=\left ( g\circ f \right )\...
by Alkesk
Thu Jun 09, 2016 9:56 am
Forum: Algebraic Structures
Topic: Ring with order the square of a prime
Replies: 1
Views: 2472

Ring with order the square of a prime

Let \(\displaystyle{R}\) an associative ring with unit and order \(\displaystyle{p^{2}}\) , where \(\displaystyle{p}\) is a prime number.

Prove that \(\displaystyle{R}\) is commutative.
by Alkesk
Thu Jun 09, 2016 9:36 am
Forum: Algebraic Structures
Topic: Vector space over the center of a division ring
Replies: 1
Views: 2405

Vector space over the center of a division ring

Let \(\displaystyle{R}\) be an associative division ring. Prove that \(\displaystyle{Z\left ( R \right )}\) is a field, where \(\displaystyle{Z\left ( R \right )=\left \{ z\in R:rz=zr , \forall r\in R \right \}}\) and that \(\displaystyle{R}\) can't be a vector space over \(\displaystyle{Z\left ( R ...
by Alkesk
Thu Jun 09, 2016 9:22 am
Forum: Algebraic Structures
Topic: Groups arising from a field
Replies: 3
Views: 3353

Re: Groups arising from a field

Thank you Demetres Christofides for your nice and short solution. Although ,the part you write that \(\displaystyle{R}\) has characteristic \(\displaystyle{2}\) wasn't so clear to me.Maybe it's a matter of symbolism.Anyway i explained it like this , if \(\displaystyle{x=0}\) then \(\displaystyle{\va...
by Alkesk
Thu Jun 09, 2016 9:20 am
Forum: Algebraic Structures
Topic: Groups arising from a field
Replies: 3
Views: 3353

Groups arising from a field

Prove that the groups \(\displaystyle{\left ( R,+ \right )}\) , \(\displaystyle{\left ( R-\left \{ 0 \right \},\cdot \right )}\) are never isomorphic, where \(\displaystyle{\left ( R,+,\cdot \right )}\) is a field.
by Alkesk
Thu Jun 09, 2016 9:00 am
Forum: Algebraic Structures
Topic: Jacobson and Wedderburn
Replies: 2
Views: 2718

Re: Jacobson and Wedderburn

Suppose that \(\displaystyle{\left ( 1 \right )}\) is true. Let \(\displaystyle{R\neq \left\{0\right\}}\) a finite division ring. It is obvious that \(\displaystyle{0^{1}=0}\). Now let \(\displaystyle{x\in R-\left\{0\right\}}\). If \(\displaystyle{{\forall} k,l \in \mathbb{N} , k\neq l, x^{k} \neq x...
by Alkesk
Mon Jan 18, 2016 4:08 am
Forum: Algebra
Topic: An interesting result
Replies: 1
Views: 3647

Re: An interesting result

Let \(\displaystyle{r_{1},r_{2}\in R : r_{1}r_{2}= 0}\) , if \(\displaystyle{r_{1}\neq 0}\) then there exists unique \(x_{1} : r_{1}= r_{1}x_{1}r_{1}\) since \(\displaystyle{r_{1}\left (x_{1}+r_{2} \right )r_{1}=r_{1}x_{1}r_{1}+\left (r_{1}r_{2} \right )r_{1}=r_{1}+0=r_{1}}\) and \(\displaystyle{x_{...
by Alkesk
Mon Jan 18, 2016 3:32 am
Forum: Linear Algebra
Topic: Changing a determinant
Replies: 3
Views: 3597

Re: Changing a determinant

Let \(\displaystyle{A=\left ( a_{ij} \right )}\) an \(\displaystyle{n\times n}\) matrix. By applying the changes referred to it's determinant we are taking the following determinant \(\left | B \right |=\begin{vmatrix} a_{11}+a_{1n} &a_{12}+a_{11} &\cdots &a_{1n}+a_{1\left ( n-1 \right )...