Fdtxjr

Is this toilet slogan correct usage of the English language?

Non-trope happy ending?

Travelling outside the UK without a passport

Not using 's' for he/she/it

copy and scale one figure (wheel)

Added a new user on Ubuntu, set password not working?

How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?

Does an advisor owe his/her student anything? Will an advisor keep a PhD student only out of pity?

Why electric field inside a cavity of a non-conducting sphere not zero?

What should you do if you miss a job interview (deliberately)?

Is the U.S. Code copyrighted by the Government?

Start making guitar arrangements

Where does the bonus feat in the cleric starting package come from?

Fear of getting stuck on one programming language / technology that is not used in my country

What does chmod -u do?

2.8 Why are collections grayed out? How can I open them?

Offered money to buy a house, seller is asking for more to cover gap between their listing and mortgage owed

Drawing ramified coverings with tikz

What are the purposes of autoencoders?

Electoral considerations aside, what are potential benefits, for the US, of policy changes proposed by the tweet recognizing Golan annexation?

Can I sign legal documents with a smiley face?

If a character has darkvision, can they see through an area of nonmagical darkness filled with lightly obscuring gas?

Delivering sarcasm

Why did the EU agree to delay the Brexit deadline?

Show that $ninmathbbN$ is square-free

Prove that a square matrix commutes with its inverseAre there homomorphisms of group algebras that don't come from a group homomorphism?Free Group generated by S is actually generated by S.Proving that the free group on two generators is the coproduct $mathbbZ*mathbbZ$ in $textbfGrp$Commuting elements in $rm PSL(2,mathbbZ)$ are powers of some elementI'm looking to construct an isomorphism to show: $mathbbZ_rs^timescong mathbbZ_r^times times mathbbZ_s^times$Abelian group between two free abelian groups of the same (finite) rank.Show that ($R^times$, $cdot$) is a group.proof verification of an elementary result about a subgroup of a free group using a technical methodRelation between abelian and free abelian group

0

1

$begingroup$

Show that $ninmathbbN$ is square-free if and only if there is a subset different from the null set, $LsubseteqmathbbZ_n$, with the property that summation and multiplication from $mathbb Z_n$ induces on $L$ a group structure.

I think that a proof ad-absurdum would provide a result, because the reciprocal seems easy to handle as I know that for a group $Z_k$, the invertible elements must be coprime with $k$ and I find so a ,,square-free" group. Any help to continue it?

abstract-algebra group-theory field-theory

share|cite|improve this question

edited Mar 15 at 21:34

user26857

39.4k124183

asked Mar 15 at 17:20

user651692

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  The group structure induced on $L $ is additive or multiplicative?
  $endgroup$
  – Fabio Lucchini
  Mar 15 at 19:03
  

  
  
  
  

add a comment | 

0

1

$begingroup$

Show that $ninmathbbN$ is square-free if and only if there is a subset different from the null set, $LsubseteqmathbbZ_n$, with the property that summation and multiplication from $mathbb Z_n$ induces on $L$ a group structure.

I think that a proof ad-absurdum would provide a result, because the reciprocal seems easy to handle as I know that for a group $Z_k$, the invertible elements must be coprime with $k$ and I find so a ,,square-free" group. Any help to continue it?

abstract-algebra group-theory field-theory

share|cite|improve this question

edited Mar 15 at 21:34

user26857

39.4k124183

asked Mar 15 at 17:20

user651692

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  The group structure induced on $L $ is additive or multiplicative?
  $endgroup$
  – Fabio Lucchini
  Mar 15 at 19:03
  

  
  
  
  

add a comment | 

$begingroup$

Show that $ninmathbbN$ is square-free if and only if there is a subset different from the null set, $LsubseteqmathbbZ_n$, with the property that summation and multiplication from $mathbb Z_n$ induces on $L$ a group structure.

I think that a proof ad-absurdum would provide a result, because the reciprocal seems easy to handle as I know that for a group $Z_k$, the invertible elements must be coprime with $k$ and I find so a ,,square-free" group. Any help to continue it?

abstract-algebra group-theory field-theory

share|cite|improve this question

edited Mar 15 at 21:34

user26857

39.4k124183

asked Mar 15 at 17:20

user651692

$endgroup$

share|cite|improve this question

edited Mar 15 at 21:34

user26857

39.4k124183

asked Mar 15 at 17:20

user651692

share|cite|improve this question

edited Mar 15 at 21:34

user26857

39.4k124183

asked Mar 15 at 17:20

user651692

edited Mar 15 at 21:34

user26857

39.4k124183

edited Mar 15 at 21:34

user26857

39.4k124183

1 Answer
1

active

oldest

votes

2

$begingroup$

This question is completely incoherent. I have no idea what the intended question is supposed to be. Here are all the possible interpretations I can form of it, and why they don't work.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition.

Fails because $BbbZ/(9)$ contains $(3)$.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under multiplication.

Fails because $BbbZ/(9)$ contains $langle 4rangle$, which has order 3.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition and multiplication.

We can always take $L=0$ to satisfy this, and if we require $Lne 0$, then
this still makes no sense, because in order for $L$ to be a group under addition, it must contain $0$, but then if $xin L$, $xne 0$, we have $xcdot 0 = 0$, so $L$ cannot be a group under multiplication.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a field under addition and multiplication ($L$ is a group under addition, and $Lsetminus 0$ is a group under multiplication).

Let $xin L$, $xne 0$. Then $x$ must be invertible in $BbbZ/(n)$, which means that it is relatively prime to $BbbZ/(n)$. Hence $x$ generates the additive group of $BbbZ/(n)$, which implies that $L=BbbZ/(n)$. Then $BbbZ/(n)$ is a field if and only if $n$ is prime. Thus this doesn't work either.

share|cite|improve this answer

answered Mar 15 at 20:06

jgonjgon

15.7k32143

$endgroup$

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3149568%2fshow-that-n-in-mathbbn-is-square-free%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

2

$begingroup$

This question is completely incoherent. I have no idea what the intended question is supposed to be. Here are all the possible interpretations I can form of it, and why they don't work.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition.

Fails because $BbbZ/(9)$ contains $(3)$.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under multiplication.

Fails because $BbbZ/(9)$ contains $langle 4rangle$, which has order 3.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition and multiplication.

We can always take $L=0$ to satisfy this, and if we require $Lne 0$, then
this still makes no sense, because in order for $L$ to be a group under addition, it must contain $0$, but then if $xin L$, $xne 0$, we have $xcdot 0 = 0$, so $L$ cannot be a group under multiplication.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a field under addition and multiplication ($L$ is a group under addition, and $Lsetminus 0$ is a group under multiplication).

Let $xin L$, $xne 0$. Then $x$ must be invertible in $BbbZ/(n)$, which means that it is relatively prime to $BbbZ/(n)$. Hence $x$ generates the additive group of $BbbZ/(n)$, which implies that $L=BbbZ/(n)$. Then $BbbZ/(n)$ is a field if and only if $n$ is prime. Thus this doesn't work either.

share|cite|improve this answer

answered Mar 15 at 20:06

jgonjgon

15.7k32143

$endgroup$

add a comment | 

2

$begingroup$

This question is completely incoherent. I have no idea what the intended question is supposed to be. Here are all the possible interpretations I can form of it, and why they don't work.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition.

Fails because $BbbZ/(9)$ contains $(3)$.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under multiplication.

Fails because $BbbZ/(9)$ contains $langle 4rangle$, which has order 3.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition and multiplication.

We can always take $L=0$ to satisfy this, and if we require $Lne 0$, then
this still makes no sense, because in order for $L$ to be a group under addition, it must contain $0$, but then if $xin L$, $xne 0$, we have $xcdot 0 = 0$, so $L$ cannot be a group under multiplication.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a field under addition and multiplication ($L$ is a group under addition, and $Lsetminus 0$ is a group under multiplication).

Let $xin L$, $xne 0$. Then $x$ must be invertible in $BbbZ/(n)$, which means that it is relatively prime to $BbbZ/(n)$. Hence $x$ generates the additive group of $BbbZ/(n)$, which implies that $L=BbbZ/(n)$. Then $BbbZ/(n)$ is a field if and only if $n$ is prime. Thus this doesn't work either.

share|cite|improve this answer

answered Mar 15 at 20:06

jgonjgon

15.7k32143

$endgroup$

add a comment | 

$begingroup$

This question is completely incoherent. I have no idea what the intended question is supposed to be. Here are all the possible interpretations I can form of it, and why they don't work.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition.

Fails because $BbbZ/(9)$ contains $(3)$.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under multiplication.

Fails because $BbbZ/(9)$ contains $langle 4rangle$, which has order 3.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a group under addition and multiplication.

We can always take $L=0$ to satisfy this, and if we require $Lne 0$, then
this still makes no sense, because in order for $L$ to be a group under addition, it must contain $0$, but then if $xin L$, $xne 0$, we have $xcdot 0 = 0$, so $L$ cannot be a group under multiplication.

$n$ is square free if and only if there exists $varnothing subsetneq Lsubseteq BbbZ/(n)$ such that $L$ is a field under addition and multiplication ($L$ is a group under addition, and $Lsetminus 0$ is a group under multiplication).

Let $xin L$, $xne 0$. Then $x$ must be invertible in $BbbZ/(n)$, which means that it is relatively prime to $BbbZ/(n)$. Hence $x$ generates the additive group of $BbbZ/(n)$, which implies that $L=BbbZ/(n)$. Then $BbbZ/(n)$ is a field if and only if $n$ is prime. Thus this doesn't work either.

share|cite|improve this answer

answered Mar 15 at 20:06

jgonjgon

15.7k32143

$endgroup$

share|cite|improve this answer

answered Mar 15 at 20:06

jgonjgon

15.7k32143

answered Mar 15 at 20:06

jgonjgon

15.7k32143

answered Mar 15 at 20:06

jgonjgon

15.7k32143