A group $ G $ of order at least $ 4 $ has the property that there exists a natural number $ n\not\in\{ 1,|G| \} $ such that $ G $ admits exactly $ \binom{|G|-1}{n-1} $ subgroups of order $ n. $ Show that $ G $ is commutative. [i]Marius Tărnăuceanu[/i]

$G$ is a group that order of each element of it Commutator group is finite. Prove that subset of all elemets of $G$ which have finite order is a subgroup og $G$.

Show that the set of all elements minus $ 0 $ of a finite division ring that has at least $ 4 $ elements can be partitioned into two nonempty sets $ A,B $ having the property that $$ \sum_{x\in A} x=\prod_{y\in B} y. $$

Let $ A $ be a ring in which $ 1\neq 0. $ If $ a,b\in A, $ then the following affirmations are equivalent: $ \text{(i)}\quad aba=a\wedge ba^2b=1 $ $ \text{(ii)}\quad ab=ba=1 $ $ \text{(iii)}\quad \exists !b\in A\quad aba=a $

Prove that the number of nilpotent elements of a commutative ring with an order greater than $ 8 $ and congruent to $ 3 $ modulo $ 6 $ is at most a third of the order of the ring.

Let $A=(a_{ij})$ be an $m\times n$ real matrix with at least one non-zero element. For each $i\in\{1,\ldots,m\}$, let $R_i=\sum_{j=1}^na_{ij}$ be the sum of the $i$-th row of the matrix $A$, and for each $j\in\{1,\ldots,n\}$, let $C_j =\sum_{i=1}^ma_{ij}$ be the sum of the $j$-th column of the matrix $A$. Prove that there exist indices $k\in\{1,\ldots,m\}$ and $l\in\{1,\ldots,n\}$ such that $$a_{kl}>0,\qquad R_k\ge0,\qquad C_l\ge0,$$or $$a_{kl}<0,\qquad R_k\le0,\qquad C_l\le0.$$

Let $A$ be an abelian additive group such that all nonzero elements have infinite order and for each prime number $p$ we have the inequality $|A/pA|\leq p$, where $pA = \{pa |a \in A\}$, $pa = a+a+\cdots+a$ (where the sum has $p$ summands) and $|A/pA|$ is the order of the quotient group $A/pA$ (the index of the subgroup $pA$). Prove that each subgroup of $A$ of finite index is isomorphic to $A$.

Let $ G$ be finite group and $ \mathcal{K}$ a conjugacy class of $ G$ that generates $ G$. Prove that the following two statements are equivalent: (1) There exists a positive integer $ m$ such that every element of $ G$ can be written as a product of $ m$ (not necessarily distinct) elements of $ \mathcal{K}$. (2) $ G$ is equal to its own commutator subgroup. [i]J. Denes[/i]

Let $G$ be a hyper elementary abelian $p-$group and let $f : G \rightarrow G$ be a homomorphism. Then prove that $\ker f$ is isomorphic to $\mathrm{coker} f$.

Let $n\geq 1$ be an integer. Find all rings $(A,+,\cdot)$ such that all $x\in A\setminus\{0\}$ satisfy $x^{2^{n}+1}=1$.

In the questions below: $G$ is a finite group; $H \leq G$ a subgroup of $G; |G : H |$ the index of $H$ in $G; |X |$ the number of elements of $X \subseteq G; Z (G)$ the center of $G; G'$ the commutator subgroup of $G; N_{G}(H )$ the normalizer of $H$ in $G; C_{G}(H )$ the centralizer of $H$ in $G$; and $S_{n}$ the $n$-th symmetric group. Suppose $k \geq 2$ is an integer such that for all $x, y \in G$ and $i \in \{k-1, k, k+1\}$ the relation $(xy)^{i}= x^{i}y^{i}$ holds. Show that $G$ is Abelian.

Let $ A $ be a ring, $ a\in A, $ and let $ n,k\ge 2 $ be two natural numbers such that $ n\vdots\text{char} (A) $ and $ 1+a=a^k. $ Show that the following propositions are true: [b]a)[/b] $ \forall s\in\mathbb{N}\quad \exists p_0,p_1,\ldots ,p_{k-1}\in\mathbb{Z}_{\ge 0}\quad a^s=\sum_{i=0}^{k-1} p_ia^{i} . $ [b]b)[/b] $ \text{ord} (a)\neq\infty . $

Let $ G$ be an infinite compact topological group with a Hausdorff topology. Prove that $ G$ contains an element $ g \not\equal{} 1$ such that the set of all powers of $ g$ is either everywhere dense in $ G$ or nowhere dense in $ G$. [i]J. Erdos[/i]

Let $(G,\cdot)$ be a finite group with the identity element, $e$. The smallest positive integer $n$ with the property that $x^{n}= e$, for all $x \in G$, is called the [i]exponent[/i] of $G$. (a) For all primes $p \geq 3$, prove that the multiplicative group $\mathcal G_{p}$ of the matrices of the form $\begin{pmatrix}\hat 1 & \hat a & \hat b \\ \hat 0 & \hat 1 & \hat c \\ \hat 0 & \hat 0 & \hat 1 \end{pmatrix}$, with $\hat a, \hat b, \hat c \in \mathbb Z \slash p \mathbb Z$, is not commutative and has [i]exponent[/i] $p$. (b) Prove that if $\left( G, \circ \right)$ and $\left( H, \bullet \right)$ are finite groups of [i]exponents[/i] $m$ and $n$, respectively, then the group $\left( G \times H, \odot \right)$ with the operation given by $(g,h) \odot \left( g^\prime, h^\prime \right) = \left( g \circ g^\prime, h \bullet h^\prime \right)$, for all $\left( g,h \right), \, \left( g^\prime, h^\prime \right) \in G \times H$, has the [i]exponent[/i] equal to $\textrm{lcm}(m,n)$. (c) Prove that any $n \geq 3$ is the [i]exponent[/i] of a finite, non-commutative group. [i]Ion Savu[/i]

Let $K$ be a finite field and $f:K\to K^*$. Prove that there is a reducible polynomial $P\in K[X]$ s.t. $P(x)=f(x),\forall x\in K$. [i]Marian Andronache[/i]

Let $G_1$ and $G_2$ be two finite groups such that for any finite group $H$, the number of group homomorphisms from $G_1$ to $H$ is equal to the number of group homomorphisms from $G_2$ to $H$. Prove that $G_1$ and $G_2$ are Isomorphic.

Let $R$ be a ring of characteristic zero. Let $e,f,g\in R$ be idempotent elements (an element $x$ is called idempotent if $x^2=x$) satisfying $e+f+g=0$. Show that $e=f=g=0$.

Prove that if $ a,x,y$ are $ p$-adic integers different from $ 0$ and $ p | x, pa | xy$, then \[ \frac 1y \frac{(1\plus{}x)^y\minus{}1}{x} \equiv \frac{\log (1\plus{}x)}{x} \;\;\;\; ( \textrm{mod} \; a\ ) \\\\ .\] [i]L. Redei[/i]

Let $ G$ be a transitive subgroup of the symmetric group $ S_{25}$ different from $ S_{25}$ and $ A_{25}$. Prove that the order of $ G$ is not divisible by $ 23$. [i]J. Pelikan[/i]

Let $G$ be a finite group with the following property: If $f$ is an automorphism of $G$, then there exists $m\in\mathbb{N^\star}$, so that $f(x)=x^{m} $ for all $x\in G$. Prove that G is commutative. [i]Marian Andronache[/i]

Prove that a group $G$ in which exactly two elements other than the identity commute with each other is isomorphic to $\mathbb{Z}/3 \mathbb{Z}$ or $S_3.$

Prove that a nontrivial finite ring is not a skew field if and only if the equation $ x^n+y^n=z^n $ has nontrivial solutions in this ring for any natural number $ n. $

Let $G$ be a finite group and let $x_1,…,x_n$ be an enumeration of its elements. We consider the matrix $(a_{ij})_{1 \le i,j \le n},$ where $a_{ij}=0$ if $x_ix_j^{-1}=x_jx_i^{-1},$ and $a_{ij}=1$ otherwise. Find the parity of the integer $\det(a_{ij}).$

Prove that there does not exist a ring with exactly 5 regular elements. ($ a$ is called a regular element if $ ax \equal{} 0$ or $ xa \equal{} 0$ implies $ x \equal{} 0$.) A ring is not necessarily commutative, does not necessarily contain unity element, or is not necessarily finite.

Let \[ f(x)\equal{}a_0\plus{}a_1x\plus{}a_2x^2\plus{}a_{10}x^{10}\plus{}a_{11}x^{11}\plus{}a_{12}x^{12}\plus{}a_{13}x^{13} \; (a_{13} \not\equal{}0) \] and \[ g(x)\equal{}b_0\plus{}b_1x\plus{}b_2x^2\plus{}b_{3}x^{3}\plus{}b_{11}x^{11}\plus{}b_{12}x^{12}\plus{}b_{13}x^{13} \; (b_{3} \not\equal{}0) \] be polynomials over the same field. Prove that the degree of their greatest common divisor is at least $ 6$. [i]L. Redei[/i]