# Tagged Questions

45 views

### Realize groups as unit group of a ring

Let $A$ be a ring, $G$ be a group, and $f:A^{\times} \rightarrow G$ be a group homomorphism. Is there any ring $B$ and ring homomorphism $\varphi:A \rightarrow B$ such that $G$ is subgroup of ...
26 views

### prove that $(E_{p^n},*)$ is cyclic group

if $p \in$ $\mathbb{N}$ is a prime integer, how can i prove that $E_{p^n}$ the group of invertible elements of $\frac{\mathbb{Z}}{p^n\mathbb{Z}}$ is a cyclic group.
57 views

### Quote objects in concrete categories

I refer to 'Analogy of ideals with Normal subgroups in groups' which was a very enlightening question for me. When I was young I was too avid on abstract algebra and I did too many courses at the same ...
46 views

### Explain rings and is [S, /, -] a ring?

Okay, so we are going to use the base set of numbers [i], which contains all possible cases of ai, where a is any real number. Here are 4 possible groups on this set --> [i,*]... [i,+]... [i,/] ...
45 views

### Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and let $H$ be ...
153 views

### When does $V/\operatorname{ker}(\phi)\simeq\phi(V)$ imply $V\simeq\operatorname{ker}(\phi)\oplus\phi(V)$?

When does $V/\operatorname{ker}(\phi)\simeq\phi(V)$ imply $V\simeq\operatorname{ker}(\phi)\oplus\phi(V)$? I wrote it down in an imprecise way on purpose. The notation above is the linear algebra one: ...
129 views

### What is so special about $a*b^{ -1}$ equivalence?

This equivalent is used often in group theory. For example, using this equivalnce you prove Lagranges theroem and also this equivalence gives you the cosets and other things. This equivalence also ...
29 views

### Nilpotent and Invertible elements in commutative ring with 1

Let $R$ be a commutative ring with $1$, $S$ a subring also with $1$. Suppose $R\setminus S$ contains a nilpotent element. Prove that $R\setminus S$ also contains an invertible element. Attempt at ...
22 views

### Torsion elements in integer-modules

In a worryingly short amount of time I've managed to forget almost everything I knew about modules, groups, rings e.t.c. I'm using the definition that an element $m$ of a module $M$ over an integral ...
50 views

### Noetherian group rings

I'm asking for an example of a finitely generated amenable group $G$ and a field $K$, such that the group ring $K[G]$ is not Noetherian. Is it also possible to find a finitely generated amenable ...
33 views

### My question is about the definition of a map called the “reduction map”.

Let $G$ be a group and $N$ normal in $G$. I have read about a map $\alpha : G\rightarrow \frac{G}{N}$ called the reduction map mod $N$. I would love if someone could please explain this to me. Is it ...
24 views

### In an infinite cyclic field of non zero units, characteristic $\neq 2$, can an element $-u \neq u$ be expressed as $u^t$ for some finite integer $t$?

For the sake of a proof using contradiction ( to be used somewhere), Lets assume that an infinite cyclic field $F$ of non zero units exists with characteristic $\neq 2$ . In this infinite cyclic field ...
2k views

### What is Abstract Algebra essentially?

In the most basic sense, what is abstract algebra about? Wolfram Mathworld has the following definition: "Abstract algebra is the set of advanced topics of algebra that deal with abstract algebraic ...
162 views

### On the Importance of the Second and Fourth Isomorphism Theorems

I suppose I'd like to focus on the theorems for groups and rings, first of all. In particular, I'd rather not see anything about modules, simply because I don't feel I know enough about them. Anyway, ...
111 views

### Subset of $\mathbb{Z} \times \mathbb{Z}$

I have a past exam question that is as follows: Let $k$ be a fixed integer and $S = \{(a,ka)|a \in \mathbb{Z}\}$ be a subset of $\mathbb{Z} \times \mathbb{Z}$. Prove that $S$ is a subgroup of ...
24 views

### Monotonic Union of Submodule

The theorem is: Suppose $M$ is an $R$-module, $T$ is an index set, and for each $t \in T$, $N_t$ is a submodule of $M$. If $\{N_t\}$ is a monotonic collection, $\cup_{t\in T} N_t$ is a submodule. Is ...
130 views

### Applications of groups, rings and modules in life [closed]

I have read calculus. Now I'm reading algebra. What is the application of groups, rings and modules in life? When we study derivations we know several applications. What about groups, rings and ...
34 views

### The group morphism of tye ring

Let $(G,+,\cdot)$ $(H,+,\cdot)$ be rings, we suppose that the unites $(G*,\cdot)$ and $(H*,\cdot)$ form groups respectively, for example, the matrix ring $M(n,\mathbb{R})$. There is a group morphism ...
592 views

### Why are groups “abelian” but rings “commutative”?

I have never seen, in any text, a ring whose multiplication is commutative being called an "abelian ring", even though this would make perfect sense, because this term would necessarily refer to ...
73 views

62 views

### True or False? … [closed]

Let be $G$ a group, if $H$ is normal subgroup of $L$ and $L$ is normal subgroup of $G$, then $H$ is normal subgroup of $G$ Let be $f,g$ in $\mathbb Q[x]$, show that if $gcd(f,g)=d(x)$ then there ...
32 views

### Properties of $Hom_{\mathbb{Z}}(\mathbb{Q}, \mathbb{Q} )$ [duplicate]

I have to prove that : 1) $Hom_{\mathbb{Z}}(\mathbb{Q}, \mathbb{Q}) \cong \mathbb{Q}$ as abelian groups 2) $End_{\mathbb{Z}}(\mathbb{Q}) \cong \mathbb{Q}$ as rings What I have done: 1) We can ...
18 views

### Properties of $Hom_{\mathbb{Z}}(\mathbb{Q}, \mathbb{Q})$

I have to prove that : 1) $Hom_{\mathbb{Z}}(\mathbb{Q}, \mathbb{Q}) \cong \mathbb{Q}$ as abelian groups 2) $End_{\mathbb{Z}}(\mathbb{Q}) \cong \mathbb{Q}$ as rings What I have done: 1) We can ...
41 views

### Proving the existence of unity in $R$, where $R$ is the ring of polynomials over complex numbers with $f(0)=0$.

My line of thought is this: we want to prove that there exists some $h(x)\in R$ such that $g(x)h(x)=g(x)$. Therefore $h(x)=1$ for all $x$. But if $h(x)$ is in $R$, then is it not equal to zero at ...
102 views

### How can one visualize a homomorphic mapping.

It has been a year or so studying Group theory and Ring theory. Funnily enough, this is the part where i am able to solve most of the questions of the book quite easily, yet not fully understanding ...
55 views

### Classify abelian groups $A$ which are irreducible $End(A)$-modules

Classify abelian groups $A$ which are irreducible $End(A)$-modules. I think i did it for finite abelian group $A$ . A finite abelian group $A$ is irreducible iff order of $A$ a is power of prime. ...
128 views

### Generality of rings' abelian group

Let G be an abelian (finite) group. Is there a ring $R$ with $G$ isomorphic to the group $(R,+)$?
31 views

### Set or Ring, and group of units?

I have a couple of questions. I understand the axioms needed for a ring. But am confused about a unitary ring? does this just mean its a ring but has to have the unit 1? Also I do not understand ...
202 views

### Examples of properties not preserved under homomorphism

An isomorphism indicates that two structures are the same, using different names for the elements. Therefore it's obvious that every (algebraic) property of the first structure must be present in the ...
45 views

### How to show $c-b\lt b-a$

The question: Let $G$ be an Arf semigroup and $a\lt b\lt c$ be three consecutive elements in $G$. How to show that $c-b\lt b-a$ and how to show that this is not necessarily the case for every ...
41 views

### Is there a way to encode a ring into a group?

Is there a meaningful bijection between tne set of all rings and the set of all groups? Thanks.
173 views

### Proving that the unities of a ring form a group under multiplication

I am presented with the following task: Show that if $U$ is the collection of all units in a ring $\langle R, +, \cdot\rangle$ with unity, then $\langle U, \cdot\rangle$ is a group. I am still ...
194 views

31 views

### modules finite congenerated are closed under extensions

I have to prove some properties about modules finite cogenerated, I´ve already prove that mmodules finite cogenerated are closed under submodules, finite direct sums, but I can´t see how to prove that ...
146 views

### Classify Artinian $\Bbb Z$-modules

How can I classify Artinian $\mathbb{Z}$-modules as Noetherian $\mathbb{Z}$-module? (A $\mathbb{Z}$-module is Noetherian iff it is finitely generated). Any hint will be helpful. I have seen the ...